Все выпуски

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

In this paper we study specific features of the relations between topological and algebraic structures of quasigroups and loops. We study the measurability of subsets of topological quasigroups and loops with respect to invariant measures. We study the family of non-measurable subsets in locally compact non-discrete loops. We find out the existence of locally $\mu $-zero subsets that are not $\mu $-zero in a locally compact left quasigroup that is not $\sigma $-compact. We study quotient spaces of measurable spaces on quasigroups. Moreover, we study homogeneous spaces of quasigroups and countable separability of subsets in them.

Изучаются свойства дискретной вариационной задачи динамической аппроксимации в комплексном евклидовом (L + 1)-мерном пространстве E. Она обобщает известные задачи среднеквадратической полиномиальной аппроксимации функций, заданных своими отсчетами в конечном интервале. В рассматриваемой задаче аппроксимация последовательности y = {y_i}_L⁰ отсчетов функции y(t) ∈ L²[0, T], T = Lh на сетке I_h осуществляется решениями однородных линейных дифференциальных или разностных уравнений заданного порядка n с постоянными, но, возможно, неизвестными коэффициентами. Тем самым показано, что в последнем случае задача аппроксимации включает в себя и задачу идентификации. Анализ ее особенностей - основная тема статьи. Ставится задача нахождения вектора коэффициентов  разностного уравнения Σ_n⁰ ŷ_i+k α_i = 0, где k = 0,L − n. Оптимизируются коэффициенты  и начальные условия переходного процесса y этого уравнения. Цель оптимизации - наилучшая аппроксимация исследуемого динамического процесса y ∈ E. Критерий аппроксимации  минимум величины ||y − ŷ||²_E. Показано, что изучаемая вариационная задача сводится к задачам проектирования в E вектора y на ядра разностных операторов с неизвестными коэффициентами α ∈ ω ⊂ S ⊂ Eⁿ⁺¹. Здесь α - направление, S - сфера или гиперплоскость. Показана связь изучаемой задачи с задачами дискретизации и идентифицируемости. Тогда координаты вектора y ∈ E есть точное решение дифференциального уравнения на сетке I_h и y = ŷ. Дано сравнение изучаемой задачи вариационной идентификации с алгебраическими методами идентификации. Показано, что ортогональные дополнения к ядрам разностных операторов всегда имеют теплицев базис. Это приводит к быстрым проекционным алгоритмам вычислений. Показано, что задача нахождения оптимального вектора α сводится к задаче безусловной минимизации функционала идентификации, зависящего от направления  в Eⁿ⁺¹. Предложена итерационная процедура его минимизации на сфере с широкой областью и высокой скоростью сходимости. Изучаемую вариационную задачу можно применять при математическом моделировании в управлении и научных исследованиях. При этом на конечных интервалах может использоваться, в частности, возможность кусочно-линейной динамической аппроксимации сложных динамических процессов разностными и дифференциальными уравнениями указанного типа.

Some properties of the discrete variational problem of the dynamic approximation in the complex Euclidean (L + 1)-dimensional space are studied here. It generalizes familiar problems of the mean square polynomial approximation of the functions given on the finite interval in accordance with their references. In the problem under consideration sequence approximation y = {y_i}_L⁰ of the references of the function y(t) ∈ L²[0, T], T = Lh on the lattice I_h is achieved by solving homogeneous linear differential equations or difference equations of the given order n with constant but possibly unknown coefficients. Thus, it is shown that in the latter case the approximation problem also includes the identification problem. The analysis of its properties is the main subject of the article. The problem is set to find vector of coefficients  of difference equation Σ_n⁰ ŷ_i+k α_i = 0, where k = 0,L − n. Coefficients  and initial conditions of the transient process by of this equation are optimized. The optimization purpose is to achieve the best approximation of the dynamic process y ∈ E being considered here. The approximation criterion is a minimum of the quantity ||y − ŷ||²_E. The variational problem under study is shown to be reduced to the problem of projecting vector y in E on the kernels of the difference operators with unknown coefficients  α ∈ ω ⊂ S ⊂ Eⁿ⁺¹, where  is a direction, S is a sphere or a hyperplane. The problem under study is shown to be related to the problems of the discretization and identifiability. In this case vector coordinates y ∈ E is an exact solution of differential equation on the lattice I_h and y = ŷ. The problem of the variational identification is compared with algebraic methods of identification. The orthogonal complement to the kernels of the difference operators are shown to always have Toeplitz basis. This results in fast projecting algorithms of computation. The problem of finding optimal vector α is shown to be reduced to the problem of the absolute minimization of the identification functional depending on the direction  in Eⁿ⁺¹. The iterative procedure of its minimization on a sphere with wide domain and high speed of convergence is presented here. The variational problem considered here can be applied in mathematical modeling for control problem and research purposes. On the finite intervals, for example, it is possible to use piecewise-linear dynamic approximations of the complex dynamic processes with difference and differential equations of the specified type.

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

