Все выпуски

Рассматривается нелинейная управляемая система в конечномерном евклидовом пространстве, заданная на конечном промежутке времени. Изучается одна из основных задач математической теории управления - задача о сближении фазового вектора управляемой системы с компактным целевым множеством в фазовом пространстве в фиксированный момент времени. В этой работе в качестве целевого множества выбрано множество Лебега скалярной липшицевой функции, определенной на фазовом пространстве. Упомянутая задача о сближении тесно связана с многими важными и ключевыми задачами теории управления, в частности с задачей об оптимальном по быстродействию приведении управляемой системы на целевое множество. Из-за сложности задачи о сближении для нетривиальных управляемых систем аналитическое представление решений невозможно даже для относительно простых управляемых систем. Поэтому в настоящей работе мы изучаем прежде всего вопросы, связанные с конструированием приближенного решения задачи о сближении. Конструирование приближенного решения тем методом, который изложен в работе, связано прежде всего с конструированием интегральной воронки управляемой системы, представленной в так называемом «обратном» времени. К настоящему времени известно несколько алгоритмов конструирования разрешающего программного управления в задаче о сближении. Здесь представлен алгоритм построения управления, основанный на максимальном притяжении движения системы к множеству разрешимости задачи о сближении. В работе приведены примеры.

Пусть $U$ — множество допустимых управлений, $T>0$ и задана шкала банаховых пространств $W[0;\tau]$, $\tau\in(0;T]$, такая, что множество сужений функций из $W=W[0;T]$ на $[0;\tau]$ совпадает с $W[0;\tau]$, $F[\cdot;u]\colon W\to W$ — управляемый вольтерров оператор, $u\in U$. Для операторного уравнения $x=F[x;u]$, $x\in W$, вводится система сравнения в форме функционально-интегрального уравнения в пространстве $\mathbf{C}[0;T]$. Устанавливается, что при естественных предположениях относительно оператора $F$ для сохранения (относительно малых вариаций правой части) глобальной разрешимости операторного уравнения достаточно сохранения глобальной разрешимости указанной системы сравнения. Сам по себе этот факт аналогичен некоторым результатам, установленным автором ранее. Центральный результат статьи составляет ряд признаков устойчивой глобальной разрешимости функционально-интегральных уравнений, упомянутых выше, без предположения типа локальной липшицевости правой части. В качестве содержательного примера, представляющего самостоятельный интерес, рассматривается нелинейная нестационарная система Навье–Стокса в пространстве $\mathbb{R}^3$.

Определяется понятие регулярно гладкой функции. Кусочно-гладкие функции являются регулярно гладкими, а всякая регулярно гладкая функция является липшицевой. Регулярно гладкие функции имеют конечные односторонние производные: левосторонняя производная непрерывна слева, а правосторонняя непрерывна справа. Односторонние производные порождают понятие регулярной производной. Пространство регулярно гладких функций является замыканием пространства кусочно-линейных функций по норме пространства липшицевых функций. Пространство кусочно-гладких функций всюду плотно в пространстве регулярно гладких функций. Получен аналог уравнения Эйлера для простейшей вариационной задачи в пространстве регулярно гладких функций.

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

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