Все выпуски

Рассматривается линейная управляемая система с неполной обратной связью с дискретным временем

x(t+1)=A(t)x(t)+B(t)u(t),   y(t)=C*(t)x(t),   u(t)=U(t)y(t),   t∈Z.

Исследуется задача управления асимптотическим поведением замкнутой системы

x(t+1)=(A(t)+B(t)U(t)C*(t))x(t), x∈Kⁿ.                (1)

Здесь K=C или K=R. Для такой системы вводится понятие согласованности. Это понятие является обобщением понятия полной управляемости на системы с неполной обратной связью. Исследовано свойство согласованности системы (1), получены новые необходимые условия и достаточные условия согласованности системы (1), в том числе в стационарном случае. Для стационарной системы вида (1) исследуется задача о глобальном управлении спектром собственных значений, которая заключается в приведении характеристического многочлена матрицы стационарной системы (1) с помощью стационарного управления U к произвольному наперед заданному полиному. Для системы (1) с постоянными коэффициентами специального вида, когда матрица A имеет форму Хессенберга, а в матрицах B и C все строки соответственно до p-й и после p-й (не включая p) равны нулю, свойство согласованности является достаточным условием глобальной управляемости спектра собственных значений. Ранее было доказано, что обратное утверждение верно для n<4 и неверно для n>5. В настоящей работе доказано, что обратное утверждение верно для n=4.

Пусть $f(z)$ — мероморфная функция на комплексной плоскости конечного порядка $\rho>0$, $\rho(r)$ — уточненный порядок в смысле Бутру такой, что $0<\alpha=\liminf\limits_{r\to\infty}\rho(r)\leqslant\limsup\limits_{r\to\infty}\rho(r)=\rho<\infty$. Если $[\alpha]<\alpha\leqslant\rho<[\alpha]+1$, то типы $T(r,f)$ и $|N|(r,f)$ относительно $\rho(r)$ совпадают. Если между $\alpha$ и $\rho$ есть целые числа, то полученный критерий формулируется в терминах верхней плотности нулей и полюсов функции $f$ и их аргументной симметрии.

Рассматривается уравнение
$$Lx\doteq x''+P(t)x'+Q(t)x=0,\quad t\in[a, b]\subset \mathcal{I}\doteq(\alpha,\beta)\subset\mathbb{R}, \qquad (1)$$где $P$, $Q$ - $C$-обобщенные функции, определенные на $ \mathcal I$ и представляющие собой смежные классы фактор-алгебры Коломбо. Пусть $ \mathcal{R}_P$, $ \mathcal{R}_Q$ - представители этих классов соответственно, $\mathcal{A}_N$ - классы финитных функций, необходимые для определения алгебры Коломбо. Получены новые достаточные условия неосцилляции уравнения $(1)$: доказано, что если выполнено условие $$(\exists\, N\in\mathbb{N}) (\forall\, \varphi\in \mathcal{A}_N) (\exists\, \mu_0<1) \; \int_a^b| \mathcal{R}_P(\varphi_\mu,t)|\,dt+\int_a^b| \mathcal{R}_Q(\varphi_\mu,t)|\,dt<\\<\frac{4}{b-a+4}\quad (0<\mu<\mu_0),$$где $\varphi_{\mu}\doteq \frac{1}{\mu}\varphi\left(\frac{t}{\mu}\right)$, то уравнение $(1)$ неосцилляционно на $[a, b]$. Доказана теорема о разделении нулей и следствие, вытекающее из нее.

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

Рассматривается модель популяции, подверженной промыслу, в которой размеры промысловых заготовок являются случайными величинами. При отсутствии эксплуатации развитие популяции описывается логистическим уравнением $\dot x =(a-bx)x,$ где коэффициенты $a$ и $b$ являются показателями роста популяции и внутривидовой конкуренции соответственно, а в моменты времени $\tau_k=kd$ из популяции извлекается некоторая случайная доля ресурса $\omega_k,$ $k=1,2,\ldots.$ Предполагаем, что имеется возможность влиять на процесс сбора ресурса таким образом, чтобы остановить заготовку в том случае, когда ее доля окажется достаточно большой (больше некоторого значения $u_k\in (0,1)$ в момент $\tau_k$), чтобы сохранить возможно больший остаток ресурса для увеличения размера следующего сбора. Исследуется задача оптимального способа эксплуатации популяции $\bar u=(u_1,\dots,u_k,\dots),$ при котором добываемый ресурс постоянно восстанавливается и значение средней временной выгоды можно оценить снизу по возможности наибольшим числом. Показано, что при недостаточном ограничении доли добываемого ресурса значение средней временной выгоды может равняться нулю для всех или для почти всех значений случайных параметров. Рассматривается также следующая задача: пусть задано значение $u\in(0,1),$ которым мы ограничиваем случайную долю ресурса $\omega_k,$ добываемого из популяции в моменты времени $\tau_k$, $k=1,2,\ldots.$ Требуется найти минимальное время между соседними изъятиями, необходимое для восстановление ресурса, чтобы можно было производить добычу до тех пор, пока доля извлеченного ресурса не достигнет значения $u$.

В данной работе исследуются различные разновидности показателей колеблемости (верхние или нижние, сильные или слабые) нулей, корней, гиперкорней, строгих и нестрогих знаков ненулевых решений линейных однородных дифференциальных систем на положительной полуоси. На множестве ненулевых решений систем установлены соотношения между этими показателями колеблемости. Доказано, что все сильные показатели колеблемости (в отличие от частот Сергеева смен знаков, нулей и корней, а также всех слабых показателей колеблемости), рассматриваемые как функции на множестве решений линейных однородных дифференциальных систем с непрерывными на полуоси коэффициентами, не являются остаточными (т.е. могут меняться при изменении решения на конечном отрезке). Кроме того, при любом наперед заданном натуральном $n\ge2$ приводится пример $n$-мерной дифференциальной системы, у которой все сильные показатели колеблемости некоторого решения не совпадают с соответствующими слабыми показателями. При этом все слабые и все сильные показатели на выбранном решении совпадают соответственно между собой. При доказательстве результатов настоящей работы отдельно рассмотрены случаи четности и нечетности $n$.

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

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

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

В конечномерном евклидовом пространстве $\mathbb R^k$ рассматривается линейная задача преследования группой преследователей одного убегающего, описываемая в заданной временной шкале $\mathbb{T}$ уравнениями вида \begin{gather*} z_i^{\Delta} = a z_i + u_i - v, \end{gather*} где $z_i^{\Delta}$ — $\Delta$-производная функций $z_i$ во временной шкале $\mathbb{T}$, $a$ — произвольное число, не равное нулю. Множество допустимых управлений для каждого участника представляет собой шар единичного радиуса с центром в начале координат, терминальные множества — заданные выпуклые компакты в $\mathbb R^k$. Преследователи действуют согласно контрстратегиям на основе информации о начальных позициях и предыстории управления убегающего. В терминах начальных позиций и параметров игры получено достаточное условие поимки. Для случая задания временной шкалы в виде $\mathbb T = \{\tau k \mid k \in \mathbb Z,\ \tau \in \mathbb R,\ \tau >0\}$ найдены достаточные условия разрешимости задач преследования и уклонения. При исследовании в обоих случаях в качестве базового используется метод разрешающих функций.