The generalized Kuramoto-Sivashinsky equation in the case when the unknown function depends on two spatial variables is considered. This version of the equation is used as a mathematical model of formation of nonhomogeneous relief on a surface of semiconductors under ion beam. This equation is studied along with homogeneous Neumann boundary conditions in three regions: a rectangle, a square, and an isosceles triangle. The problem of local bifurcations in the case when spatially homogeneous equilibrium states change stability is studied. It is shown that for these three boundary value problems post-critical bifurcations occur and, as a result, spatially nonhomogeneous solutions bifurcate in each of these boundary value problems. For them asymptotic formulas are obtained. The dependence of the nature of bifurcations on the choice and geometry of the region is revealed. In particular, the type of dependence on spatial variables is determined. The problem of Lyapunov stability of spatially nonhomogeneous solutions is studied. Well-known methods from dynamical systems theory with an infinite-dimensional phase space: integral (invariant) manifolds, normal Poincare-Dulac forms in combination with asymptotic methods are used to analyze the bifurcation problems.

В работе рассмотрена интегрируемая гамильтонова система на алгебре Ли $so(4)$ с дополнительным интегралом четвертой степени - интегрируемый случай Адлера-ван Мёрбеке. Рассмотрены классические работы, посвященные, с одной стороны, динамике твердого тела, содержащего полости, полностью заполненные идеальной жидкостью, совершающей однородное вихревое движение, а с другой стороны, изучению геодезических потоков левоинвариантных метрик на группах Ли. Приведены уравнения движения, функция Гамильтона, скобки Ли-Пуассона, функции Казимира и фазовое пространство рассматриваемого случая. В предыдущих работах начато исследование фазовой топологии интегрируемого случая Адлера-ван Мёрбеке: приводятся в явном виде спектральная кривая, дискриминантное множество, бифуркационная диаграмма отображения момента, предъявлены характеристические показатели для определения типа критических точек ранга 0 и 1 отображения момента. В данной работе излагается алгоритм построения торов Лиувилля. Рассмотрены примеры перестроек лиувиллиевых торов при пересечении бифуркационных кривых для перестроек одного тора в два и двух торов в два.

In this paper we consider an integrable Hamiltonian system on the Lie algebra $so(4)$ with an additional integral of the fourth degree - the Adler-van Moerbeke integrable case. We discuss classical works which explore, on the one hand, the dynamics of a rigid body with cavities completely filled with an ideal fluid performing a homogeneous vortex motion and, on the other hand, are devoted to the study of geodesic flows of left-invariant metrics on Lie groups. The equations of motion, the Hamiltonian function, Lie-Poisson brackets, Casimir functions and the phase space of the case under consideration are given. In previous papers, the investigation of the phase topology of the integrable Adler-van Moerbeke case was started: a spectral curve, a discriminant set and a bifurcation diagram of the moment map are explicitly shown, and characteristic exponents for determining the type of critical points of rank 0 and 1 of the moment map are presented. In this paper we present an algorithm for constructing Liouville tori. Examples are given of bifurcations of Liouville tori at the intersection of bifurcation curves for reconstructions of one torus into two tori and of two tori into two tori.

