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

Серия «Математика»

2012. Т. 5, № 4. С. 54-65

Онлайн-доступ к журналу: http://isu.ru/izvestia

УДК 518.517

О скользящих режимах дифференциальных включений *

Д. В. Пономарев

Иркутский государственный университет

Аннотация. В работе рассматривается движение управляемых систем с многозначной правой частью по многообразию Я на компактном интервале времени I. Производится оценка множества решений системы, траектории которых принадлежат Я. Для разрывных систем, представленных в форме дифференциальных включений, были получены достаточные условия существования скользящего режима.

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

Пусть I = [¿0,^0 + Т] — отрезок числовой прямой, Кп — п-мерное векторное пространство с нормой || • ||.

В качестве исходного объекта исследования в данной работе выступает управляемая система вида

где F : I х Rn Rn и U : I х Rn Rn — многозначные отображения.

Под решением системы (1.1) понимается пара функций (x(t),u(t)), которая почти всюду на I удовлетворяет включениям (1.1). При этом x(t) предполагается абсолютно непрерывной функций и называется траекторией, u(t) — измеримая функция, называемая управлением. В силу леммы Филиппова о неявной функции [1, с. 75] при выполнении

* Работа выполнена при финансовой поддержке Министерства образования и науки РФ (ФЦП «Научные и научно-педагогические кадры инноваций России», проект №2012-1.2.1-12-000-1001-011).

1. Введение

X £ F(t, x) + u, u £ U(t,x),

(1.1)

определенных условий система (1.1) равносильна включению

x G F(t,x) + U(t,x). (1.2)

Под решением системы (1.2) понимается абсолютно непрерывная функция x(t), почти всюду удовлетворяющая включению (1.2). Таким образом, соответствие между решениями систем (1.1) и (1.2) означает, что если x(t) является решением включения (1.2), то найдется такая измеримая функция u(t) G U(t,x(t)), что пара (x(t),u(t)) будет решением системы (1.1), и любое решение (x(t),u(t)) системы (1.1) дает нам функцию x(t), являющуюся решением включения (1.2). В дальнейшем будет изучаться система (1.1) в форме включения (1.2). Отметим, что отображение F(t,x) может быть однозначным или получено в результате доопределения разрывной функции по Филиппову (см. [2, с. 40]).

Нас будут интересовать движения системы (1.2) по множеству S, задаваемому непрерывно дифференцируемой векторной функцией a(t, x) размерности m, m < n:

S = {(t,x) G I x Rn : a(t,x) = 0}. (1.3)

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

Второй и третий разделы статьи содержат достаточные условия существования скользящих режимов, основные требования, накладываемые на многозначные отображения и вспомогательные результаты, ослабляющие требования, накладываемые на управляющее воздействие. Отметим, что условия, позволяющие применять лемму Филиппова о неявной функции, содержатся в условиях существования скользящих режимов. Четвертый раздел посвящен оценке множества скользящих режимов включения (1.2).

2. Существование скользящих режимов

В данном разделе рассматривается вопрос о существовании решения дифференциального включения

x G F(t, x), (2.1)

интегральная кривая которого лежит на заданном множестве S. Такое решение по терминологии, принятой в теории разрывных систем (см., например, [2]), будем называть скользящим режимом. Отметим, что выбор в качестве объекта исследования включения (2.1) позволяет накладывать условия, гарантирующие существование скользящего режима, на правую часть управляемой системы независимо от способа вхождения в нее управляющего воздействия.

Пусть x(t) — некоторое решение включения (2.1). Если оно является скользящим режимом , то для почти всех t G I выполняется равенство

at(t, x(t)) + ах(t, x(t))x(t) = 0, (2.2)

где at — вектор частных производных функций ai(t,x), i = l,m, по t; ах — матрица Якоби функции a(t, x) по x. При этом если равенство

(2.2) нарушается, то решение покидает множество S.

В определениях полунепрерывности сверху и измеримости многозначных отображений мы следуем [1].

Теорема 1. Пусть F : I x Rn ^ Rn — многозначное отображение, удовлетворяющее условиям

