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

Математические заметки СВФУ Январь—март, 2018. Том 25, № 1

УДК 517.957

ОБ ОТНОСИТЕЛЬНОЙ ОГРАНИЧЕННОСТИ ОДНОГО КЛАССА ВЫРОЖДАЮЩИХСЯ ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ В ЛЕБЕГОВОМ ПРОСТРАНСТВЕ М. Г. Гадоев, Ф. С. Исхоков

Аннотация. В пространстве Ьр где 1 < р < и ^ — произвольная (ограниченная или неограниченная) область п-мерного евклидова пространства Нп, исследуется относительная ограниченность одного класса дифференциальных операторов с частными производными недивергентного вида высшего порядка. Исследуемые операторы имеют нестепенное вырождение вдоль всей границы области £7, и вырождение по каждой независимой переменной характеризуется с помощью разных функций.

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

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

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

Б01: 10.25587/8УРи.2018.1.12764

Ключевые слова: дифференциальный оператор с частными производными, нестепенное вырождение, относительная ограниченность операторов, разбиение единицы.

0. Введение

Работа посвящена исследованию относительной ограниченности одного класса дифференциальных операторов с частными производными недивергентного вида в произвольной (ограниченной или неограниченной) области О п-мерного евклидова пространства с нестепенным вырождением на границе области в пространстве Ьр(О). Результаты об относительной ограниченности диф-

© 2018 Гадоев М. Г., Исхоков Ф. С.

ференциальных операторов применяются в теории разделимости дифференциальных операторов, теории вложения нормированных пространств дифференцируемых функций многих вещественных переменных, спектральной теории дифференциальных операторов (см., например, [1-17] и имеющуюся в них библиографию) .

В настоящей работе, так же как в работе авторов [18], область О и функции, которые характеризуют вырождения коэффициентов дифференциального оператора, задаются в паре друг с другом и предполагается выполнение «условия погружения», введенного П. И. Лизоркиным в работе [19]. При этом вырождения коэффициентов дифференциального оператора по разным независимым переменным характеризуются с помощью разных функций и дифференциру-емость функций, с помощью которых определяется вырождение исследуемого оператора, не требуется.

1. Формулировка основного результата

Пусть О — произвольное открытое множество в п-мерном евклидовом пространстве Кп, и пусть П(0) — единичный куб с центром в начале системы координат. Для любой точки £ = (£ь£2, ••• ,£п) € Кп и любого вектора 4 = (¿1, ¿2, • • • , ¿п) с положительными компонентами определим параллелепипед П(£) равенством

