Все выпуски

Рассматриваются свойства пространств правильных функций, то есть функций, определенных на открытом (конечном, полубесконечном, бесконечном) промежутке, имеющих в каждой точке конечные односторонние пределы, а также плотные множества в этих пространствах. Задача Коши для скалярного линейного дифференциального уравнения с коэффициентами-производными правильных функций «погружается» в пространство обобщенных функций Коломбо. Для коэффициентов-производных ступенчатых функций в явном виде находится решение 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.

Рассмотрено применение барицентрического метода для численного решения задач Дирихле и Неймана для уравнения Гельмгольца в ограниченной односвязной области $\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.

В статье исследуются прямая и обратная задачи для уравнений субдиффузии с участием дробной производной в смысле Хильфера. В качестве эллиптической части уравнения взят произвольный положительный самосопряженный оператор $A$. В частности, в качестве оператора $A$ можно взять оператор Лапласа с условием Дирихле. Сначала доказано существование и единственность решения прямой задачи. Затем с помощью представления решения прямой задачи доказывается существование и единственность обратной задачи нахождения правой части уравнения, зависящей только от пространственной переменной.

The article studies direct and inverse problems for subdiffusion equations involving a Hilfer fractional derivative. An arbitrary positive self-adjoint operator $A$ is taken as the elliptic part of the equation. In particular, as the operator $A$ we can take the Laplace operator with the Dirichlet condition. First, the existence and uniqueness of a solution to the direct problem is proven. Then, using the representation of the solution to the direct problem, the existence and uniqueness of the inverse problem of finding the right-hand side of the equation, which depends only on the spatial variable, is proved.

Рассматривается задача построения вершинного описания выпуклого полиэдра, заданного как множество решений некоторой системы линейных неравенств, коэффициенты которой являются алгебраическими числами. Обратная задача эквивалентна (двойственна) исходной. Предлагаются программные реализации нескольких модификаций хорошо известного метода двойного описания (метода Моцкина-Бургера), решающего поставленную задачу. Рассматривается два случая: 1) элементы системы неравенств - произвольные алгебраические числа, при этом каждое такое число задается минимальным многочленом и локализующим интервалом; 2) элементы системы неравенств принадлежат заданному конечному расширению ${\mathbb Q} (\alpha)$ поля ${\mathbb Q}$, при этом для $\alpha$ задаются минимальный многочлен и локализующий интервал, а все элементы исходной системы, конечные и промежуточные результаты представлены как многочлены от $\alpha$. Как и ожидалось, программная реализация для второго варианта значительно превосходит реализацию для первого варианта по производительности. Для большего ускорения во втором случае предлагается использовать булевы матрицы вместо матриц невязок. Результаты вычислительного эксперимента показывают, что программные реализации вполне пригодны для решения задач умеренных размеров.

We consider the problem of constructing the dual representation of a convex polyhedron defined as a set of solutions to a system of linear inequalities with coefficients which are algebraic numbers. The inverse problem is equivalent (dual) to the initial problem. We propose program implementations of several variations of the well-known double description method (Motzkin-Burger method) solving this problem. The following two cases are considered: 1) the elements of the system of inequalities are arbitrary algebraic numbers, and each such number is represented by its minimal polynomial and a localizing interval; 2) the elements of the system belong to a given extension ${\mathbb Q} (\alpha)$ of ${\mathbb Q}$, and the minimal polynomial and the localizing interval are given only for $\alpha$, all elements of the system, intermediate and final results are represented as polynomials of $\alpha$. As expected, the program implementation for the second case significantly outperforms the implementation for the first one in terms of speed. In the second case, for greater acceleration, we suggest using a Boolean matrix instead of the discrepancy matrix. The results of a computational experiment show that the program is quite suitable for solving medium-scale problems.

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

A class of linear functional differential systems with continuous and discrete times and discrete memory is considered. An explicit representation of the principal components to the general solution representation such as the fundamental matrix and the Cauchy operator is derived. The obtained representation is given in terms of the system parameters and opens a way towards efficient studying general linear boundary value problems and control problems with respect to a fixed collection of linear on-target functionals. In the study of the problems mentioned above outside the class under consideration, the systems with discrete memory can be employed as model or approximating ones. This can be useful as applied to systems with aftereffect under studying rough properties that hold under small perturbations of the parameters.

