Научная статья на тему 'О разрешимости каузальных функциональных включений с бесконечным запаздыванием'

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

CC BY
91
13
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КАУЗАЛЬНЫЙ ОПЕРАТОР / ФУНКЦИОНАЛЬНОЕ ВКЛЮЧЕНИЕ / ЗАДАЧА КОШИ / ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНОЕ ВКЛЮЧЕНИЕ ВОЛЬТЕРРА / МЕРА НЕКОМПАКТНОСТИ / НЕПОДВИЖНЫЕ ТОЧКИ / УПЛОТНЯЮЩИЕ ОТОБРАЖЕНИЯ / CAUSAL OPERATOR / FUNCTIONAL INCLUSION / CAUCHY PROBLEM / VOLTERRA INTEGRODIFFERENTIAL INCLUSION / MEASURE OF NONCOMPACTNESS / FIXED POINT / CONDENSING MAP

Аннотация научной статьи по математике, автор научной работы — Кулманакова Марина Михайловна, Ульянова Елена Леонидовна

В данной статье развиваются результаты работ, посвященных исследованию задач для функционально-дифференциальных уравнений и включений с каузальными операторами, на случай бесконечного запаздывания. Во введении обосновывается актуальность темы исследования и приведены ссылки на соответствующие работы А. Н. Тихонова, C. Corduneanu, А. И. Булгакова, Е. С. Жуковского, В. В. Обуховского и P. Zecca. Во втором разделе представлена необходимая информация из теории уплотняющих многозначных отображений и мер некомпактности, также вводится понятие многозначного каузального оператора с бесконечным запаздыванием, которое иллюстрируется примерами. В следующем разделе формулируется задача Коши для функционального включения, содержащего композицию многозначного и однозначного каузальных операторов; изучаются свойства мультиоператора, неподвижные точки которого являются решениями задачи. В частности достаточные условия, при которых этот мультиоператор является уплотняющим относительно соответствующей меры некомпактности. На этой основе в четвертом разделе получаем локальную и глобальную теоремы существования решений и непрерывную зависимость множества решений от начальных данных. Далее рассматривается случай включений с полунепрерывными снизу мультиоператорами. В последнем разделе обобщаются некоторые результаты для полулинейных дифференциальных включений и интегро-дифференциальных включений Вольтерра с бесконечным запаздыванием.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Кулманакова Марина Михайловна, Ульянова Елена Леонидовна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On the solvability of causal functional inclusions with infinite delay

In the present article we develop the results of works devoted to the study of problems for functional differential equations and inclusions with causal operators, in case of infinite delay. In the introduction of the article we substantiates the relevance of the research topic and provides links to relevant works A. N. Tikhonov, C. Corduneanu, A. I. Bulgakov, E. S. Zhukovskii, V. V. Obukhovskii and P. Zecca. In section two we present the necessary information from the theory of condensing multivalued maps and measures of noncompactness, also introduced the concept of a multivalued causal operator with infinite delay and illustrated it by examples. In the next section we formulate the Cauchy problem for functional inclusion, containing the composition of multivalued and single-valued causal operators; we study the properties of the multiopera-tor whose fixed points are solutions of the problem. In particular, sufficient conditions under which this multioperator is condensing on the respective measures of noncompacness. On this basis, in section four we prove local and global results and continuous dependence of the solution set on initial data. Next the case of inclusions with lower semicontinuous causal multioperators is considered. In the last section we generalize some results for semilinear differential inclusions and Volterra integrodifferential inclusions with infinite delay.

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

ISSN 2686-9667. Вестник российских университетов. Математика

Том 24, № 127 2019

© Кулманакова М.М., Ульянова Е.Л., 2019 DOI 10.20310/2686-9667-2019-24-127-293-315 УДК 517.927

О разрешимости каузальных функциональных включений с бесконечным запаздыванием

Марина Михайловна КУЛМАНАКОВА1 , Елена Леонидовна УЛЬЯНОВА2

1 ВУНЦ ВВС «ВВА им. проф. Н.Е. Жуковского и Ю.А. Гагарина» 394064, Российская Федерация, г. Воронеж, ул. Старых Большевиков, 54А ORCID: https://orcid.org/0000-0002-4291-8704, e-mail: [email protected] 2 ФГБОУ ВО «Воронежский государственный технический университет» 394006, Российская Федерация, г. Воронеж, ул. 20 лет Октября, 84 ORCID: https://orcid.org/0000-0002-6467-1159, e-mail: [email protected]

On the solvability of causal functional inclusions with infinite delay

Marina M. KULMANAKOVA1 , Elena L. ULIANOVA2

1 "N.E. Zhukovsky and Y.A. Gagarin Air Force Academy" 54A Staryih bolshevikov St., Voronezh 394064, Russian Federation ORCID: https://orcid.org/0000-0002-4291-8704, e-mail: [email protected] 2 Voronezh State Technical University 84, 20 letiya Oktyabrya St., Voronezh 394006, Russian Federation ORCID: https://orcid.org/0000-0002-6467-1159, e-mail: [email protected]

Аннотация. В данной статье развиваются результаты работ, посвященных исследованию задач для функционально-дифференциальных уравнений и включений с каузальными операторами, на случай бесконечного запаздывания. Во введении обосновывается актуальность темы исследования и приведены ссылки на соответствующие работы А. Н. Тихонова, C. Corduneanu, А. И. Булгакова, Е.С. Жуковского, В. В. Обуховско-го и P. Zecca. Во втором разделе представлена необходимая информация из теории уплотняющих многозначных отображений и мер некомпактности, также вводится понятие многозначного каузального оператора с бесконечным запаздыванием, которое иллюстрируется примерами. В следующем разделе формулируется задача Коши для функционального включения, содержащего композицию многозначного и однозначного каузальных операторов; изучаются свойства мультиоператора, неподвижные точки которого являются решениями задачи. В частности, для этого мультиоператора получены достаточные условия уплотняемости относительно соответствующей меры некомпактности. На этой основе в четвертом разделе получаем локальную и глобальную теоремы существования решений и показываем непрерывную зависимость множества решений от начальных данных. Далее рассматривается случай включений с полунепрерывными снизу мультиоператорами. В последнем разделе обобщаются некоторые результаты для полулинейных дифференциальных включений и интегро-дифференциальных включений Вольтерры с бесконечным запаздыванием.

Ключевые слова: каузальный оператор; функциональное включение; задача Коши; интегро-дифференциальное включение Вольтерры; мера некомпактности; неподвижные точки; уплотняющие отображения

Для цитирования: Кулманакова М.М., Ульянова Е.Л. О разрешимости каузальных функциональных включений с бесконечным запаздыванием // Вестник российских университетов. Математика. 2019. Т. 24. № 127. С. 293-315. DOI 10.20310/2686-96672019-24-127-293-315.

Abstract. In the present article we develop the results of works devoted to the study of problems for functional differential equations and inclusions with causal operators, in case of infinite delay. In the introduction of the article we substantiates the relevance of the research topic and provides links to relevant works A.N. Tikhonov, C. Corduneanu, A. I. Bulgakov, E. S. Zhukovskii, V. V. Obukhovskii and P. Zecca. In section two we present the necessary information from the theory of condensing multivalued maps and measures of noncompactness, also introduced the concept of a multivalued causal operator with infinite delay and illustrated it by examples. In the next section we formulate the Cauchy problem for functional inclusion, containing the composition of multivalued and single-valued causal operators; we study the properties of the multiopera-tor whose fixed points are solutions of the problem. In particular, sufficient conditions under which this multioperator is condensing on the respective measures of noncompacness. On this basis, in section four we prove local and global results and continuous dependence of the solution set on initial data. Next the case of inclusions with lower semicontinuous causal multioperators is considered. In the last section we generalize some results for semilinear differential inclusions and Volterra integro-differential inclusions with infinite delay.

