Все выпуски

Классическим свойством периодической функции на вещественной оси является возможность ее представления тригонометрическим рядом Фурье. Естественным аналогом условия периодичности в евклидовом пространстве $\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$.

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

The algorithm for the order reduction of ordinary differential equations (ODEs) by using the operator of invariant differentiation (OID) of admitted Lie algebra is modified for systems of ODEs with a small parameter that admit approximate Lie algebras of operators. Invariant representations of second-order ODEs and systems of two second-order ODEs are presented. The OID of approximate Lie algebra is introduced. It is shown that it is possible to construct a special type of OID, which is used for obtaining the first integral of the system considered. Examples of using the algorithm for cases of complete and incomplete inheritance of a Lie algebra are given.

В настоящей работе проведено исследование модели деформаций системы из $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.

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

Показано, что общий вид линейного непрерывного функционала в пространстве правильных функций ($\sigma$-непрерывных функций) — это *-интеграл правильной ($\sigma$-непрерывной) функции по функции ограниченной вариации.

The author's research continues on the theory of regulated functions (functions having finite one-sided limits at each point) and $\sigma$-continuous functions (bounded functions having no more than a countable set of discontinuity points), as well as on the theory of the *-integral. The representability of a regulated function in the form of a sum of a right-continuous function and a left-continuous function is proved ($rl$-representability of the proper function).

It is shown that the general form of a linear continuous functional in the space of regulated functions ($\sigma$-continuous functions) is the *-integral of a regulated ($\sigma$-continuous) function over a function of bounded variation.

Ряд задач в теории характеристических показателей Ляпунова линейных дифференциальных систем

ẋ=A(t)x,    x∈Rⁿ,    t≥0,

сводится к изучению влияния возмущений коэффициентов на характеристические показатели и другие асимптотические инварианты возмущенных систем

ẏ=A(t)y+Q(t)y,    y∈Rⁿ,    t≥0.

При этом возмущения коэффициентов предполагаются принадлежащими некоторым классам малости, то есть определенным подмножествам множества KC_n(R⁺) кусочно-непрерывных и ограниченных на положительной полуоси n×n-матриц. Обычно используемые классы возмущений, например бесконечно малые (исчезающие в бесконечности), экспоненциально убывающие либо суммируемые на полуоси, задаются конкретными аналитическими условиями, но общее определение класса малости в теории показателей отсутствует. На основе анализа свойств общепринятых классов малости нами предложено аксиоматическое определение класса малости возмущений коэффициентов линейных дифференциальных систем, которому удовлетворяет большинство таких классов, используемых в теории характеристических показателей. Это определение достаточно громоздко. Для более компактной характеристики классов малости предложено использовать следующее их свойство: множество возмущений удовлетворяет предложенному определению класса малости тогда и только тогда, когда оно является полной матричной алгеброй над произвольным нетривиальным идеалом кольца функций KC₁(R⁺) (с поточечным умножением), содержащим хотя бы одну строго положительную функцию.

A number of problems in the Lyapunov exponent theory of linear differential systems

ẋ=A(t)x,    x∈Rⁿ,    t≥0,

can be reduced to an investigation of the influence of coefficient perturbations on characteristic exponents and other asymptotic invariants of perturbed systems

ẏ=A(t)y+Q(t)y,    y∈Rⁿ,    t≥0.

Here perturbations are assumed to be in some classes of smallness, i.e. certain subsets of the space KC_n(R⁺) of piecewise continuous and bounded on the positive semiaxis n×n-matrices. Commonly used classes of perturbations, such as infinitesimal (vanishing at infinity), exponentially decaying or integrable on the positive semiaxis are defined by specific analytical conditions, but there is no general definition of the smallness class. By analyzing the desirable properties of commonly used classes, we propose an axiomatic definition for this notion, such that most of classes used in the theory of characteristic exponents satisfy this definition. Since the axioms are somewhat cumbersome, for more compact characterization we propose to use the following property of smallness classes: the set of perturbation satisfies the proposed definition if and only if it is a complete matrix algebra over an arbitrary non-trivial ideal of functional ring KC₁(R⁺) (with the pointwise multiplication) containing at least one strictly positive function.

Проблема голоморфного продолжения функций, определенных на границе области, в эту область актуальна в многомерном комплексном анализе. Она имеет долгую историю, начиная с работ Пуанкаре и Гартогса. В статье рассматриваются непрерывные функции, определенные на границе ограниченной области $ D $ в $ \mathbb C ^ n $, $ n> 1 $, с кусочно-гладкой границей и обладающие обобщенным граничным свойством Мореры вдоль семейства комплексных прямых, которые пересекают границу области. Свойство Мореры состоит в том, что интеграл заданной функции равен нулю по пересечению границы области с комплексной прямой. Показано, что такие функции голоморфно продолжаются в область $ D $. Для функций одной комплексной переменной свойство Мореры, очевидно, не влечет голоморфного продолжения. Поэтому эту проблему следует рассматривать только в многомерном случае $ (n> 1) $. Основным методом изучения таких функций является метод многомерных интегральных представлений, в частности интегрального представления Бохнера-Мартинелли.

The problem of holomorphic extension of functions defined on the boundary of a domain into this domain is actual in multidimensional complex analysis. It has a long history, starting with the proceedings of Poincaré and Hartogs. This paper considers continuous functions defined on the boundary of a bounded domain $ D $ in $ \mathbb C ^ n $, $ n> 1 $, with piecewise-smooth boundary, and having the generalized boundary Morera property along the family of complex lines that intersect the boundary of a domain. Morera property is that the integral of a given function is equal to zero over the intersection of the boundary of the domain with the complex line. It is shown that such functions extend holomorphically to the domain $ D $. For functions of one complex variable, the Morera property obviously does not imply a holomorphic extension. Therefore, this problem should be considered only in the multidimensional case $ (n> 1) $. The main method for studying such functions is the method of multidimensional integral representations, in particular, the Bochner-Martinelli integral representation.

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

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

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

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.

Матричный шар третьего типа и обобщенный шар Ли, связанные с классическими областями, играют важную роль в теории функций многих комплексных переменных. В данной работе вычислены объемы матричного шара третьего типа и обобщенного шара Ли. Полные объемы этих областей необходимы для нахождения ядер интегральных формул для этих областей (ядра Бергмана, Коши-Сегё, Пуассона и т. д.). Кроме того, он используется для интегрального представления функции, голоморфной на этих областях, в теореме о среднем значении и других важных понятиях. Результаты, полученные в этой статье, являются общим случаем результатов Хуа Ло-кена, и его результаты в частных случаях совпадают с нашими результатами.

The third-type matrix ball and the generalized Lie ball that are connected with classical domains play a crucial role in the theory of several complex variable functions. In this paper the volumes of the third type matrix ball and the generalized Lie ball are calculated. The full volumes of these domains are necessary for finding kernels of integral formulas for these domains (kernels of Bergman, Cauchy-Szegö, Poisson etc.). In addition, it is used for the integral representation of a function holomorphic on these domains, in the mean value theorem and other important concepts. The results obtained in this article are the general case of results of Hua Lo-ken and his results in particular cases coincides with our results.