A0) значения F(t,x) являются непустыми выпуклыми компактными множествами;

A1) для любого фиксированного t G I отображение x ^ F(t,x) полунепрерывно сверху;

A2) для любого фиксированного x G Rn отображение t ^ F(t,x) измеримо;

A3) существует такая функция a(t) G L+(I), что для любых (t, x) G I x Rn выполняется неравенство

||F(t,x)\\ < a(t)(l + ||x||);

ASL) существует открытое множество W D S, такое, что для всех (t, x) G W выполняется включение

0 G at(t,x) + ax(t,x)F(t,x). (2.3)

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

Доказательство. Рассмотрим функцию

v(t,x)= inf \\at(t,x)+ ax(t,x)y\\m. (2.4)

yEF (t,x)

В силу компактности значений F(t, x) точная нижняя грань для каждого (t, x) G I x Rn в (2.4) достигается на некотором замкнутом подмножестве Fi(t,x) C F(t,x). С учетом условия ASL и неотрицательности нормы || • \\m в пространстве Rm в правой части (2.4) для любых (t, x) G W и для любого y G Fl(t, x) выполняется

at(t,x) + Ox(t,x)y = 0. (2.5)

Замкнув график отображения Fi(t, x), получим график полунепрерывного сверху (см. [1]) отображения F2(t,x). Так как левая часть равенства (2.5) представляет собой непрерывную по совокупности переменных (t, x, y) функцию, множество W открыто, то это равенство выполняется и для любых (t,x) G W и y G F2(t, x).

Введем отображение ¥3(Ь,х) = ео¥2(Ь,х), где со — знак выпуклой оболочки множества, и установим некоторые его свойства.

1) Так как отображение F2(t, х) полунепрерывно сверху и имеет непустые замкнутые и ограниченные значения, то в силу леммы 16 из [2, с. 53] отображение Fз(t,x) полунепрерывно сверху по совокупности переменных.

2) Так как выпуклая оболочка компактного множества компактна (см., например, [2]), то значения Fз(t, х) являются выпуклыми компактными множествами.

3) Для любых (Ь,х) € Ш и для любых у € F3(t,x) выполняется (2.5).

Действительно, зафиксируем (Ь,х) € Ш и у € Fs(t,x). В силу определения отображения F3(t,x) и теоремы Каратеодори (см. [2, с. 50]) найдутся натуральное число к < п + 1, уг € F2(t,x) и аг € [0,1], где

___ к к

г = 1,к и ^ аг = 1, такие, что у = ^ агуг. Следовательно,

г=1 г=1

кк а^, х) + ах&, х)у = аг^, х)^2 аг + °х&, х)^2 а%У% =

г=1 г=1

к

= Х1 {аг(аг(Ь,х)+ ах(Ь,х)уг)) =0.

г=1

Через Fo(Ь,х) обозначим отображение Fo(t,x) = F(^ х)П Fs(t,x). Тогда:

1) Значения Fo(Ь,х) являются непустыми выпуклыми компактамны-ми множествами.

Действительно, так как для любых (Ь, х) € I х Кп выполняется F1(t,x) С F(Ь,х), F1(t,x) С F3>(t,x) и F1(t,x) = 0, то значения F0(Ь,х) являются непустыми множествами. Выпуклость и компактность значений Fo(t,x) следует из выпуклости и компактности значений F(Ь,х) и Fз(t,x).

2) Для любого Ь € I отображение х ^ F0(t,x) полунепрерывно сверху в силу полунепрерывности сверху отображения Fз(t,x), свойства А1 и теоремы 1.3.2 из [1, с. 42].

3) Для любого х € Кп отображение Ь F0(t, х) измеримо.

Действительно, так как при любом фиксированном х € Кп отображение Fз(t,x) полунепрерывно сверху (следует из полунепрерывности сверху по совокупности переменных), то оно измеримо на I. Так как F(Ь,х) удовлетворяет условию А2, то в силу следствия 1.5.8 из [1, с. 68] отображение F0(t,x) измеримо по Ь.

