Владикавказский математический журнал 2022, Том 24, Выпуск 4, С. 19-29
УДК 517.9
DOI 10.46698/p3569-9057-4562-o
ОБ АЛГЕБРЕ, ПОРОЖДЕННОЙ ВОЛЬТЕРРОВСКИМИ ИНТЕГРАЛЬНЫМИ ОПЕРАТОРАМИ С ОДНОРОДНЫМИ ЯДРАМИ И НЕПРЕРЫВНЫМИ КОЭФФИЦИЕНТАМИ*
О. Г. Авсянкин1'2, Г. А. Каменских1
1 Институт математики, механики и компьютерных наук ЮФУ, Россия, 344090, Ростов-на-Дону, ул. Мильчакова, 8 а; 2 Региональный научно-образовательный математический центр ЮФУ, Россия, 344090, Ростов-на-Дону, ул. Мильчакова, 8 а E-mail: [email protected], [email protected]
Аннотация. В пространствах Лебега рассматриваются вольтерровские многомерные интегральные операторы с непрерывными коэффициентами. При этом предполагается, что ядро интегрального оператора однородно степени (—n), инвариантно относительно группы вращений SO(n) и удовлетворяет некоторому условию суммируемости, которое обеспечивает ограниченность оператора. Основным объектом исследования в работе является банахова алгебра A, порожденная всеми операторами указанного выше типа и тождественным оператором. Алгебра A некоммутативна, и для ее исследования авторы переходят к фактор-алгебре A/T, где T — совокупность всех компактных операторов. Показано, что алгебра A/T является коммутативной, что позволяет применить к ней общие методы исследования коммутативных банаховых алгебр. В частности, дано описание пространства максимальных идеалов алгебры A/T и найден критерий обратимости элементов из этой алгебры. На основе этого для банаховой алгебры A построено символическое исчисление, то есть каждому оператору из этой алгебры поставлена в соответствие некоторая непрерывная функция, названная символом оператора. В терминах символа получены необходимые и достаточные условия нетеровости оператора из алгебры A, а также формула для вычисления индекса.
Ключевые слова: интегральный оператор, однородное ядро, символ, нетеровость, индекс, банахова алгебра.
AMS Subject Classification: 47G10, 47L15.
Образец цитирования: Авсянкин О. Г., Каменских Г. А. Об алгебре, порожденной вольтерров-скими интегральными операторами с однородными ядрами и непрерывными коэффициентами // Владикавк. мат. журн.—2022.—Т. 24, вып. 4.—С. 19-29. DOI: 10.46698/p3569-9057-4562-o.
Интегральные операторы с однородными ядрами играют заметную роль в математике и приложениях. В наши дни для многомерных интегральных операторов, ядра которых однородны степени (—n) и инвариантны относительно всех вращений пространства Rn, имеется весьма развитая теория. Для таких операторов были получены критерии обратимости и нетеровости, исследованы порождаемые этими операторами банаховы алгебры, найдены условия применимости проекционного метода (см., например, [1-7] и библиографию в них). Однако вольтерровские интегральные операторы с однородными ядрами исследованы очень мало. Можно упомянуть лишь работы [4] и [7], посвященные
#Работа выполнена при поддержке Минобрнауки России, соглашение № 075-02-2021-1386. © 2022 Авсянкин О. Г., Каменских Г. А.
вольтерровскому случаю. Между тем именно операторы вольтерровского типа часто возникают в приложениях, например, в задачах механики (см. [8, с. 60-64]).
Данная работа посвящена изучению банаховой алгебры, порожденной вольтерров-скими многомерными интегральными операторами, ядра которых однородны степени (—п) и инвариантны относительно группы вращений БО(п), и операторами умножения на непрерывные функции. Для этой алгебры построено символическое исчисление, в терминах которого получены необходимые и достаточные условия нетеровости операторов и формула для вычисления индекса. Отметим, что применяемая нами методика исследования аналогична той, которая использовалась в работе [4].
Ниже использованы следующие обозначения: Мга — п-мерное евклидово пространство; ж = (Х1,...,ХП) € Мга; \х\ = + ... + х2п, х' = щ] х - у = Ххух + ... + хпуп; Вга = {х € Мп: |х| ^ 1}; Ъ+ — множество целых неотрицательных чисел; ^(X) — банахова алгебра всех линейных ограниченных операторов, действующих в банаховом пространстве X; (1п(т) — размерность пространства сферических гармоник порядка т:
, . . . . (п + т — 3)!
т!(п — 2)!
1. Пусть 1 ^ р ^ то. В пространстве Ьр(Вп) рассмотрим интегральный оператор
(К<р)(х)= У к(х,у)<р(у) (у, х € Вп, (1)
предполагая, что функция к(х,у) определена на Мп х Мп (здесь и далее п ^ 2), измерима и удовлетворяет следующим условиям:
1°. однородность степени (—п), т. е.
к(ах,ау) = а-пк(х,у) (Vа> 0);
2°. инвариантность относительно группы вращений БО(п), т. е.
к(ш(х),ш(у)) = к(х, у) (Vш € БО(п));
3°. суммируемость, т. е.
к := У \к(е1}у)\\у\~р йу < оо, в! = (1, 0,..., 0).
Вп
Из [1, Теорема 6.4] следует, что оператор К ограничен в Ьр(Вп), причем ||КУ ^ к.
Обозначим через Ма оператор умножения на функцию а € С(Вп). Очевидно, что этот оператор ограничен в пространстве Ьр(Вп).
Рассмотрим в пространстве Ьр(Вп) оператор
А = XI + МаК + Т, (2)
где X € С, I — тождественный оператор, а € С(Вп), К — оператор вида (1), Т — компактный в Ьр(Вп) оператор.
Обозначим через Z+х М компактификацию локально компактного топологического пространства Ъ+ хМ одной бесконечно удаленной точкой. Назовем символом оператора А функцию ал(т,£), которая задается на компакте Z+XМ формулой
аА(т,0 = А + а(0) [ к(е1,у)Рт(е1 ■ у')\у\~^ ¿у, (т,£)е^+хМ, <гА(оо) = (3)
Здесь Рт(£) — многочлены Лежандра, которые определяются равенством
{осе (т агееов £), п = 2, (т;га_3). Сш2 (*), 3,
п —2
где Ст (¿) — многочлены Гегенбауэра.
Теорема 1. Оператор А вида (2) нетеров в пространстве Lp(Bn) тогда и только тогда, когда выполнено условие
ал(т,{) = 0 (V(т,£) € М). (4)
Если условие (4) выполнено, то индекс оператора А вычисляется по формуле
те
тё А = — ^ ^п(т)тё^ ал(т,{), (5)
т=0
где тё^ ал(т,{) — индекс функции ал(т,{) по переменной £ при фиксированном значении т.
< Представим оператор А в виде
А = Л/ + а(0)К + М(0_0(о)) К + Т.
Так как Ишх^0(а(ж) — а(0)) = 0, то оператор М(0-0(о))К является компактным [1, с. 380]. Тогда
А = Л/ + а(0)К + Т1, (6)
где Т1 — компактный оператор. Из равенства (6) следует, что оператор А нетеров тогда и только тогда, когда нетеров оператор Л/ + а(0)К. Заметим, что символом оператора Л/ + а(0)К является функция ал(т,{) вида (3). Тогда в силу теоремы 6.12 из [1] условие (4) является необходимым и достаточным для нетеровости оператора Л/ + а(0)К, а значит и для нетеровости оператора А.
Далее, если условие (4) выполнено, то индекс оператора Л/ + а(0)К равен правой части формулы (5) (см. [1, с. 78]). Так как тё А = тё(Л/+а(0)К), то индекс оператора А вычисляется по формуле (5). >
Замечание. Подчеркнем, что начиная с некоторого номера то выполняется равенство тё^ ал(т,{) = 0. Поэтому правая часть формулы (5) фактически представляет собой конечную сумму.
Формулу (5) можно переписать в другом виде. Действительно, из условия 3° легко следует, что при любом фиксированном значении т € Ъ+ функция ал(т,£) аналитически продолжается в полуплоскость 1ш г < 0. Обозначим через ^т число нулей аналитической функции ал(т,г) в полуплоскости 1ш г < 0. Тогда
тё? ал (т,£) = —^т.
Подставляя в формулу (5), получим
те
тё А = ^ ёп(т)^Жт.
т=0
2. Перейдем к изучению композиций операторов вида (2).
Лемма 1. Пусть А\ и А2 — операторы вида (2). Тогда оператор А = А1А2 также является оператором вида (2).
< Непосредственно проверяется, что если К1 и К2 — операторы вида (1) с ядрами к1(х,у) и к2(х,у) соответственно, то оператор К1К2 есть оператор вида (1), ядром которого является функция
к(х,у) = У к1(х,Ь)к2(Ь,у) (П. (7)
Ы^КМ
Нетрудно видеть, что функция к(х,у) удовлетворяет условиям 1°-3°.
Далее, согласно формуле (6) оператор Аз- вида (2) представим в виде Аз- = Лз-I + аз(0)К + Т3, где ] = 1, 2. Тогда А1А2 = Л1Л21 + К + Т, где
К = а1(0)а2 (0)К1 К2 + а2 (0)Л1 К2 + а1 (0)Л2 К1, Т = Л1Т2 + Л2 Т1 + а1(0)К1 Т2 + а2(0)Т1 К2 + Т1Т2.
Очевидно, что К есть оператор вида (1), а Т — компактный оператор. Таким образом, оператор А1А2 есть оператор вида (2). >
Лемма 2. Пусть А1 и А2 — операторы вида (2). Тогда коммутатор А1А2 — А2А1 является компактным оператором.
< Так как Аз- = Лз-1 + аз- (0)Кз- + Тз-, где Тз- — компактный оператор (у = 1, 2), то
А1А2 — А2А1 = а1(0)а2 (0)(К1 К2 — К2 К1) + Т,
где
Т = а1(0)К1Т2 — а1(0)Т2К1 + а2(0)Т1К2 — а2(0)К2Т1.
Так как К1К2 = К2К1 (см. [9, с. 96]) и Т — компактный оператор, то коммутатор А1А2 — А2А1 является компактным оператором. >
3. Обозначим через А наименьшую замкнутую подалгебру банаховой алгебры ^(Ьр(Вп)), содержащую все операторы А вида (2). Она представляет собой замыкание в равномерной операторной топологии множества
Ао = { 2 П Аз},
где А^з — оператор вида (2), а суммы и произведения конечны. Из леммы 1 вытекает, что множество Ао есть совокупность всех операторов А вида (2).
Обозначим через Т множество всех компактных операторов, действующих в пространстве Ьр(Вп). Ясно, что Т является замкнутым двусторонним идеалом алгебры А. Рассмотрим фактор-алгебру А/Т. Заметим, что множество (А/Т)0 = {А + Т} , где А — оператор вида (2), всюду плотно в фактор-алгебре А/Т.
Заметим, что фактор-алгебра А/Т коммутативна. Действительно, из леммы 2 следует, что элементы из множества (А/Т)о коммутируют между собой. Для произвольных элементов из алгебры А/Т коммутативность проверяется с помощью приближения элементами из множества (А/Т)о.
Построим для алгебры А/Т символическое исчисление. Сначала определим символ для элементов из множества (А/Т)о. Назовем символом фактор-класса А + Т, где А — оператор вида (2), функцию а[л](т,£), которая определяется равенством
а[л](т,£) = ал(т, £),
где ал(т,£) задается формулой (3).
Лемма 3. Для любых элементов А1 + Т и А2 + Т, где А1, А2 — операторы вида (2), выполняются равенства
а[Л1+Л2](т,£) = а[Лх] (т,£) + а[Л2](т,£), а[ЛхЛ2](т,£) = а[Лх](т,£ )а[Л2](т,£ )-
< Доказательство осуществляется непосредственной проверкой. >
Лемма 4. Пусть а[л](т, £) — символ фактор-класса А+Т, где А — оператор вида (2). Тогда справедливо неравенство
1Ил]|1с (2+ х М) < IIА + ТУ а/т- (8)
< Пусть а = ||а[л]||с(2+ Хк). Тогда для любого е > 0 найдется точка (т0,£0) € 2+хМ такая, что |а[л](т0,£0)| > а — е. Рассмотрим элемент
(А + Т) — (а[л](т0, £0)/ + Т) = А — а[л](т0 ,£0)/ + Т,
символом которого является функция а[л](т,£) — а[л](т0,£0). Поскольку эта функция обращается в ноль в точке (т0,£0), то в силу теоремы 1 оператор А — а[л](т0,£0)/ не нетеров. Тогда фактор-класс А — а[л](т0,£0)/ + Т не обратим в фактор-алгебре А/Т. Следовательно, число а[л](т0,£0) принадлежит спектру элемента А + Т. Тогда
а — е < |а[л](т0,£0)| ^ Ярг(А + Т),
где Ярг(А + Т) — спектральный радиус элемента А + Т в алгебре А/Т. В силу произвольности е заключаем, что а ^ Ярг(А + Т). Учитывая, что Ярг(А + Т) ^ ||А + Т||А/т, получаем неравенство (8). >
Используя лемму 4, определим символ для элементов из множества (А/Т)\(А/Т)0. Пусть В + Т € (А/Т)\(А/Т)0. Тогда найдется последовательность {А. + Т} С (А/Т)0 такая, что
||(В + Т) — (А. + Т)||А/Т ^ 0
при в ^ то. В силу неравенства (8) последовательность (а[лв](т,£)} символов элементов А., + Т сходится по норме пространства С(2+ хМ) к некоторой функции а[в](т,£) € С(2+хМ), которую будем называть символом фактор-класса В + Т. Оценка (8) распространяется по непрерывности на всю алгебру А/Т, т. е. для любого элемента В+Т € А/Т справедливо неравенство
И^Ус^+ХМ) < ||В + Т|А/Т- (9)
Из леммы 3, с учетом плотности множества (А/Т)0 в алгебре А/Т, следует, что сумме и произведению любых двух элементов из алгебры А/Т соответствует сумма и произведение их символов.
Обозначим через Ж(М) алгебру Винера, т. е. совокупность функций вида с + /(£), где с € С, а /(£) — преобразование Фурье функции / € Ь1(М). Множество Ж(М), снабженное поточечными операциями и нормой
1|с + /1ж (М) = |с| + ||/11,
является коммутативной банаховой алгеброй. Известно, что пространство максимальных идеалов М (Ж (М)) алгебры Ж (М), снабженное топологией Гельфанда, гомеоморфно компакту М.
Теорема 2. Пространство максимальных идеалов М (А/Т) алгебры А/Т, снабженное топологией Гельфанда, гомеоморфно компакту Z+ хМ. При соответствующем отождествлении пространств М (А/Т) и Z+x М преобразование Гельфанда элемента В + Т € А/Т совпадает с его символом ощ (т,С).
< Доказательство разобьем на три этапа.
1) Пусть (то, Со) — произвольная точка компакта Z+xМ. Покажем, что множество М(т0,£0) всех элементов алгебры А/Т, символы которых обращаются в нуль в точке (то, Со), является максимальным идеалом алгебры А/Т. Для этого определим на алгебре А/Т функционал /(т0 ^0) равенством
/(то,?о) (В + Т) = о[В](то, Со)-
Нетрудно видеть, что функционал /(т0 ) является характером алгебры А/Т. Тогда ядро этого функционала
Кег /(то,?о) = {В + Т € А/Т : 0[Б](т_о,Со) = 0} = Мт)
является максимальным идеалом алгебры А/Т.
2) Покажем, что максимальными идеалами указанного типа исчерпываются все максимальные идеалы алгебры А/Т.
Обозначим через совокупность всех функций из С М), являющихся символами операторов из алгебры А/Т. Относительно поточечных алгебраических операций и нормы, определяемой формулой
||о[В]||^ = 11В + Т11а/Т множество образует коммутативную банахову алгебру. Отображение
8: А/Т ^ ^, В + Т ^ о[в](т,С)
является изометрическим изоморфизмом. Пусть &1 о — множество функций о(т, С) € ^ таких, что о(т,С) € Ж(М) при любом фиксированном т € Z+. Из результатов раздела 6.4 книги [1] следует, что символ фактор-класса Л1 + К + Т принадлежит множеству Верно и обратное. Таким образом, функции из множества и только они, являются символами элементов вида Л1 + К + Т.
Пусть М — некоторый максимальный идеал алгебры А/Т и /м — соответствующий ему характер. Тогда з(М) является максимальным идеалом алгебры . Учитывая структуру пространства максимальных идеалов алгебры Ж(М), получаем, что все функции из множества в(М) П&1 о обращаются в нуль в некоторой фиксированной точке (то,Со) компакта Z+xМ. Таким образом, для любого элемента Л1 + К + Т € М справедливо равенство
0 = /м (Л1 + К + Т) = о[Х1+к](то,Со)-
Возьмем теперь произвольный элемент Л1 + К + Т из алгебры А/Т. Тогда
/м (Л1 + К + Т) = о[Х1+К](то,Со), (10)
где (т0, £0) — точка, определенная выше. Действительно, положим
/м (Л/ + К + Т) = г0,
где г0 € С, и рассмотрим элемент Б+Т = Л/+К+Т—(г0/+Т). Поскольку /м(Б+Т) = 0, то Б + Т € М. Тогда по доказанному выше а[Л/+к](т0, £0) — г0 = 0, т. е. имеет место равенство (10).
Таким образом, доказано, что существует точка (т0,£0) € 2+хМ такая, что для любого элемента Л/ + К + Т выполнено равенство (10). Так как множество (А/Т)0 всюду плотно в алгебре А/Т, то для любого элемента В + Т € А/Т справедливо равенство
/м (В + Т) = а[В](т0,£0). (11)
Отсюда следует, что М = М(т0.
3) Выше мы показали, что отображение
п: М(А/Т) ^ 2+ хМ, М(т>?) ^ (т, £)
является биективным. Учитывая определение топологии Гельфанда (см., например, [10, с. 36]), заключаем, что это отображение является гомеоморфизмом.
Далее, преобразование Гельфанда элемента В + Т — это функция В + Т, определяемая на пространстве М(А/Т) равенством
ВТГ(М(т,0 ) = /м(т>€) (В + Т),
где /М(т 5) — характер, соответствующий максимальному идеалу М(т,£). Отождествив пространства М(А/Т) и 2+хМ, и учитывая (11), получаем равенство
ВТТ(т, £) = а[В](т,£)- >
Следствие 1. Для того чтобы элемент В + Т € А/Т был обратим в фактор-алгебре А/Т, необходимо и достаточно, чтобы его символ удовлетворял условию
а[в](т,£)=0 (V (т,£) € 2+хМ). (12)
< Условие (12) необходимо и достаточно для того, чтобы элемент В + Т не принадлежал ни одному максимальному идеалу алгебры А/Т. Это равносильно обратимости элемента В + Т в алгебре А/Т. >
4. Построим символическое исчисление для алгебры А. Назовем символом оператора В € А функцию ав(т,£), являющуюся символом фактор-класса В + Т, т. е.
ав (т, £ ) = а[в](т,£). (13)
Таким образом, все операторы, принадлежащие одному фактор-классу, имеют один и тот же символ.
Теорема 3. Пусть В € А. Для того чтобы оператор В являлся нетеровым, необходимо и достаточно, чтобы его символ удовлетворял условию
ав(т, £) = 0 (V (т, £) € 2+ хМ).
(14)
Если условие (14) выполнено, то индекс оператора В вычисляется по формуле
те
тё В = — ^ ^га(т) тё^ ав(т,£). (15)
m=0
< Необходимость. Для операторов из множества A0 необходимость условия (14) установлена в теореме 1.
Пусть теперь B € A\A0. Предположим, что ob(m0,£0) = 0, где (m0,£0) — некоторая точка компакта Z+xR. Так как оператор B нетеров, то найдется такое 5 > 0, что все операторы из 5-окрестности оператора B являются нетеровыми. Подберем оператор
Во € 21о такой, что ||В — Во\\ < Тогда применяя неравенство (9), получим
5
\<гво(то,(о)\ = Wв(т0, Со) ~ <гв0(то,Со)\ ^ \\В - Б0|| < -. Рассмотрим оператор D0 = B0 — oBo (m0, £0 )1 € A0. Поскольку
||B — D01| < ||B — B0II + |оБо(Ш0,^0)| <5,
то оператор D0 нетеров. С другой стороны, символом оператора D0 является функция Ст£0(m, £) — ob0(m0, £0), которая обращается в нуль в точке (m0, £0). Но тогда по теореме 1 оператор D0 не является нетеровым. Полученное противоречие завершает доказательство необходимости.
Достаточность. Пусть выполнено условие (14). Тогда в силу равенства (13) выполняется условие (12). Тогда по следствию 1 элемент B + T обратим в фактор-алгебре A/T и тем более обратим в фактор-алгебре L(Lp(Bn))/T. Следовательно, оператор B нетеров.
Теперь докажем, что если выполнено условие (14), то индекс оператора B вычисляется по формуле (15). Для операторов из множества A0, т. е. для операторов вида (2), формула (15) совпадает с формулой (5). Пусть B € A\A0. Рассмотрим последовательность {As} С A0, сходящуюся к оператору A в равномерной операторной топологии. Тогда ind B = Ит^те ind As, причем числовая последовательность {ind As}^=1 стабилизируется, начиная с некоторого значения si. Из неравенства (9) следует, что при s ^ то
sup |ob(m,£) — (m,£)|^ 0.
Z+ x R
Но тогда
indt (m,£) = lim indt (m,£),
s^-те
причем существует такое число S2, что для всех m € Z+ числовая последовательность {indt (m, £)}те=1 стабилизируется, начиная с s2. Пусть s' = max{s1, s2}. Тогда, используя формулу (5), имеем
тете
ind B = ind As' = — ^ dn(m) indt (m, £) = — ^ dn(m) indt (m, £). О
m=0 m=0
Литература
1. Karapetiants N., Samko S. Equations with Involutive Operators.—Boston-Basel-Berlin: Birkhäuser, 2001.-427 p.
2. Авсянкин О. Г., Карапетянц Н. К. О псевдоспектрах многомерных интегральных операторов с однородными степени — n ядрами // Сиб. мат. журн.—2003.—Т. 44, № 6.—С. 1199-1216.
3. Авсянкин О. Г. О С *-алгебре, порожденной многомерными интегральными операторами с однородными ядрами и операторами мультипликативного сдвига // Докл. РАН.—2008.—Т. 419, № 6.— С. 727-728.
4. Авсянкин О. Г. Об интегральных операторах типа Вольтерра с однородными ядрами в весовых Ьр-пространствах // Изв. вузов. Математика.—2017.—№ 11.—С. 3-12.
5. Авсянкин О. Г. Об обратимости многомерных интегральных операторов с биоднородными ядрами // Мат. заметки.—2020.—Т. 108, вып. 2.—С. 291-295. Б01: 10.4213/ш2ш12680.
6. Авсянкин О. Г. Об интегральных операторах с однородными ядрами и тригонометрическими коэффициентами // Изв. вузов. Математика.—2021.—№ 4.—С. 3-10. Б01: 10.26907/0021-3446-20214-3-10.
7. Умархаджиев С. М. Односторонние интегральные операторы с однородными ядрами в гранд-пространствах Лебега // Владикавк. мат. журн.—2017.—Т. 19, № 3.—С. 70-82.
8. Михайлов Л. Г. Новый класс особых интегральных уравнений и его применения к дифференциальным уравнениям с сингулярными коэффициентами.—Душанбе: Труды АН Тадж. ССР, 1963.— 183 с.
9. Авсянкин О. Г. Развитие теории многомерных интегральных операторов с однородными и биоднородными ядрами: Дисс. ... д.ф.-м.н.—Ростов н/Д: Южный федеральный университет, 2009.—277 с.
10. Гельфанд И. М., Райков Д. А., Шилов Г. Е. Коммутативные нормированные кольца.—М.: Физ-матгиз, 1960.—315 с.
Статья поступила 2 ноября 2021 г. Авсянкин Олег Геннадиевич
Институт математики, механики и компьютерных наук ЮФУ, заведующий кафедрой дифференциальных и интегральных уравнений РОССИЯ, 344090, Ростов-на-Дону, ул. Мильчакова, 8 а; Региональный научно-образовательный математический центр ЮФУ, главный научный сотрудник
РОССИЯ, 344090, Ростов-на-Дону, ул. Мильчакова, 8а E-mail: [email protected] https://orcid.org/0000-0001-9091-417X
Каменских Галина Александровна
Институт математики, механики и компьютерных наук ЮФУ, аспирант
РОССИЯ, 344090, Ростов-на-Дону, ул. Мильчакова, 8а E-mail: gaga-kamenskih99@mail. ru https://orcid.org/0000-0002-1138-5116
28
ABCHHKHH O. r., KaMeHCKux r. A.
Vladikavkaz Mathematical Journal 2022, Volume 24, Issue 4, P. 19-29
ON THE ALGEBRA GENERATED BY VOLTERRA INTEGRAL OPERATORS WITH HOMOGENEOUS KERNELS AND CONTINUOUS COEFFICIENTS
Avsyankin, O. G.1'2 and Kamenskikh, G. A.1
1 Institute of Mathematics, Mechanics and Computer Science SFU, 8 a Milchakova St., Rostov-on-Don 344090, Russia;
2 Regional Mathematical Center SFU, 8 a Milchakova St., Rostov-on-Don 344090, Russia E-mail: [email protected], [email protected]
Abstract. We consider Volterra multidimensional integral operators with continuous coefficients in Lebesgue spaces. It is assumed that the kernel of the integral operator is homogeneous of degree (—n), invariant under the rotation group SO(n) and satisfies a certain summability condition that ensures the boundedness of the operator. In this paper, the main object of research is the Banach algebra A generated by all operators of the above type and the identity operator. The algebra A is noncommutative, and for its study we turn to the quotient algebra A/T, where T is the set of all compact operators. It is shown that the algebra A/T is commutative, which makes it possible to apply the general methods for studying commutative Banach algebras. In particular, a description of the maximal ideals space of the algebra A/T is given and a criterion for the invertibility of elements from this algebra is found. Based on this, we construct a symbolic calculus for the Banach algebra A that is, each operator from this algebra is assigned a certain continuous function. This function is called the symbol of the operator. In terms of the symbol, we obtained necessary and sufficient conditions for the Fredholm property of an operator from A, as well as an index formula.
Key words: integral operator, homogeneous kernel, symbol, Fredholmness, index, Banach algebra.
AMS Subject Classification: 47G10, 47L15.
For citation: Avsyankin, O. G. and Kamenskikh, G. A. On the Algebra Generated by Volterra Integral Operators with Homogeneous Kernels and Continuous Coefficients, Vladikavkaz Math. J., 2022, vol. 24, no. 4, pp. 19-29 (in Russian). DOI: 10.46698/p3569-9057-4562-o.
References
1. Karapetiants, N. and Samko, S. Equations with Involutive Operators, Boston, Basel, Berlin, Birkhauser, 2001, 427 p.
2. Avsyankin, O. G. and Karapetyants, N. K. On the Pseudospectra of Multidimensional Integral Operators with Homogeneous Kernels of Degree —n, Siberian Mathematical Journal, 2003, vol. 44, no. 6, pp. 935-950. DOI: 10.1023/B:SIMJ.0000007469.86630.6b.
3. Avsyankin, O. G. On the C*-Algebra Generated by Multidimensional Integral Operators with Homogeneous Kernels and Multiplicative Translations, Doklady Mathematics, 2008, vol. 77, no. 2, pp. 298-299. DOI: 10.1134/S106456240802035X.
4. Avsyankin, O. G. Volterra Type Integral Operators with Homogeneous Kernels in Weighted Lp-Spaces, Russian Mathematics, 2017, vol. 61, no. 11, pp. 1-9. DOI: 10.3103/S1066369X17110019.
5. Avsyankin, O. G. Invertibility of Multidimensional Integral Operators with Bihomogeneous Kernels, Mathematical Notes, 2020, vol. 108, no. 2, pp. 277-281. DOI: 10.1134/S0001434620070287.
6. Avsyankin, O. G. On Integral Operators with Homogeneous Kernels and Trigonometric Coefficients, Russian Mathematics, 2021, vol. 65, no. 4, pp. 1-7. DOI: 10.3103/S1066369X21040010.
7. Umarkhadzhiev, S. M. One-Sided Integral Operators with Homogeneous Kernels in Grand Lebesgue Spaces, Vladikavkaz Mathematical Journal, 2017, vol. 19, no. 3, pp. 70-82 (in Russian).
8. Mikhailov, L. G. New Class of Singular Integral Equations and Its Application to Differential Equations with Singular Coefficients, Dushanbe, Tr. Akad. Nauk Tadzhik. SSR, 1963, vol. 1, 183 p. (in Russian).
9. Avsyankin, O. G. Development of the Theory of Multidimensional Integral Operators with Homogeneous and Bihomogeneous Kernels: Dr. Science Thesis, Rostov-on-Don, South Federal University, 2009, 277 p. (in Russian).
10. Gelfand, I. M., Raikov, D. A. and Shilov, G. E. Commutative Normed Rings, Moscow, Fizmatgiz, 1960, 315 p. (in Russian).
Received November 2, 2021 Oleg G. Avsyankin
Institute of Mathematics, Mechanics and Computer Science SFU,
8 a Milchakova St., Rostov-on-Don 344090, Russia,
Head of the Department of Differential and Integral Equations
Regional Mathematical Center SFU,
8 a Milchakova St., Rostov-on-Don 344090, Russia,
Chief Researcher
E-mail: [email protected]
https://orcid.org/0000-0001-9091-417X
Galina A. Kamenskikh
Institute of Mathematics, Mechanics and Computer Science SFU, 8 a Milchakova St., Rostov-on-Don 344090, Russia, Postgraduate Student E-mail: gaga-kamenskih99@mail. ru https://orcid.org/0000-0002-1138-5116