Characterizations of ω-Limit Sets of Topologically Hyperbolic Systems
University of Bristol（布里斯托大学）；University of Birmingham（伯明翰大学）；AGH University of Science and Technology（AGH科学技术大学）；Institute of Mathematics, Polish Academy of Sciences（波兰科学院数学研究所）；Baylor University（贝勒大学）
Andrew Barwell, Chris Good, Piotr Oprocha, Brian Raines
备注：
15 pages. Author's affiliation updated in second version; main text unchanged
发表信息：
Discrete & Continuous Dynamical Systems, 33(5) (2013), pp. 1819-1833
It is well known that ω-limit sets are internally chain transitive and have weak incompressibility; the converse is not generally true, in either case. However, it has been shown that a set is weakly incompressible if and only if it is an abstract ω-limit set, and separately that in shifts of finite type, a set is internally chain transitive if and only if it is a (regular) ω-limit set. In this paper we generalise these and other results, proving that the characterization for shifts of finite type holds in a variety of topologically hyperbolic systems (defined in terms of expansive and shadowing properties), and also show that the notions of internal chain transitivity and weak incompressibility coincide in compact metric spaces.
We present a topological proof of the existence of invariant manifolds for maps with normally hyperbolic-like properties. The proof is conducted in the phase space of the system. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. We provide conditions which imply the existence of the manifold within an investigated region of the phase space. The required assumptions are formulated in a way which allows for rigorous computer assisted verification. We apply our method to obtain an invariant manifold within an explic…
In this paper, we study transitive partially hyperbolic diffeomorphisms with one-dimensional topologically neutral center, meaning that the length of the iterate of small center segments remains small. Such systems are dynamically coherent. We show that there exists a continuous metric along the center foliation which is invariant under the dynamics. As an application, we classify the transitive partially hyperbolic diffeomorphisms on 3-manifolds with topologically neutral center.
Iteration of the function $f_λ(z)=λ+ z+\tan z, z \in \mathbb{C}$ is investigated in this article. It is proved that for every $λ$, the Fatou set of $f_λ$ has a completely invariant Baker domain $B$; we call it the primary Fatou component. The rest of the results deals with $f_λ$ when it is topologically hyperbolic. For all real $λ$ or $λ$ such that $ λ=πk +i λ_2$ for some integer $k$ and $0 < λ_2<1$, the only other Fatou component is shown to be another completely invariant Baker domain. It is proved that if $|2+λ^2|<1$, then the Fatou set is the union of $B$ and infinitely many invariant attr…
Consider a topologically exact $C^3$ interval map without non-flat critical points. Following the works we did in \cite{LiRiv12two}, we give two equivalent characterizations of hyperbolic Hölder continuous potential in terms of the Lyapunov exponents and the measure-theoretic entropies of equilibrium states for those potentials.
We consider both hyperbolic sets and partially hyperbolic sets attracting a set of points with positive volume in a Riemannian manifold. We obtain several results on the topological structure of such sets for diffeomorphisms whose differentiability is bigger than one. We show in particular that there are no partially hyperbolic horseshoes with positive volume for such diffeomorphisms. We also give a description of the limit set of almost every point belonging to a hyperbolic set or a partially hyperbolic set with positive volume.
Bautista and Morales proved the existence of periodic orbits in singular-hyperbolic attracting sets(*). In this paper, we extend their result to singular-hyperbolic Lyapunov stable sets. ((*)"Existence of periodic orbits for singular-hyperbolic sets", Moscow Mathematical Journal, 6 (2006), 265-297)
Julia and Mandelbrot sets, which characterize bounded orbits in dynamical systems over the complex numbers, are classic examples of fractal sets. We investigate the analogs of these sets for dynamical systems over the hyperbolic numbers. Hyperbolic numbers, which have the form $x+τy$ for $x,y \in \mathbb{R}$, and $τ^2 = 1$ but $τ\neq \pm 1$, are the natural number system in which to encode geometric properties of the Minkowski space $\mathbb{R}^{1,1}$. We show that the hyperbolic analog of the Mandelbrot set parameterizes connectedness of hyperbolic Julia sets. We give a wall-and-chamber decom…
We show that a residual set of non-degenerate IETs on more than 3 letters is topologically mixing. This shows that there exists a uniquely ergodic topologically mixing IET. This is then applied to show that some billiard flows in a fixed direction in an L-shaped polygon are topologically mixing.
Institute of Science Tokyo（东京科学大学）；Department of Mathematical and Computing Science, School of Computing, Institute of Science Tokyo（东京科学大学计算学院数学与计算机科学系）
We study partially hyperbolic sets of C1-diffeomorphisms. For these sets there are defined the strong stable and strong unstable laminations. A lamination is called dynamically minimal when the orbit of each leaf intersects the set densely. We prove that partially hyperbolic sets having a dynamically minimal lamination have empty interior. We also study the Lebesgue measure and the spectral decomposition of these sets. These results can be ap- plied to C1-generic/robustly transitive attractors with one-dimensional center bundle.
Let f be an infinitely-renormalizable quadratic polynomial and J_\infty be the intersection of forward orbits of "small" Julia sets of simple renormalizations of f. We prove that J_\infty contains no hyperbolic sets.
We show that if (X, f) is a locally connected Smale space such that the local product structure on X can be lifted by a covering with virtually nilpotent group of deck transformations to a global direct product, then (X, f) is topologically conjugate to a hyperbolic infra-nilmanifold automorphism. We use this result to give a generalization to Smale spaces of a theorem of M. Brin and A. Manning on Anosov diffeomorphisms with pinched spectrum, and to show that every locally connected codimension one Smale space is topologically conjugate to a hyperbolic automorphism of a torus.
We systematically investigate examples of non-hyperbolic dynamical systems having irregular sets of full topological entropy and full Hausdorff dimension. The examples include some partially hyperbolic systems and geometric Lorenz flows. We also pose interesting questions for future research.
Compact locally maximal hyperbolic sets are studied via geometrically defined functional spaces that take advantage of the smoothness of the map in a neighborhood of the hyperbolic set. This provides a self-contained theory that not only reproduces all the known classical results but gives also new insights on the statistical properties of these systems.
We obtain an upper bound for the number of attractors and repellers that can appear from small perturbations of a sectional hyperbolic set. This extends results from [Sectional-Anosov flows in higher dimensions] and [The explosion of singular-hyperbolic attractors].
We study small perturbations of a sectional hyperbolic set of a vector field on a compact manifold. Indeed, we obtain robustly finiteness of homoclinic classes on this scenary. Moreover, since attractor and repeller sets are particular cases of homoclinic classes, this result improve (A. M. López B, Finiteness and existence of attractors and repellers on sectional hyperbolic sets, Discrete and Continuous Dynamical Systems-A 37).
We prove that every singular hyperbolic chain transitive set with a singularity does not admit the shadowing property. Using this result we show that if a star flow has the shadowing property on its chain recurrent set then it satisfies Axiom A and the no-cycle conditions; and that if a multisingular hyperbolic set has the shadowing property then it is hyperbolic.
We obtain a characterization of two classes of dynamics with nonuniformly hyperbolic behavior in terms of an admissibility property. Namely, we consider exponential dichotomies with respect to a sequence of norms and nonuniformly hyperbolic sets. We note that the approach to establishing exponential bounds along the stable and the unstable directions differs from the standard technique of substituting test sequences. Moreover, we obtain the bounds in a single step.
The aim of this work is to study a kind of refinement of the entropy conjecture, in the context of partially hyperbolic diffeomorphisms with one dimensional central direction, of d-dimensional torus. We start by establishing a connection between the unstable index of hyperbolic sets and the index at algebraic level. Two examples are given which might shed light on which are the good questions in the higher dimensional center case.
We establish two results under which the topology of a hyperbolic set constrains ambient dynamics. First if a set is a compact, transitive, expanding hyperbolic attractor of codimension 1 for some diffeomorphism, then it is a union of transitive, expanding attractors (or contracting repellers) of codimension 1 for any diffeomorphism such that it is hyperbolic. Secondly, if a set is a nonwandering, locally maximal, compact hyperbolic set for a surface diffeomorphism, then it is locally maximal for any diffeomorphism for which it is hyperbolic.
For a right-invariant control system on a flag manifold $\mathbb{F}_Θ$ of a real semisimple Lie group, we relate the $\mathfrak{a}$-Lyapunov exponents to the Lyapunov exponents of the system over regular points. Moreover, we adapt the concept of partial hyperbolicity from the theory of smooth dynamical systems to control-affine systems, and we completely characterize the partially hyperbolic chain control sets on $\mathbb{F}_Θ$.
If a $C^{1 + a}$, $a >0$, volume-preserving diffeomorphism on a compact manifold has a hyperbolic invariant set with positive volume, then the map is Anosov. We also give a direct proof of ergodicity of volume-preserving $CC^{1+a}$, $a>0$, Anosov diffeomorphism without the usual Hopf argument.
Given a locally maximal compact invariant hyperbolic set $Λ$ for a $C^1$ flow or diffeomorphism on a Riemann manifold with $C^1$ unstable laminations, we construct an invariant continuous bundle of tangent vectors to local unstable manifolds that locally approximates $Λ$ in a certain way.
We show that for generic homeomorphisms homotopic to the identity in a closed and oriented surface of genus $g>1$, the rotation set is given by a union of at most $2^{5g-3}$ convex sets. Examples showing the sharpness for this asymptotic order are provided.
This paper introduces the concept of average conformal hyperbolic sets, which admit only one positive and one negative Lyapunov exponents for any ergodic measure. For an average conformal hyperbolic set of a C1 diffeomorphism, utilizing the techniques in sub-additive thermodynamics formalism and some geometric arguments with unstable/stable manifolds, a formula of the Hausdorff dimension and lower (upper) box dimension is given in this paper, which are exactly the sum of the dimensions of the restriction of the hyperbolic set to a stable and unstable manifolds. Furthermore, the dimensions of a…
In hyperbolic dynamics, a well-known result is: every hyperbolic Lyapunov stable set, is attracting; it's natural to wonder if this result is maintained in the sectional-hyperbolic dynamics. This question is still open, although some partial results have been presented. We will prove that all sectional-hyperbolic transitive Lyapunov stable set of codimension one of a vector field X over a compact manifold, with unique singularity Lorenz-like, which is of boundary-type, is an attractor of X.
We study the omega-limit sets $ω_X(x)$ in an isolating block $U$ of a singular-hyperbolic attractor for three-dimensional vector fields $X$. We prove that for every vector field $Y$ close to $X$ the set $ \{x\in U:ω_Y(x)$ contains a singularity$\}$ is {\em residual} in $U$. This is used to prove the persistence of singular-hyperbolic attractors with only one singularity as chain-transitive Lyapunov stable sets. These results generalize well known properties of the geometric Lorenz attractor \cite{gw} and the example in \cite{mpu}.
The Hausdorff dimension of a conformal repeller or conformal hyperbolic set is well understood. For non-conformal maps, the Hausdorff dimension is only known in some special cases. Ban, Cao and Hu defined the concept of an average conformal repeller which generalises conformal, quasi-conformal and weakly conformal repellers, and they found an equation for the Hausdorff dimension for an average conformal repeller. In this paper we generalise this concept to average conformal hyperbolic sets, and obtain a similar equation for the Hausdorff dimension.
We present a moduli space for all hyperbolic basic sets of diffeomorphisms on surfaces that have an invariant measure that is absolutely continuous with respect to Hausdorff measure. To do this we introduce two new invariants: the measure solenoid function and the cocycle-gap pair. We extend the eigenvalue formula of A. N. Livsic and Ja. G. Sinai for Anosov diffeomorphisms which preserve an absolutely continuous measure to hyperbolic basic sets on surfaces which possess an invariant measure absolutely continuous with respect to Hausdorff measure. We characterise the Lipschitz conjugacy classes…
We prove that for any closed manifold of dimension 3 or greater that there is an open set of smooth flows that have a hyperbolic set that is not contained in a locally maximal one. Additionally, we show that the stabilization of the shadowing closure of a hyperbolic set is an intrinsic property for premaximality. Lastly,we review some results due to Anosov that concern premaximality.
We prove that for meromorphic maps with logarithmic tracts (e.g. entire or meromorphic maps with a finite number of poles from class $\mathcal B$), the Julia set contains a compact invariant hyperbolic Cantor set of Hausdorff dimension greater than 1. Hence, the hyperbolic dimension of the Julia set is greater than 1.
We analyse the intersection of positively and negatively sectional-hyperbolic sets for flows on compact manifolds. First we prove that such an intersection is hyperbolic if the intersecting sets are both transitive (this is false without such a hypothesis). Next we prove that, in general, such an intersection consists of a nonsingular hyperbolic set, finitely many singularities and regular orbits joining them. Afterward we exhibit a three-dimensional star flow with two homoclinic classes, one being positively (but not negatively) sectional-hyperbolic and the other negatively (but not positivel…
In this note we derive an upper bound for the Hausdorff dimension of the stable set of a hyperbolic set $Λ$ of a $C^2$ diffeomorphisms on a $n$-dimensional manifold. As a consequence we obtain that $\dim_H W^s(Λ)=n$ is equivalent to the existence of a SRB-measure. We also discuss related results in the case of expanding maps.
Singular and sectional hyperbolic sets are the objects of the extension of the classical Smale Hyperbolic Theory to flows having invariant sets with singularities accumulated by regular orbits within the set. It is by now well-known that (partially) hyperbolic sets admit adapted metrics. We show the existence of singular adapted metrics for any singular hyperbolic set with respect to a $C^{1}$ vector field on finite dimensional compact manifolds. Moreover, we obtain 2-sectional adapted metrics for certain open classes of 2-sectional hyperbolic sets and also for any hyperbolic set.
In this paper, we study hyperbolic rational maps with finitely connected Fatou sets. We construct models of post-critically finite hyperbolic tree mapping schemes for such maps, generalizing post-critically finite rational maps in the case of connected Julia set. We show they are general limits of rational maps as we quasiconformally stretch the dynamics. Conversely, we use quasiconformal surgery to show any post-critically finite hyperbolic tree mapping scheme arises as such a limit. We construct abundant examples thanks to the flexibilities of the models, and use them to construct a sequence…
Homoclinic tangencies and singular hyperbolicity are involved in the Palis conjecture for vector fields. Typical three dimensional vector fields are well understood by recent works. We study the dynamics of higher dimensional vector fields that are away from homoclinic tangencies. More precisely, we prove that for \emph{any} dimensional vector field that is away from homoclinic tangencies, all singularities contained in its robustly transitive singular set are all hyperbolic and have the same index. Moreover, the robustly transitive set is {$C^1$-generically }partially hyperbolic if the vector…
An attractor $Λ$ for a 3-vector field $X$ is singular-hyperbolic if all its singularities are hyperbolic and it is partially hyperbolic with volume expanding central direction. We prove that $C^{1+α}$ singular-hyperbolic attractors, for some $α>0$, always have zero volume, thus extending an analogous result for uniformly hyperbolic attractors. The same result holds for a class of higher dimensional singular attractors. Moreover, we prove that if $Λ$ is a singular-hyperbolic attractor for $X$ then either it has zero volume or $X$ is an Anosov flow. We also present examples of $C^1$ singular-hyp…
We give sufficient conditions for the uniform hyperbolicity of certain nonuniformly hyperbolic dynamical systems. In particular, we show that local diffeomorphisms that are nonuniformly expanding on sets of total probability are necessarily uniformly expanding. We also present a version of this result for diffeomorphisms with nonuniformly hyperbolic sets.
In this paper we study two properties related to the structure of hyperbolic sets. First we construct new examples answering in the negative the following question posed by Katok and Hasselblatt. Let $Λ$ be a hyperbolic set, and let $V$ be an open neighborhood of $Λ$. Does there exist a locally maximal hyperbolic set $\widetildeΛ$ such that $Λ\subset \widetildeΛ \subset V $? We show that such examples are present in linear anosov diffeomorophisms of $\mathbb{T}^3$, and are therefore robust. Also we construct new examples of sets that are not contained in any locally maximal hyperbolic set. The…
We show that a sectional-hyperbolic attracting set for a Hölder-$C^1$ vector field admits finitely many physical/SRB measures whose ergodic basins cover Lebesgue almost all points of the basin of topological attraction. In addition, these physical measures depend continuously on the flow in the $C^1$ topology, that is, sectional-hyperbolic attracting sets are statistically stable. To prove these results we show that each central-unstable disk in a neighborhood of this class of attracting sets is eventually expanded to contain a ball whose inner radius is uniformly bounded away from zero.
We show that the stable and unstable sets of non-uniformly hyperbolic horseshoes arising in some heteroclinic bifurcations of surface diffeomorphisms have the value conjectured in a previous work by the second and third authors of the present paper. Our results apply to first heteroclinic bifurcations associated to horseshoes with Hausdorff dimension $<22/21$ of conservative surface diffeomorphisms.
A {\em singular hyperbolic set} is a partially hyperbolic set with singularities (all hyperbolic) and volume expanding central direction \cite{MPP1}. We study connected, singular-hyperbolic, attracting sets with dense closed orbits {\em and only one singularity}. These sets are shown to be transitive for most $C^r$ flows in the Baire's second category sence. In general these sets are shown to be either transitive or the union of two homoclinic classes. In the later case we prove the existence of finitely many homoclinic classes. Our results generalize for singular-hyperbolic systems a well kno…
For a surface diffeomorphism, a compact invariant locally maximal set $W$ and some subset $A\subset W$ we study the $A$-exceptional set, that is, the set of points whose orbits do not accumulate at $A$. We show that if the Hausdorff dimension of $A$ is smaller than the Hausdorff dimension $d$ of some ergodic hyperbolic measure, then the topological entropy of the exceptional set is at least the entropy of this measure and its Hausdorff dimension is at least $d$. Particular consequences occur when there is some a priori defined hyperbolic structure on $W$ and, for example, if there exists an SR…
Let $f\colon M\to M$ be an expansive homeomorphism with dense topologically hyperbolic periodic points, $M$ a compact manifold. Then there is a local product structure in an open and dense subset of $M$. Moreover, if some topologically hyperbolic periodic point has codimension one, then this local product structure is uniform. In particular, we conclude that the homeomorphism is conjugated to a linear Anosov diffeomorphism of a torus.
We construct a family of partially hyperbolic skew-product diffeomorphisms on $\mathbb{T}^3$ that are robustly transitive and admitting two physical measures with intermingled basins. In particularly, all these diffeomorphisms are not topologically mixing. Moreover, for every such example, it exhibits a dichotomy under perturbation: every perturbation of such example either has a unique physical measure and is robustly topologically mixing, or has two physical measures with intermingled basins.