4) Так как для всех (Ь,х) € I х Кп выполняется F0(t,x) С F(Ь,х), и F(Ь,х) удовлетворяет условию А3, то для любого (Ь,х) € I х Яп

выполняется неравенство

Ро(і,х)\\ < а(і)(1 + ||ж||),

где а(Ь) € ) — функция из условия А3.

5) В силу свойства 3 отображения F3(t,x) и определения отображения F0(t, х) для любого (Ь, х) € Ш и для любого у € F0(t, х) выполняется равенство (2.5).

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

В силу свойств 1-4 многозначного отображения Fo(t, х) она имеет некоторое решение х(Ь), определенное на всем отрезке I (см. теорему 3.2.6 из [1, с. 123]). При этом х(Ь) является решением исходного включения

(2.1), и в силу свойства 5 отображения Fo(t,x) выполняется условие

(2.2). Следовательно, х(Ь) — скользящий режим системы (2.1).

Теорма доказана. □

Замечание 1. Открытость множества Ш в условиях теоремы 1 требуется для того, чтобы после замыкания графика отображения Fl (Ь,х) на множестве 5 сохранялось равенство (2.5). В противном случае возможны нарушения этого условия на границе 5.

Условия А0-А3 гарантируют существование решения для включения

(2.1). Условие АБЬ дает возможность перехода от исходной системы к включению, любое решение которого является скользящим режимом.

Замечание 2. Условие АБЬ теоремы 1 может быть ослаблено следующим образом:

АБЬ7) существует открытое множество Ш, такое, что Ш П 5 = 0, и для всех (Ь,х) € Ш выполняется включение

Тогда для любых начальных условий (і,х) Є Ш П Б будет существует скользящий режим системы (2.1), определенный на некотором интервале [Ьо,г). При этом для фиксированных начальных условий с учетом компактности множества решений дифференциального включения (см. теорему 3.2.9 из [1, с. 125]) можно потребовать выполнения включения (2.6) на таком множестве Ш, что любой скользящий режим системы (2.1), определенный на некотором интервале [іо,т), может быть продолжен до скользящего режима, определенного на всем отрезке I.

Укажем один из классов управляемых систем, для которых выполняется условие ЛБЬ. Рассмотрим систему

X Є Г0(і,х), х(і0) = х0.

0 Є аі(і, х) + ах(і, х)Г(і, х).

(2.6)

х = f (і, х) + В(і, х)и,

(2.7)

где и = (и1,... ,ит), В(Ь,х) — п х т матрица, такая, что выполняется ах(Ь,х)В(Ь,х) = —Ет, 1 < т < п, Ет — единичная т х т матрица. Предположим, что функция f (Ь, х) кусочно непрерывна с множеством точек разрыва 5 (см. [2, с. 39]), управление и удовлетворяет ограничениям вида и € и С Ят, где и — множество с непустой внутренностью. Функцию f (Ь,х) доопределим в точках разрыва по Филиппову и обозначим F(Ь,х) = F(Ь,х) + В(Ь,х)и, где F(Ь,х) — выпуклая замкнутая оболочка предельных значений функции f (Ь, х) в каждой точке. Тогда (2.7) запишется в виде (2.1), и легко проверить, что условие АБЬ вытекает из условия

аг(Ь, х) + ах(Ь, х)/(Ь, х) € гпЬи (2.8)

в каждой точке (Ь, х) € 5.

3. Многозначные отображения с односторонними условиями Липшица

Определение 1. Будем говорить, что многозначное отображение F(Ь,х) удовлетворяет одностороннему условию Липшица по х с некоторой константой Ь, если для любых (Ь,х), (Ь,у) € I х Яп, для любых и € F(Ь,х) и V € F(Ь,у) выполняется неравенство

{х — у, и — V) < Ь\\х — у\\2.

Здесь {■, ■) — знак скалярного произведения векторов.

