Возмущение вольтерровых включений импульсными операторами Текст научной статьи по специальности «Математика»

УДК 517.911, 517.968

© А. И. Булгаков, А. А. Григоренко, Е.А. Панасенко

ВОЗМУЩЕНИЕ ВОЛЬТЕРРОВЫХ ВКЛЮЧЕНИЙ ИМПУЛЬСНЫМИ ОПЕРАТОРАМИ1

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

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

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

Пусть Rn — n-мерное евклидово пространство с нормой | • |, co [Rn] — множество всех непустых выпуклых компактов пространства Rn. Пусть [а, с) (с ^ то), и пусть последовательность чисел ti, i = 1, 2,... , удовлетворяет условию а < ii < ¿2 < ••• <с; если с = то, то последовательность может быть бесконечной, не имеющей предельных точек. Обозначим через Cn[a, с) пространство функций x : [а, с) ^ Rn непрерывных на интервалах [a, ¿i], (t i, ¿2 ], (¿2, ¿3 ],•••, имеющих в точках ¿i, ¿2, ¿3, • • • правосторонние пределы.

Пусть b € (а, с) Через Cn[a, b] обозначим пространство всех сужений на [a,b] функций x € Cn[a, с) с нормой ||x||gnг b = SUP ^(¿)^ Пусть Cn[a, b] — пространство непрерывных функций

t€[a,b]

x : [a, b] ^ Rn с аналогичной нормой. Через Q(Cn[a, b]) (Q(Cn[a, b])) обозначим множество всех непустых выпуклых компактов пространства Cn[a, b] (Cn[a, b])

Рассмотрим семейство операторов Tb : Cn[a, b] ^ Q(Cn[a, b]), b € (a, с) (b выступает как параметр). Будем предполагать, что это семейство обладает следующими свойствами:

1) для любого b € (a, с) множество |(T>x)(a) С Rn : x € Cn[a, b] j ограничено в Rn;

2) при каждом b € (a, с) для любого x € Cn[a, b] и любого v € (a, b) выполняется равенство (Tb(x)) |a = Tv (x|a), где (Tb(x)) |a — множество сужений функций из множества Tb(x) на отрезок [a, v], x|a — сужение функции x на отрезок [a, v] (таким образом при каждом b € (a, с) оператор Tb : Cn[a, b] ^ Q(Cn[a, b]) вольтерров по А.Н. Тихонову);

3) для любого Ь € (а, с) оператор ТЬ : Сп[а, Ь] ^ 0(Сп[а, Ь]) компактен и замкнут.

Пусть для точек ¿¿, г = 1,2,..., определенных выше, заданы непрерывные функции / : Rn ^ Rn. Для каждого Ь € (а, с) определим непрерывное отображение : Сп[а, Ь] ^ Сп[а, Ь] равенствами:

/

(Jbx) (t) =

0, если t Є [a, iij;

x(ti) + Ii(x(ti)), если t Є (ti, t2]; d)

x(t2) + I2(x(t2)), если t Є (t2,t3];

хРабота поддержана РФФИ (гранты №№ 11-01-00-626, 11-01-00-645), Министерством образования и науки РФ (проект № 1.1877.2011, ФЦП «Научные и научно-педагогические кадры инновационной России на 2009-2013 годы», ГК № 14.740.11.0349).

Для каждого Ь Є (а, с) рассмотрим включение

х Є Тьх + 7ьх, (2)

где под суммой в правой части включения (2) понимается алгебраическая сумма множеств.

Под решением включения (2) понимается функция х Є С”[а, Ь], для которой существует такая функция V Є ТЬх, что для любого Ь Є [а, Ь] выполняется равенство

х(Ь) = v(í) + (Лх) (Ь).

Отметим, что к включению (2) сводятся некоторые задачи, рассматриваемые в работах [1—5].

На наш взгляд, функции /і : М” ^ М”, і = 1,2,..., естественно назвать импульсными функциями, а отображение 7, : С”[а, Ь] ^ С”[а, Ь], заданное равенствами (1), — импульсным оператором.

Из вольтерровости оператора Т, : С”[а, Ь] ^ П(С”[а, Ь]) вытекает следующее утверждение.

Теорема 1. Если все импульсные функции равны нулю, то для любого Ь Є (а, с) множество решений включения (2) совпадает с множеством, решений включения (2) с тождественным нулевым оператором 7,.

Теорема 2. Существует такое Ь Є (а, с), что множество решений включения (2) является непустым компактом пространства С” [а, Ь], если, кроме того, для любого х Є С”[а, Ь] множество (Т,х)(а) = 0, то множество решений включения (2) и связно в пространстве С”[а, Ь].

