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

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

Алгоритмы МНК и построения полной нелинейной модели и линейной модели реализованы средствами программ символьных вычислений. В дальнейшем планируется перенос этих алгоритмов на параллельную архитектуру. Также на основе полученной линейной модели будет решена задача определения границ опасной зоны посадки вертолета.

ЛИТЕРАТУРА

1. Кротов В.Ф., Букреев В.З., Гурман В.И. Новые методы вариационного исчисления в динамике полета.

М.: Машиностроение, 1969.

2. Ухин М.Ю. Приближенный синтез оптимального управления. М.: Физматлит, 2006.

Блинов Александр Олегович Институт Программных Систем Российской академии наук Россия, Переславль-Залесский e-mail: sarmat@pereslavl.ru

Поступила в редакцию 10 мая 2007 г.

НЕКОТОРЫЕ ВОПРОСЫ ФУНКЦИОНАЛЬНО-ДИФФЕРЕНЦИАЛЬНЫХ ВКЛЮЧЕНИЙ С ИМПУЛЬСНЫМИ ВОЗДЕЙСТВИЯМИ 1

© А. И. Булгаков, А. И. Коробко, О. В. Филиппова

В докладе рассматривается функционально-дифференциальное включение с импульсными воздействиями в конечном числе фиксированных точек. Изучаются свойства решений таких включений. Отметим, что дифференциальные и функционально-дифференциальные уравнения с импульсными воздействиями были исследованы в монографиях [1-3].

