Все выпуски

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

In parametrical family of subspaces of space of regulated functions the concept of the adjoint integral (in everyone subspace own integral is applied) is defined. In subspace, representing their crossing, the concept of the adjoint integral also is defined. This subspace includes the space of functions of the bounded variation. In any subspace on the basis of the adjoint integral the concept of the generalized regulated function and its adjoint generalized derivative is defined. Solvability of linear impulse systems in terms of adjoint generalized functions is proved.

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

The influence of additive and parametrical noise on attractors of the one-dimensional system governed by the stochastic differential Ito equation is investigated. It is shown that unlike additive, parametrical disturbances lead to the shift of extrema of probability density function. For the value of this shift, a decomposition on small parameter of noise intensity is obtained. It is shown that the influence of the parametrical noise can change not only the arrangement, but also the quantity of extrema of probability density function. The corresponding noise-induced phenomena are studied for three dynamical models in detail. An analysis of the error for the different order estimations of the shift of extrema for the probability density function is presented by the example of a linear model. Two scenarios of the transition between unimodal and bimodal forms of the stochastic attractor are investigated for systems with different types of cubic nonlinearity.

Получены необходимые и достаточные условия разрешимости периодической краевой задачи для всех линейных функционально-дифференциальных уравнений второго порядка с заданной нормой функционального оператора.

Necessary and sufficient conditions for the unique solvability of the periodic boundary value problem for all linear second order functional differential equations with the given norm of the functional operators.

Рассматриваются свойства пространств правильных функций, то есть функций, определенных на открытом (конечном, полубесконечном, бесконечном) промежутке, имеющих в каждой точке конечные односторонние пределы, а также плотные множества в этих пространствах. Задача Коши для скалярного линейного дифференциального уравнения с коэффициентами-производными правильных функций «погружается» в пространство обобщенных функций Коломбо. Для коэффициентов-производных ступенчатых функций в явном виде находится решение R(φ_μ,t) задачи Коши в представителях, предел которого при μ→+0 объявляется решением исходной задачи. Так появляется оператор T, который ставит в соответствие исходной задаче ее решение в виде правильной функции, определенный сначала лишь на плотном множестве. С помощью известной топологической теоремы о продолжении по непрерывности T продолжается до оператора T, определенного на всем пространстве правильных функций. Для неоднородной задачи Коши предложено явное представление решения. Приведен ряд иллюстрирующих примеров.

A function defined on an open (finite, semi-finite, infinite) interval is called regulated if it has finite one-sided limits at each point of its domain. In the present paper we study spaces of regulated functions, in particular, their dense subsets. Our motivation is applications to differential equations. Namely, we consider the Cauchy problem for a scalar linear differential equation with coefficients, which are derivatives of regulated functions. We immerse the Cauchy problem into the space of the Colombeau generalized functions. If the coefficients are derivatives of step functions, we find explicit solution R(φ_μ,t) of the Cauchy problem (in terms of representatives); its limit as μ→+0 is defined to be the solution of the original problem. In this way, we obtain a densely defined (on the space of regulated functions) operator T, which associates the solution to a Cauchy problem with this problem. Next, using a well-known topological result on a continuous extension, we extend the operator T to the operator T defined on the entire space of regulated functions. We have given the explicit representation of solution of the Cauchy problem for the inhomogeneous differential equation. Illustrative examples are also offered.

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

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

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

A linear non-stationary differential pursuit game with a group of pursuers and a group of evaders is considered. The pursuers' goal is to catch all evaders and the evaders' goal is at least for one of them to avoid contact with pursuers.

All players have equal dynamic capabilities, geometric constraints on the control are strictly convex compact set with smooth boundary. The point in question is the minimum number of evaders that is sufficient to evade a given number of pursuers from any initial position. Sufficient conditions for the solvability of the global problem of evasion are used as an upper estimate of this minimum. We assume that to capture one evader it suffices that the initial position of this evader lie in the interior of convex hull of initial positions of pursuers. Using this assumption we find a lower estimate of this minimum.

The obtained two-sided estimate of the number of evaders sufficient to avoid contact with a given number of pursuers from any initial position is illustrated by examples.

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

