К вопросам построения интегральных операторов с осциллирующими коэффициентами в пространстве L2(Bn)
Аннотация
Дата поступления статьи: 30.10.2013Статья посвящена многомерным интегральным операторам с однородными ядрами и осциллирующими коэффициентами специального вида. Изучаются операторы, представляющие собой сумму слагаемых: канонический интегральный оператор с однородным ядром, оператор с осциллирующим коэффициентом и однородным ядром. Для данных операторов определено понятие символа, в терминах которого получен критерий нетеровности и формула вычисления индекса. Решение поставленной задачи основано на редукции многомерного интегрального уравнения к бесконечной диагональной системе одномерных уравнений.
Ключевые слова: Интегральные операторы с однородными ядрами, интегральные операторы с осциллирующими коэффициентами, критереий нетеровости, многомерные интегральные уравнения
05.13.18 - Математическое моделирование, численные методы и комплексы программ
В настоящее время имеется немало работ, посвященных многомерным интегральным операторам c однородными степени (-n) ядрами (см., например, [1-4], [7-8]). Для таких операторов получены необходимые и достаточные условия нетеровости и обратимости, описаны банаховы алгебры, порожденные этими операторами, найдены критерии применимости проекционного метода, интегральные операторы с однородными ядрами и переменными коэффициентами ([2], [3]). В данной статье рассматриваются операторы с радикальными осциллирующими коэффициентами вида . Подчеркнем, что операторы с однородными ядрами и радикальными (по крайней мере в окрестности точки x=0) коэффициентами находят применение в некоторых задачах математической физики. В работе используются следующие обозначения:; -площадь сферы;
В пространстве рассмотрим оператор (1)
, где , а функция удовлетворяет следующим условиям:
1) однородность степени (-n), то есть ;
2) инвариантность относительно группы вращений , то есть ;
3) суммируемость, то есть
Рассмотрим в интегральный оператор (2) , ,ядро которого удовлетворяет условию (1).
Оператору сопоставим оператор , который определим формулой , (3)
где - оператор вида (2) с ядром . Здесь и ниже мы отожествляем функции и с операторами умножения на эти функции. Рассмотрим разность . Имеем . Так как , то оператор является компактным в Следовательно, T-компактный оператор. Поскольку , то оператор нетёров тогда и только тогда, когда нетёров оператор , причем .
Приступим к исследованию оператора . В пространстве рассмотрим уравнение, порожденное этим оператором:
. (4)
Поскольку функции удовлетворяют условию (2), то существуют такие функции , что . Учитывая это, и переходя в последнем соотношении к сферическим координатам , получим
(5) ,
(6)
Функция удовлетворяет следующему условию суммируемости
(7)
Умножая обе части уравнения (5) на сферические гармоники , интегрируя по единой сфере, и применяя формулу Функа-Гекке, получим следующую бесконечную диагональную систему одномерных интегральных уравнений (8)
где, а - размерность пространства сферических гармоник порядка m.
(9),
при этом - многочлены Лежандра.
В пространстве рассмотрим оператор , формирующий левую часть уравнения (8)
.
Лемма 1. Пусть . Тогда существует число такое, что оператор обратим для всех .
Доказательство. В пространстве рассмотрим оператор , где . По теореме Харди-Литтлвуда справедлива оценка (10).
Из равенства (9) и свойств многочленов Лежандра следует, что при для почти всех . Тогда, используя мажоратную теорему Лебега с учетом оценки (7), получаем, что интеграл в неравенстве (10) стремится к нулю при .Следовательно, . Поэтому существует число такое, что для всех . Значит, оператор обратим для всех Лемма доказана.
Лемма 2. Пусть и - число, указанное в лемме 1. Оператор вида (1) нётеров в пространстве тогда и только тогда, когда нётеровы в пространстве все операторы , причем (11)
Литература:
- Авсянкин О.Г. О С* - алгебре, порожденной многомерными интегральными операторами с однородными ядрами и операторами мультипликативного сдвига [Текст] // Докл. РАН. 2008. Т.419. №6. С.727-728
- Авсянкин О.Г. О С* -алгебре, порожденной многомерными интегральными операторами с однородными ядрами и коэффициентами вида |x|ia[Текст] // Известия вузов. Северо-Кавказский регион. Естеств. науки. 2008.№5. С. 10-14.
- Авсянкин О.Г. О многомерных интегральных операторах с однородными ядрами и осциллирующими радикальными коэффициентами [Текст] // Дифференц. уравнения. 2007. Т.43. №9. С. 1193-1196.
- Авсянкин О.Г., Карапетянц Н.К. Многомерные интегральные операторы с однородными степени (-n) ядрами [Текст] //Докл. РАН. 1999. Т.368. С. 727-729
- Павлов И.В., Скориков А.В. Lp со смешанной нормой на бесконечномерном торе [Текст] //Изв. вузов. Матем. 1986. №2. С 69-72.
- Павлов И.В. О крайних лучах и интегральном представлении в конусе супермартингалов [Текст] //ТВП. 25:3(1980). С. 602-605
- Karapetians N., Samko S. Equations with involute operators// Boston, Basel, Berlin: Birkhauser. 2001.427 p.
- Avsyankin O.G., Karapetians N.K. Multidimensional integral operators with homogenous kernels [Текст] // J. Natur. Geometry. 16(1999).1-18p.
- Михайлов Л.Г., Мухсинов А. Формула представления решений одного трехмерного немодельного сингулярного уравнения в частных производных [Текст] // Докл. РАН. 2010. Т.431. №1, С. 20-21.
- Лаптев А.Г., Бородин Е.Н. Математическая модель процесса адсорбации при очистке сточных вод ТЭС от нефтепродуктов. [Электронный ресурс] //Инженерный вестник Дона. 2010. №4. – Режим доступа: http://ivdon.ru/magazine/archive/n4y2010/261 (доступ свободный) – Загл. с экрана. – Яз. рус.
- Кадомцев М.И., Ляпин А.А., Тимофеев С.И. К вопросам построения эффективных алгоритмов расчета системы «сооружение-грунт». [Электронный ресурс] // Инженерный вестник Дона. 2012. №1. – Режим доступа: http://ivdon.ru/magazine/archive/n1y2012/719 (доступ свободный) – Загл. с экрана. – Яз. рус.