RUS  ENG
Full version
JOURNALS // Taurida Journal of Computer Science Theory and Mathematics // Archive

Taurida Journal of Computer Science Theory and Mathematics, 2018 Issue 3, Pages 82–92 (Mi tvim53)

About new invariants of kupka-smale diffeomorphisms on the sphere without sources and sinks

A. I. Morozov, O. V. Pochinka

National Research University "Higher School of Economics", Nizhny Novgorod Branch

Abstract: We know a lot of cases, when topological entropy of continious map determine by structure of periodic orbits. The classical result in this field is the Sharkovskiy ordering. Sharkovskiy [6] enter mapping, that turn manifold of natural numbers in to ordered set as follows:
\begin{gather*} 3\prec{5}\prec{7}\prec{9}\prec{11}\prec...\prec{2\cdot{3}}\prec{2\cdot{5}}\prec...\prec{2^{2}\cdot{3}}\prec{2^{2}\cdot{5}}\prec\dots\\ \prec{2^{3}}\prec{2^{2}}\prec{2}\prec{1.} \end{gather*}
It is valid for continuous interval maps. The existence of a periodic orbit of period three implies the existence of periodic points of any period and topological entropy is positive. We have different situation for orientation-preserving homeomorphism functioning on twodimensional disk $\mathbb{D}^2$: the rotation of the disk have topological entropy zero, but such mapping can have point of any period. In J. M. Gambaudo, S. Van Streen and C. Tresser work [1] they determine hereditable rotation compatible of periodic orbit and proven, that any periodic orbit of orientation-preserving homeomorphism $f$ on $\mathbb{D}^2$ with topological entropy zero are hereditable rotation compatible. Moreover, if $f$ have the smoothness class $C^{1+\epsilon}$, than the condition on periodic orbit are necessary and sufficient to conclude that topological entropy of $f$ equal zero.
It means, that any diffeomorphism with topological entropy zero on the disk have very simple structure of periodic orbits. Around fixed point located periodic orbit of some period, wich is turning around fixed point and then, around every point of periodic orbit turning another periodic orbit. According that, depending on your choice superstructure, appropriate periodic orbit superstructures flow regular have (fig. 1) engagement. Thus, irregular engagement of orbit will be a $C^1$ - barrier.
Cascade periodic orbits of orientation-preserving map on disk can be matched with signature, consisting of a sequence $l_{n},n>0$ rational numbers, that every $l_{n}$ discribe, how orbits of period $q_{n+1}$ associated with orbits of period $q_{n}$. Moreover, with any sequence of signature and periods we can build orientation-preserving homeomorphism of twodimensional disk with specified signature of cascade periodic orbits. However, exist topological barrier for realisation this cascade with orientation-preserving diffeomorphism of twodimensional disk. Thus, in J. M. Gambaudo, D. Sullivan, C. Tresser [3] work we can see, that sequence $\lambda_{n} = \frac{l_{n}}{q_{n}}$ is converge for $C^{1}$-map. Limit of this sequence call asymptotic number of rotation.
Classic cascade period dubling on disk have sequence $\lambda_{n} = \frac{(-1)^n}{2^n}$ and realize by infinitely smooth diffeomorphism [3]. In R. Bowen and J. Franks works ([4] and [5]) built diffeomorfisms, realize sequence $\lambda_{n} = \frac{1}{2^{n}}$ in smoothness class $C^1$ and $C^2$ respectively. Also in work [4] there is a hypothesis about unachievable sequence $\lambda_{n} = \frac{1}{2^{n}}$ for map in smoothness class more than two.
In this work we introduce another invariant, that distinguish diffeomorphisms, wich built using different sequence of signature. We build diffeomorphisms $f_{+},f_{-}:\mathbb{S}^{2}\rightarrow{\mathbb{S}^{2}} $, which are double applied period doubling bifurcation to diffeomorphism source-sink with turning in one direction at $f_{+}$ and turning in different directions at $f_{-}$. Rsultant diffeomorphisms have only one sink point $\omega_{+},\omega_{-}$, one sourse orbit $\mathcal O_{\alpha_+},\mathcal O_{\alpha_-}$ and two saddle orbit $\mathcal O_{\sigma^1_+}, \mathcal O_{\sigma^2_+},\mathcal O_{\sigma^1_-}, \mathcal O_{\sigma^2_-}$ respectively. Then we consider orbit spaces of the sink basin
$$\hat V_{+}=(W^s_{\omega_+}\setminus\omega_+)/f_+,\,\hat V_{-}=(W^s_{\omega_-}\setminus\omega_-)/f_-$$
and natural projection
$$p_+:W^s_{\omega_+}\setminus\omega_+\to\hat V_+,\, p_-:W^s_{\omega_-}\setminus\omega_-\to\hat V_-.$$
Since saddle points are hyperbolic, them orbits have invariant neighbourhoods $U^1_+,U^2_+,U^1_-,U^2_-$. Let

$$\hat U^1_+=p_+(U^1_+),\,\hat U^2_+=p_+(U^2_+),\,\hat U^1_-=p_-(U^1_-),\,\hat U^1_-=p_-(U^1_-).$$

Threes
$$S_+=(\hat V_+,\hat U^1_+,\hat U^2_+),\,S_-=(\hat V_-,\hat U^1_-,\hat U^2_-)$$
we call scheme of diffeomorphisms $f_{+},f_{-}$, respectively.

The main result of this paper is the theorem below.
Theorem. Scheme $S_{+},S_{-}$ are not equivalent, that is not exist homeomorphism $\varphi:\hat V_+\to\hat V_-$, such that $\varphi(\hat U^1_+)=\hat U^1_-,\,\varphi(\hat U^2_+)=\hat U^2_-.$

Keywords: Kupka-Smale diffeomorphism, cascade of periodic orbits, unstable manifold, stable manifold, orientation-preserving diffeomorphism, topological entropy.

UDC: 517.9

MSC: 37C05



© Steklov Math. Inst. of RAS, 2024