Математика/1. Дифференциальные и интегральные уравнения

 

Карсыбаева З.С.,  Мырзагалиева А.Х.

Евразийский национальный университет, г. Астана, Казахстан

 

Об ограниченности одного дифференциального оператора

в пространствах Соболева

 

        Пусть . Через  обозначим пространство Лебега функций  с нормой

,

соответственно пространство Соболева  с конечной нормой


.

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

.

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

,                                                (1)

определенный на , где , где  имеют на  производные до порядка  включительно.

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

1. для всех ;

2. Существует постоянная  для всех .

        Пусть . Введем функцию

        По функции построим интервалы


Определение 1. Будем говорить, что v(t) удовлетворяет условию медленного колебания относительно h(x), если существуют постоянные 0<b1<b2 такие, что


.                                      (2)

        Положим

                          (3)

Здесь  наилучшие постоянные в неравенствах Соболева (см. ниже оценки (6) и (7)),  некоторая постоянная.

Теорема 1.    Пусть , функция удовлетворяет условию медленного колебания (2) и существует такая постоянная K>0, что

, для любого t∆(x).                                       (4)

        Если   и  подчиняются условиям

   

  

относительно , то дифференциальный оператор L есть ограниченный оператор, действующий из в , при этом норма

.                                   (5)

Доказательство теоремы 1 будет опираться на следующие утверждения:

Утверждение 1. Для функции  справедлива оценка

       (6)

Утверждение 2. Пусть . Тогда для любого  имеет место неравенство

,        (7)

.

        Оценки (6) и (7) следуют из известных неравенств Соболева [1]:

        Существует постоянная  такая, что для любой функции   справедлива оценка

.                           (8)

        Существует постоянная  такая, что для любой функции    справедлива оценка

.                          (9)

        Здесь  - класс всех -раз непрерывно дифференцируемых функций на .

Доказательство теоремы 1.

        Имеем

 .                 (10)

        Представим  как дизъюнктивное объединение , где .

        ая степень первого слагаемого в (10)

.                           (11)

        В силу утверждения 2 (неравенство (7)) имеем

,                 (12)

где .

               В неравенстве (12) ко второму слагаемому в правой части применим условие (2). Тогда

.                 (13)

        Теперь из условия (4) теоремы 1 получим

                             (14)

        В силу неравенств (12) и (14) имеем

      (15)

        Итак, получили, что

.                            (16)

Рассмотрим второе слагаемое в (10)

             (17)

В (17) будем отдельно оценивать каждое слагаемое:

.

Имеем

     (18)

Применим к выражению  в (18) оценку (6)

,              (19)


где .

С учетом неравенства (19) перепишем оценку (18)

         (20)

К выражению в фигурной скобке применим неравенство (14). Получим

(21)


        Вспомним, что в основном неравенстве (10) идет оценка второго слагаемого, которое имеет вид:

В этом выражении оценка первой суммы сделана в (21), перейдем к оценке второй суммы

,

               (22)

Из (21) и (22) следует

.                                             (23)

Выпишем третье слагаемое

.                               (24)

Для суммы в правой части (24) с помощью аналогичных (17)-(22) выкладок получаем оценку

                                           (25)

Из (16), (23) и (25) следует (5). Теорема доказана.

Определение 2. Всякую положительную непрерывную на  функцию h*(˖) будем называть функцией длины (на).

Примеры функций длины:

1.

2. ,   .

3. , где при .

Теорема 2. Пусть , функция  удовлетворяет условию медленного колебания (2) относительно функции длины  и существует такая постоянная , что

 для любого .

        Если  и  подчиняются условиям:

            

то дифференциальный оператор  есть ограниченный оператор, действующий из в , при этом норма

.

Замечание. Оценки норм для дифференциальных операторов в невесовых пространствах Соболева ранее рассматривались в работе [2].

 

Литература:

1. Никольский С.М. Приближение функций многих переменных и теоремы вложения. М.: Наука, 1977, 456 стр.

2. Мазья В.Г., Шапошникова Т.О. Мультипликаторы в пространствах дифференцируемых функций. Л.: Изд-во Ленинградского университета, 1986, 404 стр.