Определение 2. Многозначное отображение F(Ь,х) удовлетворяет слабому одностороннему условию Липшица по х с некоторой константой Ь, если для любых (Ь,х), (Ь,у) € I х Кп, для любого и € F(Ь,х) существует такое V € F(Ь,у), что выполняется неравенство

{х — у, и — V) < Ь\\х — у\\2.

Отметим, что одностороннее условие Липшица влечет слабое одностороннее условие Липшица и является довольно жестким. Например, тождественно постоянное многозначное отображение F(Ь,х) = А, где А — множество, содержащее не менее двух элементов, не удовлетворяет определению 1, но удовлетворяет определению 2. В общем случае многозначное отображение, удовлетворяющее условию Липшица в метрике Хаусдорфа (определение метрики Хаусдорфа см., например, в [1, с. 38]), удовлетворяет определению 2.

Лемма 1. Пусть многозначное отображение F : I х Яп ^ Яп удовлетворяет слабому одностороннему условию Липшица и условиям АО-А2. Тогда для любой непрерывной функции w(t) и измеримой функции

и(Ь) € F(Ь^(Ь)) найдется отображение С(Ь,х) С F(Ь,х), определенное на I х Яп, удовлетворяющее условиям А0-А2, такое, что для любых (Ь,х) € I х Яп и для любого д € С(Ь,х)выполняется

^(Ь) — х, и(Ь) — д) < Ь\^(Ь) — х||2. (3.1)

Замечание 3. Существование измеримой функции и(Ь) для любой непрерывной w(t) следует из свойства суперпозиционной селектируе-мости отображения F(Ь,х) (см. [1, с. 78-79]).

Доказательство. Приведем доказательство леммы 1.

Введем многозначное отображение

V(Ь,х) = {V € Яп : ^>(Ь,х,и) < Ь^(Ь) — х\\2}, (3.2)

где р(Ь,х^) = ^(Ь) — х,и(Ь) — V). Тогда:

1. Значения отображения V(Ь,х) являются выпуклыми замкнутыми множествами в Яп.

Действительно, замкнутость значений V(Ь,х) следует из непрерывности функции ^>(Ь,х,и) по V. Покажем выпуклость значений V(Ь,х). Зафиксируем (Ь,х) € I х Яп, v1 € V(Ь,х) и v2 € V(Ь,х). Выберем

произвольное V = аv1 + (1 — а)v2, где а € [0,1]. Тогда имеет место

оценка

^(Ь, х, V) = ^(Ь) — х, и(Ь) — V) =

^(Ь) — х, (а + (1 — а))и(Ь) — аv1 — (1 — а)v2) =

а^(Ь) — х, и(Ь) — v1) + (1 — а)^(Ь) — х, и(Ь) — v2) <

аЬ^(Ь) — х\ + (1 — а)Ь\^(Ь) — х\\2 = Ь\^(Ь) — х\\2.

Таким образом V € V(Ь,х). Следовательно, для любых (Ь,х) € I х Яп множество V(Ь,х) является выпуклым.

2. Для любого фиксированного Ь € I отображение х ^ V(Ь,х) полунепрерывно сверху.

Действительно, зафиксируем Ь € I. Функция ^(Ь, х, V) непрерывна по совокупности переменных (х,и). Это означает, что для любых последовательностей хк ^ х и Vk V из условий ф(Ь,хк^к) < Ь^(Ь) — хк\\2

с учетом непрерывности правой части (Ь\^(Ь) — х||) по х будет выполняться р(Ь,х^) < Ь\^(Ь) — х||2. Следовательно, отображение V(Ь,х) полунепрерывно сверху по х.

3. Для любого фиксированного х € Яп отображение Ь ^ V(Ь,х) измеримо.

Действительно, зафиксируем х € Яп. Так как функция и(Ь) измерима на I, то в силу свойства Лузина для любого | > 0 найдется замкнутое подмножество Д С I, такое, что \Ь) < |, и и(Ь) непрерывно на Д. Таким образом функция ^(Ь,х,и) непрерывна по совокупности

