Search arXivSearch

arXiv · 2403.17439

On a classification of axiom A diffeomorphisms with codimension one basic sets and isolated saddles

Abstract

Let $M^n$, $n\geq 3$, be a closed orientable $n$-manifold and $\mathbb{D}_k(M^n;a,b,c)$ the set of axiom A diffeomorp\-hisms $f: M^n\to M^n$ satisfying the following conditions: (1) $f$ has $k\geq 1$ nontrivial basic sets each is either an orientable codimension one expanding attractor or an orientable codimension one contracting repeller, and other trivial basic sets which are $a$ sinks, $b$ sources, $c$ saddles; (2) the invariant manifolds of isolated saddles are intersected transversally. We classify the diffeomorphisms from $\mathbb{D}_k(M^n;a,b,c)$ up to the global conjugacy on non-wandering sets for the following subsets $\mathbb{S}_k(M^n;a,b,c), \mathbb{P}_k(M^n;0,0,1), \mathbb{M}_k(M^n;0,0,1)$ of $\mathbb{D}_k(M^n;a,b,c)$ where $\mathbb{S}_k(M^n;a,b,c)$ satisfies to the following conditions: ($1_{\mathbb{S}}$) every nontrivial basic set of any $f\in\mathbb{S}_k(M^n;a,b,c)$ is uniquely bunched, and there is at least one nontrivial attractor and at least one nontrivial repeller, i.e. $k\geq 2$; ($2_{\mathbb{S}}$) $c\geq 1$ and all isolated saddles have the same Morse index belonging to $\{1,n-1\}$. The subset $\mathbb{P}_k(M^n;0,0,1)\subset\mathbb{D}_k(M^n;0,0,1)$ satisfies to the following conditions: ($1_{\mathbb{P}}$) any boundary point of $f\in\mathbb{P}_k(M^n;0,0,1)$ is fixed; ($2_{\mathbb{P}}$) a unique isolated saddle has Morse index different from $\{1,n-1\}$. The subset $\mathbb{M}_k(M^n;0,0,1)\subset\mathbb{D}_k(M^n;0,0,1)$ satisfies to the following conditions: ($1_{\mathbb{M}}$) any boundary point of $f\in\mathbb{M}_k(M^n;0,0,1)$ is fixed; ($2_{\mathbb{M}}$) a unique isolated saddle has Morse index belonging to $\{1,n-1\}$. The classification is based on a description of topological structure of supporting manifolds $M^n$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

V. Medvedev, E. Zhuzhoma. 2024-03-26. On a classification of axiom A diffeomorphisms with codimension one basic sets and isolated saddles. https://arxiv.org/abs/2403.17439

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Equidistribution of saddle periodic points for Hénon-like maps

We prove that under a natural assumption on the dynamical degrees, the saddle periodic points of a Hénon-like map in any dimension equidistribute with respect to the equilibrium measure. Our work is a generalization of the results of Bedford-Lyubich-Smillie, Dujardin, and Dinh-Sibony along with improvements of their techniques. We also investigate some fine properties of Green currents associated with the map.

math.DS

On dissonance and orthogonal projections of self-conformal measures

Let $μ$ be a self-conformal measure on $\mathbb{R}^d$. We establish conditions for $μ$ under which $\dim(μ*ν) = \min\lbrace d,\dimμ+\dimν\rbrace$ holds when $ν$ is any Ahlfors-regular or self-conformal measure on $\mathbb{R}^d$. Our main result states the following sufficient condition: $μ$ is totally non-linear and not supported on a smooth hypersurface. We also establish sufficient (likely non-sharp) algebraic conditions for self-conformal measures which are not totally non-linear. In addition, we show that $\dim μ\circπ^{-1} = \min\{ k, \dim μ\}$ for every ortohogonal projection $π:\mathbb{R}^d\to\mathbb{R}^k$, $0<k<d$, when either $d=2$ and $μ$ is not self-similar and not supported on a line, or $d\geq 3$ and $μ$ is totally non-linear and not supported on a smooth hypersurface.

math.DS

Equation-Free Screening of Mittag-Leffler-Compatible Dynamics from Scalar Time Series via kNN Multi-Horizon Profiles

Fractional models provide a natural description of systems with memory, but a noninteger derivative should not be introduced solely because a time series is curved or slowly relaxing. We develop an equation-free preliminary screening framework that asks whether a scalar time series produces a multi-horizon k-nearest-neighbor (kNN) profile more compatible with Mittag-Leffler-type behavior than with selected conventional alternatives. In an ideal matched Caputo-relaxation benchmark, the complete generation-kNN-profile-model-comparison pipeline reproduces the expected Mittag-Leffler geometry and recovers the generating order to within approximately $10^{-3}$; this is interpreted as controlled calibration rather than as general fractional-order identification. Under 3% trajectory-specific observational noise, the held-out Mittag-Leffler preference is most consistent when the generating dynamics are well separated from the integer-order limit and becomes progressively less decisive as $α\rightarrow1$. The fitted order $α_{\mathrm{fit}}$, however, shows substantially larger realization-to-realization variability. Thus, relative model compatibility is more robust than single-realization order estimation in the present noisy benchmark. Noise-free nonfractional controls show a separate limitation of specificity: a stretched exponential can generate a strongly Mittag-Leffler-compatible profile, whereas inclusion of the generating rational/Hill family recovers that family and its parameters to numerical precision in the matched setting. A positive Mittag-Leffler-versus-exponential screen therefore does not uniquely establish fractional origin. A fractional chaotic system is treated only as an exploratory extension: the Mittag-Leffler growth family gives lower finite-window RMSE than exponential and logistic/saturating alternatives over the detected pre-transition interval.

math.DS