В настоящей работе проведено исследование модели деформаций системы из $n$ стилтьесовских струн, расположенных вдоль геометрического графа-звезды, с нелинейным условием в узле. Соответствующая граничная задача имеет вид $$ \left\{\begin{array}{lll} -\left(p_iu_i^\prime\right)(x)+\displaystyle{\int_{0}^{x}}u_i\,dQ_i=F_i(x)-F_i(+0)-(p_iu_i')(+0),\quad i=1,2, \ldots, n,\\ \sum\limits_{i=1}^np_i(+0)u_i'(+0)\in N_{[-m,m]}u(0),\\ u_1(0)=u_2(0)=\ldots=u_n(0)=u(0),\\ (p_iu_i')(l_i-0)+u_i(l_i)\Delta Q_i(l_i)=\Delta F_i(l_i),\quad i=1,2,\ldots, n. \end{array} \right. $$ Здесь функции $u_i(x)$ определяют деформации каждой из струн; $F_i(x)$ описывают распределение внешней нагрузки; $p_i(x)$ характеризуют упругость струн; $Q_i(x)$ описывают упругую реакцию внешней среды. Скачок $\Delta F_i(l_i)$ равняется сосредоточенной в точке $l_i$ внешней силе; скачок $\Delta Q_i(l_i)$ совпадает с жесткостью упругой опоры (пружины), прикрепленной к точке $l_i$. Условие $\sum\limits_{i=1}^np_i(+0)u_i'(+0)\in N_{[-m,m]}u(0)$ возникает за счет наличия в узле ограничителя, представленного отрезком $[-m,m]$, на перемещение струн под воздействием внешней нагрузки, то есть предполагается, что $|u(0)|\leq m$. Здесь через $N_{[-m,m]}u(0)$ обозначен нормальный конус к $[-m,m]$ в точке $u(0)$. В работе проведен вариационный вывод модели; доказаны теоремы существования и единственности решения; проанализированы критические нагрузки, при которых происходит соприкосновение струн с ограничителем; приведена явная формула представления решения.

In the present paper we study a model of deformations for a system of $n$ Stieltjes strings located along a geometric graph-star with a nonlinear condition at the node. The corresponding boundary value problem has the form $$ \left\{\begin{array}{lll} -\left(p_iu_i^\prime\right)(x)+\displaystyle{\int_0^x}u_idQ_i=F_i(x)-F_i(+0)-(p_iu_i')(+0), \quad i=1,2, \ldots, n,\\ \sum\limits_{i=1}^np_i(+0)u_i'(+0)\in N_{[-m,m]}u(0),\\ u_1(0)=u_2(0)=\ldots=u_n(0)=u(0),\\ (p_iu_i')(l_i-0)+u_i(l_i)\Delta Q_i(l_i)=\Delta F_i(l_i), \quad i=1,2,\ldots, n. \end{array} \right. $$ Here the functions $u_i(x)$ determine the deformations of each of the strings; $F_i(x)$ describe the distribution of the external load; $p_i(x)$ characterize the elasticity of strings; $Q_i(x)$ describe the elastic response of the environment. The jump $\Delta F_i(l_i)$ is equal to the external force concentrated at the point $l_i$; the jump $\Delta Q_i(l_i)$ coincides with the stiffness of the elastic support (spring) attached to the point $l_i$. The condition $\sum\limits_{i=1}^np_i(+0)u_i'(+0)\in N_{[-m,m]}u(0)$ arises due to the presence of a limiter in the node represented by the segment $ [-m,m]$, on the movement of strings under the influence of an external load, thus it is assumed that $|u(0)|\leq m$. Here $N_{[-m,m]}u(0)$ denotes the normal cone to $[-m,m]$ at the point $u(0)$. In the present paper a variational derivation of the model is carried out; existence and uniqueness theorems for solutions are proved; the critical loads at which the strings come into contact with the limiter are analyzed; an explicit formula for the representation of the solution is presented.

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

In this paper, a class of linear functional differential systems with aftereffect, continuous and discrete times, and impulses (impulse hybrid systems) is considered. The focus of attention is on the structure of the Cauchy operator to the hybrid system under consideration and the representation of their components. Those allow one to give the representation of all trajectories of the hybrid system and to formulate conditions of the solvability for control problems in various classes of controls, to obtain estimates of the attainability sets under constrained control, and to study general linear boundary value problems for the solvability. A detailed description of all components to the Cauchy operator is given and their properties are studied. For the components with continuous time, some conditions of the continuity with respect to the second argument are obtained which is related to deciding on a class of controls. The main results are based on constructions of the Cauchy matrices to systems with continuous time and difference systems.

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

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

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

In previous article we defined the concept of quasi-integral for two regulated functions on the interval and the special parameter, called ¾defect¿. If there is the Riemann–Stieltjes integral, then for any defect there is a quasi-integral, and they are all equal. The Perron–Stieltjes integral, if it exists, coincides with one of quasi-integrals where the defect is defined in a special way.

In the present article the theorem of existence and uniqueness of solution for a quasi-integral equation with a constant matrix is proved. System’s kernel is a scalar piecewise continuous function of bounded variation. Components of the equation are regulated functions, spectral parameter is a regular number. Under certain conditions a quasi-integral equation can be interpreted as an impulse system. An explicit representation for the solution of a quasi-integral homogeneous equation is given. For an absolutely regular spectral parameter, the analogue of the Cauchy matrix is defined, its properties are investigated and the explicit representation for the solution of the nonhomogeneous quasi-integral equation in the Cauchy form is given. Similar results are obtained for the adjoint and associated equations.

We discussed the possibility of restoration of the approximating defect of quasi-integral, which is defect generating approximated solutions of the impulse system.

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

We consider a nonlinear controlled system in a finite-dimensional Euclidean space defined on a finite time interval. One of the main problems of mathematical control theory is studied: the problem of approaching a phase vector of a controlled system with a compact target set in the phase space at a fixed time instant. In this paper, a Lebesgue set of a scalar Lipschitz function defined on the phase space is a target set. The mentioned approach problem is closely connected with many important and key problems of control theory and, in particular, with the problem of optimally reducing a controlled system to a target set. Due to the complexity of the approach problem for nontrivial controlled systems, an analytical representation of solutions is impossible even for relatively simple controlled systems. Therefore, in the present work, we study first of all the issues related to the construction of an approximate solution of the approach problem. The construction of an approximate solution by the method described in the paper is primarily concerned with the design of the integral funnel of the controlled system, presented in the so-called “reverse” time. To date, there are several algorithms for constructing a resolving program control in the approach problem. This paper presents an algorithm for constructing a control based on the maximum attraction of the system's motion to the solvability set of the approach problem. Examples are provided.

Продолжаются исследования автора по теории правильных функций и *-интеграла. Изучается возможность представления правильной функции в виде суммы непрерывной справа и непрерывной слева функций ($rl$-представимости). Доказывается предельная теорема для *-интеграла, позволяющая приближать разрывные интегрируемую и интегрирующую функции последовательностями абсолютно непрерывных функций. Доказана новая теорема о $\delta$-корректности решения обыкновенного линейного дифференциального уравнения с обобщенными функциями в коэффициентах, определяемого с помощью квазидифференциального уравнения. Получена формула для вычисления полной вариации неопределенного *-интеграла от $\sigma$-непрерывной функции по функции ограниченной вариации, обобщающая известную формулу для полной вариации абсолютно непрерывной функции. Формула интересна и в случае неопределенного $RS$-интеграла.

This work continues the author's research on the theory of regulated functions and *-integral. The possibility to express a regulated function as a sum of right-continuous and left-continuous functions (called $rl$-representation) is studied. A limit theorem for the *-integral is proved. It allows approximating discontinuous integrands and integrators by sequences of absolutely continuous functions. A new result on $\delta$-correctness of the solution of an ordinary linear differential equation with generalized functions in coefficients is proved. This solution is defined via a quasi-differential equation. A formula for the total variation of an indefinite *-integral of a $\sigma$-continuous function with respect to a function of bounded variation is given. It generalizes the well-known formula for computing the total variation of an absolutely continuous function. The formula is also interesting in the case of an indefinite $RS$-integral.