Скажем, что функция х : [а, т) ^ М” является решением включения семейства включений (2) на [а, т), если для произвольного Ь Є (а, т) сужение функции х на отрезок [а, Ь] является решением включения (2). Решение х семейства включений (2) на [а, т) (т Є (а, с)) назовем непродолжаемым, если не существует такого решения у включения (2) (Ь Є (т, с)), что для любого Ь Є [а, т) справедливо равенство х(Ь) = у(Ь). Если х является решением семейства включений (2) на [а, с), то будем считать решение х непродолжаемым.

Теорема 3. Для того чтобы решение х : [а, т) ^ М” семейства включений (2) на [а, т) было продолжаемым, необходимо и достаточно, чтобы х было ограничено на [а, Ь).

Следствие 1. Решение х : [а, т) ^ М” семейства включений (2) на [а, т) (т < с) непродолжаемо в том и только в том случае, когда ііш |х(Ь)| = то.

і^т—0

Теорема 4. Если функция у Є С” [а, Ь] — решение включения (2), то существует такое непродолжаемое решение х семейства включений (2) на полуинтервале [а, т) С [а, с), что х — продолжение решения у.

Пусть К — метрическое пространство и импульсные функции / : М” х К ^ М”, і = 1, 2,..., непрерывны. Определим непрерывный импульсный оператор 7, : С”[а, Ь] х К ^ С”[а, Ь] равенствами (1), в которых значения импульсов зависят от параметра Л Є К, то есть /і(х(Ьі), Л), /2(х(Ь2), Л) и так далее. Для любого Ь Є (а, с) рассмотрим включение

х Є Ть(х, Л) + (х, Л), (3)

где Л Є К, а отображение Т, : С”[а, Ь] х К ^ 0(С”[а, Ь]) обладает свойствами:

4) для любых Ь Є (а, с) и компактного V С К множество

|(Ть(х, Л))(а) С Мга : х Є С”[а, Ь], Л Є и}

ограничено в М”;

5) для любых b € (a, с) и Л € K отображение T>(-, Л) вольтеррово по А.Н. Тихонову;

6) для любого ограниченного Ui С (7n[a, b] и компактного U2 С K образ Tb(Ui, U2) предком-пактен в Cn[a, b];

7) отображение Tb : Cn[a, b] x K ^ Q(Cn[a, b]) замкнуто.

Пусть H(Л) — множество всех непродолжаемых решений включения (3). Пусть q(x) € (a, с] — правая точка интервала, на котором определено решение x € H(Л)

Для любого Л € K обозначим

v(Л) = sup {b € (a, с) : Vx € H(Л) b < q(x)

~ 1 (4)

и множество К : x € H(Л)} ограничено в пространстве Cn[a, b] > •

Теорема 5. Для любого Л € K существует x € H (Л), для которого справедливы соотношения

q(x) = v(Л) = inf {q(y) : y € H(Л)} > a^

Отображение v : K ^ (a, с], заданное равенством (4), полунепрерывно снизу.

Пусть H(т, Л) (т € (a, с)) — множество всех решений включения (3). Будем говорить, что включение (3) априорно ограничено, если существует число m > 0, для которого для любого т € (a, b] не существует решения y € H(т, Л), удовлетворяющего неравенству

IСn [а,т]

> m- (5)

Если неравенство (5) выполняется для любого Л, принадлежащего некоторому множеству и С К, то в этом случае будем говорить, что включение (3) априорно ограничено на множестве и С К в совокупности.

Из теоремы 5 вытекает

Теорема 6. Пусть включение (3) (Ь € (а, с)) априорно ограничено. Тогда для любого т € (а, Ь] множество Н(т, Л) непусто, является компактом в пространстве Сп[а, т], и для него выполняется равенство

Н(т, Л) = Н(Л)|а,

где Н(Л)|а — множество сужений функций из Н(Л) на отрезок [а, т]. Кроме того, найдется такой шар с центром в точке Л € К, что включение (3) априорно ограничено в совокупности на этом шаре.

Замечание 1. Из теоремы 6 вытекает, что если включение (3) априорно ограничено, то точка Л € К не является изолированной с точки зрения априорной ограниченности.

Из теоремы 6 вытекает

Теорема 7. Пусть включение (3) априорно ограничено при Л = Ло € К. Тогда множества решений Н(Ь, Л), рассматриваемые как множества, зависящие от параметра Л € К, полунепрерывны сверху по Хаусдорфу в точке Ло € К.

