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

Тип работы:
Реферат
Предмет:
Физико-математические науки


Узнать стоимость

Детальная информация о работе

Выдержка из работы

Приводятся различные примеры, в частности дифференциальные операторы эллиптического типа.
ЛИТЕРАТУРА
1. Соболев С. Л. Некоторые применения функционального анализа в математической физике. 3-е изд., доп. и перераб. М.: Наука, 1988.
2. Массера Х., Шеффер Х. Линейные дифференциальные уравнения и функциональные пространства. М.: Мир, 1970.
3. Левитан Б. М., Жиков В. В. Почти периодические функции и дифференциальные уравнения. М.: Изд-во МГУ, 1978.
Поступила в редакцию 5 мая 2015 г.
Tyurin V.M. ABOUT ONE PROPERTY OF WELL-POSED LINER OPERATORS IN THE SO-BOLEV AND SOBOLEV-STEPANOV SPACES
Under some requirements on two linear operators that act accordingly in the spaces of Sobolev and Sobolev-Stepanov, a theorem about simultaneous generalized well-posedness of these operators is obtained.
Key words: linear operators- space of Sobolev-Stepanov- generalized well-posedness.
Тюрин Василий Михайлович, Липецкий государственный педагогический университет, г. Липецк, Российская Федерация, доктор физико-математических наук, профессор кафедры математики, e-mail: tvmla@yandex. ru
Tyurin Vasily Mikhailovich, Lipetsk State Pedagogical University, Lipetsk, the Russian Federation, Doctor of Physics and Mathematics, Professor of the Mathematics Department, e-mail: tvmla@yandex. ru
УДК 517. 51
О КОРРЕКТНОСТИ УПРАВЛЯЕМОЙ ИМПУЛЬСНОЙ СИСТЕМЫ С ЗАПАЗДЫВАНИЕМ, СОДЕРЖАЩЕЙ ФАЗОВЫЕ ОГРАНИЧЕНИЯ ПО
УПРАВЛЕНИЮ
© О.И. Филиппова
Ключевые слова: управляемая импульсная система с запаздыванием- дифференциальное включение- априорная ограниченность в совокупности на множестве. Рассматривается управляемая импульсная система с запаздыванием, содержащая фазовые ограничения по управлению. Показано, что если в какой-либо точке параметра множество фазовых траекторий системы априорно ограничено, то оно будет априорно ограничено при всех значениях параметра из некоторой окрестности этой точки. Получены оценки отклонения в пространстве кусочно-непрерывных функций множества фазовых траекторий от наперед заданной функции. Установлена непрерывная зависимость фазовых траекторий от параметров и начальных условий.
Основные обозначения
Для линейного нормированного пространства X с нормой У ¦ Ух обозначаем рх[х- и] - = ш!(Уж — и||х: и € и} - расстояние от точки х € X до множества и С X — Л-Х^- и] - - 8ир (рх[х, и]: х € и{} - полуотклонение по Хаусдорфу от множества и С X до
множества U С X — hX[Ui- U] = max{hX[Ui- U]- hX[U- Ui]} - расстояние по Хаусдорфу между множествами Ui и U — Bx (x,?) — открытый шар с центром в точке x € X радиуса? & gt- 0.
В статье используются следующие пространства и множества: R& quot- - вещественное n -мерное пространство вектор-столбцов с евклидовой нормой | ¦ | - comp[R& quot-] - множество всех непустых ограниченных замкнутых подмножеств пространства R& quot- - conv[R& quot-] - множество всех непустых ограниченных замкнутых выпуклых подмножеств пространства R& quot- - Cn[a, b] - пространство непрерывных функций x: [а, b] ^ R& quot- с нормой ||x||c™ = max{|x (t)|: t € € [а, b]} - C [а, b] - множество всех непрерывных на каждом из интервалов [а, t1], (t1, t2], …, (tm, b] (где, а & lt- t1 & lt- … & lt- tm & lt-b — заданный набор точек) функций x: [а, b] ^ R& quot-, имеющих пределы справа в точках tk, к = 1, 2,…, m, с нормой Hx^cc b] = sup{|x (t)|:
t € [а, b]} - C [а, т] - пространство функций x: [а, т] ^ R& quot-, являющихся сужениями на отрезок [а, т], т € (а, b], функций из C [а, b] с нормой ||x||cn[ar] = sup{|x (t)|: t € [а, т]} -
C + [а, b] - конус неотрицательных функций пространства C [а, b] - L& quot-(U) — пространство
суммируемых по Лебегу функций x: U ^ R& quot-, где множество U С [а, b] измеримо и
имеет меру ^(U) & gt- 0, с нормой ||x||l"(u) = / |x (s)|ds- Sw^& quot-^, b]) — множество всех
и
ограниченных замкнутых выпуклых по переключению подмножеств пространства L& quot-^, b]- L+ [а, b] - конус неотрицательных функций пространства L1^, b] - L^^, b] - пространство измеримых по Лебегу ограниченных в существенном функций x: [а, b] ^ R& quot- с нормой ||x|L^[a, b] = vraisup{|x (t)|: t € [а^]}.
Введение
В связи с многочисленными приложениями в теории управления и оптимального управления, теории стабилизации, дифференциальных играх в последние годы интенсивно изучаются функционально-дифференциальные уравнения и включения с импульсными воздействиями (наиболее полное изложение основных результатов теории импульсных систем содержится в монографиях Е. А. Барбашина, А.И. Булгакова-О.В. Филипповой, С.Т. Завали-щина-А.Н. Сесекина, В. М. Матросова, А.Д. Мышкиса-А.М Самойленко, А. М Самойленко-Н.А. Перестюка, В.В. Обуховского-М.И. Каменского-P. Zecca, Е. С. Пятницкого, А. Ф. Филиппова, А. Халаная-Д. Векслера и др.).
В статье для управляемых импульсных систем с запаздыванием, содержащих фазовые ограничения по управлению получены оценки допустимых траекторий, аналогичные оценкам В. И. Благодатских, А. Ф. Филиппова [1, 2] решений дифференциальных включений, установлена непрерывная зависимость фазовых траекторий от параметров и начальных условий. Исследование основано на сведении управляемой системы к функционально-дифференциальному включению, которое исследуется методами [3−5].
§ 1. Основные понятия. Априорная ограниченность фазовых траекторий
Пусть S — метрическое пространство. Пусть заданы отображения
f: [а, b] х R& quot- х R1 х S ^ R& quot-, U: [а, b] х R& quot- х S ^ comp[R1], удовлетворяющие условиям:
1) при каждом фиксированном (x, u, {) € R& quot- х R1 х S функция f (-, x, u, {) измерима (по Лебегу) —
2) при почти всех t € [а, b] функция f (t, ¦, ¦, ¦) непрерывна-
3) для каждого ограниченного множества W С R& quot- х R1 х S существует такая суммируемая функция mw: [а, b] ^ [0, то), что при почти всех t € [а, b] и всех (x, u, {) € W выполняется неравенство |f (t, x, u,?)| ^ mw (t) —
4) при каждом (ж, ?) € Мп х 2 отображение и (-, х,?) измеримо-
5) при почти всех? € [а, Ь] отображение и (?,•,•) непрерывно по Хаусдорфу-
6) для каждого ограниченного множества V С Мп х 2 существует такая константа шу, что при почти всех? € [а, 6] и всех (х, ?) € V выполнено
|и (?, х,{)| - 8ир (|и|: и € и (?, х,{)|} ^ шу.
Рассмотрим управляемую систему с запаздыванием
х (?) — /(*, х (р (*)), и (*и), и (?) € и (*, х (д (*)), 0,
х (з) — & lt-^(з), если § & lt- а,
(1)
испытывающую импульсные воздействия
Д (х (^)) — Л (х (^),?), к — 1,2,…, ш, (2)
при начальном условии
х (а) — а. (3)
Здесь параметр? € 2, начальное значение, а € Мп — функция: (-то, а) ^ Мп измерима по Борелю и ограничена- измеримые функции р: [а, 6] ^ М, д: [а, 6] ^ М для любого? € [а, 6] удовлетворяют неравенствам р (?) ^ ?, д (?) ^ ?- отображения: Мп х 2 ^ Мп непрерывны, Д (х (?к)) — х (?к + 0) — х (?к), к — 1, 2,…, ш. Поскольку выбор управления зависит от состояния управляемого объекта, рассматриваемая система (1)-(2) относится к системам с фазовыми ограничениями по управлению.
Пусть т € [а, 6]. Определим непрерывные отображения Рт: О [а, т] ^ Ь^[а, т], Ят: С [а, т] ^ Ь^ [а, т] равенствами
т х)(?) — / х (Р (?)) если Р (?) € [а, т], (4)
(/ тх)(?) ^(р (?)), если р (?) & lt- а, (4)
(^тх)(?) — { ^^ если д (?) € [а, т], (5)
I ^(д (?)), если д (?) & lt- а. у 7
тт / 1 л- Г 0, если? € [а, 8],
Для § € (а, тI обозначим Уг"т](?) — & lt- '- п
^ у '- -1 л[з, т|/ | 1, если? € («, т].
Под допустимым управлением на отрезке [а, т] системы (1)-(3) будем понимать такую
функцию и € Ь^ [а, т], для которой существует функция х € С [а, т], удовлетворяющая
при всех? € [а, т] уравнению
г
х (?) — а + У /(в, (Ртх)(в), и (ви)^ + Зк (х (?к, Ь](?), (6)
а ]
и включению
и (?) € и (?, х) Ш). (7)
В этом случае пару (и, х) € Ь^ [а, т] х С [а, т] будем называть допустимой парой на отрезке [а, т].
Пусть Н (а, т, ?) — множество всех допустимых пар управляемой системы (1)-(3) на отрезке [а, т], а Н (а, т, ?) — множество всех фазовых траекторий этой системы.
Определение! Будем говорить, что множество фазовых траекторий управляемой импульсной системы (1) -(3) априорно ограничено в точке (а, ?) € Мп х 2, если найдется
такое число г & gt- 0, что для всякого т € (а, Ь] не существует х € Н (а, т, ?), для которого выполняется неравенство 11 х ^ ?сп уа т] & gt- г.
Определение2. Пусть & amp- С Мп, В С 2. Множество фазовых траекторий управляемой импульсной системы (1) — (3) априорно ограничено в совокупности на множестве & amp- х В, если оно априорно ограничено в каждой точке (а, ?) € & amp- х В и константа г & gt- 0 в определении 1 является общей для всех точек из множества 6хВ.
На основании результатов работ [1, 6] в монографии [3] доказана
Т е о р е м, а 1. Пусть множество всех фазовых траекторий управляемой системы (1)-(3) априорно ограничено в точке (ао,?о) € Мп х 2. Тогда Н (ао, т, ?о) = 0 для любого т € (а, Ь], и существует такое е & gt- 0, что множество фазовых траекторий управляемой системы (1)-(3) априорно ограничено в совокупности на множестве Б^п (ао, е) хБд (?о, е).
Замечание1. В предположении априорной ограниченности множества фазовых траекторий системы (1)-(3) в точке (а, ?) € Мп х 2, любая допустимая пара (и, х) € Н (а, т, ?) продолжаема на весь отрезок [а, Ь] - доказательство этого результата приведено в [4].
§ 2. Оценки фазовых траекторий
Определим отображение: [а, Ь] х Мп х Мп х 2 ^ сошр[Мп] равенством
^ (г, х, у,?) = / (г, х, и (г, у, ?),?). (8)
В силу леммы А. Ф. Филиппова [2] (см. также [7, 8]), соотношения (1) эквивалентны функционально-дифференциальному включению
х (г) € ^(г, (Ртх) (?), (?тх)(г), ?), г € [а, т], (9)
в том смысле, что если (и, х) € Ь^[а, т] х О [а, т] - допустимая пара для управляемой системы (1)-(3), то х € С [а, т] будет решением (9), (2), (3) — обратно, если х € С [а, т] - решение (9), (2), (3), то пара (и, х) € [а, т] х с [а, т], где и € Ь^[а, т] определяется равенством (7), будет допустимой для (1) — (3). Таким образом, множество решений задачи (9), (2), (3) совпадает с множеством всех фазовых траекторий исходной управляемой системы (1) — (3). В связи с этим, будем обозначать множество решений задачи (9), (2), (3) на [а, Ь] также, как и множество всех фазовых траекторий системы (1) -(3), символом
Н (а, Ь,?).
Определение 3. Будем говорить, что отображения
/: [а, Ь] х Мп х М1×2 ^ Мп, и: [а, Ь] х Мп х 2 ^ сошр[Мг] обладают свойством О в точке? о € 2, если найдутся отображения
: [а, Ь] х [0, то) х [0, то) х [0, то) ^ [0, то), ш2: [а, Ь] х [0, то) х [0, то) ^ [0, то),
удовлетворяющие условиям Каратеодори, неубывающие при фиксированных первом и последнем аргументах и такие, что при почти всех г € [а, Ь] и всех? € 2, х1, х2 € Мп, и1, и2 € М1 выполняются неравенства
|/(г, хЬиЬ? о) — /(г, х2, и2,?)| ^ |х1 — х2|, |и 1 — и2|, р[?о,?]), (10)
Ь[и (г, х1,?о), и (г, х2,?)] & lt- ^2(г, |х1 — х2|, р[?о,?]). (11)
Л е м м, а 1. Пусть отображения /, и обладают свойством О в точке? о € 2. Тогда для отображения: [а, Ь] х Мп х Мп х 2 ^ сошр[Мп], заданного равенством (8), при почти всех г € [а, Ь] и любых? € 2, х1, у1,х2,у2 € Мп выполняется неравенство
^(г, х1, У1,?о), F (г, х2, У2,?)] & lt- ^(г, |х1 — х2|, |ш — у2|,?), (12)
где функция и: [а, 6] х [0, то) х [0, то) х 2 ^ [0, то) определена соотношением
и (?, х, у, С) — и1(г, х, и2(г, у, р[?о,?]), р[?о,?]). (13)
Действительно, согласно определению (8) отображения ^ из (10) вытекает соотношение
^(?, х1, У1, Со), ^(?, х2, У2, С)] & lt- и1(?, |х1 — х2|, У1, О, и (?, У2, е)], р[Со, С]),
а из неравенства (11) следует требуемая оценка (12).
Определение 4. Будем говорить, что отображения
/: [а, 6] х М& quot- х М1×2 ^ М& quot-, и: [а, 6] х М& quot- х 2 ^ еошр[М'-], Л: М& quot- х 2 ^ М& quot-, к — 1, ш,
обладают свойством V в точке (70, Со) € [0, то) х 2, если
1) отображения /, и обладают свойством О в точке Со € 2 —
2) для каждого к — 1, ш найдется непрерывная функция: М+ х 2 ^ М+, неубывающая по первому аргументу при каждом фиксированном значении второго аргумента, удовлетворяющая равенству (0, Со) — 0, и такая, что для любых х, у € М& quot- и каждом С € 2 выполняется оценка
и (х, С) — Л (у, С)1 & lt- С (|х — у|, С) — (14)
3) множество решений задачи
у (?) — и (*, у (*), у (*), С), Д (у (?к)) — Л (у (?к), С), к — 1, ш, у (а) — 7о (15)
где функция и: [а, 6] х [0, то) х [0, то) х 2 ^ [0, то) определена равенством (13), ограничено.
Пусть оператор Немыцкого N: Ща, 6] х Ща, 6] х 2 ^ 8-(Ь& quot- [а, 6]), порожденный отображением: [а, 6] х М& quot- х М& quot- х 2 ^ еошр[М& quot-] (см. (8)), задан соотношением
N (х, у, С) — {- € Ь& quot-[а, 6]: г (?) € ^(?, х (?), у (?), С) при почти всех? € [а, 6]}. (16)
Отметим, что если множество решений включения (9) с импульсными воздействиями (2) и начальным условием (3) априорно ограничено в фиксированной точке (ао, Со) € М& quot- х х 2, то согласно теореме 1 Н (ао, 6, Со) — 0 (см. также [4]). Пусть ха00 € Н (ао, 6, Со). По определению решения задачи (9), (2), (3) (см. [4]), для функции ха00 € С [а, 6] найдется такой элемент € N (Рьха00, Сьха00, Со), где операторы р: С [а, 6] ^ Ь& quot- [а, 6], С,:
С [а, 6] ^ Ь^[а, 6] определены при т — 6 равенствами (4), (5) соответственно, что функция х"050: [а, 6] ^ М& quot- представима в виде
* т
х"0?0(?) — ао + 9"0?0 + ^ (х"0"0), С) Х (*ьЬ]С0. (17)
а к=1
Замечание 2. Согласно теореме 1, если множество Н (ао, 6, Со) априорно ограничено в точке (ао, Со) € М& quot- х 2, то существует такое 5 & gt- 0, что оно априорно ограничено в совокупности на множестве В^п (ао, 5) х В3(Со, 5). Поэтому для любых (а, С) € ВКп (ао, 5) х х Вд (Со, 5) множество Н (а, 6, С) — 0, и существует такое г & gt- 0, что при всех т € (а, 6] для каждого € Н (а, 6, С) выполняется неравенство ||ха?Ус[ат] ^ г.
Определим отображение N: С+1[а, 6] х 2 ^ Ь+1[а, 6] равенством
N (х, С)(?) — и (?, х (?), х (?), С), (18)
где функция ш: [а, Ь] х [0, то) х [0, то) х 2 ^ [0, то) задана соотношением (13). Наряду с задачей (15) будем рассматривать задачу
?(г) = 7е ((вг),?о)(г),
Д^)) = с (?(г*),?о), к = 1, 2,…, т, (19)
?(а) = 7о,
где отображение в: с+[а, Ь] ^ Ь+[а, Ь] имеет вид
(вг)(г) = уга18ир ?(в). (20)
Пусть п & gt- 0. Определим измеримую по первому аргументу функцию ко: [а, Ь] х 2 ^ [0, то) равенством
ко (г,?) = ^ (г, (Пх"0?0)(г), (аьх"0?0)(г),?о)^ (г, (Пх^)(г), (аьх"0?)(г),?)], (21)
где х"050 € Н (ао, Ь, ?о), х^е € Н (ао, Ь, ?).
Для задачи (19) рассмотрим задачу при малом изменении параметров? = ?о, 7 = 70 и правой части, которую определим в виде
?(г) = ко (г,?)+ п + 7е ((вг),?)(г),
Д^)) = & lt-4(?(г*), ?), к = 1, 2,…, т, (22)
?(а) = 7.
Далее, пусть в точке (70, ?о) выполняется свойство V. В следующей лемме показана связь априорной ограниченности множества решений задач (15) и (22) при малом изменении параметров? = ?0, 7 = 70, п& gt- 0.
Л е м м, а 2. Если множество решений задачи (15) ограничено в точке (70, ?0) € [0, то) х х 2, то существует такое 5 & gt- 0, что множество всех решений задачи (22) априорно ограничено в совокупности на множестве Бд (?0, 5) х (0, 5) х (70−5,70+5) Р|[0, то). Причем, для каждого т € (а, Ь] любое '-решение задачи (22), определенное на отрезке [а, т] не превосходит верхнего решения обыкновенного дифференциального уравнения с импульсными воздействиями
?(г) = ко (г,?) + П + 7е (?,?)(г),
Д (г (гк)) = ^(?(г*), ?), к = 1,2,…, т, (23)
?(а) = 7
при всех (?, п, 7) € Бд (?0,5) х (0,5) х (70 — 5,70 + 5) П[0, то).
Будем говорить, что множество решений задачи (9), (2), (3) почти реализует расстояние до произвольной суммируемой функции, если для любого V € Ьп[а, Ь] и любого П & gt- 0 существует такое решение € Н (а, Ь, ?), что для любого измеримого множества и С [а, Ь] выполняется неравенство
— v||Ln (w) ^ Рь. п (м)[V, N (Рьха?п, ?ьха?п,?)] + ПР (и), (24)
где € N, ,?) почти всюду на [а, Ь] и удовлетворяет равенству (17) (в
котором вместо? о параметр имеет значение? , а начальное значение ао принимает значение, а).
Согласно [3], если множество Н (а, Ь, ?) априорно ограничено в совокупности на множестве Бкп (ао, 5) х Бд (?о, 5), то оно почти реализует расстояние от любой суммируемой функции до значений решений включения (9) при каждом, а € Б^п (ао, 5) и? € Бд (?о, 5).
Поэтому при любом п & gt- 0 существует такое решение € Н (а, 6, С), что для любого
измеримого множества и С [а, 6] справедливо неравенство (24) при V — да0?0 (см. (17)). Такая оценка позволяет получить следующий результат
Теорема 2. Пусть отображения /: [а, 6] х М& quot- х М1×2 ^ М& quot-, и: [а, 6] х х М& quot- х 2 ^ еошр[Мг] и импульсные воздействия: М& quot- х 2 ^ М& quot-, к — 1,2,…, ш, обладают свойством V в точке (7о, Со) € [0, то) х 2, множество Н (ао, 6, Со) априорно ограничено в точке (ао, Со) € М& quot- х 2. Тогда найдется такое 5 & gt- 0, что для любого П & gt- 0, удовлетворяющего неравенству п & lt- 5, любого С € Вд (Со, 5) и всех, а € В^п (ао, 5) найдется такое '-решение € Н (а, 6, С), удовлетворяющее соотношению (24) при V — - 9"0?0, что при любом? € [а, 6] выполняется оценка
|х"5п (?) — х"0?0(?)1 & lt- С (ко (, С), П, 7)(?), (25)
и при почти всех? € [а, 6] справедливо соотношение
Ып (?) — 9"0?0(?)1 & lt- ко (?, С) + п + N (С (*оО, С), П,7), С)(*), (26)
где ?(ко0,С), е,7) — верхнее решение задачи (23), 7 — |ао — а|.
§ 3. Непрерывная зависимость фазовых траекторий от параметров и начальных условий
Следующая теорема выражает необходимое условие корректности управляемой импульсной системы (1) -(3).
Теорема 3. Пусть выполнены условия теоремы 1. Тогда для любых последовательностей аг € Вкп (ао, 5), Сг € Вд (Со, 5) г — 1,2,…, аг ^ ао в М& quot-, Сг ^ Со в 2 при г ^ то, выполняется
1) для любого у € Н (ао, 6, Со), найдется такая последовательность уг € Н (аг, 6, Сг), г — 1, 2,…, что уг ^ / в пространстве С& quot-[а, 6] при г ^ то —
2) если отображение и: [а, 6] х М& quot- х 2 ^ еопу[Мг], то для любой последовательности уг € Н (аг, 6, Сг), г — 1, 2,…, имеющей предел у в пространстве С& quot-[а, 6] при г ^ то, найдется такая последовательность уг € Н (ао, 6, Со), г — 1, 2,…, что уг ^ у в пространстве С& quot-[а, 6] при г ^ то.
Доказательство. Сначала докажем первую часть теоремы, т. е. покажем, что отображение (а, С) ^ Н (а, 6, С) полунепрерывно снизу. Для этого надо показать, что для любого С € Н (ао, 6, Со) и любых последовательностей аг ^ ао в пространстве М& quot- и Сг ^ Со в пространстве 2 при г ^ то найдется такая последовательность уг € Н (аг, 6, Сг), г — 1, 2,…, что уг ^ С в пространстве С [а, 6] при г ^ то.
Так как множество всех фазовых траекторий управляемой импульсной системы (1), (2) априорно ограничено в точке (ао, Со) € М& quot- х 2, то Н (ао, 6, Со) — 0.
Возьмем С € Н (ао, 6, Со) и последовательность аг ^ ао в пространстве М& quot-, Сг ^ Со в пространстве 2 при г ^ то такие, что аг € В^п (ао, е), Сг € Вд (Со, е), г — 1, 2,…
Так как / € Н (ао, 6, Со), то при всех? € [а, т] справедливо равенство
* т
/(?) — ао + ф)^ +? Л (у (^), С) Х (*к, ь](?), (27)
а ^
где функция q € N (Рь/, Со), здесь N: Ь^[а, 6] х Ща, 6] х 2 ^ Б-(Ь& quot-[а, 6]) — оператор Немыцкого заданный соотношением (16), операторы Р: С [а, 6] ^ Ь& quot- [а, 6],
: С [а, 6] ^ Ь& quot- [а, 6] определены при т — 6 равенствами (4), (5) соответственно.
Так как у € Н (а0,Ь, ?0), то из (27) следует, что для любого измеримого и € [а, Ь] справедливо равенство
PL 1(и)[9,7 (РьС, СьС,?о)] =0, (28)
поэтому функция С: [а, Ь] ^ Мп удовлетворяет неравенству (24). Из априорной ограниченности множества Н (ао, Ь, ?о) в точке (ао,?о) € Мп х 2, по теореме 1, следует, что для любого т € (а, Ь] существует такое е & gt- 0, что множество фазовых траекторий управляемой импульсной системы (1) — (3) априорно ограничено в совокупности на множестве Бкп (а0,е) х Бд (?0,е). Согласно [5], для всякого т € (а, Ь] множество Н (а*, т, ?*) = 0. Значит Н (а*, Ь,?*) = 0.
По теореме 2 при каждом фиксированном г = 1, 2,… найдется такое 5 & gt- 0, что для любого е & gt- 0, удовлетворяющего неравенству е & lt- 5 и любого? € Рд (?0, е) найдется такое решение у* € Н (а*, Ь, ?*), что при любом г € [а, Ь] выполняется оценка
|у*(г) — С (г)| & lt- С (к (-,?г), е,7)(г), (29)
где ?(к (-, ?*), е, 7) — верхнее решение задачи (22).
Отметим, что согласно определению функции ко: [а, Ь] х 2 ^ М+ (см. (21)) при почти всех г € [а, Ь] к0(г,?0) = 0. Поэтому из (21) следует, что при г ^ то
к (г,?*) ^ 0. (30)
Пусть е = 1, тогда, согласно (30), задача (22) примет вид
?(г) = 1 + N (?,?*),)) = & lt-(?(г*),?*), к = 1,2,…, т, ?(а) = 7. (31)
В силу определения оператора N: Iе+: [а, Ь] х 2 ^ Ъ+: [а, Ь] (см. (18)) при г ^ то задача (31) примет вид (15). По свойству V задача (15) в точке? о € 2 имеет только нулевые локальные решения (см. определение 3). При г ^ то ?* ^ ?0 в пространстве 2, тогда из определения оператора N: с+*[а, Ь] х 2 ^ Ъ+: [а, Ь] (см. (18)) следует, что при г ^ то локальные решения задачи (31) стремятся к нулю. Поэтому верхнее решение задачи (31) ((к (-, ?*), е, 7) ^ 0 при г ^ то. Из (29) следует, что при всех г € [а, Ь]
|у*(г) — С (г)Н 0 (32)
при г ^ то в пространстве с [а, Ь], следовательно у*(г) ^ С (г) в Iе [а, Ь] при г ^ то. Таким образом, отображение (а, ?) ^ Н (а, Ь, ?) полунепрерывно снизу.
Теперь докажем вторую часть теоремы, т. е. покажем, что отображение (а, ?) ^ Н (а, Ь, ?) полунепрерывно сверху.
Пусть у* € Н (аг, Ь, ?*), г = 1, 2,…, тогда для любого г = 1, 2,… и при всех г € [а, Ь] справедливо равенство
? т
у*(г) = а* + + & lt-),?)х (?к, ь](г), (33)
а
где € N,?*). И пусть у* ^ у в пространстве Сп[а, Ь] при г ^ то.
Зафиксируем г = 1, 2,… Согласно (33) функции у*: [а, Ь] ^ Мп удовлетворяют неравенству (24) при каждом г = 1, 2,… Так как множество Н (ао, Ь, ?) априорно ограничено в точке (а0, ?0) € Мп х 2 и для отображений /: [а, Ь] х Мп х М1×2 ^ Мп, и: [а, Ь] х Мп х х 2 ^ еошр[Мг] и импульсных воздействий & lt-: Мп х 2 ^ Мп, к = 1, 2,…, т, выполняется
свойство D в точке ?0 € е, то, согласно теореме 2 при каждом фиксированном i = 1, 2,… найдется такое o & gt- 0, что для любого е & gt- 0, удовлетворяющего неравенству е & lt- o и ?0 € е найдется такое решение yy € H (a0,b, ?0), что при любом t € [a, b] выполняется оценка
|yi (t) — yi (t)| & lt- Z (K (-, Co), e,7)(t), (34)
где Z (x (-, ?0), e, y) — верхнее решение задачи (22). Пусть е = 1. Так как x (t, ?0) = = 0 (см. (21)), Jk (z (tk),?0) = 0 (по свойству D), то в силу определения оператора N: С + 1 [a, b] х е ^ L+: [a, b] (см. (18)) решения задачи (22) при достаточно больших i совпадает с решениями задачи (15). По свойству D задача (15) в точке ?0 € е имеет только нулевые локальные решения. Поэтому верхнее решение задачи (22) Z (к (-, ?0), е, Y) ^ 0 при i ^ то. Из (34) следует, что при всех t € [a, b] |yi (t) — yi (t)| ^ 0 при i ^ то в пространстве С [a, b], следовательно yi (t) ^ yi (t) в Iе [a, b] при i ^ то. Так как yi ^ y в пространстве Cn[a, b] при i ^ то, то имеем, что yi ^ y в пространстве Cn[a, b] при i ^ то. Таким образом, отображение (a, ?) ^ Hi (a, b, ?) полунепрерывно сверху. Теорема доказана.
Следует отметить, что кроме теоретического интереса, эта теорема имеет и прикладное значение, связанное с корректностью математических моделей реальных процессов. Действительно, в связи с тем, что в прикладных задачах параметры модели могут быть найдены лишь приближенно, важным свойством, обеспечивающим применимость модели, является ее корректность. Теорема 3 устанавливает связь с известными для обыкновенных дифференциальных уравнений результатами J. Kurzweil — Z. Vorel, М. Ф. Бокштейна, Н. Н. Петрова, Е. С. Жуковского и других авторов (см., например, [9−11]).
ЛИТЕРАТУРА
1. Благодатских В. И., Филиппов А. Ф. Дифференциальные включения и оптимальное управление // Тр. МИАН СССР. 1985. Т. 169. С. 194−252.
2. Филиппов А. Ф. О некоторых вопросах теории оптимального регулирования // Вестник МГУ. Серия: Математика, механика. 1959. № 2. С. 25−32.
3. Булгаков А. И., Филиппова О. В. Импульсные функционально-дифференциальные включения. Исследование импульсного функционально-дифференциального включения с невыпуклой по переключению правой частью. Сарбрюкхен, Германия (Saarbrucken, Germany): Lambert, 2014. 127 с.
6. Булгаков А. И., Филиппова О. В. Импульсные функционально-дифференциальные включения с отображением, не обладающим свойством выпуклости по переключению значений // Известия Института математики и информатики Удмуртского государственного университета. 2014. № 1 (43). С. 3−48.
7. Булгаков А. И., Корчагина Е. В., Филиппова О. В. Функционально-дифференциальные включения с импульсными воздействиями. Части 1−6 // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2009. Т. 14. Вып. 6. С. 1256−1302.
8. Канторович Л. В., Акилов Г. Н. Функциональный анализ. М.: Наука, 1984. 752 с.
9. Иоффе А. Д., Тихомиров В. М. Теория экстремальных задач. М.: Наука, 1974. 480 с.
10. Ченцов А. Г. Элементы конечно-аддитивной теории меры, II. Екатеринбург: УГТУ-УПИ, 2010.
11. Арутюнов А. В., Жуковский Е. С., Жуковский С. Е. О корректности дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2011. Т. 47. № 11. С. 15 231 537.
12. Жуковский Е. С. Непрерывная зависимость от параметров решений уравнений Вольтерра // Математический сборник. 2006. Т. 197. № 10. С. 33−56.
13. Курцвейль Я., Ворель З. О непрерывной зависимости решений дифференциальных уравнений от параметра // Чехословацкий математический журнал. 1957. Вып. 7. № 4. С. 568−583.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке РФФИ (проект № 14−01−877) в рамках базовой части государственного задания Министерства образования и науки РФ (проект № 2014/285).
Поступила в редакцию 13 мая 2015 г.
Filippova O.V. ABOUT WELL-POSEDNESS OF A CONTROLLABLE IMPULSE SYSTEM WITH DELAY AND WITH PHASE CONSTRAINTS ON CONTROL
A controllable impulse system with delay and with phase constraints on control is considered. It is shown that if at some point of parameter the set of the system phase trajectories is a-priori bounded, then it is a-priori bounded for all parameter values from some neighborhood of this point. The deviation estimates of the phase trajectories set from a given function are obtained in the space of piecewise continuous functions. The continuous dependence of phase trajectories on parameters and on the initial data is derived.
Key words: controllable impulse system with delay- differential inclusion- a-priori boundedness in total on a set.
Филиппова Ольга Викторовна, Тамбовский государственный университет имени Г. Р. Державина, г. Тамбов, Российская Федерация, кандидат физико-математических наук, доцент кафедры алгебры и геометрии, e-mail: philippova. olga@rambler. ru
Filippova Olga Viktorovna, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Algebra and Geometry Department, e-mail: philippova. olga@rambler. ru
УДК 517. 977
ОБ АСИМПТОТИКАХ ЦЕН В ДИНАМИЧЕСКИХ ИГРАХ С ПЛАТЕЖОМ, УСРЕДНЕННЫМ ПО БОЛЬШОМУ ПРОМЕЖУТКУ
Ключевые слова: динамические игры- среднее по Абелю- среднее по Чезаро- бесконечный промежуток- дисконтирование- принцип динамического программирования- асимптотическая цена- вероятностное распределение.
В работе исследуются асимптотики цен для антагонистических динамических играх с платежами, усредненными по времени в силу заданного направленного семейства вероятностных распределений (в том числе равномерные распределения на все больших промежутках и экспоненциальные распределения с все меньшим параметром дисконтирования). Исследуются условия как на игру, так и на возможные семейства распределений, при которых асимптотика цен не зависит от выбора семейства.
Рассмотрим два семейства интегралов:
Как было показано Феллером (а для последовательностей еще Харди) для всякой ограниченной функции д, если одно из выражений имеет предел (при, А | 0), то такой предел имеет место и для другого выражения, и эти пределы совпадают. Такого рода асимптотические результаты называют тауберовыми теоремами
Можно поставить вопрос о равенстве асимптотик и в теории управления, в том числе для антагонистических игр. Пусть имеется некоторая динамическая система, движение которой определяют один (задача управления) или два (антагонистическая игра) игрока. Пусть для
© Д.В. Хлопин
(среднее по Абелю).

ПоказатьСвернуть
Заполнить форму текущей работой