Все выпуски

Хорошо известно, что преобразование ренормгруппы $\mathcal{R}$ имеет единственную неподвижную точку $f_ {cr}$ в пространстве критических $C^{3}$-гомеоморфизмов окружности с одной кубической критической точкой $x_{cr}$ и числом вращения равным золотому сечению $\overline{\rho}: =\frac{\sqrt{5} -1}{2}.$ Обозначим через $Cr(\overline{\rho})$ множество всех критических отображений окружности $C^ {1}$-сопряженных к $f_{cr}.$ Пусть $f\in Cr(\overline{\rho})$ и $\mu:=\mu_{f}$ --- единственная вероятностная инвариантная мера для $f.$ Зафиксируем $\theta \in (0,1).$ Для каждого $n\geq 1$ определим $c_{n}:=c_{n}(\theta)$ такое, что $\mu([x_{cr}, c_{n}]) = \theta\cdot\mu([x_{cr}, f^{q_{n}} (x_{cr})]),$ где $q_{n}$ --- время первого возврата линейного вращения $f_{\overline{\rho}}.$ Мы исследуем закон сходимости перемасштабированного точечного процесса времени попадания. Мы показываем, что предельное распределение сингулярно относительно меры Лебега.

It is well known that the renormalization group transformation $\mathcal{R}$ has a unique fixed point $f_{cr}$ in the space of critical $C^{3}$-circle homeomorphisms with one cubic critical point $x_{cr}$ and the golden mean rotation number $\overline{\rho}:=\frac{\sqrt{5}-1}{2}.$ Denote by $Cr(\overline{\rho})$ the set of all critical circle maps $C^{1}$-conjugated to $f_{cr}.$ Let $f\in Cr(\overline{\rho})$ and let $\mu:=\mu_{f}$ be the unique probability invariant measure of $f.$ Fix $\theta \in(0,1).$ For each $n\geq1$ define $c_{n}:=c_{n}(\theta)$ such that $\mu([x_{cr},c_{n}])=\theta\cdot\mu([x_{cr},f^{q_{n}}(x_{cr})]),$ where $q_{n}$ is the first return time of the linear rotation $f_{\overline{\rho}}.$ We study convergence in law of rescaled point process of time hitting. We show that the limit distribution is singular w.r.t. the Lebesgue measure.

Рассматривается линейная нестационарная управляемая система с локально интегрируемыми и интегрально ограниченными коэффициентами $$ \dot x =A(t)x+ B(t)u, \quad x\in\mathbb{R}^n,\quad u\in\mathbb{R}^m,\quad t\geqslant 0. \qquad\qquad (1)$$ Управление в системе $(1)$ строится по принципу линейной обратной связи $u=U(t)x$ с измеримой и ограниченной матричной функцией $U(t),$ $t\geqslant 0.$ Для замкнутой системы $$\dot x =(A(t)+B(t)U(t))x, \quad x\in\mathbb{R}^n, \quad t\geqslant 0, \qquad\qquad (2)$$ исследуется вопрос об условиях ее равномерной глобальной достижимости. Наличие последнего свойства у системы $(2)$ означает существование такой матричной функции $U(t),$ $t\geqslant 0,$ которая обеспечивает для матрицы Коши $X_U(t,s)$ этой системы выполнение равенств $X_U((k+1)T,kT)=H_k$ при фиксированном $T>0$ и произвольных $k\in\mathbb N,$ $\det H_k>0.$ Представленная задача решается в предположении равномерной полной управляемости системы $(1),$ соответствующей замкнутой системе $(2),$ т.е. при условии существования таких $\sigma>0$ и $\gamma>0,$ что при любых начальном моменте времени $t_0\geqslant 0$ и начальном состоянии $x(t_0)=x_0\in \mathbb{R}^n$ системы (1) на отрезке $[t_0,t_0+\sigma]$ найдется измеримое и ограниченное векторное управление $u=u(t),$ $\|u(t)\|\leqslant\gamma\|x_0\|,$ $t\in[t_0,t_0+\sigma],$ переводящее вектор начального состояния этой системы в ноль на данном отрезке. Доказано, что в двумерном случае, т.е. при $n=2,$ свойство равномерной полной управляемости системы $(1)$ является достаточным условием равномерной глобальной достижимости соответствующей системы $(2).$

