Все выпуски

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

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

Исследуются условия, при которых управляемая система ẋ = f(t, x, u), u ∈ U(t, x), вместе с замыканием множества сдвигов (относительно времени t) управляемой системы обладает свойством равномерной локальной или равномерной глобальной достижимости на заданном отрезке времени. Не предполагается, что функция (t, x) → U(t, x), задающая геометрические ограничения на допустимые управления u(t, x) ∈ U(t, x), имеет выпуклые компактные образы и не предполагается, что соответствующее управляемой системе дифференциальное включение имеет выпуклые образы.

Продолжено исследование условий положительной инвариантности и асимптотической устойчивости заданного множества относительно управляемой системы с импульсным воздействием. Рассматривается множество $\mathfrak M \doteq \bigl\{ (t,x) \in [t_0,+\infty) \times \mathbb{R}^n: x\in M(t)\bigr\}$, где функция $t\rightarrow M(t)$ непрерывна в метрике Хаусдорфа и для каждого $t \in [t_0,+\infty)$ множество $M(t)$ непусто и компактно. В терминах функций Ляпунова и производной Кларка получены условия слабой положительной инвариантности данного множества, слабой равномерной устойчивости по Ляпунову и слабой асимптотической устойчивости. Также доказана теорема сравнения для решений систем и уравнений с импульсами, следствием которой являются условия существования решений системы, асимптотически стремящихся к нулю. Полученные результаты проиллюстрированы на примере модели конкуренции двух видов, подверженных импульсному управлению в фиксированные моменты времени.

Под термином «размыкание предиката» понимается сведение задачи поиска и изучения свойств множества истинности заданного предиката к задаче поиска и изучения свойств неподвижных точек некоторого отображения. Размыкание предиката дает дополнительные возможность анализа его множества истинности, а также позволяет строить элементы этого множества с теми или иными свойствами. Известны примеры размыкания нетривиальных предикатов, таких как предикат «быть стабильным (слабо инвариантным) множеством», предикат «быть неупреждающим селектором», предикат «быть седловой точкой», предикат «быть равновесием Нэша». В упомянутых случаях вопрос об априорной оценке возможности размыкания того или иного интересующего нас предиката и о построении соответствующего размыкающего отображения оставался за рамками рассмотрения: размыкающие отображения предоставлялись как готовые объекты. В предлагаемой заметке мы постараемся отчасти закрыть этот пробел: приводятся формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. Описываемый подход примен\'им во всех упомянутых выше положительных примерах. В качестве иллюстрации проведено следующее этому способу построение размыкающего отображения для предиката «быть нэшевским равновесием».

Получены условия, позволяющие оценивать относительную частоту пребывания множества достижимости управляемой системы в некотором заранее заданном множестве. Если относительная частота пребывания в этом множестве равна единице, то данное множество называется статистически инвариантным. Получены также условия, при которых заданное множество статистически слабо инвариантно относительно управляемой системы, то есть для каждой начальной точки из этого множества по крайней мере одно решение управляемой системы, статистически инвариантно. Предполагается, что образы правой части дифференциального включения, отвечающего данной управляемой системе, замкнуты, но не обязательно компактны. Основные утверждения формулируются в терминах функций Ляпунова, метрики Хаусдорфа–Бебутова и динамической системы сдвигов, сопутствующей правой части дифференциального включения.