Все выпуски

Работа посвящена исследованию свойства интегральной разделенности линейных систем с дискретным временем. Согласно определению система $x(m+1)=A(m)x(m),$ $m\in\mathbb N,$ $x\in\mathbb R^n,$ называется системой с интегральной разделенностью, если она имеет фундаментальную систему решений $x^1(\cdot),\ldots,x^n(\cdot)$ такую, что при некоторых $\gamma>0$, $a>1$ и всех натуральных $m>s$, $i\leqslant n-1$ выполнены неравенства $$ \dfrac{\|x^{i+1}(m)\|}{\|x^{i+1}(s)\|}\geqslant\gamma a^{m-s}\dfrac{\|x^{i}(m)\|}{\|x^{i}(s)\|}. $$ Понятие интегральной разделенности систем с непрерывным временем было введено Б.Ф. Быловым в 1965 году. Доказаны критерии интегральной разделенности систем с дискретным временем: приводимость к диагональному виду с интегрально разделенной диагональю; устойчивость и некратность показателей Ляпунова. Подробно исследовано также свойство диагонализируемости систем с дискретным временем. Доказательства учитывают специфику этих систем.

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

Рассматривается задача о назначении спектра показателей Ляпунова линейной управляемой системы с дискретным временем $$x(m+1)=A(m)x(m)+B(m)u(m),\quad m\in\mathbb N,\ x\in\mathbb R^{n},\ u\in\mathbb R^{k}, \qquad (1)$$ посредством линейной по фазовым переменным обратной связи $u(m)=U(m)x(m)$ в малой окрестности спектра показателей свободной системы $$x(m+1)=A(m)x(m),\quad m\in\mathbb N,\ x\in\mathbb R^{n}. \qquad (2)$$ Дополнительно требуется, чтобы норма матрицы обратной связи $U(\cdot)$ удовлетворяла липшицевой оценке по отношению к требуемому смещению показателей. Это свойство называется пропорциональной локальной управляемостью полного спектра показателей Ляпунова замкнутой системы $$x(m+1)=\bigl(A(m)+B(m)U(m)\bigr)x(m),\quad m\in\mathbb N,\ x\in\mathbb R^{n}. \qquad (3)$$ Построен пример, показывающий, что найденные ранее достаточные условия пропорциональной локальной управляемости полного спектра показателей Ляпунова системы (3) (равномерная полная управляемость системы (1) и устойчивость показателей Ляпунова свободной системы (2)) не являются необходимыми.

Пусть зафиксирован некоторый класс возмущений матрицы коэффициентов $A(\cdot)$ дискретной линейной однородной системы вида $$x(m+1)=A(m)x(m),\quad m\in\mathbb Z,\quad x\in\mathbb R^n,$$ с вполне ограниченной на $\mathbb Z$ матрицей $A(\cdot)$. Спектральным множеством этой системы, отвечающим заданному классу возмущений, называем совокупность полных спектров показателей Ляпунова возмущенных систем, когда возмущения пробегают весь заданный класс. Основное внимание в работе уделено классу ${\cal R}$ возмущенных систем вида $$y(m+1)=A(m)R(m)x(m),\quad m\in\mathbb Z,\quad y\in\mathbb R^n,$$ с вполне ограниченными на $\mathbb Z$ матрицами $R(\cdot)$, и его подклассам ${\cal R}_{\delta}$ с матрицами $R(\cdot)$, удовлетворяющими оценке $\sup_{m\in\mathbb Z}\|R(m)-E\|<\delta$, где $\delta>0$. Доказано, что если показатели Ляпунова исходной системы устойчивы, то спектральное множество $\lambda({\cal R})$, отвечающее классу ${\cal R}$, совпадает с множеством всех упорядоченных по возрастанию наборов из $n$ чисел, при этом для каждого $\Delta>0$ существует такое $\ell=\ell(\Delta)>0$, что для любого $\delta<\Delta$ спектральное множество $\lambda({\cal R}_{\ell\delta})$ содержит в себе $\delta$-окрестность полного спектра показателей Ляпунова невозмущенной системы.

