Все выпуски

Работа посвящена исследованию свойства интегральной разделенности линейных систем с дискретным временем. Согласно определению система $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),\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) с неустойчивыми показателями Ляпунова.

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

Доказано неравенство Ляпунова для произвольной временной шкалы.