Все выпуски

Классическим свойством периодической функции на вещественной оси является возможность ее представления тригонометрическим рядом Фурье. Естественным аналогом условия периодичности в евклидовом пространстве $\mathbb{R}^m$ является постоянство интегралов от функции по всем шарам (или сферам) фиксированного радиуса. Функции с указанным свойством можно разложить в ряд Фурье по сферическим гармоникам, коэффициенты которого разлагаются в ряды по функциям Бесселя. Этот факт допускает обобщение на векторные поля в $\mathbb{R}^m$, имеющие нулевой поток через сферы фиксированного радиуса. В данной работе изучаются векторные поля с нулевым потоком через окружности фиксированного радиуса на плоскости Лобачевского $\mathbb{H}^2$. Получено описание таких полей в виде рядов по гипергеометрическим функциям. Результаты, полученные в работе, можно использовать при решении задач, связанных с гармоническим анализом векторных полей на областях в $\mathbb{H}^2$.

A classic property of a periodic function on the real axis is the possibility of its representation by a trigonometric Fourier series. The natural analogue of the periodicity condition in Euclidean space $\mathbb{R}^m$ is the constancy of integrals of a function over all balls (or spheres) of fixed radius. Functions with the indicated property can be expanded in a Fourier series in terms of spherical harmonics whose coefficients are expanded into series in Bessel functions. This fact can be generalized to vector fields in $\mathbb{R}^m$ with zero flux through spheres of fixed radius. In this paper we study vector fields which have zero flux through every circle of fixed radius on the Lobachevskii plane $\mathbb{H}^2$. A description of such fields in the form of series in terms of hypergeometric functions is obtained. These results can be used to solve problems concerning harmonic analysis of vector fields on domains in $\mathbb{H}^2$.

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

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.

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

We consider an optimal control problem for an infinite amount of agents of the same type. We assume that agents have a finite state space. The given formulation of the problem involves an objective functional that is common for all agents and a common control center that chooses a strategy for agents. A chosen strategy is supposed to be positional. In this paper we consider a case when the dynamics of agents is given by a Markov chain with continuous time. It is assumed that the Kolmogorov matrix of this chain in each state depends on the current state, the chosen control and the distribution of all agents. For the original problem, it is shown that concerning positional strategies the solution can be obtained through the solution of the deterministic control problem in a finite-dimensional phase space.

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

The symmetry group of a given differential equation is the group of transformations that translate the solutions of the equation into solutions. If the infinitesimal generators of symmetry groups are known, then we can find solutions that are invariant under this group. For systems of partial differential equations, the symmetry group can be used to explicitly find particular types of solutions that are themselves invariant under a certain subgroup of the full symmetry group of the system. For example, solutions of an equation with partial derivatives of two independent variables, invariant under a given one-parameter symmetry group, are found by solving a system of ordinary differential equations. The class of solutions that are invariant with respect to a group includes many exact solutions that have immediate mathematical or physical meaning. In this paper, using the well-known infinitesimal generators of some symmetry groups of the two-dimensional heat conduction equation, solutions are found that are invariant with respect to these groups. First we consider the two-dimensional heat conduction equation with a source that describes the process of heat propagation in a flat region. For this case, a family of exact solutions was found, depending on an arbitrary constant. Then invariant solutions of the two-dimensional heat conduction equation without source are found.

Предметом настоящей работы является вопрос о стабильности вполне управляемых систем, заданных на гладком многообразии. Известно, что множества управляемости симметричных систем порождают сингулярные слоения. В случае, когда множества управляемости имеют одинаковую размерность, возникает регулярное слоение. Таким образом, возникает возможность применения методов теории слоений в задачах теории управления. В данной работе излагаются некоторые результаты авторов о возможности применения теорем о стабильности слоев для задачи о стабильности вполне управляемых систем и для изучения геометрии множества достижимости. Гладкость всюду в работе будет означать гладкость класса $C^{\infty}.$

The subject of this paper is the stability of completely controllable systems defined on a smooth manifold. It is known that the controllability sets of symmetric systems generate singular foliations. In the case when the controllability sets have the same dimension, a regular foliation arises. Thus, the possibility of applying the methods of foliation theory to control theory problems arises. This paper presents some of the authors' results on the possibility of applying the theorems on the stability of leaves to the problems on the stability of completely controllable systems and on the geometry of attainability sets. Smoothness throughout the work will mean smoothness of class $C^{\infty}$.

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

It is proved that a general cubic form over the field of complex numbers can be transformed into a form without monomials of exactly two variables by means of a non-degenerate linear transformation of coordinates. If the coefficients of monomials in only one variable are equal to one, and the remaining coefficients belong to sufficiently small polydisc near zero, then the transformation can be approximated by iterative algorithm. Under these restrictions the same result holds over the reals. This result generalizes the Levy-Desplanques theorem on strictly diagonally dominant matrices. We discuss in detail the properties of reducible cubic forms. So we prove the existence of a reducible real cubic form that is not equivalent to any form with all monomials in only one variable and without any monomials in exactly two variables. We suggest a sufficient condition for the existence of a singular point on a projective cubic hypersurface. The computational complexity of singular points recognition is discussed.

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

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

We consider the so-called standard control systems. These are systems of differential equations defined on smooth manifolds of finite dimension that are uniformly continuous and time-bound on the real axis and locally Lipschitz in the phase variables. In addition, we assume that the compact set is given, which defines geometric constraints on the admissible controls and moreover, the non-degeneracy condition holds. This condition means that for each point of the phase manifold and for all times there exists a control such that the value of vector field is contained in the Euclidean space that is tangent to the phase manifold at a given point.

Using the modified method of the Lyapunov function and constructing omega-limit set of the corresponding dynamical system of shifts, we give propositions about the existence of admissible control processes that are bounded on the positive semiaxis, and the assertion of uniform local controllability of the corresponding turnpike process.