Классическая система реакции-диффузии — система Шнакенберга — рассматривается в ограниченной области $m$-мерного пространства, на границе которой предполагаются выполненными краевые условия Неймана. Изучается диффузионная неустойчивость стационарного пространственно-однородного решения этой системы, называемая также неустойчивостью Тьюринга, возникающая при изменении коэффициента диффузии $d.$ Путем анализа линеаризованной системы в бездиффузионном и диффузионном приближениях получено аналитическое описание области необходимых и достаточных условий неустойчивости Тьюринга на плоскости параметров системы. Показано, что одна из границ области необходимых условий является огибающей семейства кривых, ограничивающих область достаточных условий. При этом точки пересечения двух соседних кривых лежат на прямой, угловой коэффициент которой зависит от собственных значений оператора Лапласа в рассматриваемой области и не зависит от коэффициента диффузии. Найдено аналитическое выражение критического коэффициента диффузии, при котором происходит потеря устойчивости положения равновесия системы. Указаны условия, в зависимости от которых множество волновых чисел, соответствующих нейтральным модам устойчивости, счетно, конечно или пусто. Показано, что полуось $d>1$ можно представить в виде счетного объединения полуинтервалов, каждому из которых соответствует минимальное волновое число, при котором происходит потеря устойчивости, причем точки разбиения полуоси выражаются через собственные значения оператора Лапласа в рассматриваемой области.

A classical reaction-diffusion system, the Schnakenberg system, is under consideration in a bounded domain $\Omega\subset\mathbb{R}^m$ with Neumann boundary conditions. We study diffusion-driven instability of a stationary spatially homogeneous solution of this system, also called the Turing instability, which arises when the diffusion coefficient $d$ changes. An analytical description of the region of necessary and sufficient conditions for the Turing instability in the parameter plane is obtained by analyzing the linearized system in diffusionless and diffusion approximations. It is shown that one of the boundaries of the region of necessary conditions is an envelope of the family of curves that bound the region of sufficient conditions. Moreover, the intersection points of two consecutive curves of this family lie on a straight line whose slope depends on the eigenvalues of the Laplace operator and does not depend on the diffusion coefficient. We find an analytical expression for the critical diffusion coefficient at which the stability of the equilibrium position of the system is lost. We derive conditions under which the set of wavenumbers corresponding to neutral stability modes is countable, finite, or empty. It is shown that the semiaxis $d>1$ can be represented as a countable union of half-intervals with split points expressed in terms of the eigenvalues of the Laplace operator; each half-interval is characterized by the minimum wavenumber of loss of stability.

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

We discuss system of material points in Euclidean space interacting both with each other and with external field. In particular we consider systems of particles whose interacting is described by homogeneous potential of degree of homogeneity α=-2. Such systems were first considered by Newton and - more systematically - by Jacobi). For such systems there is an extra hidden symmetry, and corresponding first integral of motion which we call Jacobi integral. This integral was given in different papers starting with Jacobi, but we present in general. Furthermore, we construct a new algebra of integrals including Jacobi integral. A series of generalizations of Lagrange's identity for systems with homogeneous potential of degree of homogeneity α=-2 is given. New integrals of motion for these generalizations are found.

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

The boundary problems of the complex-variable function theory are effectively used while investigating equilibrium of homogeneous elastic mediums. The most complicated systems of the boundary value problems correspond to the case when an elastic body exhibits anisotropic properties. Anisotropy of the medium results in the drift of boundary conditions of the function that in general disrupts analyticity of the functions of interest. The paper studies systems of the boundary value problems with drift for analytic vectors corresponding to the primal elastic problems (first, second and mixed problems). Systems of analytic vectors with drift are reduced to equivalent systems of Hilbert boundary value problems for analytic functions with weak singularity integrators. The obtained general solution of the primal boundary value problems for the anisotropic theory of elasticity allows us to check the above problems for stability with respect to perturbations of boundary value conditions and contour shape. The research is relevant as there is necessity to apply approximate numerical methods to the boundary value problems with drift. The main research result comes to be a proof of stability of the systems of the vector boundary value problems with drift for analytic functions on the H\"older space corresponding to the primal problems of the elastic theory for anisotropic bodies in the case of change in the boundary value conditions and contour shape.

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

