Все выпуски

Получены необходимые и достаточные условия выживаемости дифференциальной системы с последействием и дифференциального включения с последействием. Получены достаточные условия положительной инвариантности множества для системы (включения) с последействием.

Любое бинарное отношение σ⊆X (где X - произвольное множество) порождает на множестве X² характеристическую функцию: если (x,y)∈σ, то σ(x,y)=1, а иначе σ(x,y)=0. В терминах характеристических функций на множестве всех бинарных отношений множества X вводится понятие бинарного рефлексивного отношения смежности и определяется алгебраическая система, состоящая из всех бинарных отношений множества и из всех неупорядоченных пар различных смежных бинарных отношений. Если X - конечное множество, то эта алгебраическая система - граф («граф графов»).

Показано, что если σ и τ - смежные отношения, то σ является частичным порядком тогда и только тогда, когда τ является частичным порядком. Исследованы некоторые особенности строения графа G(X) частичных порядков. В частности, если X состоит из n элементов, а T₀(n) - это число помеченных T₀-топологий, определенных на множестве X, то количество вершин в графе G(X) равно T₀(n), а количество компонент связности равно T₀(n-1).

Для всякого отношения частичного порядка σ определяется понятие его опорного множества S(σ), являющегося некоторым подмножеством множества X. Если X - конечное множество, а частичные порядки σ и τ принадлежат одной и той же компоненте связности графа G(X), то равенство S(σ)=S(τ) имеет место тогда и только тогда, когда σ=τ. Показано, что в каждой компоненте связности графа G(X) совокупность опорных множеств ее элементов является специфическим частично упорядоченным множеством относительно естественного отношения включения множеств.

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

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

Рассматриваются две задачи нелинейного гарантированного оценивания фазовых состояний динамических систем. Предполагается, что неизвестные измеримые по $t$ возмущения линейно входят в уравнение движения и аддитивно — в уравнения измерения. Эти возмущения стеснены нелинейными интегральными функционалами, один из которых является аналогом функционала обобщенной работы. Исследуемая задача состоит в построении информационных множеств по данным измерения, содержащих истинное положение траектории. Используется подход динамического программирования. Если для первого функционала требуется решить нелинейное уравнение в частных производных первого порядка, что не всегда возможно, то для функционала обобщенной работы достаточно найти решение линейного уравнения Ляпунова первого порядка, что существенно упрощает задачу. Тем не менее, даже в этом случае приходится налагать дополнительные условия на параметры системы для того, чтобы траектория системы, соответствующая наблюдаемому сигналу, существовала. Если уравнение движения линейно по фазовой переменной, то многие предположения выполняются автоматически. Для этого случая обсуждается вопрос о взаимной оценке сверху и снизу информационных множеств по включению для разных функционалов. В заключение рассмотрен наиболее прозрачный линейно-квадратичный случай. Изложение иллюстрируется примерами.

Изучаются статистические характеристики множества достижимости A(t,σ,X) управляемой системы

ẋ = f(h^t,x,u), (t,σ,x,u) ∈ R × Σ × Rⁿ × R^m, (1)

которая параметризована с помощью топологической динамической системы (Σ,h^t). Получены оценки снизу таких характеристик, как относительная частота поглощения, верхняя и нижняя относительные частоты поглощения множества достижимости системы (1) заданным множеством M, а также достаточные условия статистической инвариантности множества M относительно управляемой системы. Исследуются условия, которым должна удовлетворять система (1) и множество X, чтобы для заданных σ ∈ Σ и χ₀ ∈ (0, 1] относительная частота поглощения множества достижимости A(t,σ,X) системы (1) множеством M была не менее χ₀. Результаты работы иллюстрируются на примере управляемой системы, которая описывает периодические процессы в химическом реакторе.

В работе исследуется задача управляемости для систем функциональных включений с каузальными операторами и импульсными характеристиками в банаховых пространствах. Основным результатом работы является глобальная теорема существования траекторий для систем, описываемых функциональными включениями с импульсными характеристиками. Доказательство основано на теории топологической степени для уплотняющих многозначных отображений. В качестве приложений основного результата получены обобщенные теоремы существования для систем двух важных классов: полулинейных дифференциальных включений первого порядка и полулинейных дифференциальных включений дробного порядка $0<q<1$.

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

Изучаются статистические характеристики множества достижимости управляемой системы, которая параметризована с помощью топологической динамической системы. Получены оценки снизу характеристик, связанных с инвариантностью заданного множества на конечном промежутке времени. Рассматривается также следующая задача, возникающая во многих приложениях. Пусть заданы числа λ₀ ∈ (0, 1] и θ > 0. Необходимо найти условия, которым должны удовлетворять управляемая система и множество X, чтобы для заданного σ ∈ Σ относительная частота поглощения множества достижимости A(t,σ,X) системы заданным множеством M на любом отрезке времени длины θ была бы не менее λ₀. Отметим, что характеристика θ предполагается заданной в зависимости от прикладной задачи. В частности, если управляемый процесс имеет периодический характер, то θ является периодом данного процесса. Результаты работы иллюстрируются на примерах управляемых систем, которые описывают различные модели роста популяции.

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