Научная статья на тему 'Неявные формы записи и непрерывные аппроксимации разрывных систем'

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

CC BY
85
19
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С РАЗРЫВНОЙ ПРАВОЙ ЧАСТЬЮ / ПРАВОСТОРОННЕЕ УСЛОВИЕ ЛИПШИЦА / СКОЛЬЗЯЩИЙ РЕЖИМ / АППРОКСИМАЦИЯ ИОСИДЫ / ЗАПАЗДЫВАНИЕ / DIFFERENTIAL EQUATIONS WITH DISCONTINUOUS RIGHT-HAND PART / RIGHT-HAND CONDITION OF LIPSCHITZ / SLIDING MODE / APPROXIMATION OF YOSIDA / DELAY

Аннотация научной статьи по математике, автор научной работы — Финогенко Иван Анатольевич

Исследуется метод представления дифференциальных уравнений с разрывной правой частью в неявной форме. Метод согласуется с известными подходами, такими как простейшее выпуклое доопределение в смысле Филиппова, метод эквивалентного управления. В рамках условий типа монотонности неявный метод позволяет получать однозначно определенные уравнения движения разрывных систем, в частности уравнения скользящих режимов. Рассматриваются непрерывные аппроксимации Иосиды разрывных систем и оценки для точных и аппроксимирующих решений. Эти же вопросы изучаются для дифференциально-разностных разрывных систем.

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

Implicit forms of recording and continuous approximations of discontinuos systems

The method of representation of the differential equations with a discontinuous right-hand part in the implicit form is investigated. The method will be coordinated to known approaches, such as the convex definition in sense of Filippov, a method of equivalent control. Within the framework of conditions of monotony the implicit method allows to receive one-digit equations of movement of discontinuous systems, in particular the equations of sliding modes. Continuous approximations of Yosida for explosive systems and estimations for exact and approximating solutions are considered. The same questions for delay differential equations are stuied.

Текст научной работы на тему «Неявные формы записи и непрерывные аппроксимации разрывных систем»

Филиппова Ольга Викторовна аспирант

Тамбовский государственный университет им. Г.Р. Державина Россия, Тамбов

e-mail: philippova.olga@rambler.ru

УДК 517.911.5

НЕЯВНЫЕ ФОРМЫ ЗАПИСИ И НЕПРЕРЫВНЫЕ АППРОКСИМАЦИИ

РАЗРЫВНЫХ СИСТЕМ 1

© И. А. Финогенко

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

Аннотация: Исследуется метод представления дифференциальных уравнений с разрывной правой частью в неявной форме. Метод согласуется с известными подходами, такими как простейшее выпуклое доопределение в смысле Филиппова, метод эквивалентного управления. В рамках условий типа монотонности неявный метод позволяет получать однозначно определенные уравнения движения разрывных систем, в частности — уравнения скользящих режимов. Рассматриваются непрерывные аппроксимации Иосиды разрывных систем и оценки для точных и аппроксимирующих решений. Эти же вопросы изучаются для дифференциально-разностных разрывных систем.

Исследуются системы дифференциальных уравнений

х = / (г,х), (1)

где х = (х\,...,хп), / = (/\,..., /п) и, как обыч но, х = (х 1,...,хп) — вектор производных

хг = йхг/йЬ. Предполагается, что функция / кусочно непрерывна по совокупности переменных (I, х) в некоторой области О из пространства Яп+1 и ее множества точек разрыва определяются в виде гладких гиперповерхностей Мг = {^,х) € О : фг(х) = 0}, (г = 1,... ,т). В каждой точке х градиенты ^ф](х) функций ф](х) с индексами из множества I(х) = {г € (1,...,т) : фг(х) = = 0}

Филиппова [1]) дифференциального включения

х € ^(I, х), (2)

где Е (I, х) — выпуклая оболочка всех предельных значений функции / х) в каждой точке (I, х).

Через Щ(х0) = {х : \\х — х0|| < £} обознается ^-окрестность точки х0. Уравнение (1) исследуется в рамках следующего условия:

1 Работа выполнена при финансовой поддержке СО РАН (интеграционные проекты № 85 и № 107)

Olga Filippova post-graduate student

Tambov State University named after G.R.

Derzhavin

Russia, Tambov

e-mail: philippova.olga@rambler.ru

Условие А. Для каждой точки (Ьо,хо) € О существуют числа 6 = 6(Ьо,хо) > 0 и I = = 1(Ьо,хо) > 0 такие, что для любых точек (Ь, х), (Ь, у) из областей непрерывности функции /(Ь, х) (возможно разных областей для различных точек (Ь,х), (Ь, у)), удовлетворяющих х,у € и$(хо), и любого Ь € [Ьо,Ьо + 6), выполняется неравенство

(А(Ь, х)(х — у), /(Ь, х) — /(Ь, у)) < 1\\х — у\\2, (3)