We consider a linear time-varying control system with locally integrable and integrally bounded coefficients $$\dot x =A(t)x+ B(t)u, \quad x\in\mathbb{R}^n,\quad u\in\mathbb{R}^m,\quad t\geqslant 0. \qquad\qquad (1) $$ We construct control of the system $(1)$ as a linear feedback $u=U(t)x$ with measurable and bounded function $U(t),$ $t\geqslant 0.$ For the closed-loop system $$\dot x =(A(t)+B(t)U(t))x, \quad x\in\mathbb{R}^n, \quad t\geqslant 0, \qquad \qquad (2)$$ we study a question about the conditions for its uniform global attainability. The last property of the system $(2)$ means existence of a matrix $U(t),$ $t\geqslant 0,$ that ensure equalities $X_U((k+1)T,kT)=H_k$ for the state-transition matrix $X_U(t,s)$ of the system $(2)$ with fixed $T>0$ and arbitrary $k\in\mathbb N,$ $\det H_k>0.$ The problem is solved under the assumption of uniform complete controllability of the system $(1),$ corresponding to the closed-loop system $(2),$ i.e. assuming the existence of such $\sigma>0$ and $\gamma>0,$ that for any initial time $t_0\geqslant 0$ and initial condition $x(t_0)=x_0\in \mathbb{R}^n$ of the system $(1)$ on the segment $[t_0,t_0+\sigma]$ there exists a measurable and bounded vector control $u=u(t),$ $\|u(t)\|\leqslant\gamma\|x_0\|,$ $t\in[t_0,t_0+\sigma],$ that transforms a vector of the initial state of the system into zero on that segment. It is proved that in two-dimensional case, i.e. when $n=2,$ the property of uniform complete controllability of the system $(1)$ is a sufficient condition of uniform global attainability of the corresponding system $(2).$

В данной работе методом вложения строится классификация двуметрических феноменологически симметричных геометрий двух множеств (ФС ГДМ) ранга $(3,2)$ по ранее известной аддитивной двуметрической ФС ГДМ ранга $(2,2)$, задаваемой парой функций $g^1=x+\xi$ и $g^2 = y+\eta$. Суть этого метода состоит в нахождении функций, задающих ФС ГДМ ранга $(3,2)$ по функциям $g^1=x+\xi$ и $g^2 = y+\eta$. При решении этой задачи используем тот факт, что двуметрические ФС ГДМ ранга $(3,2)$ допускают группы преобразований размерности 4, а двуметрические ФС ГДМ ранга $(2,2)$ - размерности 2. Из этого следует, что компоненты операторов алгебры Ли группы преобразований двуметрической ФС ГДМ ранга $(3,2)$ являются решениями системы восьми линейных дифференциальных уравнений первого порядка от двух переменных. Исследуя эту систему уравнений, приходим к возможным выражениям для систем операторов. Затем из систем операторов выделяем операторы, образующие алгебры Ли. Потом, применяя экспоненциальное отображение, по найденным алгебрам Ли восстанавливаем действия групп Ли. Эти действия как раз и задают двуметрические ФС ГДМ ранга $(3,2)$.

In this paper, the method of embedding is used to construct the classification of two-dimensional phenomenologically symmetric geometries of two sets (PS GTS) of rank $(3,2)$ from the previously known additive two-dimensional PS GTS of rank $(2,2)$ defined by a pair of functions $g^1=x+\xi$ and $g^2 = y+\eta$. The essence of this method consists in finding the functions defining the PS GTS of rank $(3,2)$ with respect to the functions $g^1=x+\xi$ and $g^2 = y+\eta$. In solving this problem, we use the fact that the two-dimensional PS GTS of rank $(3,2)$ admit groups of transformations of dimension 4, and the two-dimensional PS GTS of rank $(2,2)$ is of dimension 2. It follows that the components of the operators of the Lie algebra of the transformation group of the two-dimensional PS GTS of rank $(3,2)$ are solutions of a system of eight linear differential equations of the first order in two variables. Investigating this system of equations, we arrive at possible expressions for systems of operators. Then, from the systems of operators, we select the operators that form Lie algebras. Then, applying the exponential mapping, we recover the actions of the Lie groups from the Lie algebras found. It is precisely these actions that specify the two-dimensional PS GTS of rank $(3,2)$.

В этой работе решается проблема расширения группы параллельных переносов трехмерного пространства до локально ограниченно точно дважды транзитивной группы Ли преобразований того же пространства. Локальная ограниченная точная двойная транзитивность означает, что существует единственное преобразование, которое переводит произвольную пару несовпадающих точек из некоторой открытой окрестности почти в любую пару точек из той же окрестности. В данной статье поставленная задача решается для двух случаев, связанных с жордановыми формами матриц третьего порядка. С помощью этих матриц записываются системы линейных дифференциальных уравнений, решения которых приводят к базисным операторам шестимерного линейного пространства. Требуя замкнутость коммутаторов этих операторов, выделяем алгебры Ли. Проверяя также условие локальной ограниченной точно дважды транзитивности, мы получаем алгебры Ли локально ограниченно точно дважды транзитивных групп Ли преобразований трехмерного пространства с подгруппой параллельных переносов. В результате получены три алгебры Ли, две из которых представимы в виде полупрямой суммы коммутативного трехмерного идеала и трехмерной подалгебры Ли, а третья разлагается в полупрямую сумму коммутативного трехмерного идеала и подалгебры, изоморфной $sl(2,R)$.