П(£) = {ж € Кп : ((Х1 - £1)/^, (Х2 - 6)^2, • • • , (Хп - £п)/*п) € П(0)}. Пусть д2 (ж), ] = 1, 2, • • •, п, — определенные в О положительные функции. Положим Пе>д(£) = где е > 0 и д(£) = (д!(£),д2(£), •• • ,дп(£)).

Предполагается, что множество О и функции д2-(ж), ] = 1, 2, • • •, п, связаны следующим условием.

(А) Существует постоянная ео > 0 такая, что для всех £ € О параллелепипед Пе ^(£) содержится в О для всех е € (0, ео).

Условие (А) является аналогом условия погружения, введенного в [19]. В этой работе также рассмотрены примеры областей О и положительных функций д2-(ж), ] = 1, 2, • • • , п, удовлетворяющих условию погружения.

Рассмотрим дифференциальное выражение

Дж,Дх)= ак(ж)^ (ж € О), (1)

|к|<2г

где к = (к1, к2, • • • , кп) — мультииндекс, |к| = к1 + к2 + • • • + кп — длина муль-тииндекса,

1 д \кV1 д \к2 (1 д 4 кп

х 1 г дх\) \г дх2 ) \г дхг,

и г — мнимая единица.

Символом В(т, д, О), где т — положительное число, обозначим класс символов

£(ж,я)= ак(ж)вк (ж € О, в € Кп)

|к|<2г

с измеримыми коэффициентами, удовлетворяющими следующим условиям: (I) п* |Ь(х,в)| = 8 = 0

(II) Мх)в2' | < тд-2"(х)д-22'(х) ... д-2П(х)|Ь(х,я)| для всех х € О, в € Еп, к = к' + к'', к" = 0, |к| < 2г;

(III) |(а2(х) — ак(у))в2| < т|Ь(х,в)| для всех в € Еп и всех х,у € О

|2|<2г

таких, что |хз- — Уз | < е2дз-(х), j = 1, 2,... , п, е € (0, е0). Будем писать Ь(х, в) € В(т, д, О), если

Ь(х,а) € В(т,д,О), а2(х) € Ьто,1сс(О) (|1| < |к| < 2г),

и выполняется одно из следующих условий:

^Уа) Ь(х, — симметрическое дифференциальное выражение; ^Уб) имеет место неравенство

]Г |(я£ак(х))дк"(х)д222'(х) ... дПП(х)в2'| < т|Ь(х, в)|

1 + к' + к" = к, к'' = 0, |к|<2г

для всех х € О, в € Еп. Наряду с дифференциальным выражением (1) рассмотрим дифференциальное выражение

>2 (х)^2

|2|<2г

Цх,Дх)= Ьк (х)я£ (х € О) (2)

с непрерывными коэффициентами Ьк(х) (х € О, |к| < 2г), удовлетворяющими неравенству

£ |Ьк(х)д2 ''(х)д22'(х) ...д5(х)в2'| < М|Ь(х, в)| (3)

к' + к'' = к, |к|<2г

для всех х € О, в € Еп; N — некоторая положительная постоянная. Теорема. Пусть существует число Л > 0 такое, что

Аз = 1,2,...,п, (4)

" яАУ) _

для всех у € О и всех х € (у), и пусть при некотором к > 0 выполняется неравенство

X) |а2(х)в21< к |Ь(х, в)| (5)

|2|<2г

для всех х € О, в € Еп. Пусть также выполняется неравенство (3). Тогда найдется число то = то (г, п,р, к, 8) > 0, 1 < р < такое, что если Ь(х, в) €

В(т, д, О), 0 < т < то , то для всех и € СО" (О) выполняется неравенство

||Ь2(х)^Хи(х); ЬР(О)|| < М ||Ь(х,Д>(х); ЬР(О)||, (6)

|2|<2г

где М = М(г, п,р, к, М) — некоторая положительная постоянная. Если же Ь(ж, в) € В(т, д, О), 0 < т < Тд, то неравенство (6) имеет место также для всех и(ж) € Ьр(О) таких, что Ь(ж,Дх)и(ж) € Ьр(О).

Напомним определение относительной ограниченности операторов в банаховых пространствах. Пусть X, У и Z — банаховы пространства и А : -О(А) С X ^ У, В : -О (В) С X ^ Z — некоторые плотно определенные линейные операторы. Оператор В называется ограниченным относительно оператора А (или А-ограниченным), если ^(А) С -О(В) и существуют постоянные а > 0, в > 0 такие, что

||Ви; Z|| < а||и; X|| + в||Аи; У||

для всех и € ^(А).

Пусть операторы (см. (1), (2))

Ь = Ь(-,Я), Я(Ь) = С^(О), и Ь = Ц-,£), £(Ь) = С^(О),

допускают замыкание в пространстве Ьр(О). Их замыкания обозначим через Ь(р) и Ь(р) соответственно. Тогда в условиях сформулированной выше теоремы если Ь(ж,в) € В(т, д, О), 0 < т < Тд, то неравенство (6) имеет место для всех и(ж) € Ьр(О) таких, что Ь(ж,.Ох)и(ж) € Ьр(О), и из этого неравенства следует ограниченность оператора Ь(р) относительно оператора Ь(р в пространстве Ьр(О).

2. Доказательство основной теоремы

Отметим, что дифференциальные операторы Ь(ж, ,Ох), символы которых принадлежат классу В(т, д, О), ранее изучались в работах авторов [18,20]. Так же как в этих работах, здесь применяется техника, основанная на следующей лемме о разбиении единицы области О.

Лемма 1 (см. [17, лемма 1]). Пусть область О и положительные функции дз-(ж), j = 1, 2, • • • , п, удовлетворяют сформулированным выше условиям.

Тогда существуют неотрицательные функции ф^ ф2, • • • из класса С^(О)

такие, что

+^

1) £ (ж) = 1 (ж € О);

т= 1

2) покрытие {вирр ^т}т<=1 области О имеет конечную кратность Л(п, А), где А — константа из условия (4);

3) для любого мультииндекса к существует конечное число Мк > 0 такое,

что

Фт(ж) | < Мкд-к1 (ж)д2-к2 (ж) • • • (ж) (ж € О);

4) для всех ж, у € 8ирр фт, т =1, 2, • • •, выполняется неравенство

|жз -Уз1 < е2дз(ж) j = 1,2,• • •,п;

5) для любой функции / € ¿1(0) справедливо соотношение

+о -

/ Хт(х)/(ж) ¿Ж ^ 0, N ^ + ГО,

где Хт(х) — характеристическая функция множества вирр .

Пусть Ь(ж,я) € В(т, д, 0) и 0 < т < то, где то = то(п, г, р, к) > 0 — такое же положительное число, как в [20, теорема 1]. Тогда согласно этой теореме замыкание Ь(р) оператора Ь = Ь(-,0), О(Ь) = Сд°(0), в пространстве Ьр(0) существует и имеет место равенство (см. [18, с. 21])

Ь(р)^(р) = Е + Г

(р),

(7)

где Г(р) — замыкание в Ьр(0) некоторого оператора Г € .¿^[0] такого, что ||Г||р < 1/2, и при этом 0(Г(Р)) = Ьр(0). Здесь и далее символом [0]

р1

обозначено пространство всех линейных операторов, действующих из С°0(О) в Ь1(0) П Ьо(0), замыкания которых в пространстве Ьр(0) являются ограниченными операторами.

Напомним (см. [18, с. 8]), что ^|р) — замыкание в Ьр(0) оператора

F =^ ) = С0то(О)

(8)

т= 1

где Фт, т = 1, 2,..., — псевдодифференциальный оператор в с символом Ьт(я)= ^ (ж(т'к))як (я € й„), (9)

Фш(я) = Ьт1(я)

|к|<2г

|ж(т'к), |к| < 2г} — некоторые фиксированные точки из виррт =1, 2,.... Ниже докажем неравенство

||Ьк.к^||р < С1,р < |к| < 2г.

Используя равенство

+0 +0

т] Фт

(10)

т= 1

т= 1

где символ [•, •] обозначает коммутатор [Т1,Т2] = Т1Т2 — Т2Т1, представим оператор в виде

..............(11)

где

^ = 53 ^тЬкФ^^т,

Г(к) _

т]Фт ^т 5

Ф^т — псевдодифференциальный оператор в с символом якЬт1(я).

т= 1

т= 1

Оценим норму оператора Fik). Для этого представим оператор Fik) в виде

Fik) = 53 фт (bk (x) - bk }}Фтк) фт+ 53 )Фтт) Фт.

m=1 m=1

Применяя [18, лемма 2], получаем

||Fik)||p < Mi(Ci,k + C2,k), (13)

где

Ci,k = sup ||фт (bk (x) - bk (x(m'k) ))ф(^) Фт ||.

m=1,2,... p

C2,k = sup |^mbk(x(m'k) )Ф^т)Фт || •

m=1,2,... p

Также с помощью [18, лемма 2] доказывается, что

11 Фт (bk (x) - bk(x(m'k) ))ф(^)фт ||p < M11 sup|(bk (x) - bk (x(m'k) ))sk ^(s^.

В этих неравенствах верхняя грань берется по x £ supp фт, s £ Rn. Отсюда в силу непрерывности коэффициентов bk(x), |k| < 2r, и условия (3) следует, что

11 Фт (bk (x) - bk (x(m'k) ))Ф^т) Фт ||p < M1, (14)

где M1 — некоторое конечное положительное число. Из условия (3), в частности, следует, что

|bk(x)sk|< N|L(x,s)|, |k| < 2r,

для всех x £ О, s £ Rn. Следовательно,

|bk(x(m'k))sk| < N|L(x(m'k), s)|, |k| < 2r, m = 1, 2,... ,

для всех s £ Rn.

Согласно неравенству (16) из работы [18]

|L(x, s)| < 2|Lm(s)| < 3|L(x, s)|, s £ Rn, x £ suppФт, m =1, 2,... . (15) Отсюда следует, что

|L(x(m'k),s)| < 2|Lm(s)| < 3|L(x(m'k),s)|, s £ R„, m = 1, 2,... . Поэтому

|bk(x(m'k))skLm1(s)1 < 2N, |k| < 2r, m = 1, 2,..., (16)

для всех s £ Rn.

Отметим, что в силу [18, лемма 3] для нормы псевдодифференциального

(k)

оператора Фт имеет место следующее неравенство:

||Фтт) ||p < Mp sup |skLm1(s)|.

Отсюда и из (16) следует, что

|^mbk(x(m'k) )фт)Фт ||p < 2N (17)

для всех |к| < 2г, т = 1, 2, • • •.

В силу доказанных неравенств (14), (17) из (13) получим следующую оценку для нормы оператора № * :

р!к)||р < М1,р(М1 + 2М) (18)

Переходим к оценке нормы оператора (см. (12)) Е«"1. Так как

,фт] = Ьк(ж)^к (фт (ж)) - фт(ж)Ьк(ж)£к ,

имеет место представление

+ ^

Е- = Е Е с(к',к'')Ьк(ж)Фтк')фт")Фт,

т=1 к' + к'' = к, к' = 0

где С (к', к'') — постоянные числа, фт )(ж) = -О^ фт(ж) и Ф^? ) — псевдодифференциальный оператор в Кп с символом Ьт1(^). Отсюда в силу [18, лемма 2] следует, что

Р(к)||р < Л1/р(п,А) С^к"), (19)

к' + к'' = к, к' = 0

где

Clk'k") = sup ||bk(x^k' )фт")Фт|„. (20)

В силу [18, лемма 3] имеем

|bk(x^mk' )Фтт" Vm||p < sup sup ^ )(x)bk (x)sk" L,^^.

x£supp фт s£R„

Применяя неравенство (15) и п. 3 леммы 1, получим sup sup |фт )(x)bk(x)sk Lm1 (s)|

m

Pm s £ R 1-го

x£supp—m s£R

' rkwyi wy: 2

xGsupp -0m s£R

~.k\ {„k" T —1

< M21 sup sup |bk(x)gkl (x)^2 (x) .. . (x)sk L„l1(s)|

< M22 sup sup |bk(x)gk (x)^2 (x) (x)s L (x,s)|.

x£supp — m s£R„

Отсюда в силу условия (3) следует, что

sup sup |фт ' )(x)bk (x)sk' 'Lm1(s)| < M22N < +TO.

x£supp — m s£R„

Таким образом (см. (19), (20)), существует конечное положительное число M2,p 1 < p < такое, что

"F * ||р < M2,p

для всех мультииндексов k таких, что |k| < 2r.

В силу представления (11) из (18), (21) следует неравенство (10). Пусть u(x) — произвольная функция из класса 60°(О). Тогда существует функция (см. (8)) v(x) £ С^(О) такая, что Fv = u. Используя равенство (7),

||F(1) ||р < M2,p (21)

имеем Ьи = Ь^ = (Е+ГТак как Г е ^?р[О] и ||Г||р < 1/2, то V = (Е+Г)-1Ьи. Отсюда и из неравенства (10) имеем

||Ьк0ки; Ьр(О)|| = Ьр(О)|| < Ci.plV; Ьр(О)||

= С1,р|(Е + Г)-1Ьи; Ьр(О)|| < С1,р||(Е + Г)-1||р||Ьи; Ьр(О)||.

Так как (Е + Г)-1 — ограниченный оператор, то

||Ь*0ки; Ьр(О)|| < С2,р||Ьи; Ьр(О)|| (и е СО(О)), (22)

где С2,р — положительная постоянная. Следовательно,

||Ьк(ж).и(ж); Ьр(О)|| < М||Ь(ж,.0*)и(ж); Ьр(О)||

|к|<2г

для всех и е СО(О), т. е. неравенство (6) в случае и е СО(О) доказано.

Таким образом, первая часть утверждения основной теоремы доказана. Для доказательства второй части вводим пространство Нр,ь(О), которое состоит из всех функций и(ж) е Ьр(О) таких, что ¿(ж, 0х)и(ж) е Ьр(О). Норма в Нр,ь(О) определяется равенством

11и; Н^ь(О)|| = {У |и(ж)|р ¿ж + I |Ь(ж, Дх)и(ж)|р ¿ж о о

Если ¿(ж, в) е В(т, д, О) и 0 < т < то, где то = То(п,г,р, к) > 0 — такое же положительное число, как в [18, теорема 1], то согласно этой теореме замыкание Ь(р) оператора Ь = Ь(-,0), О(Ь) = СО (О), в пространстве Ьр(О) существует. Пусть и е 0(Ь(р)). Тогда существует последовательность функций и1(ж), и2(ж),... из класса СО (О) такая, что и —> и, Ьи.,- —> Ь(р)и. Из (22) следует, что

|6к0к(иг - и); Ьр(О)| < С2,р||Ь(и - и); Ьр(О)||. (23)

Поэтому для произвольного е > 0

||.к(иг - и,-); Ьр(Ое)|| 0 (¿,7 (24)

где Ое = {ж е О : |Ьк(ж)| > е}. Так как и —> и, из (24) следует, что в Ое существует обобщенная производная .и(ж) в смысле С. Л. Соболева. Отсюда в силу произвольности е > 0 и непрерывности коэффициентов Ь&(ж), |к| < 2г, следует, что обобщенная производная 0:и(ж) в смысле С. Л. Соболева существует в множестве Оо = {ж е О : 6&(ж) = 0}. Учитывая это и переходя к пределу при 7 —> в неравенстве (23), получим

||Ьк.ки - Ьр(Ое)| < С2,р|Ь(и - иг); Ьр(О)||.

Отсюда в силу произвольности е > 0 имеем

||Ьк.ки - Ьр(О)| < С2,р|Ь(и - иг); Ьр(О)||.

Следовательно, если переходить к пределу при j —> в неравенстве ||bfc(x)Dkui(x); Lp(0)|| < M||L(x, Dx)u*(x);

|k|<2r

то получим неравенство (6) для всех u G D(L(p)).

Ниже докажем, что в условиях теоремы найдется число to = t(r, n, p, к) такое, что если 0 < т < to и L(x, s) G В(т, g, О), то

D(L(P))= Wp,L(0). (25)

Поэтому в этом случае неравенство (6) имеет место для всех u(x) G Lp (О) таких, что L(x, Dx)u(x) G Lp(0). Таким образом, для завершения доказательства основной теоремы осталось доказать равенство (25).

Обозначим через L'(x, s) символ дифференциального выражения L'(x, Dx), сопряженного к дифференциальному выражению L'(x,Dx). Непосредственными вычислениями можно убедиться в том, что если L(x, s) G В(т, g, О), 0 < т < где ^ — некоторое малое число, зависящее только от r и n, то L'(x, s) G g, iî). Если же при этом выполняется неравенство (5), то

53 K(x)sk|< k'|L'(x, s)| (x G О, s G R„),

|k|<2r

где к' = 4к + 3 и ak(x) — коэффициенты символа L'(x, s).

Таким образом, к дифференциальным операторам L = L(x, Dx), D(L) = СО(О), и L' = L'(x, Dx), D(L') = С^(О), можно применить результаты работы [18], согласно которым можно подобрать положительное число ti = ti(r, n,p, к) такое, что если L(x, s) G В(т, g, О), то (см. [18, с. 21, 22])

R(L(p)) = Lp(O), kerL(p) = 0; R(L(g)) = L,(0), kerL(g) = 0, 1/p + 1/q = 1.

Отсюда в силу [2, лемма 2.6, п. (в)] следует равенство (L'q))* = L(p). Поэтому из [2, лемма 2.6, п. (г)] следует, что u(x) G D((L'q))*) = D(L(p)) тогда и только тогда, когда u(x) G Lp(0) и обобщенная функция

(L(x, Dx)u)(x) = 53 ak(x)Dku(x)

|k|<2r

принадлежит пространству Lp(0), т. е. имеет место равенство (25). Основная теорема доказана.

ЛИТЕРАТУРА

1. Като Т. Теория возмущений линейных операторов. — М.: Мир, 1972.

2. Бойматов К. Х. Теоремы разделимости, весовые пространства и их приложения // Тр. МИАН СССР. 1984. Т. 170. С. 37-76.

3. Anderson T. G., Hinton D. B. Relative boundedness and compactness theory for second-order differential operators // J. Inequal. Appl. 1997. V. 1. P. 375-400.

4. Binding P., Hryntiv R. Relative boundedness and relative compactness for linear operators in Banach space // Proc. Amer. Math. Soc. 2000. V. 128, N 8. P. 2287-2290.

5. Отелбаев М. О разделимости эллиптических операторов // Докл. АН СССР. 1977. Т. 234. № 3. С. 540-543.

6. Отелбаев М. Коэрцитивные оценки и теоремы разделимости эллиптических уравнений в Rn // Тр. МИАН СССР. 1983. Т. 161. С. 195-217.

7. Muratbekov M., Otelbaev M. On the existence of a resolvent and separability for a class of singular hyperbolic type differential operators on an unbounded domain // Euras. Math. J. 2016. V. 7, N 1. P. 50-67.

8. Бойматов К. Х. Теоремы разделимости, весовые пространства и их приложения к краевым задачам // Докл. АН СССР. 1979. Т. 247, № 3. С. 532-536.

9. Бойматов К. Х. Теоремы разделимости // Докл. АН СССР. 1973, Т. 213, № 5. С. 10091011.

10. Зорин А. В. Метод исследования существенного и дискретного спектра оператора Гамильтона водородоподобного атома в квантовой механике Курышкина // Вестн. РУДН. Сер. Прикладная и компьютерная математика. 2004. Т. 3, № 1. С. 121-131.

11. Brown R. C., Hinton D. B. Relative form boundedness and compactness for a second-order differential operator //J. Comput. Appl. Math. 2004. V. 171. P. 123-140.

12. Тригуб Р. М. О сравнении линейных дифференциальных операторов // Мат. заметки. 2007. Т. 82, вып. 3. С. 426-440.

13. Behncke H., Nyamwala F. O. Spectral analysis of higher order differential operators with unbounded coefficients // Math. Nachr. 2012. V. 285, N 1. P. 56-73.

14. Brown R. C. Separation and disconjugacy //J. Inequal. Pure Appl. Math. 2003. V. 4, N 3. Art. 56. P. 1-16.

15. Ospanov K. N., Akhmetkaliyeva R. D. Separation and the existence theorem for second order nonlinear differential equation // Electr. J. Quantat. Theory Diff. Equ. 2012. N 66. P. 1-12.

16. Zayed E. M. E., Omran S. A. Separation for triple-harmonic differential operator in Hilbert space // Int. J. Math. Combin. 2010. V. 4. P. 13-23.

17. Qi J., Sun H. Relatively bounded and relatively compact perturbations for limit circle Hamil-tonian systems // Integr. Equ. Oper. Theory. 2016. DOI 10.1007/s00020-016-2325-y.

18. Гадоев М. Г., Исхоков Ф. С. Об обратимости одного класса вырождающихся дифференциальных операторов в лебеговом пространстве // Мат. заметки СВФУ. 2016. Т. 23, № 3. C. 3-26.

19. Лизоркин П. И. Оценки смешанных и промежуточных производных в весовых Lp-нор-мах // Тр. МИАН СССР. 1980. Т. 156. С. 130-142.

20. Гадоев М. Г., Исхоков Ф. С. О некоторых функциональных пространствах, норма которых задается с помощью дифференциального оператора // Тр. междунар. летней математической школы-конференции С. Б. Стечкина по теории функций. Душанбе. 2016. C. 82-84.

Статья поступила 19 января 2018 г. Гадоев Махмадрахим Гафурович,

Северо-Восточный федеральный университет им. М. К. Аммосова,

Политехнический институт (филиал) в г. Мирном,

ул. Тихонова, 5/1, Мирный 678170, Республика Саха (Якутия)

[email protected]

Исхоков Фаридун Сулаймонович,

Институт математики имени А. Джураева АН Республики Таджикистан, ул. Айни, 299/4, Душанбе, 734063, Республика Таджикистан [email protected]

Математические заметки СВФУ Январь—март, 2018. Том 25, № 1

UDC 517.957

ON RELATIVE BOUNDEDNESS OF A CLASS OF DEGENERATE DIFFERENTIAL OPERATORS IN THE LEBESGUE SPACE M. G. Gadoev and F. S. Iskhokov

Abstract: In the space Lp(Q), where 1 < p < and Q is an arbitrary (bounded or unbounded) domain in Rn, we investigate relative boundedness for a class of higher order partial differential operators in non-divergent form. These operators have nonpower degeneracy on the whole boundary of Q and degeneracy with respect to each of independent variables is characterized by different functions.

In the earlier published papers in this direction, as a rule, firstly the operator is defined in Q and then functions characterizing degeneracies of the operator's coefficients are defined in this domain.

In contrast to that, here we define Q and these functions related to each other while fulfilling the "immersion condition" introduced by P. I. Lizorkin in [19]. In addition, differentiability of the functions by which we define degeneracy of the investigated operator is not required.

Study of relative boundedness of differential operators is one of the modern directions in such operators theory with results having a wide range of applicability to the imbedding theory of differentiable functions of many variables, the separation theory of differential operators, the spectral theory of differential operators, etc.

DOI: 10.25587/SVFU.2018.1.12764

Keywords: partial differential operator, non-power degeneracy, relative boundedness of operators, partition of the unit.

REFERENCES

1. Kato T., Perturbation Theory for Linear Operators, Springer-Verlag, Berlin, Heidelberg, New York (1995).

2. Boimatov K. Kh., "Separability theorems, weighted spaces and their applications [in Russian]," Tr. Mat. Inst. Steklova, 170, 39-81 (1987).

3. Anderson T. G. and Hinton D. B., "Relative boundedness and compactness theory for second-order differential operators," J. Inequal. Appl., 1, 375-400 (1997).

4. Binding P. and Hryntiv R., "Relative boundedness and relative compactness for linear operators in Banach space," Proc. Amer. Math. Soc., 128, No. 8, 2287-2290 (2000).

5. Otelbaev M., "On separation of elliptic operators [in Russian]," Dokl. Akad. Nauk SSSR, 234, No. 3, 540-543 (1977).

6. Otelbaev M., "Coercive estimates and separation theorems of elliptic operators in Rn [in Russian]," Tr. Mat. Inst. Steklova, 161, 195-217 (1983).

7. Muratbekov M. and Otelbaev M., "On the existence of a resolvent and separability for a class of singular hyperbolic type differential operators on an unbounded domain," Euras. Math. J., 7, No. 1, 50-67 (2016).

8. Boimatov K. Kh., "Separability theorems, weighted spaces and their applications to boundary value problems [in Russian]," Dokl. Akad. Nauk SSSR, 247, No. 3, 532-536 (1979).

© 2018 M. G. Gadoev, F. S. Iskhokov

9. Boimatov K. Kh., "Separation theorems [in Russian]," Dokl. Akad. Nauk SSSR, 213, No. 5, 1009-1011 (1973).

10. Zorin V. A., "Method of investigation of essential and discrete spectra of Hamiltonian operator of hydogen-like atom in quantum mechanics of Kuryshkin," Vestn. Ross. Univ. Druzhby Narodov, Ser. Prikl. Comput. Mat., 3, No. 1, 121-131 (2004).

11. Brown R. C. and Hinton D. B., "Relative form boundedness and compactness for a second-order differential operator," J. Comput. Appl. Math., 171, 123-140 (2004).

12. Trigub R. M., "Comparison of linear differential operators," Math. Notes, 82, No. 3, 380-394 (2007).

13. Behncke H. and Nyamwala F. O., "Spectral analysis of higher order differential operators with unbounded coefficients," Math. Nachr., 285, No. 1, 56-73 (2012).

14. Brown R. C., "Separation and disconjugacy," J. Inequal. Pure Appl. Math., 4, No. 3, paper 56, 1-16 (2003).

15. Ospanov K. N. and Akhmetkaliyeva R. D., "Separation and the existence theorem for second order nonlinear differential equation," Electron. J. Qual. Theory Differ. Equ., 66, 1-12 (2012).

16. Zayed E. M. E. and Omran S. A., "Separation for triple-harmonic differential operator in Hilbert space," Int. J. Math. Comb., 4, 13-23 (2010).

17. Qi J. and Sun H., "Relatively bounded and relatively compact perturbations for limit circle Hamiltonian systems," Integr. Equ. Oper. Theory (2016). DOI 10.1007/s00020-016-2325-y.

18. Gadoev M. G. and Iskhokov F. S., "On invertibility of a class of degenerate differential operators in the Lebesgue space," Math. Zamet. SVFU, 23, No. 3, 3-26 (2016).

19. Lizorkin P. I., "Estimate of mixed and intermediate derivatives in weighted Lp-norms [in Russian]," Tr. Mat. Inst. Steklova, 156, 141-153 (1983).

20. Gadoev M. G. and Iskhokov F. S., "On some functional spaces, which norms are given by differential operators," in: Proc. Int. Summer Math. Stechkin School-Conf. Function Theory (Dushanbe, Tajikistan, Aug. 15-25, 2016), 82-84 (2016).

Submitted January 19, 2018

Makhmadrakhim G. Gadoev

North-Eastern Federal University,

Mirny Polytechnic Institute (branch),

5/1 Tikhonov Street, Mirny 678170, Yakutia, Russia

[email protected]

Faridun S. Iskhokov

Academy of Sciences of the Republic of Tajikistan, A. Dzhuraev Mathematical Institute, 299/4 Aini Street, Dushanbe 734063, Tajikistan [email protected]