Keywords: causal operator; functional inclusion; Cauchy problem; Volterra integro-differential inclusion; measure of noncompactness; fixed point; condensing map For citation: Kulmanakova M.M., Ulianova E.L. O razreshimosti kauzalnyh funkcionalnyh vklyuchenij s beskonechnym zapazdyvaniem [On the solvability of causal functional inclusions with infinite delay]. Vestnik rossiyskikh universitetov. Matematika - Russian Universities Reports. Mathematics, 2019, vol. 24, no. 127, pp. 293-315. DOI 10.20310/26869667-2019-24-127-293-315. (In Russian, Abstr. in Engl.)

1. Введение

Исследование систем, описываемых дифференциальными и функциональными уравнениями с каузальными операторами, привлекает внимание многих исследователей. Понятие каузального (или вольтеррового по А.Н. Тихонову [1]) оператора берет свое начало в математической физике и технике и оказывается весьма эффективным при решении задач в дифференциальных уравнениях, интегро-дифференциальных уравнениях, функционально-дифференциальные уравнениях с конечным или бесконечным запаздыванием, интегральных уравнениях Вольтерры, функциональных уравнениях нейтрального типа и др. (см., например, [2]).

Исследованию каузальных операторов различного типа посвящены работы [3], [4], уравнений с каузальными операторами — [5], [6], включений с каузальными операторами — [7], [8], теоремам существования решений и описанию их качественных свойств и различным приложениям [9], [10] и др. Отметим также ряд работ, в которых изучались различные задачи для операторных и функционально-дифференциальных уравнений и включений с каузальными операторами (см., например, [2], [11] и имеющиеся там ссылки).

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

2. Предварительные сведения 2.1. Многозначные отображения и меры некомпактности

Пусть X — метрическое пространство, Y — нормированное пространство, символом P (Y) обозначим совокупность всех непустых подмножеств Y . Обозначим

C (Y) = {W £ P (Y) : W замкнутое множество} ;

Cv (Y) = {W £ C (Y) : W выпуклое множество} ;

K (Y) = {W £ P (Y) : W компактное множество} ;

Kv (Y) = {W £ K (Y) : W выпуклое множество} .

Мультиотображение F : X — P (Y) будем также обозначать F : X ^ Y. Напомним некоторые понятия (см., например, [12], [13]).

Определение 2.1.1. Мультиотображение F : X — P (Y) называется

(i) полунепрерывным сверху (пн.св.), если F-1 (V) = {x £ X : F(x) С V} является открытым подмножеством X для каждого открытого множества V С Y;

(ii) полунепрерывным снизу (пн.сн.), если F-1 (W) является замкнутым подмножеством X для каждого замкнутого множества W С Y;

(iii) замкнутым, если его график Gp = {(x,y) : x £ X,y £ F(x)} является замкнутым подмножеством X x Y.

В дальнейшем нам понадобятся следующие свойства.

Лемма 2.1.1. [13, Theorem 1.1.12]. Пусть замкнутое мультиотображение F:X — K(Y) является квазикомпактным, т. е. для каждого компактного множества K С X множество F(K) = F(x) относительно компактно в Y. Тогда мультиотображение F пн.св.

Определение 2.1.2. Мультифункция F : [a,b] С R — K (Y) называется ступенчатой, если существует такое разбиение отрезка [a, b] на конечное семейство непересекающихся измеримых подмножеств {Ij}, (Jj Ij = [a,b], что F постоянно на каждом Ij.

Определение 2.1.3. Мультифункция F : [a,b] С R ^ K (Y) называется сильно измеримой, если существует последовательность Fn : [a, b] ^ K (Y), n = 1, 2,... ступенчатых мультифункций, таких что

lim h(Fn(t), F(t)) = 0 для / — п.в. t £ [a,b],

n—^^o

где / — мера Лебега на [a,b] и h — хаусдорфова метрика на K(Y).

Определение 2.1.4. Пусть E — банахово пространство, (A, >) — частично упорядоченное множество. Функция ß : P (E) ^ A называется мерой некомпактности (МНК) в E, если

ß (co Q) = ß (Q) для каждого Q £ P (E), где co Q обозначает выпуклое замыкание множества Q.

Мера некомпактности ß называется

1) монотонной, если для Qo, Qi £ P (E) из Qo С Q1 следует ß (Qo) < ß (Qi);

2) несингулярной, если ß ({e} UQ) = ß (Q) для каждого e £E, Q £ P (E);

3) инвариантной относительно объединения с компактным множеством, если ß({K}UQ) = ß(Q) для каждого относительно компактного множества K cE, q £ P (E);

4) вещественной, если A = [0, с естественным порядком и для любого ограниченного множества Q £ P (E) выполнено ß (Q) < те.

Если A — конус в нормированном пространстве, то мера некомпактности ß называется

5) алгебраически полуаддитивной, если ß (q0+Q1) <ß (Q0)+ß (Q1) для всех Q0, Q1 £ P (E);

6) правильной, если ß (Q) = 0 эквивалентно относительной компактности Q.

Мерой некомпактности, удовлетворяющей всем вышеперечисленным свойствам, является мера некомпактности Хаусдорфа

Xe (Q) = inf {е > 0 : Q имеет конечную е-сеть} .

В качестве других примеров рассмотрим меры некомпактности, определенные на пространстве непрерывных функций C([a, b]; E) со значениями в банаховом пространстве E :

(1) модуль послойной некомпактности:

v(q) = sup xe(Q(t)),

te[a,b]

где xe — мера некомпактности Хаусдорфа в E и Q(t) = {y(t) : y £ Q} ;

(2) затухающий модуль послойной некомпактности:

Y(Q) = sup e-LtXE(Q(t)),

te[a,b]

где L > 0 заданное число;

(3) модуль равностепенной непрерывности:

mode = lim sup max \\y (ti) - y (¿2) \\ •

yen \t1-t2 \<<s

Эти меры некомпактности удовлетворяют всем вышеперечисленным свойствам, кроме правильности.

Определение 2.1.5. Мультиотображение F : X С E — K (E ) называется уплотняющим относительно меры некомпактности ß (или ß -уплотняющим), если для каждого ограниченного множества Q С X, которое не является относительно компактным, выполняется ß (F (п)) ^ ß (п) •

Пусть D С E — непустое выпуклое замкнутое множество, V — непустое ограниченное (относительно) открытое подмножество D, ß — монотонная несингулярная МНК в E и F : V — Kv (D) — пн.св., ß -уплотняющее мультиотображение, такое, что x G F (x) для всех x G dV, где V и dV обозначают замыкание и границу множества V в индуцированной топологии D^

В таких предположениях определена относительная топологическая степень

degP (i - F,V)

соответствующего многозначного векторного поля i-F, удовлетворяющая стандартным свойствам (см., например, [13], [14]). В частности, условие

degP (i -F,V) =0

равносильно тому, что множество неподвижных точек FixF = {x : x G F (x)} непустое компактное подмножество V.

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

Теорема 2.1.1. [13, Corollary 3.3.1]. Пусть M — непустое ограниченное выпуклое замкнутое подмножество E и F : M — Kv(M) — пн.св., ß -уплотняющее мультиотображение. Тогда множество FixF его неподвижных точек не пусто.

Теорема 2.1.2. [13, Theorem 3.3.4]. Пусть a G V — внутренняя точка; пн.св. ß -уплотняющее мультиотображение F : V — Kv(D) удовлетворяет граничному условию

x — a G A (F(x) — a)

для всех x G dV и 0 < A < L Тогда FixF — непустое компактное множество.

2.2. Фазовое пространство бесконечных запаздываний

Мы будем использовать аксиоматическое определение фазового пространства B, введенное J.K. Hale и J. Kato (см. [15], [16]). Пространство B будет рассматриваться как линейное топологическое пространство функций, заданных на (—те, 0], со значениями в банаховом пространстве E, наделенное полунормой \\ • \\в .

Для любой функции x : (—rc>,T] ^ E, где T > 0, и каждого t G [0,T] xt представляет собой функцию из (—те, 0] в E , заданную как

xt(9) = x(t + в), в G (—те, 0].