переменных (Ь, V) на множестве Д. По аналогии с предыдущим пунктом с учетом непрерывности w(t) можно показать, что отображение V(Ь,х) будет полунепрерывно сверху на Д. Следовательно, V(Ь,х) измеримо на Д. В силу свойства Лузина (см., например, [1, с. 65]) для | найдется такое замкнутое подмножество Д С Д, что ц(^\^) < §, и сужение V(Ь, х) на Д непрерывно. Так как \^) < е, то свойство Лузина выполняется для V(Ь, х) и на всем отрезке I, что и означает измеримость отображения V(Ь, х) по Ь.

Пусть С(Ь,х) = F(Ь,х)П V(Ь,х). Так как F(Ь,х) удовлетворяет слабому одностороннему условию Липшица, то для любой точки (Ь, х) €

I х Яп выполняется F(Ь,х)П V(Ь,х) = 0, то есть С(Ь,х) непусто на множестве I х Яп. При этом из включения С(Ь,х) С V(Ь,х) следует выполнение условия (3.1). Покажем, что С(Ь,х) удовлетворяет условиям А0-А2.

А0. Значения С(Ь, х) являются выпуклыми компактными множествами в силу условия А0 для F(Ь,х) и условия 1 для V(Ь,х).

А1. Для любого фиксированного Ь € I отображение х ^ С(Ь,х) полунепрерывно сверху в силу условия А1 для F(Ь,х), условия 2 для V(Ь,х) и теоремы 1.3.2 из [1, с. 42].

А2. Для любого фиксированного х € Яп отображение Ь ^ С(Ь,х) измеримо в силу условия А2 для F(Ь,х), условия 3 для V(Ь,х) и следствия 1.5.8 из [1, с. 68].

Лемма доказана. □

4. Оценка множества достижимости скользящих режимов

Наряду с системой (1.2) рассмотрим также и вспомогательную систему

х € F\(t,x) + и(Ь,х) (4.1)

где F\(t,x) — некоторая непрерывная по х и измеримая по Ь однозначная функция с некоторым параметром Л. При этом предполагается выполнение следующего условия:

АР) существует такое число Л' и такие константы I и Ь, что для любых Л € (0, Л'], (Ь,у) € 5, х € Яп, V € F(Ь,у) имеет место неравенство

{х — у^х(Ь,х) — V) < 1\\х — у\\2 + ЛЬ. (4.2)

Замечание 4. Приведем пример подобной однозначной функции. Пусть F(Ь,х) удовлетворяет условиям А0-А2 и одностороннему условию Липшица по х на I х Яп. Замкнув график отображения F(Ь,х), получаем график полунепрерывного сверху по совокупности переменных отображения F(Ь,х). Отметим, что F(Ь,х) также удовлетворяет

одностороннему условию Липшица по х в силу непрерывности левой и правой частей неравенства из определения 1 по совокупности переменных (х, у, и, V). Для отображения F(Ь, х) в соответствии с [4] может быть построена аппроксимация Иосиды F\(t,x), являющаяся однозначной непрерывной функцией. При этом в силу леммы 1 из [4] и с учетом включения F(Ь,х) С F(Ь,х) неравенство (4.2) выполняется для любых Л € (0,Л'], Ь € I, х,у € Яп, V € F(Ь,у).

Через Н'в1(хо,Ь) обозначим множество достижимости скользящих режимов системы (1.2) с начальным условием (Ьо,хо) в момент времени Ь. Множество достижимости всех решений системы (4.1) с начальным условием (Ьо,хо) в момент времени Ь обозначим Н\(х0,Ь).

Теорема 2. Пусть отображения F(Ь,х) и и(Ь,х) с удовлетворяют условиям А0-А3; отображение и(Ь,х) удовлетворяет слабому одностороннему условию Липшица по х на I х Яп с константой Ьи; для F(Ь,х) существует однозначная функция F\(t,x), удовлетворяющая условию АР;

БЬ) существует открытое множество Ш Э 5, такое, что для любых (Ь,х) € Ш и для любых и € и(Ь,х) найдется такое f € F(Ь,х), что выполняется равенство