Рассматривается линейная нестационарная управляемая система с наблюдателем с локально интегрируемыми и интегрально ограниченными коэффициентами $$\dot x =A(t)x+ B(t)u, \quad x\in\mathbb{R}^n,\quad u\in\mathbb{R}^m,\quad t\geqslant 0, \qquad (1)$$ $$y =C^*(t)x, \quad y\in\mathbb{R}^p.\qquad (2)$$ Исследуется задача управления асимптотическими инвариантами системы, замкнутой посредством линейной нестационарной динамической обратной связи по выходу. Метод исследования, представленный в работе, базируется на построении системы асимптотической оценки состояния системы (1), (2), введенной Р. Калманом. Для решения задачи используется обобщение понятия равномерной полной управляемости по Калману, предложенное Е.Л. Тонковым для систем с коэффициентами из более широких функциональных классов. Дано определение равномерной полной наблюдаемости (в смысле Тонкова) для системы (1), (2). Для $n=2$ доказано, что свойство равномерной полной управляемости и равномерной полной наблюдаемости системы (1), (2) (в смысле Тонкова) с локально интегрируемыми и интегрально ограниченными коэффициентами является достаточным условием глобальной управляемости верхнего особого показателя Боля, а также характеристических показателей Ляпунова системы, замкнутой посредством линейной динамической обратной связи по выходу. Для доказательства используются установленные ранее результаты о равномерной глобальной достижимости двумерной системы (1), замкнутой линейной нестационарной статической обратной связью по состоянию, при условии равномерной полной управляемости (в смысле Тонкова) открытой системы (1).

Получена оценка сверху для показателей Ляпунова возмущенной абстрактной линейной системы.

Доказано, что линейная управляемая система $$ \dot x=A(t)x+B(t)u, \quad t\in\mathbb{R}, \quad x\in\mathbb{R}^n, \quad u\in\mathbb{R}^m, \qquad\qquad (1) $$ с коэффициентами в форме Хессенберга при достаточно широких условиях на коэффициенты обладает свойством равномерной полной управляемости в смысле Калмана. Показана существенность для некоторых полученных достаточных условий. Установлены следствия для квазидифференциальных уравнений. Исследуется задача о глобальном управлении асимптотическими инвариантами системы $$ \dot x=(A(t)+B(t)U)x, \quad t\in\mathbb{R}, \quad x\in\mathbb{R}^n, \qquad \qquad \qquad \qquad (2) $$ полученной замыканием системы $(1)$ обратной связью $u=Ux$. В известных результатах С.Н. Поповой ослабляются условия на коэффициенты. Для системы $(2)$ с коэффициентами в форме Хессенберга, с помощью результатов С.Н. Поповой, получены достаточные условия глобальной скаляризуемости и глобальной управляемости показателей Ляпунова, а в случае когда $A(\cdot)$ и $B(\cdot)$ - $\omega$-периодические и достаточные условия глобальной ляпуновской приводимости.

Рассматривается дискретная линейная однородная система

$$x(m+1)=A(m)x(m),\quad m\in\mathbb Z,\quad x\in\mathbb R^n, \qquad\qquad (1)$$

с вполне ограниченной матрицей $A(\cdot)$ и полным спектром показателей Ляпунова $\lambda_1(A)\leqslant\ldots\leqslant\lambda_n(A)$. Показатели Ляпунова системы (1) называются устойчивыми, если для любого $\varepsilon>0$ найдется такое $\delta>0$, что для всякой вполне ограниченной на $\mathbb N$ $n\times n$-матрицы $R(\cdot)$, удовлетворяющей оценке $\sup_{m\in\mathbb N}\|R(m)-E\|<\delta$, для полного спектра показателей Ляпунова $\lambda_1(AR)\leqslant\ldots\leqslant\lambda_n(AR)$ возмущенной системы

$$z(m+1)=A(m)R(m)z(m),\quad m\in\mathbb Z,\quad x\in\mathbb R^n,$$

справедливо неравенство $\max_{j=1,\ldots,n}|\lambda_j(A)-\lambda_j(AR)|<\varepsilon$. В работе построен пример системы вида (1) с неустойчивыми показателями Ляпунова.

Ряд задач в теории характеристических показателей Ляпунова линейных дифференциальных систем

ẋ=A(t)x,    x∈Rⁿ,    t≥0,

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

ẏ=A(t)y+Q(t)y,    y∈Rⁿ,    t≥0.

При этом возмущения коэффициентов предполагаются принадлежащими некоторым классам малости, то есть определенным подмножествам множества KC_n(R⁺) кусочно-непрерывных и ограниченных на положительной полуоси n×n-матриц. Обычно используемые классы возмущений, например бесконечно малые (исчезающие в бесконечности), экспоненциально убывающие либо суммируемые на полуоси, задаются конкретными аналитическими условиями, но общее определение класса малости в теории показателей отсутствует. На основе анализа свойств общепринятых классов малости нами предложено аксиоматическое определение класса малости возмущений коэффициентов линейных дифференциальных систем, которому удовлетворяет большинство таких классов, используемых в теории характеристических показателей. Это определение достаточно громоздко. Для более компактной характеристики классов малости предложено использовать следующее их свойство: множество возмущений удовлетворяет предложенному определению класса малости тогда и только тогда, когда оно является полной матричной алгеброй над произвольным нетривиальным идеалом кольца функций KC₁(R⁺) (с поточечным умножением), содержащим хотя бы одну строго положительную функцию.

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