The article investigates properties of the value function of the optimal control problem on infinite horizon with an unlimited integrand index appearing in the quality functional with a discount factor. The estimate is derived for approximating the value function in a problem with the infinite horizon by levels of value functions in problems with lengthening finite horizons. The structure of the value function is identified basing on stationary value functions which depend only on phase variables. The description is given for the asymptotic growth of the value function generated by various types of the quality functional applied in economic and financial modeling: logarithmic, power, exponential, linear functions. The property of continuity is specified for the value function and estimates are deduced for the Hölder parameters of continuity. These estimates are needed for the development of grid algorithms designed for construction of the value function in optimal control problems with infinite horizon.

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

Рассмотрено применение барицентрического метода для численного решения задач Дирихле и Неймана для уравнения Гельмгольца в ограниченной односвязной области $\Omega\subset\mathbb{R}^2$. Основное допущение в решении заключается в задании границы $\Omega$ в кусочно-линейном представлении. Отличительная особенность барицентрического метода состоит в порядке формирования глобальной системы векторных базисных функций для $\Omega$ через барицентрические координаты. Установлены существование и единственность решения задач Дирихле и Неймана для уравнения Гельмгольца барицентрическим методом и определена оценка скорости сходимости. Уточнены особенности алгоритмической реализации метода.

The application of the barycentric method for the numerical solution of Dirichlet and Neumann problems for the Helmholtz equation in the bounded simply connected domain $\Omega\subset\mathbb{R}^2$ is considered. The main assumption in the solution is to set the $\Omega$ boundary in a piecewise linear representation. A distinctive feature of the barycentric method is the order of formation of a global system of vector basis functions for $\Omega$ via barycentric coordinates. The existence and uniqueness of the solution of Dirichlet and Neumann problems for the Helmholtz equation by the barycentric method are established and the convergence rate estimate is determined. The features of the algorithmic implementation of the method are clarified.

В первой части определено и исследовано нелинейное метрическое пространство $\langle\overline{\rm G}^\infty[a,b],d\rangle$, состоящее из функций, действующих из отрезка $[a,b]$ в расширенную числовую ось $\overline{\mathbb R}$. По определению предполагается, что для любых $x\in\overline{\rm G}^\infty[a,b]$ и $t\in(a,b)$ существуют предельные числа $x(t-0),x(t+0)\in\overline{\mathbb R}$ (и числа $x(a+0),x(b-0)\in\overline{\mathbb R}$). Доказана полнота пространства. Оно является замыканием пространства ступенчатых функций в метрике $d$. Во второй части работы определено и исследовано нелинейное пространство ${\rm RL}[a,b]$. Всякая кусочно-гладкая функция, определенная на $[a,b]$, содержится в ${\rm RL}[a,b]$. Всякая функция $x\in{\rm RL}[a,b]$ имеет ограниченное изменение. Для нее определены все односторонние производные (со значениями в метрическом пространстве $\langle\overline{\mathbb R},\varrho\rangle$). Функция левосторонних производных непрерывна слева, а функция правосторонних производных непрерывна справа. Обе функции, доопределенные на весь отрезок $[a,b]$, принадлежат пространству $\overline{\rm G}^\infty[a,b]$. В заключительной части работы определены и исследованы два подпространства пространства ${\rm RL}[a,b]$. В подпространствах сформулированы и обсуждены перспективные постановки для простейших вариационных задач.

In the first part of the paper, the nonlinear metric space $\langle\overline{\rm G}^\infty[a,b],d\rangle$ is defined and studied. It consists of functions defined on the interval $[a,b]$ and taking the values in the extended numeric axis $\overline{\mathbb R}$. For any $x\in\overline{\rm G}^\infty[a,b]$ and $t\in(a,b)$ there are limit numbers $x(t-0),x(t+0) \in\overline{\mathbb R}$ (and numbers $x(a+0),x(b-0)\in\overline{\mathbb R}$). The completeness of the space is proved. It is the closure of the space of step functions in the metric $d$. In the second part of the work, the nonlinear space ${\rm RL}[a,b]$ is defined and studied. Every piecewise smooth function defined on $[a,b]$ is contained in ${\rm RL}[a,b]$. Every function $x\in{\rm RL}[a,b]$ has bounded variation. All one-sided derivatives (with values in the metric space $\langle\overline{\mathbb R},\varrho\rangle$) are defined for it. The function of left-hand derivatives is continuous on the left, and the function of right-hand derivatives is continuous on the right. Both functions extended to the entire interval $[a,b]$ belong to the space $\overline{\rm G}^\infty[a,b]$. In the final part of the paper, two subspaces of the space ${\rm RL}[a,b]$ are defined and studied. In subspaces, promising formulations for the simplest variational problems are stated and discussed.