In this paper, we solve the problem of extending the group of parallel translations of a three-dimensional space to a locally boundedly sharply doubly transitive Lie group of transformations of the same space. Local bounded sharply double transitivity means that there is a single transformation that takes an arbitrary pair of non-coincident points from some open neighborhood to almost any pair of points from the same neighborhood. In this article, the problem posed is solved for two cases related to Jordan forms of third-order matrices. These matrices are used to write systems of linear differential equations, whose solutions lead to the basic operators of a six-dimensional linear space. Requiring the closedness of the commutators of these operators, we select the Lie algebras. Checking also the condition of local bounded sharply double transitivity, we obtain the Lie algebras of locally boundedly sharply doubly transitive Lie groups of transformations of a three-dimensional space with a subgroup of parallel translations. As a result, three Lie algebras are obtained, two of which can be represented as a half-line sum of a commutative three-dimensional ideal and a three-dimensional Lie subalgebra, and the third one decomposes into a half-line sum of a commutative three-dimensional ideal and a subalgebra isomorphic to $sl(2,R)$.

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

The space of linear control systems that are parameterized with the help of a topological dynamical system is considered. For each invariant space (with respect to a flow in the dynamical system phase space) there are constructed its extension and the corresponding Perron transformation that reduces a given family of systems to the so-called canonical system. It is also proved that for minimal invariant spaces the Perron transformation possesses the recurrence property.

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

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.

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

The planar motion of a rigid body in a uniform gravity field is considered. The body is suspended on a weightless inextensible thread. The thread is assumed to remain taut during the motion of the body. Nonlinear periodic oscillations of the body in the vicinity of its stable equilibrium position on the vertical are studied. These motions are generated by small (linear) normal body vibrations. The question of the existence of such motions is solved with the Lyapunov theorem on a holomorphic integral. An algorithm for constructing these motions using the canonical transformation method is proposed. The corresponding solutions are represented in the form of series in a small parameter characterizing the amplitude of the generating normal oscillations. A rigorous solution is given to the nonlinear problem of orbital stability of the motions obtained. Possible regions of parametric resonance (instability regions) are indicated. The third and fourth order resonance cases, as well as a nonresonant case, are considered. The study is based on the Lyapunov and Poincaré methods and KAM-theory.

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

A planar restricted elliptic three-body problem is considered. The motions close to the triangular libration points are studied. The problem parameters (the eccentricity of the orbit of the main attracting bodies and the ratio of their masses) are assumed to lie inside the linear stability region of the libration points. The magnitude of eccentricity is considered small. A linear canonical, periodic in true anomaly transformation is obtained analytically up to the second degree of eccentricity inclusive that reduces the Hamiltonian function of the linearized equations of perturbed motion to real normal form in the vicinity of the libration points. This form corresponds to two harmonic oscillators not connected to one another, with frequencies depending on the problem parameters. In constructing the normalizing canonical transformation, the Depri-Hori method of the perturbation theory of Hamiltonian systems is used. Its implementation in the problem under study relies heavily on computer systems of analytical calculations.

Резольвентный метод, базирующийся на преобразованиях Лежандра, применен для интегрирования уравнений баллистики в среде со степенным по скорости сопротивлением, коэффициент которого падает линейно с высотой. Во втором приближении по градиенту плотности и с учетом уменьшения с высотой ускорения свободного падения g(y) задача сведена к линейному дифференциальному уравнению. Его решением получены универсальные формулы для неоднородностной добавки к резольвентной функции f_n(b), а также к вертикальной и горизонтальной координатам δy(b), δx(b), b = tgθ - наклон траектории. Подробно рассмотрен случай квадратичного сопротивления.

The resolvent method based on Legendre transformation was applied to integrate ballistic equations of a heavy point mass in inhomogeneous medium with the drag force being power-law with respect to speed, at that the coefficient of the drag force decreases linearly with height y. General expressions were obtained for resolvent function a′′_bb(b) with a(b) being an intercept and b = tgθ, where я is inclination angle. In the second order by gradient c/m⁻¹ of perturbative approach, the universal formulas for δa′′_bb(b)-, δx(b)-, δy(b)-additions were derived. The case of Releigh resistance was considered particularly in frames of the method above and inhomogeneity influence on the motion was investigated. The falling of gravity g(y) is taken into consideration too.

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

In the article, a problem of solution estimation for linear autonomous completely regular differential-algebraic systems with many commensurate delays is investigated. The class of completely regular differential-algebraic systems with delay under study includes the classes of linear systems of delayed and neutral types; in addition, the analysis of continuous-discrete systems is reduced to completely regular systems. For linear autonomous completely regular differential-algebraic systems with many commensurate delays, the property of asymptotic observability is determined, which are characterized by the fact that all solutions generating the same output signal are indistinguishable in the future. Conditions for asymptotic observability expressed in terms of the parameters of the original system are formulated and proved. For asymptotically observable systems, a solution estimation procedure is proposed, the implementation of which consists of the following steps. First, using the observed output, a linear autonomous non-homogeneous asymptotically observable retarded type system with a non-homogeneous part depending on the output is put in correspondence with the original system. The solution of the new system uniquely determines the solution of the original system. Then a transformation is constructed that reduces the matrices of the retarded type system to a certain form. After that, with the help of a finite chain of observers, the solution is evaluated. The results of the presented study are applicable to systems that do not have the property of final observability, which makes it possible to significantly reduce the requirements for observing organs when modeling the corresponding objects of the real world.