This article is devoted to studying the structure of topological left (or right) quasigroups, which play a great role in noncommutative geometry. Quotient and transversal mappings are important in the theory of differentiable manifolds and topological manifolds. Their transversal and quotient mappings are investigated. Necessary and sufficient conditions for their continuity are scrutinized. Examples are given. Homogeneous spaces are investigated related to topological quasigroups and their subquasigroups. For this purpose, the products of special types of topological left (or right) quasigroups, which are called smashed, are investigated. They are used to describe an extensive family of topological nondiscrete left (or right) quasigroups for which transversal mappings are continuous.

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

Рассмотрены  системы частиц, взаимодействие между которыми описывается однородным потенциалом степени однородности α=-2. Для этих систем приведена наиболее общая форма дополнительного первого интеграла движения, называемого нами интегралом Якоби. Указана новая нелинейная алгебра интегралов, включающая интеграл Якоби. Систематически описана новая процедура редукции и возможность ее применения в динамике для понижения
порядка гамильтоновых систем.

В статье также приводится ряд новых интегрируемых и суперинтегрируемых систем, являющихся обобщением классических. Приведен ряд обобщений тождества Лагранжа для систем с однородным потенциалом степени однородности α=-2, а также с помощью компьютерных экспериментов доказана неинтегрируемость задачи Якоби на плоскости.

Systems of material points interacting both with one another and with an external field are considered in Euclidean space. For the case of arbitrary binary interaction depending solely on the mutual distance between the bodies, new integrals are found, which form a Galilean momentum vector. A corresponding algebra of
integrals constituted by the integrals of momentum, angular momentum, and Galilean momentum is presented. Particle systems with a particle-interaction potential homogeneous of degree α=-2 are considered. The most general form of the additional integral of motion, which we term the Jacobi integral, is presented for such systems. A new nonlinear algebra of integrals including the Jacobi integral is found. A systematic description is given to a new reduction procedure and possibilities of applying it to dynamics with the aim of lowering the order of Hamiltonian systems.

Some new integrable and superintegrable systems generalizing the classical ones are also described. Certain generalizations of the Lagrangian identity for systems with a particle-interaction potential homogeneous of degree α=-2 are presented. In addition, computational experiments are used to prove the nonintegrability of the Jacobi problem on a plane.

Многие задачи управления движением и навигации, робототехники и компьютерной графики связаны с описанием вращения твердого тела в трехмерном пространстве. Для решения подобных задач дается конструктивное решение задачи о плавном перемещении твердого тела в пространстве ориентаций по кратчайшей траектории, проходящей через точки пространства, равномерно его заполняющие. Сферическому движению твердого тела ставится в соответствие движение точки по гиперсфере в четырехмерном пространстве по дугам большого радиуса, соединяющим вершины одного из правильных центросимметричных четырехмерных многогранников. Плавное движение обеспечивается выбором специальной нелинейной функции при интерполяции кватернионов, задающих положения вершин правильных многогранников. Для аналитического представления закона непрерывного движения используется оригинальное алгебраическое представление функции Хевисайда через линейную, квадратичную и иррациональную функции. Алгоритм плавного движения твердого тела через узлы однородной решетки на группе $SO(3)$ иллюстрируется анимацией, выполненной в компьютерной программе MathCad. Предложенный метод позволяет в широких пределах менять временные интервалы межузельных перемещений, а также законы движения на этих интервалах.

Many tasks of motion control and navigation, robotics and computer graphics are related to the description of a rigid body rotation in three-dimensional space. We give a constructive solution for the smooth movement of a rigid body to solve such problems. The smooth movement in orientational space is along the shortest path. Spherical solid body motion is associated with the movement of the point on the hypersphere in four-dimensional space along the arcs of large radius through the vertices of regular four-dimensional polytope. Smooth motion is provided by the choice of a special nonlinear function of quaternion interpolation. For an analytical presentation of the law of continuous movement, we use the original algebraic representation of the Heaviside function. The Heaviside function is represented using linear, quadratic and irrational functions. The animations in the computer program MathCad illustrate smooth motion of a rigid body through the nodes of a homogeneous lattice on the group $SO(3)$. The algorithm allows one to change in a wide range the time intervals displacements between nodes, as well as the laws of motion on these intervals.