Будем предполагать, что B удовлетворяет следующим аксиомам:

(B1) если функция x : (—те; T] ^ E непрерывна на [0; T] и xo G B, то для любого t G [0; T] выполнено: (i) xt G B;

(ii) функция t ^ xt непрерывна;

(iii) Ыъ < K (t) supo<r <t ||x(r)|| + M (t)||xo||®, где функции K,M : [0; T] ^ [0;+те) не зависят от x, функция K строго положительна и непрерывна, а M локально ограничена.

(B0) существует l > 0 такое, что ||ф(0)||е < 1^||b, для всех ф G B.

Отметим, что при данных условиях пространство Coo всех непрерывных функций из (—те,0] в E с компактным носителем входит в любое фазовое пространство B [16, Proposition 1.2.1].

Будем предполагать дополнительно, что выполнено следующее условие:

(BC1) если равномерно ограниченная последовательность {фп}+=°1 С Coo сходится к функции ф компактно (т. е. равномерно на каждом компактном подмножестве (—те, 0] ), то ф G B и limra^+œ Нфи — фНв = 0.

Из условия (BC1) вытекает, что банахово пространство ограниченных непрерывных функций BC = ВС((—те, 0]; E) непрерывно вложено в B . Точнее говоря, справедливо следующее утверждение.

Теорема 2.2.1. ¡16, Proposition 7.1.1]. (i) ВС С Coo , где Coo обозначает замыкание Coo в B;

(ii) если 'равномерно ограниченная последовательность {фп} в BC сходится к функции ф компактно на (—те, 0], то ф G B и lim Цфп — фНв = 0;

(iii) найдется константа L > 0 такая, что НФНв < £||ф||вс для всех ф G BC.

Наконец, будем предполагать выполненным следующее условие:

(BC2) если ф G BC и ЦфНьс = 0, то Цф^ = 0.

Из этого предположения вытекает, что пространство BC, наделенное || • ||b, является нормированным пространством. Мы будем обозначать его BC.

Рассмотрим примеры фазовых пространств, удовлетворяющих всем вышеуказанным условиям.

(1) Для y > 0 пусть B = CY — пространство непрерывных функций ф : (—те;0] ^ E, имеющих предел lim^_œ е1вф(в) и

ИЬ = sup е<вЦф(в)Ц. _œ<e<o

(2) (Пространства с «затухающей памятью») Пусть B = Cp — пространство таких функций ф : (—те;0] — E, что при некотором к > 0 выполнено:

(a) функция ф непрерывна на [—k; 0];

(b) функция ф измерима по Лебегу на (—те; —к) и найдется положительная интегрируемая по Лебегу функция р : (—те; —к) — R+ такая, что функция рф интегрируема по Лебегу на (—те; —к) ; более того, найдется локально ограниченная функция P : (—те;0] — R+ такая, что для всех £ < 0 справедливо р(£ + в) < P(£)р(в) при п.в. в £ (—те; —к) .

Норма в этом пространстве определяется формулой

—к

||ф||в = sup ||ф(в)|| + / р(в)\\ф(в)\№.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

—к<в<0 J

— ж

Простой пример последнего пространства получается, если положить р(в) = ede, d £ R. 2.3. Каузальные мультиоператоры с бесконечным запаздыванием

Пусть E — сепарабельное банахово пространство, L1 ([0, T]; E) — банахово пространство всех суммируемых по Бохнеру функций f : [0,T] — E с обычной нормой

Uf ||ы = Г Uf(s)bds. Jo

В обозначении данного пространства при E = R будем опускать этот символ, а конус неотрицательных суммируемых функций в пространстве L1 ([0,T]) будем обозначать L+ ([0,T]).

Для произвольного N С L1 ([0,T]; E) и любого т £ (0,T) определим сужение N на [0, т] как множество

N |[о,т] = {f |[o,r]: f £ N}.

Обозначим символом С((—те; T]; E) нормированное пространство ограниченных непрерывных функций x : (—те; T] — E, наделенное нормой

||х||е = ||Хо|в + Ux I [0;Т] ||с,

где || • ||с — обычная sup -норма пространства C ([0; T]; E) .

Определение 2.3.1. Мультиотображение Q : C ((—те,T]; E) ^ L1 ([0,T]; E) будем называть каузальным мультиоператором, если для каждого т £ (0, T) и для любых u(0,0 £ е ((—те, T]; E) условие u |(—ж,т]= v |(—ж,т] влечет Q(u) |[o,r]= Q(v) |[o,r] .

Приведем примеры каузальных мультиоператоров.

Пример 2.3.1. Предположим, что мультиотображение F : [0,T] х BC — Kv (E) удовлетворяет следующим условиям:

(F1) для любого ф £ BC мультифункция F (^ф) : [0,T] — Kv (E) допускает измеримое сечение;

(F2) для п.в. t £ [0,T] мультиотображение F (t, •) : BC — Kv (E) пн.св.;

(F3) для любого r > 0 найдется функция ar G L+[0,T] такая, что

\\F(1,ф)\\в := sup {\\z\\e : z G F(t,^)} < ar(t)

для п.в. t G [0,T] и \\ф\\ъ < r.

Из условий (F1) — (F3) и (®1) вытекает, что суперпозиционный мультиоператор Pf : С((—те; T]; E) — P(L^[0,T]; E)), заданный как

Pf(x) = {f G L1([0, T]; E) : f (t) G F(t,xt) при п.в. t G [0,T]} (2.3.1)

корректно определен (см., например, [12], [13]). Ясно, что мультиоператор Pf является каузальным.

Пример 2.3.2. Пусть F : [0,T] х BC — Kv(E) — мультиотображение, удовлетворяющее условиям (F1) —(F3) Примера 2.3.1. Предположим, что {K(t,s) : 0 < s < t < T} является непрерывным (с соответствующей нормой) семейством ограниченных линейных операторов в E и m G L1 ([0,T]; E) — заданная функция. Рассмотрим интегральный мультиоператор Воль-терры G : C ((—те, T]; E) ^ L1 ([0, T]; E) , определенный соотношением

G(u)(t) = m(t) + i K(t,s)F(s, Us)ds J 0

т. е.

rt

1 m(

G(u) = {у е Ь ([0,Т]; Е): у(*) = m(í) + / К(1,8)/(з)й8, / € Рр(и)}. (2.3.2)

■)о

Также очевидно, что мультиоператор G является каузальным.

Пример 2.3.3. Пусть фазовое пространство В удовлетворяет условию (В1), мультиотображение Е : [0, Т] х ВС — К(Е) удовлетворяет условию (Е3) и следующему условию почти полунепрерывности снизу:

(Е^) существует последовательность непересекающихся компактных подмножеств {<7п}, ■1п ^ [0,Т], п = 1, 2,... такая, что ц ([0, Т] \ ип ■1п) = 0 и сужение Е на каждое множество Зп х ВС пн.сн.

Тогда (см., например, [12], [13], [17]) суперпозиционный мультиоператор Рр : С ((—те,Т]; Е) ^ Ь1 ([0,Т]; Е) корректно определен и является каузальным.

3. Функциональные включения с каузальными операторами

Будем предполагать, что каузальный оператор 2 : С ((—те, Т]; Е) — С (Ь1 ([0, Т]; Е)) удовлетворяет следующим условиям:

(21) 2 является слабо замкнутым в следующем смысле: условия {ип}%==1 С С ((—те,Т]; Е), {/п}п=1 С Ь1 ([0, Т]; Е), /п е 2(ип), п > 1, ип — ио, /п ^ /о влекут /о € 2(ио);

(22) для любого г > 0 найдется функция 5Г(•) е Ь+ ([0,Т]) такая, что

ЫШПв < бг(*)

для п.в. £ е [0,Т] и ||и||С < г.

(Q3) существует функция ш : [0,T] х R+ — R+ такая, что (ш1) для любого x £ R+ ш(-,х) £ L+([0,T]);