Пусть и С [а, Ь] измеримое по Лебегу множество ц,(и) > 0, где ц — мера Лебега. Обозначим Ьп(и) пространство суммируемых функций г : и ^ Мп с нормой ||^||^п(М) = § \г(в)\(18;

и

Рьп(и)[', •], Ь^п(и)[•, •] — расстояние от точки до множества и расстояние по Хаусдорфу между множествами в пространстве суммируемых функций, соответственно; Ь+(и) — множество неотрицательных функций пространства Ь1(и). Пусть М С Ьп(и). Обозначим соМ выпуклую замкнутую оболочку множества М, а через ех1(со М) замыкание множеств крайних точек выпуклой оболочки со М.

хРабота выполнена при поддержке РФФИ (проект №07-01-00305) и темплана №1.6.07.

Будем говорить, что множество Ф С Ьп[а,Ь] выпукло по переключению (разложимо), если для любых х,у € Ф и любого измеримого множества е С [а, Ь] выполняется включение Х(е)х + Х([а,Ь]\е)У € Ф, где Х(-) — характеристическая функция соответствующих множеств. Множество всех ограниченных замкнутых выпуклых по переключению подмножеств пространства Ьп[а,Ь] обозначим через Б(Ьп[а, Ь]). Через &(Б(Ьп[а, Ь])) обозначим множество всех выпуклых ограниченных замкнутых выпуклых по переключению подмножеств пространства Ьп[а, Ь].

Пусть Ьк € [а,Ь] (а < < ... < Ьт < Ь) — конечный набор точек. Обозначим через

Сп[а,Ь] множество всех непрерывных на каждом из интервалов [а,Ь\], (£1^2], ... , (Ьт,Ь\ ограниченных функций х : [а, Ь] ^ Мп, имеющих пределы справа в точках Ьк, к = 1, 2,..., т, с нормой ||х||^П[аь] = вир{|х(Ь)| : Ь € [а, Ь]}, С+ [а, Ь] — множество неотрицательных функций

пространства С1 [а, Ь].

Рассмотрим задачу

X € Ф(х), (1)

Ах(Ьк) = 1к(х(Ьк)), к = 1,...,т, (2)

х(а) = х0, (3)

где отображение Ф : Сп[а, Ь] ^ Б(Ьп[а, Ь]) полунепрерывно снизу и для каждого ограниченного множества и С Сп[а, Ь] образ Ф(И) ограничен суммируемой функцией, отображения 1к : Мп ^ Мп, к = 1, 2,..., т, непрерывны, Ах(Ьк) = х(Ьк + 0) — х(£к).

Под решением задачи (1) - (3) будем понимать функцию х € Сп[а, Ь], для которой существует отображение я € Ф(х), что функция х : [а, Ь] ^ Мп представима в виде

т

д(8)(1,8 + хо + Е Х[ьк, ь](Ь)Ах(Ьк), (4)

к=1

где Ах(Ьк), к = 1, ...,т, удовлетворяют равенствам (2).

В докладе для задачи (1)-(3) с вольтерровым по А.Н. Тихонову отображением Ф : Сп[а, Ь] ^ Б(Ьп[а,Ь]) обсуждаются вопросы о локальной разрешимости, продолжаемости решений, и изучаются некоторые их свойства.

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

Пусть Н(хо,т) — множество всех решений задачи (1)-(3) на отрезке [а, т] (т € (а, Ь]). Будем говорить, что множество всех локальных решений задачи (1) - (3) априорно ограничено, если найдется такое число г > 0, что для всякого т € (а, Ь] не существует решения У € Н(хо,Т), для которого выполняется неравенство НуН^а т] > г.

Будем говорить, что множество решений задачи (1)-(3) почти реализует расстояние в пространстве суммируемых функций от любой суммируемой функции до своих значений, если для любого V € Ьп[а,Ь] и любого е > 0 существует такое решение х € Сп[а,Ь] задачи (1)-(3), что для любого измеримого множества и С [а,Ь] выполняется неравенство

Ия — ) < Рьп(и)^, Ф(х)] + е^(и), (5)

где функция я € Ф(х) удовлетворяет равенству (4). Если неравенство (5) выполняется и при е = 0, то будем говорить, что множество решений задачи (1)-(3) реализует расстояние в пространстве суммируемых функций от любой суммируемой функции до своих значений.

Теорема 1. Пусть множество всех локальных решений задачи (1)-(3) априорно ограничено. И пусть отображение Ф : Сп[а,Ь] ^ Б[Ьп[а, Ь]] непрерывно по Хаусдор-фу. Тогда множество решений задачи (1)-(3) почти реализует расстояние в пространстве суммируемых функций от любой суммируемой функции до своих значений. Если

г

х(Ь) = [

Ф : Сп[а,Ь] ^ 0(Б[Ьп[а, Ь]]), то множество решений задачи (1)-(3) реализует расстояние в пространстве суммируемых функций от любой суммируемой функции до своих значений.

Будем говорить, что импульсные воздействия 1к : Кп ^ Мп, к = 1, 2,...,т, обладают свойством А, если для каждого к = 1, 2,..., т, найдется непрерывная функция С : ^ М+,

удовлетворяющая равенству С(0) = 0, что для любых х,у € Кп выполняется оценка

— 1к(у)| < 4(|х — у|). (6)

Будем говорить, что импульсные воздействия 1к : Кп ^ Кп, к = 1, 2, ...,т, и отображение Ф : Сп[а, Ь] ^ Б[Ьп[а, Ь]] обладают свойством (Г“’ £ ,р; С, к = 1, 2,..., т), если импульсные воздействия 1к, к = 1, 2,...,т, обладают свойством А и если найдется изотонный непрерывный вольтерров оператор Г : С+ [а, Ь] ^ Ь+[а,Ь], удовлетворяющий условиям: Г(0) = 0, для любых функций х,у € Сп[а,Ь] и любого измеримого множества и С [а,Ь] выполняется неравенство

Ль«(и)[Ф(х); Ф(у)] < ||Г(^(х — у))||ь1(и);

множество всех локальных решений задачи

у = и + е + Г(у), Ау(Ьк )= 4 (у(Ьк)), к = 1,2,...,т, у (а) = р (7)

априорно ограничено. Здесь непрерывное отображение Z : Сп[а,Ь] С+ [а, Ь] определено равенством ^х)(Ь) = |х(Ь)|, отображение С : ^ М+, к = 1,2,...,т, удовлетворяет

неравенству (6), и € Ь+[а,Ь], числа е,р ^ 0.

Пусть для функции у € Сп[а, Ь] существует функция С € Ьп[а, Ь], что для любого Ь € [а, Ь] имеет место представление

т

С(8)й8 + у(а) + ^ Х[гк, ь](Ь)Ау(Ьк), (8)

к=1

где Ау(Ьк), к = 1, 2,..., т удовлетворяет равенству (2). Пусть для функции к € Ь+[а, Ь] для каждого измеримого множества и С [а, Ь] справедливо соотношение

Рьп(и)[С, Ф(у)] ^ У к(8)й8, (9)

и

где функции С € Ьп[а,Ь] и у € Сп [а, Ь] удовлетворяют равенству (8).

Теорема 2. Пусть для функции у € Сп[а,Ь] имеет место представление (8) и функция к € Ь+[а, Ь] для каждого измеримого множества и С [а,Ь] удовлетворяет неравенству (9). Далее, пусть импульсные воздействия 1к : Кп ^ Кп, к = 1, 2,...,т, и отображение Ф : Сп[а,Ь] Б[Ьп[а, Ь]] обладают свойством (Г“ ,£ ,р; С ,к = 1, 2,...,т), где е ^ 0, р = |хо — у (а) |, хо — начальное условие задачи (1)-(3). Тогда для любого решения х € Сп[а,Ь] задачи (1)-(3), удовлетворяющего для любого измеримого множества и С [а,Ь] неравенству (5), в котором функция я € Ьп[а,Ь] из представления (4), а функция V = С из соотношения (8), при любом Ь € [а, Ь] имеет место оценка

|х(Ь) — у(Ь)| < ((к,е,Р)(Ь) (10)

и при почти всех Ь € [а, Ь] справедливо соотношение

|Я(Ь) — ^ к(Ь) + е + (T(£(к,е,p)))(t), (11)

г

у^=!

где £ (к, е,р) € С+ [а, Ь] — верхнее решение задачи (7) при и = к и р = |хо — у (а) |.

Из теорем 1, 2 вытекает

Теорема 3. Пусть для функции у € Сп[а,Ь] имеет место представление (8) и функция к € Ь+[а,Ь] для каждого измеримого множества и С [а, Ь] удовлетворяет неравенству (9). Далее, пусть импульсные воздействия 1к : Кп — Кп, к = 1, 2,...,т, и отображение Ф : Сп[а,Ь] — Б(Ьп[а, Ь]) обладают свойством (Гк £ ,р; С ,к = 1, 2,...,т), где е ^ 0, р = |хо — у (а) |, хо — начальное условие задачи (1)-(3) и множество всех локальных решений задачи (1)-(3) априорно ограничено. Тогда при е > 0 существует решение х € Сп[а,Ь] задачи (1)-(3), для которого при всех Ь € [а,Ь] справедлива оценка (10) и при почти всех Ь € [а, Ь] выполняется соотношение (11).

Если Ф : Сп[а,Ь] — &(Б(Ьп[а, Ь])), то утверждение справедливо и при е = 0.

Будем говорить, что функция у € Сп[а,Ь], имеющая представление (8), в котором у(а) = хо, является квазирешением задачи (1) - (3), если найдется такая последовательность хг € Сп[а, Ь],г = 1, 2,..., что для каждой функции хг, г = 1, 2,..., найдется функция дг € Ф(у), для которой при любом Ь € [а, Ь] имеет место равенство

т

дг(8)й8 + хо + ^ Х[*к ,ь](Ь)Ахг(Ьк), к=1

где Ахг(Ьк) удовлетворяет равенству (2), и хг — у в пространстве Сп[а,Ь]. Пусть 'Н(хо) — множество всех квазирешений задачи (1)-(3).

Рассмотрим задачу

х € соФ(х), Ах(Ьк ) = 1к (х(Ьк)), к = 1, 2,...,т, х(а) = хо. (12)

Пусть Нсо(хо,т) — множество всех решений задачи (12) на отрезке [а, т] (т € (а, Ь]).

Теорема4. Справедливо равенство 'Н(хо) = Нсо(хо, Ь).

Будем говорить, что импульсные воздействия 1к : Кп — Кп, к = 1,2,...,т, и отображение Ф : Сп[а,Ь] — Б(Ьп[а, Ь]) обладают свойством В, если выполняется свойство (Г°’°’°; Ск ,к = 1, 2,...,т), а задача у = Г(у), у(а) =0 на каждом отрезке [а, т] (т € (а, Ь]) имеет только нулевое решение.

Теорема 5. Пусть множество всех локальных решений задачи (1)-(3) априорно ограничено. Далее, пусть импульсные воздействия 1к : Кп — Кп, к = 1, 2, ...,т, и отображение Ф : Сп[а,Ь] — Б(Ьп[а, Ь]) обладают свойством В. Тогда Н(хо,Ь) = 0 и справедливо равенство

Н (хо,Ь) = Нсо(хо ,Ь), (13)

где Н(хо, Ь) — замыкание множества Н(хо,Ь) в пространстве Сп[а,Ь].

Таким образом теорема 5 дает достаточные условия выполнения принципа плотности (см. [4]) для задачи (1)-(3). Равенство (13) можно усилить следующим образом.

Рассмотрим задачу

х € ех1(соФ(х)), Ах(Ьк) = 1к(х(Ьк)), к = 1,2,...,т, х(а) = хо. (14)

Пусть Нехх(хо,т) — множество всех решений задачи (14) на отрезке [а, т] (т € (а, Ь]).

Т еоремаб. Пусть выполнены условия теоремы 5. Тогда Нех^(хо, Ь) = 0 и справедливо равенство

Нехь(хо, Ь) = Н(хо, Ь) = Нсо(хо, Ь), где Не^(хо, Ь), Н(хо, Ь) — замыкание множеств Нех^(хо, Ь), Н(хо, Ь) в пространстве Сп[а, Ь], соответственно.

Таким образом, для задачи (1)-(3) выполняется не только принцип плотности, но и бэнг-бэнг принцип.

ЛИТЕРАТУРА

1. Самойленко А.М., Перестюк Н.А. Дифференциальные уравнения с импульсными воздействиями. M.: Высшая школа, 1987.

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

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

4. Булгаков А.И., Беляева О.П., Григоренко А.А. К теории возмущенных включений и ее приложения // Матем. сб. 2005. Т. 196, №10. С.21-78.

Булгаков Александр Иванович Тамбовский государственный ун-т Россия, Тамбов e-mail: aib@tsu.tmb.ru

Коробко Анатолий Иванович Тамбовский государственный ун-т Россия, Тамбов e-mail: prof13@yandex.ru

Филиппова Ольга Викторовна Тамбовский государственный ун-т Россия, Тамбов e-mail: aib@tsu.tmb.ru

Поступила в редакцию 10 мая 2007 г.

ОБОБЩЕННЫЕ ПРИБЛИЖЕННЫЕ РЕШЕНИЯ ФУНКЦИОНАЛЬНО-ДИФФЕРЕНЦИАЛЬНОГО ВКЛЮЧЕНИЯ 1

© А. И. Булгаков, А. Н. Мачина

Для формулировки основных результатов приведем некоторые обозначения и определения. Пусть V — некоторая система подмножеств пространства X. Обозначим через 0,(Р) множество всех непустых выпуклых подмножеств пространства X, принадлежащих системе V.

Пусть Ф С Ьп[а, Ь]. Будем говорить, что множество Ф выпукло по переключению (разложимо), если для любых х,у € Ф и любого измеримого множества и С [а,Ь] выполняется включение Х(и)х + Х([а, Ь]\и)у € Ф, где х(') — характеристическая функция соответствующего множества. Обозначим через ЩЦ" [а, Ь]] ^[Ьп[а,Ь]]) множество всех непустых ограниченных замкнутых выпуклых по переключению (непустых замкнутых ограниченных суммируемыми функциями) подмножеств пространства [а,Ь].

Пусть ^ : [а, Ь] — сошр[Дп] измеримое отображение. Обозначим 5(^) = {у € Ьп[а,Ь] :

у(Ь) € ^(Ь) при п.в. Ь € [а, Ь]}.

хРабота выполнена при поддержке РФФИ (проект №07-01-00305), темплана №1.6.07 и Государственного образовательного фонда Норвегии.