Отметим, что изложенный подход исследования вольтерровых уравнений и включений с импульсными воздействиями несколько отличается от традиционных подходов изучения этих задач, поскольку здесь независимо от задачи определяется импульсный оператор 7 : Сп[а, Ь] ^ Сп[а, Ь] и включение (2) рассматривается как включение, возмущенное этим оператором. На наш взгляд такой подход более удобен для исследования уравнений и включений с импульсными воздействиями, поскольку в рассмотренной задаче можно получить более общие результаты чем, например, методикой, опубликованной в работах [1,3-5]. Кроме того, для исследования

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

Отметим также, что приведенные выше утверждения остаются справедливыми и в случае когда в (2) — есть многозначный импульсный оператор. В этом случае для точек ¿¿, г =

1, 2,..., определенных выше, заданы полунепрерывные сверху отображения / : Мп ^ ео[Мп]. Многозначный импульсный оператор 7 : Сп[а, Ь] ^ 0(Сп[а, Ь]) определяется равенствами (1). При этом в равенствах (1) (и включении (2)) сумма понимается как алгебраическая сумма множеств. Таким образом и € х х € Сп[а, Ь] в том, и только в том случае, если найдутся такие элементы и € /¿(х(^)), г = 1, 2,..., что функция и : [а, Ь] ^ Мп удовлетворяет равенствам

u(t) =

0, если t € [a, ti];

x(ti) + ui, если t € (ti,t2];

(6)

x(t2) + U2, если t € (t2,t3];

В этом случае под решением включения (3) с многозначным импульсным оператором Jb : Cn[a, b] ^ Q(Cn[a, b]) понимается функция x € Cn[a, b], для которой существуют такая функция v € Tbx и функция u € Jbx, представимая в виде (6), что для любого t € [a, b] выполняется равенство

x(t) = v(t) + u(t)

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

1. Азбелев Н.В., Максимов В.П., Рахматуллина Л.Ф. Введение в теорию функционально-дифференциальных уравнений. М.: Наука, 1991.

2. Булгаков А.И., Максимов В.П. Функциональные и функционально-дифференциальные включения с воль-терровыми операторами // Дифференциальные уравнения. 1981. Т. 17. № 8. С. 1362-1374.

3. Завалищин С.Т., Сесекин А.Н. Импульсные процессы. Модели и приложения. М.: Наука, 1991.

4. Ченцов А.Г. Элементы конечно-аддитивной теории меры, II. Екатеринбург: УГТУ-УПИ, 2010.

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

Поступила в редакцию 15.02.2012

A.I. Bulgakov, A. A. Grigorenko, E. A. Panasenko Perturbation of Volterra inclusions by impulse operator

For Volterra inclusions with impulsive perturbations there are considered the problems of local solvability and extendability of solutions. It is proved that the right end-point of the interval on which all the solutions exist depends lower semi-continuously on the parameters. It is also shown that, if the inclusion is a-priori bounded for some parameter value, then this value can not be an isolated point, in the sense of a-priori boundedness, moreover the solutions sets (viewed as those depending on a parameter) are Hausdorff upper semicontinuous at this point.

Keywords: Volterra inclusions with impulse operator, extendability of solutions.

Mathematical Subject Classifications: 34H05, 34K35

Булгаков Александр Иванович, д.ф.-м.н., профессор, заведующий кафедрой, кафедра алгебры и геометрии, Тамбовский государственный университет им. Г. Р. Державина, 392000, Россия, г. Тамбов, ул. Интернациональная, 33. E-mail: aib@tsu.tmb.ru

Григоренко Анна Александровна, к.ф.-м.н., доцент, кафедра алгебры и геометрии, Тамбовский государственный университет им. Г. Р. Державина, 392000, Россия, г. Тамбов, ул. Интернациональная, 33. E-mail: g.anya@mail.ru Панасенко Елена Александровна, к.ф.-м.н., доцент, кафедра алгебры и геометрии, Тамбовский государственный университет им. Г. Р. Державина, 392000, Россия, г. Тамбов, ул. Интернациональная, 33. E-mail: panasenko@tsutmb.ru

Bulgakov Aleksandr Ivanovich, Doctor of Physics and Mathematics, Professor, Head of the Department of Algebra and Geometry, Tambov State University, ul. Internatsional’naya, 33, Tambov, 392000, Russia

Grigorenko Anna Aleksandrovna, Candidate of Physics and Mathematics, Associate Professor, Department of Algebra and Geometry, Tambov State University, ul. Internatsional’naya, 33, Tambov, 392000, Russia

Panasenko Elena Aleksandrovna, Candidate of Physics and Mathematics, Associate Professor, Department of Algebra and Geometry, Tambov State University, ul. Internatsional’naya, 33, Tambov, 392000, Russia