где А(Ь, х) = [а](Ь, х)\П]=1 — некоторая симметричная положительно определенная и непрерывно дифференцируемая матрица, (■, ■) — знак скалярного произведения и || ■ \| — евклидова норма.

Если А(Ь, х) = Е — единичная матрица, то условие А переходит в хорошо известное правостороннее условия Липшица (см. [1, стр. 82]). Если к тому же I = 0, то неравенство (3) называется условием монотонности. Использование в неравенстве (3) матрицы А(Ь, х) может быть полезно при изучении уравнений вида

А(Ь, х)х = /0(Ь, х) + д(Ь, х)

с симметричной, положительно определенной матрицей А(Ь, х) при производных, что характерно, например, для уравнений Лагранжа второго рода при описании движения механических систем с разрывными диссипативными характеристиками (релейными управлениями или кулоновыми силами трения).

Для каждой точки (Ь, х) разрыва функции /(Ь, х) и произвольного вектора г € Кп такого, что (Чфг(х),г) = 0 через / (Ь,х; г) обозначим предел функции /(Ь,х + Нг) при Н ^ +0. Определим множество Е(Ь,х; г), как выпуклую оболочку предельных значений отображения г ^ /(Ь,х; г) при г' ^ г. Легко видеть, что Е(Ь,х; г) С Е(Ь,х) и Е(Ь,х;0) = Е(Ь,х).

Утверждение!.. Пуст ь выполняется условие А. Тогда,:

1. При любых (Ь,х) € О существует единственное решение г(Ь,х) включения

г € Г(Ь, х; г)

и положительно определенная квадратичная форма у(г) = гА(Ь,х)гТ при г = г(Ь,х) достигает своего минимального значения на выпуклом, компактном множестве Е(Ь,х) из правой части (2). В частности, если А(Ь,х) — единичная матрица, то г(Ь,х) — ближайшая к началу координат точка множества Е(Ь,х).

2. Дифференциальное включение (2) и дифференциальное уравнение

х = г(Ь,х), г(Ь,х) € Н(Ь,х) (4)

равносильны в том смысле, что множества их решений Каратеодори совпадают,.

3. Для, любой тючки (Ь0, х0) найдется промежуток [Ьо,Ьо + 6), на котором любые два решения уравнения (4) с начальными данными (Ь0,х0) совпадают,.

Для каждых фиксированных (Ь,х) и Л > 0 через г = .1\(1,х) обозначим решение включения г € х + ЛЕ(Ь, г) и пусть Е\(Ь,х) = (.1\(1,х) — х)/Л. Отметим, что формально .1\(1,х) и —Е\(Ь,х) представляют собой резольвенту и, соответственно, аппроксимацию Иосиды для отображения х ^ —Е (Ь, х) при каждом фиксированном Ь.

Для произвольного множества О' С О и чпсла 6 > 0 через О 6 будем обозначать 6-окрестность О'

Утверждение 2. Пуст ь выполняется условие А. Тогда,:

1. Для любого компактного множества О' С О и числа 6 > 0 такого, что О 6 С О существует число Л' > 0 такое, что для любых Л € [0, Л'] определено непрерывное отображение (Л,Ь,х) ^ Е\(Ь,х) липшицевое по х с константой Ь = 1/Л и для, любой фиксированной точки (Ь,х) € О' щи Л ^ +0 выполняется: Е\(Ь,х) ^ г(Ь,х).

2. Для любых начальных данных (t0,x0) Е Q на некотором промежутке [to,ti] определены решение x(t) включения (2) и решение x\(t) уравнения

X = F\(t, x)

для каждого X Е (0, У] и существует конетанта K > 0 такая, что ||xA(t) — x(t)||2 ^ XK для любых X Е (0, X] и t Е [to,ti].

Аналогичные вопросы рассматриваются для дифференциальных уравнений с запаздыванием

x(t) = f (t, x(t),x(t — т)).

ЛИТЕРАТУРА

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

2. Обен Ж.-П., Экланд И. Прикладной нелинейный анали. М.: Мир, 1988.

Abstract: The method of representation of the differential equations with a discontinuous right-hand part in the implicit form is investigated. The method will be coordinated to known approaches, such as the convex definition in sense of Filippov, a method of equivalent control. Within the framework of conditions of monotony the implicit method allows to receive one-digit equations of movement of discontinuous systems, in particular - the equations of sliding modes. Continuous approximations of Yosida for explosive systems and estimations for exact and approximating solutions are considered. The same questions for delay differential equations are stuied.

Keywords: differential equations with discontinuous right-hand part; right-hand condition of Lipschitz; sliding mode; approximation of Yosida; delay.

Финогенко Иван Анатольевич д. ф.-м. н., профессор Институт динамики систем и теории управления Сибирского отделения РАН Россия, Иркутск e-mail: fin@icc.ru

Ivan Finogenko

doctor of phys.-math. sciences, professor Institute of System Dynamics and Control Theory of SD RAS Russia, Irkutsk e-mail: fin@icc.ru

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