Все выпуски

Работа посвящена исследованию свойства интегральной разделенности линейных систем с дискретным временем. Согласно определению система $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 году. Доказаны критерии интегральной разделенности систем с дискретным временем: приводимость к диагональному виду с интегрально разделенной диагональю; устойчивость и некратность показателей Ляпунова. Подробно исследовано также свойство диагонализируемости систем с дискретным временем. Доказательства учитывают специфику этих систем.

This paper is devoted to the study of the property of an integral separation of discrete time-varying linear systems. By definition, the system $x(m+1)=A(m)x(m),$ $m\in\mathbb N,$ $x\in\mathbb R^n,$ is called a system with integral separation if it has a basis of solutions $x^1(\cdot),\ldots,x^n(\cdot)$ such that for some $\gamma>0$, $a>1$ and all natural $m>s$, $i\leqslant n-1$ the inequalities $$ \dfrac{\|x^{i+1}(m)\|}{\|x^{i+1}(s)\|}\geqslant\gamma a^{m-s}\dfrac{\|x^{i}(m)\|}{\|x^{i}(s)\|}. $$ are satisfied. The concept of integral separation of systems with continuous time was introduced by B.F. Bylov in 1965. The criteria for the integral separation of systems with discrete time are proved: reducibility to diagonal form with an integrally separated diagonal; stability and nonmultiplicity of Lyapunov exponents. The property of diagonalizability of discrete-time systems is also studied in detail. The evidence takes into account the specifics of these systems.

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

We consider a problem of assigning the Lyapunov spectrum for a linear control discrete-time system $$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)$$ in a small neighborhood of the Lyapunov spectrum of the free system $$x(m+1)=A(m)x(m),\quad m\in\mathbb N,\ x\in\mathbb R^{n},\qquad (2) $$ by means of linear feedback $u(m)=U(m)x(m)$. We assume that the norm of the feedback matrix $U(\cdot)$ satisfies the Lipschitz estimate with respect to the required shift of the Lyapunov spectrum. This property is called proportional local assignability of the Lyapunov spectrum of the closed-loop system $$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)$$ We previously proved that uniform complete controllability of system (1) and stability of the Lyapunov spectrum of free system (2) are sufficient conditions for proportional local assignability of the Lyapunov spectrum of closed-loop system (3). In this paper we give an example demonstrating that these conditions are not necessary.

В прямоугольной области исследуются нелокальные краевые задачи для одномерного нестационарного уравнения конвекции-диффузии дробного порядка с переменными коэффициентами, описывающие диффузионный перенос той или иной субстанции, а также перенос, обусловленный движением среды. Методом энергетических неравенств выводятся априорные оценки решений нелокальных краевых задач в дифференциальной форме. Построены разностные схемы, и для них доказываются аналоги априорных оценок в разностной форме, приводятся оценки погрешности в предположении достаточной гладкости решений уравнений. Из полученных априорных оценок следуют единственность и устойчивость решения по начальным данным и правой части, а также сходимость решения разностной задачи к решению соответствующей дифференциальной задачи со скоростью $O(h^2+\tau^2)$.

In the rectangular region, we study nonlocal boundary value problems for the one-dimensional unsteady convection-diffusion equation of fractional order with variable coefficients, describing the diffusion transfer of a substance, as well as the transfer due to the motion of the medium. A priori estimates of solutions of nonlocal boundary value problems in differential form are derived by the method of energy inequalities. Difference schemes are constructed and analogs of a priori estimates in the difference form are proved for them, error estimates are given under the assumption of sufficient smoothness of solutions of equations. From the obtained a priori estimates, the uniqueness and stability of the solution from the initial data and the right part, as well as the convergence of the solution of the difference problem to the solution of the corresponding differential problem at the rate of $O(h^2+\tau^2)$.

В статье рассматривается задача устойчивой реконструкции неизвестного входа системы по результатам неточных измерений ее решения. Суть задачи состоит в следующем. Имеется система, описываемая распределенным уравнением второго порядка, решение которой зависит от входа, меняющегося со временем. Как вход, так и решение заранее не известны. В дискретные моменты времени измеряется решение уравнения. Результаты измерения неточны. Требуется построить алгоритм приближенного восстановления входа, обладающий свойствами динамичности и устойчивости. Свойство динамичности означает, что текущие значения приближений входа вычисляются в реальном времени (он-лайн). Свойство устойчивости — что приближения являются достаточно точными, при хорошей точности измерений. Задача относится к классу обратных задач. Представленный в статье алгоритм основан на конструкциях теории устойчивого динамического обращения в комбинации с методами некорректных задач и позиционного управления.

In this paper, we consider the stable reconstruction problem of the unknown input of a distributed system of second order by results of inaccurate measurements of its solution. The content of the problem considered is as follows. We consider a distributed equation of second order. The solution of the equation depends on the input varying in the time. The input, as well as the solution, is not given in advance. At discrete times the solution of the equation is measured. These measurements are not accurate in general. It is required to design an algorithm for approximate reconstruction of the input that has dynamical and stability properties. The dynamical property means that the current values of approximations of the input are produced on-line, and the stability property means that the approximations are arbitrarily accurate for a sufficient accuracy of measurements. The problem refers to the class of inverse problems. The algorithm presented in the paper is based on the constructions of a stable dynamical inversion and on the combination of the methods of ill-posed problems and positional control theory.

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