(ш2) для п.в. t £ [0,T] функция w(t, •) : R+ — R+ является непрерывной, неубывающей и однородной в том смысле, что w(t, Ах) = Aw(t,x) для каждого х £ R+ и А > 0;

(ш3) для каждого ограниченного множества А С C ((—те,T]; E) выполнено

X (Q (А) (t)) < Jt, sup ф (А,)) для п.в. t £ [0, T], v se[o,t] '

где А, = {ys : y £ а} С BC и ф — модуль послойной некомпактности в BC.

Заметим, что условие (ш2) означает, что w(t, 0) = 0 для п.в. t £ [0,T], ив качестве примера такой функции мы можем рассмотреть w(t,x) = k(t) • x, где k(-) £ L+([0,T]).

Рассмотрим линейный оператор S : L1([0, T]; E) — C([0, T]; E), который является каузальным в том смысле, что для каждого т £ (0,T] и f,g £ L1([0,T]; E) условие f (t) = g(t) для п.в. t £ [0,т] влечет (Sf) (t) = (Sg) (t) для всех t £ [0,т]. Следуя [13], наложим следующие условия на оператор S :

(51) существует D > 0 такое, что

||Sf (t) — Sg(t)HE < D f Hf(s) — g(s)HEds

o

для любых f,g £ L1([0,T]; E), 0 < t < T;

(52) для любого компакта K С E и последовательности {fn}^=1 С L1 ([0,T]; E) такой, что {fn(t)}^=1 С K для п.в. t £ [0,T] слабая сходимость fn ^ f0 влечет Sfn — Sf0.

Предположим также, что S удовлетворяет соотношению

(53) (S f) (0) = 0 для каждой функции f £ L1([0,T]; E).