аг(Ь, х) + ах(Ь, х)^ + и) = 0.

Тогда для любых (Ь0,х0), Л € (0, Л'], Ь € I имеет место оценка

Ь(Нз1(хо,Ь),Н\(хо,Ь)) < К\ТЛ, (4.3)

где К — некоторая константа, Н — расстояние в метрике Хаусдорфа в пространстве всех непустых замкнутых подмножеств из Яп.

Доказательство. 1) Пусть х(Ь) — скользящий режим системы (1.2). Его существование следует из теоремы 1. Тогда найдутся такие измеримые селекторы f (Ь) € F(Ь,х(Ь)) и и(Ь) € и(Ь,х(Ь)), что для всех Ь € I

х(Ь) = f (Ь)+ и(Ь).

Пусть ии(Ь,х) — отображение из леммы 1, сформированное для непрерывной функции х(Ь) и измеримой функции и(Ь). Тогда в силу теоремы 3.2.6 из [1, с. 123] для включения

х € Fx(Ь,х) + ии(Ь,х), х(Ьо) = хо.

существует решение хх(Ь), определенное на I. Для этого решения существует измеримое управление и\(Ь) такое, что

хХ(Ь) = Fx(Ь, х(Ь)) + их(Ь).

Введем функцию w(t) = 2 ||хл(Ь) — х(Ь)\\2 и с учетом леммы 1 и неравенства (4.2) оценим ее производную:

й)(Ь) = {хл(Ь) — х(Ь),х л(Ь) — х(Ь)) = {хл(Ь) — х(Ь), Fл(t, хл(Ь)) — f (Ь)) + {хл(Ь) — х(Ь),ил(Ь) — и(Ь)) <

1\\хл(Ь) — х(Щ2 + ЛЬ + Ьи\\хл(Ь) — х(Ь)\\2 =

= 2(1 + Ьu)w(t) + ЛЬ.

В силу леммы Гронуолла-Беллмана (см. [3, с. 11]) получаем оценку

w(t) < КМ0) + К2Л = К2Л,

где К1, К2 — константы, определенные в формулировке указанной леммы. Это означает выполнение неравенства

\\х(Ь) — хл(Ь)|| < К^Х

для всех Ь € I, где К = \/2К2.

2) Пусть теперь хл(Ь) — решение включения (4.1). Это означает существование такой измеримой функции ил(Ь) € и(Ь,х), что

х л(Ь) = Fл(t,xл(t)) + ил(Ь).

На основании леммы 1 для непрерывной функции хл(Ь) и измеримой функции ил(Ь) сформируем отображение ии(Ь,х). Так как отображения F(Ь, х) и ии(Ь, х) (для ии(Ь, х) см.лемму 1 и включение ии(Ь, х) С и(Ь, х)) удовлетворяют свойствам А0-А3 и БЬ, то в силу теоремы 1 существует скользящий режим х(Ь) включения

х € F(Ь,х) + ии(Ь,х), х(Ь0) = х0,

определенный на I. Следовательно, найдутся измеримые селекторы f (Ь) € F(Ь,х(Ь)) и и(Ь) € и(Ь,х(Ь)), такие, что для всех Ь € I

х(Ь) = f (Ь) + и(Ь)

Оценка производной v(t) для функций х(Ь) и хл(Ь) ничем не отличается от аналогичной оценки из первого пункта данного доказательства, что позволяет сделать вывод о справедливости неравенства

\\х(Ь) — хл(Ь)|| < Кл/Л

для всех Ь € I. Здесь К — та же константа, что и в первом пункте доказательства.

Из первого и второго пунктов данного доказательства следует истинность оценки (4.3).

Теорема доказана. □

Замечание 5. Если управляющее воздействие и(Ь,х) удовлетворяет одностороннему условию Липшица по х на I х Яп, то условие БЬ может быть ослаблено следующим образом:

БЬ') существует открытое множество Ш Э 5, такое, что для любых (Ь,х) € Ш и найдутся такие и € и(Ь,х) и f € F(Ь,х), что выполняется равенство

