Все выпуски

Пусть $T\in C^{2+\varepsilon}(S^{1}\setminus \{x_{b}\})$, $\varepsilon>0$, — гомеоморфизм окружности с одной точкой излома $x_{b}$, в которой $T'(x)$ имеет разрыв первого рода и обе односторонние производные в точке $x_{b}$ строго положительные, и иррациональным числом вращения $\rho _{T}$. Предположим, что разложение числа вращения $\rho _{T}$ в непрерывную дробь, начиная с некоторого номера, совпадает с золотым сечением, т.е. $\rho _{T}=[m_{1},m_{2},\dots,m_{l},\,m_{l+1},\ldots],…,m_{s}=1$, $s> l>0$. Поскольку число вращения иррациональное, отображение $T$ является строго эргодическим, т.е. обладает единственной вероятностной инвариантной мерой $\mu_{T}$. В работе А.А. Джалилова и К.М. Ханина доказано, что вероятностная инвариантная мера $\mu_{G}$ любого гомеоморфизма окружности $G\in C^{2+\varepsilon}(S^{1}\setminus \{x_{b}\})$, $\varepsilon>0$, с одной точкой излома $ x_{b}$ и иррациональным числом вращения $\rho _{G}$ является сингулярной относительно меры Лебега $\lambda$ на окружности, т.е. существует измеримое подмножество $A \subset S^{1}$ такое, что $\mu_{G}(A)=1$ и $\lambda(A)=0$. Мы построим термодинамический формализм для гомеоморфизмов $T_{b}\in C^{2+\varepsilon}(S^{1}\setminus \{x_{b}\})$, $\varepsilon>0$, с одним изломом в точке $x_{b}$ и числом вращения, равным золотому сечению, т.е. $\rho _{T}:=\frac{\sqrt{5}-1}{2}$. Существенно используя построенный термодинамический формализм, мы изучили показатели сингулярности инвариантной меры $\mu_{T}$ гомеоморфизма $T$.

Let $T \in C^{2+ \varepsilon} (S^{1} \setminus \{x_{b} \})$, $\varepsilon> 0 $, be a circle homeomorphism with one break point $x_{b}$, at which $ T'(x) $ has a discontinuity of the first kind and both one-sided derivatives at the point $x_{b} $ are strictly positive. Assume that the rotation number $\rho_{T}$ is irrational and its decomposition into a continued fraction beginning from a certain place coincides with the golden mean, i.e., $\rho_{T}=[m_{1}, m_{2}, \ldots, m_{l}, \, m_{l + 1}, \ldots] $, $ m_{s} = 1$, $s> l> 0$. Since the rotation number is irrational, the map $ T $ is strictly ergodic, that is, possesses a unique probability invariant measure $\mu_{T}$. A.A. Dzhalilov and K.M. Khanin proved that the probability invariant measure $ \mu_{G} $ of any circle homeomorphism $ G \in C^{2+ \varepsilon} (S^{1} \setminus \{x_{b} \})$, $\varepsilon> 0$, with one break point $ x_{b} $ and the irrational rotation number $ \rho_{G} $ is singular with respect to the Lebesgue measure $ \lambda $ on the circle, i.e., there is a measurable subset of $ A \subset S^{1} $ such that $ \mu_ {G} (A) = 1 $ and $ \lambda (A) = 0$. We will construct a thermodynamic formalism for homeomorphisms $ T_{b} \in C^{2+ \varepsilon} (S^{1} \setminus \{x_{b} \})$, $\varepsilon> 0 $, with one break at the point $ x_{b} $ and rotation number equal to the golden mean, i.e., $ \rho_{T}:= \frac {\sqrt{5} -1}{2} $. Using the constructed thermodynamic formalism, we study the exponents of singularity of the invariant measure $ \mu_{T} $ of homeomorphism $ T $.