Заметим, что из условия (S1) следует, что оператор S удовлетворяет условию Липшица (S1') ||Sf — SgUa < Df — gULi.

В качестве примера рассмотрим следующий важный класс операторов. Пусть замкнутый (не обязательно ограниченный) линейный оператор A: D(A) С E — E является производящим оператором Co -полугруппы ограниченных линейных операторов {eAt}t>o. Оператор L : L1([0,T]; E) — C([0,T]; E) , определенный формулой

Lf (t)= Г eA(t—s)f (s)ds, (3.0.1)

o

называется оператором Коши.

Заметим, что, взяв A = 0, мы получим, как частный случай, «обычный» интегральный оператор Li : L1([0,T]; E) — C([0,T]; E),

Li f (t)= Г f (s)ds. o

Лемма 3.0.1. [13, Lemma 4-2.1]. Оператор Коши L удовлетворяет условиям (S1) — (S3).

Предположим, что ф G BC заданная функция. Для каждого h G (0,T] и функции y G C([0,h]; E) такой, что y(0) = ф(0), определим функцию у[ф] G С((—<х>,Н]; E) равенством

( фИ), t< 0,

У\Ш) = { (3.0.2)

\ y(t), 0 < t < h. '

Обозначим Dh замкнутое выпуклое подмножество C([0,h]; E), состоящее из всех функций у, удовлетворяющих условию y(0) = ф(0).

Из каузальности операторов Q и S следует, что для каждого h G (0,T] корректно определены и каузальны сужения Q : C((—ro,h]; E) ^ L1([0,h]; E) и S : L1([0,h]; E) — C([0,h); E). Для простоты обозначаем эти сужения теми же символами.

Рассмотрим следующую задачу Коши для функциональных включений с каузальными операторами Q и S. При вышеуказанных предположениях будем искать функцию у G Dh, 0 < h < T, удовлетворяющую включению

У G g + SoQ(y[^]), (3.0.3)

где g G Dh заданная функция.

Очевидно, что для каждого y, удовлетворяющего включению (3.0.3), функция у[Ф] имеет

вид

( М), t < 0,

У\Ш) = { (3.0.4)

1 g(t) + (S f)(t), 0 <t < h,

где f G Q(y[^]).

Для описания свойств оператора S o Q нам понадобятся некоторые дополнительные понятия и утверждения.

Определение 3.0.1. Последовательность {fn}^=1 С L1([0,T]; E) называется полукомпактной, если она интегрально ограничена, т. е. существует функция £ G L+([0,T]) такая, что \\fn(t)\\E < £(t) для п.в. t G [0,T], n = 1, 2 ... и множество {fn(t)}^=1 относительно компактно для п.в. t G [0,T].

Лемма 3.0.2. [13, Proposition 4-2.1.]. Каждая полукомпактная последовательность слабо компактна в L1([0,T]; E).

Лемма 3.0.3. [13, Theorem 5.1.1.]. Пусть оператор S : L1([0,T]; E) — C([0,T); E) удовлетворяет условиям (S1') и (S2). Тогда для каждой полукомпактной последовательности {fn}n=1 С L1([0,T]; E) последовательность {Sfn}^=1 относительно компактна в C([0,T]; E) и, более того, слабая сходимость fn ^ f0 влечет Sfn — Sf0.

Теперь мы можем рассмотреть следующие свойства мультиоператора So Q.

Теорема 3.0.1. Пусть мультиоператор Q удовлетворяет условиям (Q1) -(Q3) а оператор S — условиям (S1), (S2). Тогда композиция So Q : C((—ro,T]; E) ^ C ([0,T]; E) является пн.св. мультиотображением с компактными значениями.

Доказательство. Покажем, что мультиоператор Бо2 является замкнутым. Пусть [Хп}™=1 С е((-те,Т]; Е), [Уи}™=1 С С ([0, Т]; Е), Хп ^ хо, Уп €Бо2(хп), п > 1, и уп ^ уо. Возьмем произвольную последовательность {/п}%>=1 С Ь1([0,Т]; Е) такую, что /п € 2(хп), уп = Б(/п), п > 1. Из условия (22) следует, что последовательность {/п}^>=1 интегрально ограничена. Условие (23) означает, что для п.в. г € [0,Т] выполнено

х ({/п (Ь)}™=1) < и (г, 8ПР <р ({(Хп)в}~=1Л = и(Ь, 0) = 0

и, следовательно, последовательность {/п}^=1 полукомпактна.

Из леммы 3.0.2 следует, что последовательность {/п}^=1 слабо компактна, поэтому мы можем предположить, без ограничения общности, что /п ^ /о. Лемма 3.0.3 влечет уп = Б/п ^ Б/о = Уо. С другой стороны, применяя условие (21), получаем /0 € 2(х0) и, более того, уо €Бо 2(хо), то есть мультиоператор Бо 2 замкнут.

Условия (22) и (23) означают, что для каждого х € 6((-то,Т]; Е) замкнутая в 2(х) последовательность {/п}^>=1 является полукомпактной и, по лемме 3.0.3, последовательность {Б /п}%>=1 С С ([0,Т]; Е) относительно компактна. Компактность множества Бо 2(и) следует из его замкнутости.

И наконец, если рассмотрим сходящуюся последовательность {хп}с^'=1 С 6((-то,Т]; Е), произвольную последовательность {/пС Ь1([0,Т]; Е,) такую, что /п € 2(хп), то последовательность {Б/п}^=1 С С([0,Т]; Е) относительно компактна. Следовательно, мультиотоб-ражение Бо 2 квазикомпактно и согласно лемме 2.1.1 оно пн.св. □

Замечание 3.0.1. Согласно [13, теорема 1.1.8] из каузальности мультиоператора Бо2 следует, что при выполнении условий теоремы 3.0.1 для каждого Н € (0,Т) отображение Бо 2 : С((-ж>, Н]; Е) ^ С ([0, Н]; Е) обладает теми же свойствами.

Теперь перейдем к нахождению условий, при которых мультиоператор Б о 2 будет являться уплотняющим относительно соответствующей вещественной МНК. Предположим, что Б удовлетворяет условию (Б 1). Тогда очевидно, что сужение Б : Ь1([0,Н]; Е) ^ С([0,Н]; Е) для каждого Н € (0, Т) удовлетворяет этому же условию. Это также верно и для условия (Б2).

В самом деле, пусть {/п}%>=1 С Ь1([0,Н]; Е) — такая последовательность, что для п.в. Ь € [0,Н] выполнено {/п(Ь)}^>=1 С К для заданного компакта К С Е, и {/пявляется слабо сходящейся к функции /о € Ь1([0, Н]; Е). Легко видеть, что последовательность продолжений {/пС Ь1([0,Т]; Е) определенная как

~ ( Ш, 0 < г < н,

Ш =

[ 0 Н<г < т,

слабо сходится к функции/о € Ь1([0,Т]; Е), определенной таким же образом. Тогда по условию (Б2) имеем Б/п ^ Б/о, из чего в силу каузальности следует, что Б/п ^ Б/о.

Выполнение условия (Б3) для сужения Б : Ь1([0,Н]; Е) ^ С([0,Н]; Е) очевидно.

Нам понадобятся следующие утверждения.

Лемма 3.0.4. [13, Theorem 4-2-2.]. Пусть последовательность {fn}%==i С L1([0, h]; E),

+ (

Н € (0,Т], интегрально ограничена и существует функция и € Ь+_([0,Н]) такая, что

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

х({fn (t)}n=i) < u(t) для п.в. t е [0, h].

Если оператор Б удовлетворяет условиям (Б1) и (Б2), то

г* о

для всех £ е [0,Л,], где Б — константа из условия (Б 1).

x({Sfn (t)}n=1) < 2D f v(s)ds (3.0.5)

0

Для заданного h G (0,T] рассмотрим меру некомпактности v в пространстве C([0,h]; E) со значениями в конусе R+. На ограниченном подмножестве Q С C([0,h]; E) значения v определим следующим образом:

v(Q) = max (7 (D) ,modC (D)), эез(п)

где 2(Q) — семейство всех счетных подмножеств Q, mode — модуль равностепенной непрерывности и y — затухающий модуль послойной некомпактности

7(D) = sup e-Ltx(d(t)). te[o,h]

Здесь константа L > 0 выбрана так, что

q = sup [2D [ e-L(t-s)w(s, 1)ds] < 1, (3.0.6)

te[o,h] Jo

где константа D взята из условия (S1), а функция ш — из условия (Q3).

Легко видеть, что МНК v монотонна, несингулярна и алгебраически полуаддитивна. Из теоремы Арцела-Асколи следует, что она также правильная.

Для заданного h G (0, T] рассмотрим мультиоператор Г : Dh ^ Dh определенный соотношением

Г(у)= g + SoQ(y^]).

Теорема 3.0.2. Пусть каузальный мультиоператор Q : C((—ro,T]; E) ^ L1 ([0,T]; E) удовлетворяет условиям (Q2), (Q3), каузальный оператор S : L1 ([0,T]; E) — C ([0,T]; E) — условиям (S1) - (S3). Тогда мультиоператор Г является v -уплотняющим.

Доказательство. Так как МНК v является алгебраически полуаддитивной и правильной, достаточно доказать утверждение для композиции So Q. Для некоторого N С Dh обозначим N[ф] подмножество С((—ж,Н]; E) определенное равенством

N[ф] = {у[ф] : у G D}.

Пусть Q С Dh ограниченное множество такое, что

v (So Q (0[ф])) > v (Q). (3.0.7)

Покажем, что тогда множество Q является относительно компактным.

Пусть максимум левой части неравенства (3.0.7) достигается на счетном множестве d' = {sn}П=1 С C([0, h]; E). Тогда

sn = Sfn, fn G Q(ynM), n > 1,

где Шп= 1 С q.

Неравенство (3.0.7) означает, что

7({Sfn}™=1) > 7({yn}~1). (3.0.8)

Применяя условие (Q3) и используя свойства функции ш, для п.в. t G [0,h] получаем

x ({fn(t)}™=1) < u(t, sup v (ЫФЬ}^)) = ш (t,v ({yn\{o,t]}™=1)) = v se[o,t] '

= ш (t,eLte-LtV ({yn\ot]}n=1)) < ш (t,eLt7 (Шм}^)) < < ш (t, eLt7 (Шп=1)) < ш (t, eLt) ■ 7 ({yn}~1). По лемме 3.0.4 для каждого t G [0, h] имеем

X ({Sfn(t)}~1) < 2D f ш (s,eLs) ds ■ 7 (Ш™= 1) < 2D f eL^ (s, 1) ds ■ 7 ({yn}™= 1). (3.0.9) Jo Jo

Теперь из неравенств (3.0.8) и (3.0.9) следует, что

7({yn}~1) < 2D sup Г е^(—)ш (s, 1) ds ■ 7 (Ш™= 1) = q ■ 7 (Ш™= 1), te [o.h]Jo

то есть

7 ({Уи}^=1) = 0,

и следовательно

V ({Уп[^]*}п=1) = 0

для всех £ е [0,Н].

Из условий (22), (23) следует, что последовательность {/п}^==1 полукомпактна, и значит, по лемме 3.0.3, относительно компактностна последовательность {5/п}^=1. Следовательно

таскав ¡п}™=1) = 0,

то есть

V (5о2(ВД)) = (0,0),

и из (3.0.7) мы имеем

V(О) = (0, 0),

завершая доказательство. □

4. Существование и непрерывная зависимость решений

Найдем условия, при которых задача Коши (3.0.3) имеет локальные и глобальные решения. Начнем со следующего утверждения.

Теорема 4.0.1. Пусть каузальный оператор 2 : 6((—го,Т]; Е) ^ Су(Ь1([0,Т]; Е)) удовлетворяет условиям (21) -(23), а для линейного каузального оператора Б : Ь1([0,Т]; Е) ^ С([0,Т]; Е) выполнены условия (Б 1) -(53). Тогда существует Н е (0,Т] такое, что включение (3.0.3) имеет решение у е Т>ь.

Доказательство. Возьмем произвольное е > 0 и пусть г = шах{\\ф\\ъ, \\д\\с + е}. Предположим, что 5Г € Ь+([0,Т]) является функцией, соответствующей г из условия (22), и возьмем Н € (0, Т] достаточно малое, для того чтобы

Б [ 5г(Ь)(М < е, Jo

где Б константа из условия (51).

Рассмотрим замкнутое ограниченное выпуклое множество

М = {у : \\у - д\\с <

Покажем, что мультиоператор Г переводит множество М в себя. Пусть г € Г(у) для у € М. Тогда

г(1)= д(1) + 5/(I), I € [0,Н],

где / € 2(у). Заметим, что \\у[^]\е < г. Применяя (22), оценим

\\/(*)\\е < ¿Г(*) для п.в. I € [0, Н].

Используя условие (51) и тот факт, что оператор 5 является линейным, при всех Ь € [0, Н] получим:

\Ж - д(*)\ы = \\5/Ше < б! \\/(в)\Ыв < б! 5г (8)6,8 < е.

Jo Jo

Таким образом, г €М.

Из линейности 5 и теоремы 3.0.1 следует, что мультиоператор Г имеет компактные выпуклые значения и является пн.св., также из теоремы 3.0.2 следует, что он является V -уплотняющим. Осталось применить теорему 2.1.1, чтобы завершить доказательство. □

Для получения условий существования глобального решения, заменим условие интегральной ограниченности (22) на следующее более сильное условие подлинейного роста:

(22') существует функция а € £+([0,Т]) такая, что

\\2 (и) (£) \\е < а (£) (1 + \\и\\е) для п.в. £ € [0,Т]

для всех и € 6((-го,Т]; Е).

Теорема 4.0.2. Пусть каузальный мультиоператор 2 : 6((-то,Т]; Е) ^ Су(Ь1([0,Т]; Е)) удовлетворяет условиям (21), (22'), (23), линейный каузальный оператор 5 : Ь1([0,Т]; Е) ^ С([0,Т]; Е) удовлетворяет условиям (51) -(53). Тогда множество хф всех решений задачи (3.0.3) является непустым компактным подмножеством Т>т.

Доказательство. Покажем, что множество всех решений у € Т>т однопараметри-ческого включения

у € д + \Бо2Ш]), А € [0,1] (4.0.1)

априори ограничено. Действительно, если у € ^т удовлетворяет включению (4.0.1), то для каждого £ € [0,Т] справедлива оценка

\\У(£)\\е <\т\\Е + Б [* \\/(8)\\е68,

где f G Q(y[^]), следовательно, по условию (Q2') выполнено неравенство

\\f(s)\\e < a(s)(1 + \\уЖе)•

Тогда

\\y(t) \\e < \\g (t) \\e + D i a (s) (1 + \\у[ф] \\e) ds

o

<\\g\\c + D [ a (s)(l + Шъ + sup \\y (t) \\e) ds. ■Jo \ т e[o.s] J

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

sup \\у (t) \\<\\g\\c + D f a (s) (1 + \\ф\\ъ + sup \\y (t) \\e) ds. o<T<t Jo \ т €[o.s] J

v(t) < \\g\\c + D (1 + Щъ) \\a\Li + D [ a(s)v(s)ds.

o

Это означает, что функция -и(£) = 8ирте[о,з] Уу(т)\Ы удовлетворяет оценке

гь Ю

Применяя неравенство Гронуолла, получаем искомую априорную ограниченность:

\\у\\е < Мв^ь1,

где М = \\д\\с + В (1 + \\ф\\в) \\а\\ь1.

Теперь возьмем К > 0 достаточно большое, чтобы гарантировать, что множество

V = {у еЕт : \\у — д\\с <К}сЕт

содержит все решения включения (4.0.1). Тогда мультиоператор Г удовлетворяет на дV условию теоремы 2.1.2 с а = д. Применение этого утверждения завершает доказательство. □

Изучим зависимость множества решений задачи (3.0.3) от начальной функции ф и функции д. Для заданного ф е ВС обозначим

Е'Т = {у е С([0, Т]; Е): у(0) = ф(0)}.

Определим замкнутые множества V С ВС х С([0,Т]; Е), № С ВС х С([0,Т]; Е) х С([0,Т]; Е) соотношениями

V = {(ф,д) : д е VТ}, № = {(ф,д,у) : д еъТ,у е Е'Т}. Для данных (ф,д) е V обозначим множество всех решений задачи (3.0.3) на [0,Т].

Теорема 4.0.3. При выполнении условий теоремы 4-0.2 мультиотображение

Е: V ^ К (С ([0, Т]; Е)), (ф,д) ^ Ет,д

является пн.св.

Доказательство. Рассмотрим мультиоператор Г : ^ С ([0,Т]; Е)

Г(ф,д,у) = д + Бо2(у[ф]).

Используя те же аргументы, что и при доказательстве теоремы 3.0.1, можем проверить, что мультиотображение Г является замкнутым.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Из теоремы 4.0.2 следует, что для любого (ф,д) € V множество хф,д непусто и компактно. Предположим вопреки утверждению, что существует ео > 0 и последовательности {(Фп,ди)}™=1 с V, (фи,дп) ^ (Фо,до) € V, {упс С([0,Т]; Е), уп € хфп,дп, п > 1, уп ^ у о такие, что

уо € и£0 (хф0,д0), (4.0.2)

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

уп(£)= дп(£)+ 5/п(£), г € [0,Т],

где /п € 2(уп[фп]), п > 1. Следовательно,

уп € Г(фп,дп,уп), п > 1.

В силу замкнутости мультиотображения ГГ выполнено включение

уо € Г(фо,до,уо),

то есть

уо € Хфо,до,

что противоречит (4.0.2). □

Следствие 4.0.1. При выполнении условий теоремы 4-0.2 оператор сдвига Р : V ^ К (С) вдоль траектории задачи (3.0.3), определенный как

Р(ф,д) = е о хф,д,

где е(у) = у[ф]т, является пн.св.

5. Включения с полунепрерывными снизу каузальными мультиоператорами

Напомним следующие понятия (см., например, [12], [13], [18], [19]).

Определение 5.0.1. Множество N С Ь1([0,Т]; Е) называется разложимым, если для каждых /о,/1 €М и каждого измеримого подмножества т С [0,Т] функция

г ^ кт(£)/о(£) + к[0,T]\m(t)/1(t),

где к — характеристическая функция множества, принадлежит N.

Семейство всех непустых замкнутых разложимых подмножеств ¿1([0,Т]; Е) обозначим Б(Ь1([0,Т]; Е)).

Нам понадобится следующее утверждение о непрерывном сечении.

Лемма 5.0.1. [18], [19]. Пусть X — сепарабельное метрическое пространство. Тогда каждое пн.сн. мультиотображение $ : X — 0(Ь1([0,Т]; Е)) допускает непрерывное сечение ^ : X — Ь1([0,Т]; Е), |(х) е $(х) для любого х е X.

Рассмотрим задачу существования решений включения (3.0.3) при следующем предположении на каузальный оператор 2 :

(2ь) мультиоператор 2 : С((—то,Т]; Е) — В(Ь1([0,Т]; Е)) является пн.сн.

Очевидно, что для каждого Н е (0,Т], сужение 2 : С((—то,Т]; Е) — Б(Ь1([0,Н]; Е)) сохраняет то же свойство.

По лемме 5.0.1 2 допускает непрерывное сечение д : С((—то,Т]; Е) — Ь1([0,Н]; Е). Таким образом, соответствующий мультиоператор Г : V ^ Е^,

Г(у)= д + 5 о 2(у[ф]),

имеет непрерывное сечение 7 : V — вида

7 (у) = д + 5од(у[ф]).

Ясно, что д удовлетворяет условию (22). Из монотонности МНК Хаусдорфа следует

х(д(а)(ь)) < х(2(а)(г))

для каждого ограниченного множества А С С((—то,Т]; Е) и £ е [0,Н], и следовательно условие (23) также наследуется д. Но тогда из теоремы 3.0.2 вытекает следующее утверждение.

Теорема 5.0.1. Пусть каузальный мультиоператор 2 : С((—то,Т]; Е) — В(Ь1([0,Н]; Е)) удовлетворяет условиям (2ь), (22) и (23), каузальный оператор 5: Ь1([0,Н]— С([0,Н]; Е) удовлетворяет условиям (51) - (53). Тогда оператор Г является V -уплотняющим.

Теперь мы можем сформулировать аналоги теорем 4.0.1 и 4.0.2, которые могут быть доказаны с использованием «однозначных» версий теорем 2.1.1 и 2.1.2.

Теорема 5.0.2. Пусть каузальный мультиоператор 2 : С((—го,Т]; Е) — В(Ь1([0,Т]; Е)) удовлетворяет условиям (2ь), (22) и (23), линейный каузальный оператор 5 : Ь1([0,Т]; Е)

— С([0,Т]; Е) удовлетворяет условиям (51) -(53). Тогда существует Н е (0,Т] такой, что задача (3.0.3) имеет решение у е Е^.

Теорема 5.0.3. Пусть каузальный мультиоператор 2 : С((—то,Т]; Е) — Б(Ь1([0,Т]; Е)) удовлетворяет условиям (2ь), (22'), (23), линейный каузальный оператор 5 : Ь1([0,Т]; Е)

— С([0,Т]; Е) удовлетворяет условиям (51) -(53). Тогда существует решение у еVт задачи (3.0.3).

6. Дифференциальные и интегро-дифференциальные включения

с бесконечным запаздыванием 6.1. Полулинейные дифференциальные включения

Рассмотрим следующую задачу Коши в банаховом пространстве Е :

у' (г) € Ау (г) + г (г, у*), г € [0,6]; (6.1.1)

у (г) = ф(г), г € (—те, 0]. (6.1.2)

где ф € ВС — заданная начальная функция. Предположим, что выполнено условие (А) А : Б (А) С Е — Е — замкнутый линейный оператор, порождающий Со -полугруппу ограниченных линейных операторов {еА*}*>о.

Мультиотображение Г : [0,Т]хВВС — Ку(Е) удовлетворяет условиям (Г 1) - (Г3) примера 2.3.1 и следующему условию % -регулярности:

(Г4) существует функция шр : [0,Т] х М+ — М+ удовлетворяющая условиям (ш1) — (ш3) и такая, что для каждого непустого ограниченного множества О С ВС выполнено

% (Г (г, О)) < шр (г, у (О)) для п.в. г € [0, Т].

В соответствии с [13], скажем, что у € С ((—те, Н]; Е), 0 < Н < Т является интегральным решением задачи (6.1.1)-(6.1.2), если оно представимо в виде:

у(г) = I еА*ф(0) + Л еА(—)/(8)б8, г € [0,Н], / €Рр(у[ф]), ( )

у(г) I ф(г), г € (—те,0], (6.13)

где Рр — суперпозиционный мультиоператор, определенный в (2.3.1).

Тот факт, что суперпозиционный мультиоператор Рр : С((—те,Т]; Е) ^ Ь1([0,Т]; Е) удовлетворяет условию (21) может быть проверен по [13, Лемма 5.1.1]. Условия (22) и (23) для Рр немедленно следуют из (Г3) и (Г4), соответственно. Принимая во внимание лемму 3.0.1, мы можем рассмотреть отношение (6.1.3) как частный случай функционального включения (3.0.3), где 2 = Рр; 5 = С - оператор Коши и д(г) = еА*ф(0).

Как прямые следствия теорем 4.0.1 и 4.0.2 получим следующие результаты, которые обобщают [13, теоремы 5.2.1 и 5.2.2].

Теорема 6.1.1. При выполнении условий (А) и (Г 1) - (Г4) существует Н € (0,Т] такое, что задача (6.1.1)-(6.1.2) имеет интегральное решение на [0,Н].

Теорема 6.1.2. Пусть выполнены условия (А), (Г 1), (Г2), (Г4) и условие

(Г3') существует функция а € £+([0,Т]) такая, что для каждого с € ВС

\\Г(г,с)\\Е < а(г)(1 + \\с\\в) для п.в. г € [0,Т].

Тогда множество интегральных решений задачи (6.1.1) -(6.1.2) — непустое компактное подмножество пространства С((—те,Т]; Е).

Теперь предположим, что многозначная нелинейность Е : [0, Т] х ВС — К(Е) удовлетворяет условию почти пн.сн. (Еь) вместо условий Каратеодори (Е1) и (Е2). В этой ситуации известно (см., например, [13], [17]), что суперпозиционный мультиоператор Ре имеет замкнутые разложимые значения и является пн.сн. Тогда из теорем 5.0.2 и 5.0.3 вытекает следующие теоремы существования.

Теорема 6.1.3. При выполнении условий (А), (ЕЬ), (Е3), (Е4) существует интегральное решение задачи (6.1.1)—(6.1.2) на некотором интервале [0,Л,], 0 <Н < Т.

Теорема 6.1.4. При выполнении условий (А), (Еь), (Е3'), (Е4) существует интегральное решение задачи (6.1.1)—(6.1.2) на интервале (-ж,Т].

6.2. Интегро-дифференциальные включения Вольтерры

Рассмотрим следующую задачу в банаховом пространстве Е :

у'(г) е ш(г) + / К (г, в)Е (в, у8)йв, г е [0, Т], (6.2.1)

с начальным условием

у(г) = ф(г), г е (-ж, 0]. (6.2.2)

Пусть мультиотображение Е : [0,Т] х ВС — Ку(Е) удовлетворяет условиям (Е1) - (Е4), {К(г, в) : 0 < в < г < Т} — непрерывное семейство ограниченных линейных операторов в Е, ш е Ь1([0,Т]; Е) — заданная функция и ф е ВС — заданная начальная функция.

Для простоты предположим, что пространство Е является сепарабельным, и ограничимся только локальным результатом.

Итак, под решением задачи (6.2.1)-(6.2.2) на интервале [0,Л,], 0 <Н < Т будем понимать функцию у е С([0,Л,]; Е), имеющую следующий вид:

у(г) = ф(0) + / г(в)йв, г е [0,Н],

■) о

где 4

г(г) = ш(г) + [ к (г, в)/(в)^, / е Ре (у[ф]).

о

Рассмотрим интегральный мультиоператор Вольтерры д, определенный в (2.3.2), как каузальный мультиоператор 2.

Лемма 6.2.1. Интегральный мультиоператор Вольт,ерры д удовлетворяет условиям (21) — (23).

Доказательство.

(а) Очевидно, что достаточно проверить условие (21) для композиции Зо Ре : С((-ж,Т]; Е) ^ С ([0,Т]; Е) — Ь\[0,Т]; Е), где З определен как интегральный оператор

З / (г) = [ к (г, в)/(в^в.

о

Предположим, что {Хп}™=1 С С ((—те,Т]; Е), {]п}™=1 С Ь1 ([0,Т]; Е) , зп € Л ◦ Рр(хп), п > 1, хп — хо, и ]п ^ ]о. Рассмотрим последовательность {/п}%==1, /п € Рр(хп), п > 1 такую, что ]п = Л(/п), п > 1. По условиям (Г3) и (Г4), из сходимости последовательности {хп}с^'=1 следует, что последовательность {/п}^==1 является полукомпактной и значит, по лемме 3.0.2 является слабо компактной. Поэтому без ограничения общности можем предположить, что /п ^ /о € Рр(хо).

С другой стороны, линейный непрерывный оператор Л также является непрерывным в слабой топологии, таким образом имеем ]о = Л (/о), это означает, что ]о € Рр (хо).

(б) Условие (Г3) означает, что для каждого г > 0 существует функция г)г € Ь+([0,Т]) такая, что для любой функции х € С((—те,Т]; Е) из неравенства \\х\\е < г следует, что

\e < Пг(t) для п.в. t е [0,Т]. Но тогда, обозначая

M = max{\\K(t,s)\\ : 0 < s < t < T},

мы имеем

\\G(x)(t)\\E < \\m(t)\\E + M f nr(s)ds := 5r(t).

Jo

(в) Пусть А С C((—ro,T]; E) непустое ограниченное подмножество. Согласно условию (F4), для каждого t е [0,T] и п.в. s е [0,t] имеем

X (K (t, s) F (s, As)) < Mx (F (s, As)) < MuF (s, v (As)).

Применяя теорему о x -оценке многозначного интеграла [13, Theorem 4.2.3], получаем

X (G (A (t))) < x ( J * K (t, s)F (s, As) ds^ <

< M i wF (s,ve (A)) ds < M i wF(s, l)ds • ve (A). Jo Jo

Очевидно, что функция

w(t,x) = M wF(s, l)ds • x Jo

удовлетворяет условиям (ш1) - (ш3) из (23) и, следовательно, для О выполнено предположение (23). □

Доказанная лемма, лемма 3.0.1 и теорема 4.0.1 приводят к следующему утверждению.

Теорема 6.2.1. При вышеприведенных предположениях, задача (6.2.1)-(6.2.2) имеет решение на некотором интервале (—те,Н], 0 <Н < Т.

Список литературы

[1] A. H. Тихонов, "О функциональных уравнениях типа Вольтерра и их применениях к некоторым задачам математической физики", Бюлл. Моск. ун-та, 1, Секц. А. Вып.8 (1938), 1-25.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

[2] C. Corduneanu, Functional Equations with Causal Operators. Stability and Control: Theory, Methods and Applications, 2002.

[3] Т. В. Жуковская, Е.С. Жуковский, "Об операторах Вольтерра в банаховых функциональных пространствах", Вестник Тамбовского университета. Серия: естественные и технические науки, 6:2 (2001), 147-149.

[4] Е. С. Жуковский, М.Ж. Алвеш, "Абстрактные вольтерровы операторы", Изв. вузов. Ма-тем., 2008, №3, 3-17.

[5] Е.С. Жуковский, "К теории уравнений Вольтерра", Дифференциальные уравнения, 25:9 (1989), 1599-1605.

[6] Е. С. Жуковский, "Нелинейное уравнение Вольтерра в банаховом функциональном пространстве", Изв. вузов. Матем., 2005, №10, 17-28.

[7] А. И. Булгаков, А. А. Григоренко, Е. А. Панасенко, "Возмущение вольтерровых включений импульсными операторами", Известия Ин-та матем. и информ. УдГУ, 1:39 (2012), 1720.

[8] A. И. Булгаков, В. П. Максимов, "Функциональные и функционально-дифференциальные включения с вольтерровыми операторами", Дифференциальные уравнения, 17:8 (1981), 1362-1374.

[9] Е. О. Бурлаков, Е. С. Жуковский, "Непрерывная зависимость от параметров решений уравнений Вольтерра с локально сжимающими операторами", Изв. вузов. Матем., 2010, №8, 16-29.

[10] Е. С. Жуковский, "Обобщенно вольтерровые операторы в метрических пространствах", Вестник Тамбовского университета. Серия: естественные и технические науки, 14:3 (2009), 501-508.

[11] V. Obukhovskiii, P. Zecca, "On certain classes of functional inclusions with causal operators in Banach spaces", Nonlinear Anal., 74:8 (2011), 2765-2777.

[12] Ю.Г. Борисович, Б. Д. Гельман, А. Д. Мышкис, В. В. Обуховский, Введение в теорию многозначных отображений и дифференциальных включений, 2, ЛИБРОКОМ, М., 2011.

[13] M. Kamenskii, V. Obukhovskii, P. Zecca, Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces, Walter de Gruyter, Berlin-New York, 2001.

[14] Ю.Г. Борисович, Б. Д. Гельман, А. Д. Мышкис, В. В. Обуховский, "Топологические методы в теории неподвижных точек многозначных отображений", УМН, 35:1(211) (1980), 59-126.

[15] J.K. Hale, J. Kato, "Phase space for retarded equations with infinite delay", Funkc. Ekvac., 1978, №21, 11-41.

[16] Y. Hito, S. Murakami, T. Naito, Functional Differential Equations with Infinite Delay, Lecture Notes in Mathematics, 1473, Springer-Verlag, Berlin-Heidelberg-New York, 1991.

[17] K. Deimling, Multivalued Differential Equations, de Gruyter Series in Nonlinear Analysis and Applications, 1, Walter de Gruyter, Berlin, 1992.

[18] A. Bressan, G. Colombo, "Extensions and selections of maps with decomposable values", Studia Math., 90:1 (1988), 69-86.

[19] A. Fryszkowski, "Continuous selections for a class of nonconvex multivalued maps", Studia Math., 76:2 (1983), 163-174.

References

[1] A.N. Tikhonov, "On functional equations of Volterra type and their applications to some problems of mathematical physics", Byull. Mosk. un-ta, 1, Sect A. Vyp 8 (1938), 1-25 (In Russian).

[2] C. Corduneanu, Functional Equations with Causal Operators. Stability and Control: Theory, Methods and Applications, 2002.

[3] T. V. Zhukovskaya, E. S. Zhukovskiy, "About Volterra operators in Banach function space", Tambov University Reports. Series: Natural and Technical Sciences, 6:2 (2001), 147-149 (In Russian).

[4] E. S. Zhukovskiy, M.Z. Alvesh, "Abstract Volterra operators", Russian Math. (Iz. VUZ), 52:3 (2008), 1-14.

[5] E. S. Zhukovskiy, "On the theory of Volterra equations", Differ. Equ., 25:9 (1989), 1132-1137.

[6] E. S. Zhukovskiy, "Non-linear Volterra equation in a Banach functional space", Izv. vuzov. Matem., 2005, №10, 17-28 (In Russian).

[7] A.I. Bulgakov, A.A. Grigorenko, E.A. Panasenko, "Perturbations of Volterra inclusions by pulse operators", Izvestiya In-ta matem. i inform. UdGU, 1:39 (2012), 17-20 (In Russian).

[8] A.I. Bulgakova, V.P. Maksimov, "Functional and functional-differential inclusions with Volterra operators", Differ. Uravn., 17:8 (1981), 1362-1374 (In Russian).

[9] E. O. Burlakov, E.S. Zhukovskiy, "Continuous dependence on parameters of solutions Volterra equations with locally compressing operators", Izv. vuzov. Matem., 2010, №8, 1629 (In Russian).

[10] E.S. Zhukovskiy, "Generalized Volterra operators in metric spaces", Tambov University Reports. Series: Natural and Technical Sciences, 14:3 (2009), 501-508 (In Russian).

[11] V. Obukhovskiii, P. Zecca, "On certain classes of functional inclusions with causal operators in Banach spaces", Nonlinear Anal., 74:8 (2011), 2765-2777.

[12] Y. G. Borisovich, B.D. Gel'man, A.D. Myshkis, V. V. Obukhovskii, Introduction to the theory multivalued mappings and differential inclusions, Moscow, 2, LIBROKOM, 2011 (In Russian).

[13] M. Kamenskii, V. Obukhovskii, P. Zecca, Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces, Walter de Gruyter, Berlin-New York, 2001.

[14] Y. G. Borisovich, B.D. Gel'man, A.D. Myshkis, V. V. Obukhovskii, "Topological methods in the theory of fixed points of multivalued maps", Russian Math. Surveys, 35:1 (1980), 65-143.

[15] J.K. Hale, J. Kato, "Phase space for retarded equations with infinite delay", Funkc. Ekvac., 1978, №21, 11-41.

[16] Y. Hito, S. Murakami, T. Naito, Functional Differential Equations with Infinite Delay, Lecture Notes in Mathematics, 1473, Springer-Verlag, Berlin-Heidelberg-New York, 1991.

[17] K. Deimling, Multivalued Differential Equations. V. 1, de Gruyter Series in Nonlinear Analysis and Applications, Walter de Gruyter, Berlin, 1992.

[18] A. Bressan, G. Colombo, "Extensions and selections of maps with decomposable values", Studia Math, 90:1 (1988), 69-86.

[19] A. Fryszkowski, "Continuous selections for a class of nonconvex multivalued maps", Studia Math, 76:2 (1983), 163-174.

Информация об авторах

Кулманакова Марина Михайловна, кандидат физико-математических наук, доцент кафедры математики. Военно-воздушная академия им. проф. Н.Е. Жуковского и Ю.А. Гагарина, г. Воронеж, Российская Федерация. E-mail: [email protected] ORCID: https://orcid.org/0000-0002-4291-8704

Ульянова Елена Леонидовна, кандидат физико-математических наук, доцент кафедры прикладной математики и механики. Воронежский государственный технический университет, г. Воронеж, Российская Федерация. E-mail: [email protected]

ORCID: https://orcid.org/0000-0002-6467-1159 Конфликт интересов отсутствует.

Для контактов:

Кулманакова Марина Михайловна E-mail: [email protected]

Поступила в редакцию 20 мая 2019 г. Поступила после рецензирования 17 июня 2019 г. Принята к публикации 23 августа 2019 г.

Information about the authors

Marina M. Kulmanakova, Candidate of Physics and Mathematics, Associate Professor of the Mathematics Department. N.E. Zhukovsky and Y.A. Gagarin Air Force Academy, Voronezh, Russian Federation. E-mail: [email protected] ORCID: https://orcid.org/0000-0002-4291-8704

Elena L. Ulianova, Candidate of Physics and Mathematics. Associate Professor of Applied Mathematics and Mechanics Department. Voronezh State Technical University, Voronezh, Russian Federation. E-mail: [email protected] ORCID: https://orcid.org/0000-0002-6467-1159

There is no conflict of interests.

Corresponding author: Marina M. Kulmanakova E-mail: [email protected]

Received 20 May 2019 Reviewed 17 June 2019 Accepted for press 23 August 2019

i Надоели баннеры? Вы всегда можете отключить рекламу.