аг(Ь, х) + ах(Ь, х)^ + и) = 0.

Это связано с тем, что в данном случае при доказательстве теоремы 2 для проведения оценки использование леммы 1 не требуется.

5. Заключение

В данной работе была получена оценка множества достижимости скользящих режимов включения (1.2), позволяющая аппроксимировать эти режимы решениями вспомогательной управляемой системы с однозначной правой частью. Вспомогательная система получается из исходной заменой многозначного отображения F(Ь,х) на его однозначную аппроксимацию Fл(t,x), удовлетворяющую (4.2). Следует отметить, что ни условия теоремы 2, ни ее доказательство не дают способ построения Fл(t,x). Иными словами для практического применения полученного результата могут потребоваться некоторые уточнения и вспомогательные утверждения, необходимые для существования аппроксимации, удовлетворяющей условию АР. Так, например, для того, чтобы воспользоваться аппроксимацией Иосиды, необходимо наложить на отображение F(Ь,х) одностороннее условие Липшица по х и зафиксировать начальные условия. Некоторые конструктивные и простые аппроксимации для разрывных нелинейностей сигнатурного типа, удовлетворяющие условию (4.2), можно найти в статье [5].

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

5, либо на I х Яп.

Замечание 2 позволяет ослабить условия на множество Ш и может быть сформулировано и для теоремы 2. Однако, для сохранения оценки (4.3) необходимо потребовать, чтобы любой скользящий режим, определенный на интервале [Ьо,т) С I мог быть продолжен на отрезок I.

Условия теоремы 2 можно ослабить, потребовав их выполнения только для вспомогательных отображений и(Ь,х) и и(Ь,х), таких, что для любых (Ь,х) € 5 имеют место равенства и(Ь,х) = F(Ь,х) и и(Ь,х) = и(Ь,х). При этом множества скользящих режимов исходной системы

(1.2) и системы

х € и(Ь, х) + и(Ь, х)

будут совпадать. Аналогичным образом можно ослабить и условия теоремы 1, однако, в данном случае достаточно потребовать выполнения включения и(Ь,х) С F(Ь,х) на множестве 5.

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

1. Введение в теорию многозначных отображений и дифференциальных включений / В. В. Обуховский, Ю. Г. Борисович, Б. Д. Гельман, А. Д. Мышкис. -М. : КомКнига, 2005. - 265 с.

2. Филиппов А. Ф. Дифференциальные уравнения с разрывной правой частью / А. Ф. Филиппов. - М. : Наука, 1985. - 224 с.

3. Трубников Ю. В. Дифференциальные уравнения с монотонными нелинейностями / Ю. В. Трубников, А. И. Перов. - Минск : Наука и техника, 1986. -150 с.

4. Финогенко И. А. О непрерывных аппроксимациях и правосторонних решениях дифференциальных уравнений с кусочно-непрерывными правыми частями // Дифференц. уравнения. - 2005. - Т. 41, № 5. - С.647-655.

5. Сурков А. В. Об аппроксимациях регулируемых систем с разрывными монотонными характеристиками / А. В. Сурков, И. А. Финогенко // Оптимизация, управление, интеллект. - 2004. - Т. 7. - С. 111-123.

D. V. Ponomariov

On sliding modes of differential inclusions

Abstract. In this paper we consider motion of the systems with multivalued right-hand side on the set S on the compact time interval I. Estimation for attainability set of sliding modes was made. We received sufficient conditions for existence of sliding mode of discontinuous systems presented as differential inclusions.

Keywords: differential inclusion; sliding mode; one side Lipschitz conditions; Iosida approximation; attainability set.

Пономарев Денис Викторович, аспирант, Институт математики, экономики и информатики, Иркутский государственный университет, 664003, Иркутск, ул. К. Маркса, 1 тел.: (3952)242210 (zmeigo.sc@gmail.com)

Ponomariov Denis, post-graduate student, Irkutsk State University, 1, K. Marks St., Irkutsk, 664003 Phone: (3952)242210 (zmeigo.sc@gmail.com)