Рассматривается вопрос о разрешимости краевой задачи для нелинейного функционально-дифференциального уравнения в предположениях: оператор Немыцкого
, определенный равенством
, непрерывен;
,
— измеримая функция, такая, что существует ограниченная в существенном на
производная Радона-Никодима
функция множества
.
Ключевые слова: краевая задача, линейный оператор, функционально-дифференциальное уравнение.
Рассмотрим вопрос о разрешимости краевой задачи для нелинейного функционально-дифференциального уравнения
в следующих предположениях: оператор Немыцкого , определенный равенством
, непрерывен;
,
— измеримая функция, такая, что существует ограниченная в существенном на
производная Радона-Никодима
функция множества
.
Будем пользоваться следующими обозначениями:
— пространство
-мерных вектор-столбцов с нормой
;
- пространство суммируемых в
–ой степени на отрезке
вектор-функций с нормой
, (
);
— пространство ограниченных в существенном
на вектор-функций
с нормой
;
— пространство непрерывных на
вектор-функций
с нормой
;
— пространство таких абсолютно-непрерывных функций
, что
,
;
— показатель степени, сопряженный с
:
;
— банаховы пространства с нормами
,
соответственно;
— скалярное произведение в
, определенное равенством
, где
,
;
— скалярное произведение в
, определенное равенством
и согласованное с нормой в
;
— билинейная форма, заданная на
,
,
;
— шар в
радиуса
с центром в нуле;
— носитель суммируемой функции
;
— оператор, сопряженный к
.
Рассмотрим уравнение:
(1)
с непрерывным оператором .
Определение 1.[3, с. 21]. Оператор называется коэрцитивным, если для любого
выполняется неравенство
, где
— некоторая функция, удовлетворяющая условию
.
Отметим, что для случая линейного ограниченного оператора, из сильной монотонности следует его коэрцитивность.
Определение 2.[3]. Оператор называется усиленно непрерывным, если он отображает слабо сходящиеся последовательности в сходящиеся.
В частности, всякий вполне непрерывный оператор является усиленно непрерывным. Обратное, вообще говоря, неверно.
В некоторых случаях утверждения, справедливые для монотонных операторов, остаются справедливыми для более широкого класса операторов, описанных в следующем определении.
Определение 3.[3, с. 267]. Оператор называется полу монотонным, если он представлен в виде суммы монотонного и усиленно непрерывного операторов.
Отметим, что полу монотонные операторы называются также монотонными в главной части [6, c. 181].
Пусть — линейный оператор.
Определение 4. [3, с. 22]. Оператор называется
-монотонным, если для любых
выполнено неравенство
.
Определение 5. Оператор называется
-коэрцитивным, если для любого
выполнено условие
, где
.
Нам потребуется следующее распространение теоремы Браудера о полу монотонном операторе, применимое и в тех случаях, когда оператор не является полу монотонным или коэрцитивным.
Лемма 1. Пусть выполнены предположения:
а) – линейный обратимый оператор;
б) - непрерывный оператор;
в) оператор — полу монотонен;
г) оператор
- коэрцитивен.
Тогда уравнение (1) имеет хотя бы одно решение для любого .
Уравнение (1) эквивалентно уравнению (2)
Рассмотрим далее краевую задачу
(3)
в следующих предположениях:
— измеримая функция, такая, что существует ограниченная в существенном на
производная Радона-Никодима
функция множества
удовлетворяет условиям Каратеодори и оператор Немыцкого
, определенный равенством
, непрерывен;
.
Будут получены признаки разрешимости задачи (3), основанные на теореме Браудера [3].
Определение 6.1–6.2. Будем говорить, что функция на множестве
: удовлетворяет условию /6А,
/, если существует такое число
, что для всех
выполнено неравенство
; удовлетворяет условию /6Б,
/, если существует такое число
, что для всех
выполнено неравенство
.
Обозначим через оператор Грина краевой задачи
(4)
Отметим некоторые свойства оператора [6, с. 79, 88]. Имеем представление
(5)
Оператор положителен, т. е. для любого
имеет место неравенство
(6)
Рассмотрим семейство операторов , где
— тождественный оператор,
— действительный параметр и
. Предварительно докажем вспомогательное утверждение.
Лемма 2. Для любого имеет место неравенство
. (7)
Определим оператор равенством
и рассмотрим уравнение
(8)
Приведем одно вспомогательное утверждение.
Лемма 4. Для любого имеет место неравенство
.
Приводимое ниже утверждение позволит нам заменить исследование краевой задачи (3) исследованием уравнение (8).
Предложение 5. [1] является решение уравнения (8) тогда и только тогда, когда
является решением задачи (3).
Исследуем свойства оператора .
Лемма 6. Пусть выполнены предположения:
а) функция удовлетворяет условиям /6А,
/, /6Б,
/, на множестве
;
б) выполнено неравенство (9)
где ,
.
Тогда оператор
-коэрцитивен и для любого
имеет место неравенство
(10)
где.
Следствие 7. Пусть выполнены предположения:
а) функция удовлетворяет условиям /6А,
/, /6Б,
/, на множестве
;
б) выполнены неравенства (7) и (9).
Тогда все решения задачи (3) удовлетворяют оценке
(11)
где .
Теорема 8. Пусть существует такое . что выполнены условия:
а) функция удовлетворяет условиям /6А,
/, /6Б,
/, на множестве
;
б) выполнены неравенства (7), (9).
Тогда краевая задача (3) имеет решение , которое удовлетворяет оценке (11).
Доказательство. Ввиду выполнения всех предположений следствия 7 будем доказывать существование решения вспомогательной краевой задачи
(12)
удовлетворяющего оценке (11), где каратеодорева функция совпадает с
на множестве
,
удовлетворяет условиям /6А,
/, /6Б,
/ на
и оператор Немыцкого
, определяемый равенством
, непрерывен.
Рассмотрим оператор , определенный равенством
.
Из леммы 6 следует -коэрцитивность оператора
, при этом оператор
обратим (см. лемму 3). Из (9) следует, что
. Оператор
полу монотонен. Действительно, непосредственно получаем представление
(13)
Здесь монотонен по лемме 6. Оператор
вполне непрерывен, а значит, усиленно непрерывен. Итак, (13) есть представление оператора
в виде суммы монотонного и усиленно непрерывного, т. е. оператор
является полу монотонным.
Итак, выполнены все условия леммы 1, поэтому уравнение имеет решение
, а краевая задача (12) имеет решение
, удовлетворяющее оценке (11). Тогда это
является решением задачи (3). Доказательство закончено.
Литература:
1. Азбелев Н. В., Исламов Г. Г. Об одном классе функционально-дифференциальных уравнений // Дифференциальные уравнения. — 1976. — Т. 12. — № 3. — с. 417–427.
2. Азбелев Н. В., Максимов В. П. Априорные оценки решений задачи Коши и разрешимость краевых задач для уравнений с запаздывающим аргументом // Дифференциальные уравнения. 1979. — Т. 15. — № 10. — с. 1731–1747.
3. Вайнберг М. М. Вариационный метод и метод монотонных операторов., М., Наука, 1972, — 416 с.
4. Забрейко П. П., Кошелев А. И., Красносельский М. А. и др. Интегральные уравнения., М: Наука, 1968, — 448, /Сер. «Справочная математическая библиотека»/.
5. Кигурадзе И. Т., Шехтер Б. Л. Сингулярные краевые задачи для обыкновенных дифференциальных уравнений второго порядка. // Современные проблемы математики. Новейшие достижения. — М.: ВИНИТИ, 1987. — Т. 30. — с. 105–201. — /Итоги науки и техники ВИНИТИ АН СССР/.
6. Куфнер А., Фучик С. Нелинейные дифференциальные уравнения. Пер. с англ. А. Ф. Жукова. — М.: Наука, 1988. -304 с.
7. Харди Г. Г., Литтльвуд Дж. Е., Полиа Г. Неравенства, ЛКИ, 3 издание, 2008, — 456 с.