Mean field type differential inclusions appear within the theory of mean field type control through the convexification of a right-hand side. We study the case when the right-hand side of a differential inclusion depends on the state of an agent and the distribution of agents in an upper semicontinuous way. The main result of the paper is the existence and the stability of the solution of a mean field type differential inclusion. Furthermore, we show that the value function of the mean field type optimal control problem depends on an initial state and a parameter semicontinuously.

Изучается устойчивость линейных автономных скалярных разностных уравнений с комплексными коэффициентами. Для уравнения с произвольным количеством запаздываний приводится простое доказательство линейной связности его области устойчивости в пространстве коэффициентов. Этот результат позволяет утверждать, что областью устойчивости уравнения в пространстве коэффициентов является область $D$-разбиения этого пространства, содержащая начало координат. Далее рассматриваются некоторые уравнения с двумя запаздываниями и комплексными коэффициентами, для которых даются подробные аналитические и геометрические описания областей равномерной и экспоненциальной устойчивости.

We study the stability of linear autonomous scalar difference equations with complex coefficients. For an equation with an arbitrary number of delays, we propose a simple proof of the linear connectivity of the stability region in the space of coefficients. This result allows us to assert that the stability region of the equation in the space of coefficients is the region of the $D$-decomposition of this space containing the origin of coordinates. Further, we consider some equations with two delays and complex coefficients, for which we give detailed analytic and geometric descriptions of the regions of uniform and exponential stability.

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

Sufficient conditions for uniform global asymptotic stabilization of the origin are obtained for bilinear control systems with periodic coefficients. The proof is based on the use of the Krasovsky theorem on global asymptotic stability of the origin for periodic systems. The stabilizing control function is feedback control constructed as the quadratic form of the phase variables and depends on time periodically.

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

We study the property of the closedness of the set of uniformly almost periodic functions with respect to the operation of addition. It is shown that the proof of this property found in the monograph by B.P. Demidovich “Lectures on the mathematical theory of stability” is not quite correct. A valid proof is given.

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

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.

We consider a discrete-time linear control system with an incomplete feedback

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.

We study the problem of control over the asymptotic behavior of the closed-loop system

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

where K=C or K=R. For the above system, we introduce the concept of consistency, which is a generalization of the concept of complete controllability onto systems with an incomplete feedback. The focus is on the consistency property of the system (1). We have obtained new necessary conditions and sufficient conditions for the consistency of the above system including the case when the system is time-invariant. For the time-invariant system (1), we study the problem of arbitrary placement of eigenvalue spectrum. The objective is to reduce a characteristic polynomial of a matrix of the stationary system (1) to any prescribed polynomial by means of the time-invariant control U. For the system (1) with constant coefficients of the special form where the matrix A is Hessenberg, the rows of the matrix B before the p-th and the rows of the matrix C after the p-th are equal to zero (not including p), the property of consistency is the sufficient condition for arbitrary placement of eigenvalue spectrum. It has been proved that the converse proposition is true for n<4 and false for n>5. In present paper we prove that the converse proposition is true for n=4.

Рассматривается управляемая система, заданная линейной стационарной системой дифференциальных уравнений с запаздыванием $$ \dot x(t)=Ax(t)+A_1x(t-h)+Bu(t),\quad y(t)=C^*x(t),\quad t>0. \qquad\qquad (1) $$ Управление в системе $(1)$ строится в виде линейной обратной связи по выходу $u(t)=Q_0 y(t)+Q_1 y(t-h)$. Исследуется задача назначения конечного спектра для замкнутой системы: требуется построить коэффициенты $Q_0$, $Q_1$ обратной связи таким образом, чтобы характеристический квазиполином замкнутой системы обращался в полином с произвольными наперед заданными коэффициентами. Получены условия на коэффициенты системы $(1)$, при которых найден критерий разрешимости данной задачи назначения конечного спектра. Полученные результаты распространяются на системы с несколькими запаздываниями. Получены следствия о стабилизации системы $(1)$, а также системы вида $(1)$ с несколькими запаздываниями, посредством линейной статической обратной связи по выходу с запаздыванием.

We consider a control system defined by a linear time-invariant system of differential equations with delay $$ \dot x(t)=Ax(t)+A_1x(t-h)+Bu(t),\quad y(t)=C^*x(t),\quad t>0. \qquad\qquad (1) $$ We construct the controller for the system $(1)$ as linear output feedback $u(t)=Q_0 y(t)+Q_1 y(t-h)$. We study a finite spectrum assignment problem for the closed-loop system. One needs to construct gain matrices $Q_0$, $Q_1$ such that the characteristic quasipolynomial of the closed-loop system becomes a polynomial with arbitrary preassigned coefficients. We obtain conditions on coefficients of the system $(1)$ under which the criterion was found for solvability of the finite spectrum assignment problem. The obtained result extends to systems with several delays. Corollaries on stabilization by linear static output feedback with delay are obtained for system $(1)$ as well as for systems of type $(1)$ with several delays.