Пусть $T_{\rho}$ — иррациональный поворот на единичной окружности $S^{1}\simeq [0,1)$. Рассмотрим последовательность $\{\mathcal{P}_{n}\}$ возрастающих разбиений на $S^{1}$. Определим время попадания $N_{n}(\mathcal{P}_n;x,y):= \inf \{ j\geq 1\mid T^{j}_{\rho}(y) \in P_{n}(x)\}$, где $P_{n}(x)$ — элемент разбиения $\mathcal{P}_{n}$, содержащий точку $x$. Д. Ким и Б. Сео [9] доказали, что время попадания $K_n(\mathcal{Q}_n;x,y):= \frac{\log N_n(\mathcal{Q}_n;x,y)}{n}$ почти всюду (по мере Лебега) сходится к $\log2$, где последовательность разбиений $\{\mathcal{Q}_n\}$ порождена хаотическим отображением $f_{2}(x):=2x \bmod 1$. Хорошо известно, что отображение $f_{2}$ имеет положительную энтропию $\log2$. Возникает естественный вопрос о том, что если последовательность разбиений $\{\mathcal{P}_n\}$ порождена отображением с нулевой энтропией. В настоящей работе мы изучаем поведение $K_n(\tau_n;x,y)$ с последовательностью смешанных разбиений ${\tau_{n}}$ таких, что $\mathcal{Q}_{n}\cap [0,\frac{1}{2}]$ порождена отображением $f_{2}$, а $ \mathcal{D}_{n}\cap [\frac{1}{2},1]$ порождена иррациональным поворотом $T_{\rho}$. Доказано, что $K_n(\tau_n;x,y)$ почти всюду (по мере Лебега) сходится к кусочно-постоянной функции с двумя значениями. Также показано, что существуют некоторые иррациональные повороты, демонстрирующие различное поведение.

Let $T_{\rho}$ be an irrational rotation on a unit circle $S^{1}\simeq [0,1)$. Consider the sequence $\{\mathcal{P}_{n}\}$ of increasing partitions on $S^{1}$. Define the hitting times $N_{n}(\mathcal{P}_n;x,y):= \inf\{j\geq 1\mid T^{j}_{\rho}(y)\in P_{n}(x)\}$, where $P_{n}(x)$ is an element of $\mathcal{P}_{n}$ containing $x$. D. Kim and B. Seo in [9] proved that the rescaled hitting times $K_n(\mathcal{Q}_n;x,y):= \frac{\log N_n(\mathcal{Q}_n;x,y)}{n}$ a.e. (with respect to the Lebesgue measure) converge to $\log2$, where the sequence of partitions $\{\mathcal{Q}_n\}$ is associated with chaotic map $f_{2}(x):=2x \bmod 1$. The map $f_{2}(x)$ has positive entropy $\log2$. A natural question is what if the sequence of partitions $\{\mathcal{P}_n\}$ is associated with a map with zero entropy. In present work we study the behavior of $K_n(\tau_n;x,y)$ with the sequence of mixed partitions $\{\tau_{n}\}$ such that $ \mathcal{P}_{n}\cap [0,\frac{1}{2}]$ is associated with map $f_{2}$ and $\mathcal{D}_{n}\cap [\frac{1}{2},1]$ is associated with irrational rotation $T_{\rho}$. It is proved that $K_n(\tau_n;x,y)$ a.e. converges to a piecewise constant function with two values. Also, it is shown that there are some irrational rotations that exhibit different behavior.

Многие задачи управления движением и навигации, робототехники и компьютерной графики связаны с описанием вращения твердого тела в трехмерном пространстве. Для решения подобных задач дается конструктивное решение задачи о плавном перемещении твердого тела в пространстве ориентаций по кратчайшей траектории, проходящей через точки пространства, равномерно его заполняющие. Сферическому движению твердого тела ставится в соответствие движение точки по гиперсфере в четырехмерном пространстве по дугам большого радиуса, соединяющим вершины одного из правильных центросимметричных четырехмерных многогранников. Плавное движение обеспечивается выбором специальной нелинейной функции при интерполяции кватернионов, задающих положения вершин правильных многогранников. Для аналитического представления закона непрерывного движения используется оригинальное алгебраическое представление функции Хевисайда через линейную, квадратичную и иррациональную функции. Алгоритм плавного движения твердого тела через узлы однородной решетки на группе $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.