We prove here that in the complement of the closure of the hyperbolic surface diffeomorphisms, the ones exhibiting a homoclinic tangency are C^1 dense. This represents a step towards the global understanding of dynamics of surface diffeomorphisms.
We show that any diffeomorphism of a compact manifold can be C1 approximated by diffeomorphisms exhibiting a homoclinic tangency or by diffeomorphisms having a partial hyperbolic structure.
We consider $C^r$ ($r\geqslant 1$) diffeomorphisms $f$ defined on manifolds of dimension $\geqslant 3$ with homoclinic tangencies associated to saddles. Under generic properties, we show that if the saddle is homoclinically related to a blender then the diffeomorphism $f$ can be {$C^r$} approximated by diffeomorphisms with {$C^1$} robust heterodimensional cycles. As an application, we show that the classic Simon-Asaoka's examples of diffeomorphisms with $C^1$ robust homoclinic tangencies also display {$C^1$} robust heterodimensional cycles. In a second application, we consider homoclinic tange…
We study bifurcations of non-orientable area-preserving maps with quadratic homoclinic tangencies. We study the case when the maps are given on non-orientable two-dimensional surfaces. We consider one and two parameter general unfoldings and establish results related to the emergence of elliptic periodic orbits.
We study bifurcations of cubic homoclinic tangencies in two-dimensional symplectic maps. We distinguish two types of cubic homoclinic tangencies, and each type gives different first return maps derived to diverse conservative cubic Hénon maps with quite different bifurcation diagrams. In this way, we establish the structure of bifurcations of periodic orbits in two parameter general unfoldings generalizing to the conservative case the results previously obtained for the dissipative case. We also consider the problem of 1:4 resonance for the conservative cubic Hénon maps.
A diffeomorphism $f$ has a $C^1$-robust homoclinic tangency if there is a $C^1$-neighbourhood $\cU$ of $f$ such that every diffeomorphism in $g\in \cU$ has a hyperbolic set $\La_g$, depending continuously on $g$, such that the stable and unstable manifolds of $\La_g$ have some non-transverse intersection. For every manifold of dimension greater than or equal to three, we exhibit a local mechanism (blender-horseshoes) generating diffeomorphisms with $C^1$-robust homoclinic tangencies. Using blender-horseshoes, we prove that homoclinic classes of $C^1$-generic diffeomorphisms containing saddles …
We study bifurcations of area-preserving maps, both orientable (symplectic) and non-orientable, with quadratic homoclinic tangencies. We consider one and two parameter general unfoldings and establish results related to the appearance of elliptic periodic orbits. In particular, we find conditions for such maps to have infinitely many generic (KAM-stable) elliptic periodic orbits of all successive periods starting at some number.
We study dynamics and bifurcations of 2-dimensional reversible maps having a symmetric saddle fixed point with an asymmetric pair of nontransversal homoclinic orbits (a symmetric nontransversal homoclinic figure-8). We consider one-parameter families of reversible maps unfolding the initial homoclinic tangency and prove the existence of infinitely many sequences (cascades) of bifurcations related to the birth of asymptotically stable, unstable and elliptic periodic orbits.
In this paper, we show that the Hénon map $φ_{a,b}$ has a generically unfolding cubic tangency for some $(a,b)$ arbitrarily close to $(-2,0)$ by applying results of Gonchenko-Shilnikov-Turaev [12]-[16]. Combining this fact with theorems in Kiriki-Soma [20], one can observe the new phenomena in the Hénon family, appearance of persistent antimonotonic tangencies and cubic polynomial-like strange attractors.
In this note we show that for any Hamiltonian defined on a symplectic 4-manifold M and any point p in M, there exists a C2-close Hamiltonian whose regular energy surface through p is either Anosov or it contains a homoclinic tangency. Our result is based on a general construction of Hamiltonian suspensions for given symplectomorphisms on Poincaré sections already known to yield similar properties.
We study generic two- and three-parameter unfoldings of a pair of orbits of quadratic homoclinic tangency in strongly dissipative systems. We prove that the corresponding stability windows for periodic orbits have various universal forms: the so-called "shrimps" (cross-road areas), as well as spring and saddle areas, and (in three-parameter unfoldings) "pregnant shrimps" (specific types of transitions between the shrimps and spring or saddle areas).
We prove that every $C^1$ generic three-dimensional flow has either infinitely many sinks, or, infinitely many hyperbolic or singular-hyperbolic attractors whose basins form a full Lebesgue measure set. We also prove in the orientable case that the set of accumulation points of the sinks of a $C^1$ generic three-dimensional flow has no dominated splitting with respect to the linear Poincaré flow. As a corollary we obtain that every three-dimensional flow can be $C^1$ approximated by flows with homoclinic tangencies or by singular-Axiom A flows.
It was established in 2006 that bifurcations of three-dimensional diffeomorphisms with a homoclinic tangency to a saddle-focus fixed point with the Jacobian equal to 1 can lead to Lorenz-like strange attractors. In the present paper we prove an analogous result for three-dimensional diffeomorphisms with a homoclinic tangency to a saddle fixed point with the Jacobian equal to 1, provided the quadratic homoclinic tangency under consideration is non-simple.
We study bifurcations of periodic orbits in three parameter general unfoldings of certain types quadratic homoclinic tangencies to saddle fixed points. We apply the rescaling technique to first return (Poincaré) maps and show that the rescaled maps can be brought to a map asymptotically close to the 3D Henon map $\bar x=y,\bar y=z,\bar z = M_1 + M_2 y + B x - z^2$ which, as known, exhibits wild hyperbolic Lorenz-like attractors in some open domains of the parameters. Based on this, we prove the existence of infinite cascades of Lorenz-like attractors.
We prove that any vector field on a three-dimensional compact manifold can be approximated in the C1-topology by one which is singular hyperbolic or by one which exhibits a homoclinic tangency associated to a regular hyperbolic periodic orbit. This answers a conjecture by Palis. During the proof we obtain several other results with independent interest: a compactification of the rescaled sectional Poincaré flow and a generalization of Mañé-Pujals-Sambarino theorem for three-dimensional C2 vector fields with singularities.
In this paper, we study a two-parameter family of two-dimensional diffeomorphisms such that it has a cubic homoclinic tangency unfolding generically which is associated with a dissipative saddle point. Our first theorem presents an open set in the parameter-plane such that, for any parameter value in the open set, there exists a one-parameter subfamily through this value exhibiting cubically related persistent contact-making and contact-breaking quadratic tangencies. Moreover, the second theorem shows that any such two-parameter family satisfies Wang-Young's conditions which guarantee that it …
Robust heterodimensional cycles in two-parameter unfolding of homoclinic tangencies
Shanghai Center for Mathematical Sciences, Fudan University(复旦大学上海数学中心);School of Mathematics and Statistics, Huazhong University of Science and Technology(华中科技大学数学与统计学院);Graduate School of Business Administration, Hitotsubashi University(一桥大学经营研究科研究生院);Department of Mathematics, Imperial College London(帝国理工学院数学系)
We show that there exists a polynomial automorphism $f$ of $\mathbb{C}^{3}$ of degree 2 such that for every automorphism $g$ sufficiently close to $f$, $g$ admits a tangency between the stable and unstable laminations of some hyperbolic set. As a consequence, for each $d \ge 2$, there exists an open set of polynomial automorphisms of degree at most $d$ in which the automorphisms having infinitely many sinks are dense. To prove these results, we give a complex analogous to the notion of blender introduced by Bonatti and Diaz.
Adding small random parametric noise to an arc of diffeomophisms of a manifold of dimension 3, generically unfolding a codimension one quadratic homoclinic tangency q associated to a sectionally dissipative saddle fixed point p, we obtain not more than a finite number of physical probability measures, whose ergodic basins cover the orbits which are recurrent to a neighborhood of the tangency point $q$. This result is in contrast to the extension of Newhouse's phenomenon of coexistence of infinitely many sinks obtained by Palis and Viana in this setting. There is a similar result for the simple…
We construct open sets of degenerate unfoldings of heterodimensional cycles of any co-index $c>0$ and homoclinic tangencies of arbitrary codimension $c>0$. These sets are known to be the support of unexpected phenomena in families of diffeomorphisms, such as the Kolmogorov typical co-existence of infinitely many attractors. As a prerequisite we also construct robust homoclinic tangencies of large codimension which cannot be inside a strong partially hyperbolic set.
We consider a homoclinic orbit to a saddle fixed point of an arbitrary $C^\infty$ map $f$ on $\mathbb{R}^2$ and study the phenomenon that $f$ has an infinite family of asymptotically stable, single-round periodic solutions. From classical theory, this requires $f$ to have a homoclinic tangency. We show it also necessary for $f$ to satisfy a `global resonance' condition and for the eigenvalues associated with the fixed point, $λ$ and $σ$, to satisfy $|λσ| = 1$. The phenomenon is codimension-three in the case $λσ= -1$, but codimension-four in the case $λσ= 1$ because here the coefficients of the…
We construct partially hyperbolic diffeomorphisms having semi-local robustly transitive sets with $C^1$-robust cycles of any co-index. These constructions also provide a new method to create $C^2$-robust homoclinic, equidimensional and heterodimensional tangencies of large codimension in dimension $d\geq 4$. The method to generate robust homoclinic and equidimensional tangencies also works in the symplectic setting. Thus, these are mechanisms for the robust non-hyperbolicity of symplectomorphisms in higher dimension.
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…
We consider three-dimensional diffeomorphisms having simultaneously heterodimensional cycles and heterodimensional tangencies associated to saddle-foci. These cycles lead to a completely nondominated bifurcation setting. For every $r\geqslant 2$, we exhibit a class of such diffeomorphisms whose heterodimensional cycles can be $C^r$ stabilised and (simultaneously) approximated by diffeomorphisms with $C^r$ robust homoclinic tangencies. The complexity of our nondominated setting with plenty of homoclinic and heteroclinic intersections is used to overcome the difficulty of performing $C^r$ pertur…
Global resonance is a mechanism by which a homoclinic tangency of a smooth map can have infinitely many asymptotically stable, single-round periodic solutions. To understand the bifurcation structure one would expect to see near such a tangency, in this paper we study one-parameter perturbations of typical globally resonant homoclinic tangencies. We assume the tangencies are formed by the stable and unstable manifolds of saddle fixed points of two-dimensional maps. We show the perturbations display two infinite sequences of bifurcations, one saddle-node the other period-doubling, between which…
We prove that any diffeomorphism of a compact manifold can be approximated in topology C1 by another diffeomorphism exhibiting a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by one which is essentially hyperbolic (it has a finite number of transitive hyperbolic attractors with open and dense basin of attraction).
In this paper, we study conjugacy invariants for 2-dimensional diffeomorphisms with homoclinic cubic tangencies (two-sided tangencies of the lowest order) under certain open conditions. Ordinary arguments used in past studies of conjugacy invariants associated with one-sided tangencies do not work in the two-sided case. We present a new method which is applicable to the two-sided case.
We prove that any diffeomorphism of a compact manifold can be C^1-approximated by a diffeomorphism which exhibits a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by a diffeomorphism which is partially hyperbolic (its chain-recurrent set splits into partially hyperbolic pieces whose centre bundles have dimensions less or equal to two). We also study in a more systematic way the central models introduced in arXiv:math/0605387.
We prove that, for $C^1$-generic diffeomorphisms, if a homoclinic class is not hyperbolic, then there is a non-hyperbolic ergodic measure supported on it. This proves a conjecture by Díaz and Gorodetski [28]. We also discuss the conjectured existence of periodic points with different stable dimension in the class.
We prove that every C1 diffeomorphism away from homoclinic tangencies is entropy expansive, with locally uniform expansivity constant. Consequently, such diffeomorphisms satisfy Shub's entropy conjecture: the entropy is bounded from below by the spectral radius in homology. Moreover, they admit principal symbolic extensions, and the topological entropy and metrical entropy vary continuously with the map. In contrast, generic diffeomorphisms with persistent tangencies are not entropy expansive and have no symbolic extensions.
Let $f: M \to M$ be a diffeomorphism defined on a compact boundaryless $d$-dimensional manifold $M$, $d\geq 2$. C. Morales has proposed the notion of measure expansiveness. In this note we show that diffeomorphisms in a residual subset far from homoclinic tangencies are measure expansive. We also show that surface diffeomorphisms presenting homoclinic tangencies can be $C^1$-approximated by non-measure expansive diffeomorphisms.
We consider complex Henon maps which are quasi-hyperbolic. We show that a quasi-hyperbolic map is uniformly hyperbolic if and only if there are no tangencies between stable and unstable manifolds.
We present here the first part of a program for a classification of the generic dynamics close to homoclinic and heteroclinic points, in the $C^r$ topologies, $r\geq 1$. This paper only contains announcements and a few sketches of proofs; a forthcoming series of papers will present the proofs in details. The two prototypical examples of non-hyperbolic dynamics are homoclinic tangencies and heterodimensional cycles. Palis conjectured that they actually characterize densely non-hyperbolic dynamics. It is therefore important to understand what happens close to those bifurcations. We generalize cl…
We prove that, for $C^1$-generic diffeomorphisms, if the periodic orbits contained in a homoclinic class $H(p)$ have all their Lyapunov exponents bounded away from 0, then $H(p)$ must be (uniformly) hyperbolic. This is in sprit of the works of the stability conjecture, but with a significant difference that the homoclinic class $H(p)$ is not known isolated in advance, hence the "weak" periodic orbits created by perturbations near the homoclinic class have to be guaranteed strictly inside the homoclinic class. In this sense the problem is of an "intrinsic" nature, and the classical proof of the…
Works of Liao, Mañé, Franks, Aoki and Hayashi characterized lack of hyperbolicity for diffeomorphisms by the existence of weak periodic orbits. In this note we announce a result which can be seen as a local version of these works: for C$^1$-generic diffeomorphism, a homoclinic class either is hyperbolic or contains a sequence of periodic orbits that have a Lyapunov exponent arbitrarily close to 0. Des travaux de Liao, Mañé, Franks, Aoki et Hayashi ont caractérisé le manque d'hyperbolicité des difféomorphismes par l'existence d'orbites périodiques faibles. Dans cette note, nous annonçons un rés…
In this paper we study structurally stable homoclinic classes. In a natural way, the structural stability for an individual homoclinic class is defined through the continuation of periodic points. Since the homoclinic classes is not innately locally maximal, it is hard to answer whether structurally stable homoclinic classes are hyperbolic. In this article, we make some progress on this question. We prove that if a homoclinic class is structurally stable, then it admits a dominated splitting. Moreover we prove that codimension one structurally stable classes are hyperbolic. Also, if the diffeo…
The attractors of a dynamical system govern its typical long-term behaviour. The presence of many attractors is significant as it means the behaviour is heavily dependent on the initial conditions. To understand how large numbers of attractors can coexist, in this thesis we study the occurrence of infinitely many stable single-round periodic solutions associated with homoclinic connections in two-dimensional maps. We show this phenomenon has a relatively high codimension requiring a homoclinic tangency and `global resonance', as has been described previously in the area-preserving setting. How…
In this paper, we explore the three-dimensional chaotic set near a homoclinic cycle to a hyperbolic bifocus at which the vector field has negative divergence. If the invariant manifolds of the bifocus satisfy a non-degeneracy condition, a sequence of hyperbolic suspended horseshoes arises near the cycle, with one expanding and two contracting directions. We extend previous results on the field and we show that the first return map to a given cross section may be approximated by a map exhibiting heteroclinic tangencies associated to two periodic orbits. When the cycle is broken, under an additi…
In this paper, we show that for several interesting systems beyond uniform hyperbolicity, any generic continuous function has a unique maximizing measure with zero entropy. In some cases, we also know that the maximizing measure has full support. These interesting systems including singular hyperbolic attractors, $C^\infty$ surface diffeomorphisms and diffeomorphisms away from homoclinic tangencies.
We study the hyperbolicity of a class of horseshoes exhibiting an internal tangency, i.e. a point of homoclinic tangency accumulated by periodic points. In particular these systems are strictly not uniformly hyperbolic. However we show that all the Lyapunov exponents of all invariant measures are uniformly bounded away from 0. This is the first known example of this kind.
We prove that the $C^3$ diffeomorphisms on surfaces, exhibiting infinitely many sinksnear the generic unfolding of a quadratic homoclinic tangency of a dissipative saddle, can be perturbed along an infinite dimensional manifold of $C^3$ diffeomorphisms such that infinitely many sinks persist simultaneously. On the other hand, if they are perturbed along one-parameter families that unfold generically the quadratic tangencies, then at most a finite number of those sinks have continuation.
In this paper, we study heterodimensional cycles of two-parameter families of 3-dimensional diffeomorphisms some element of which contains nondegenerate heterodimensional tangencies of the stable and unstable manifolds of two saddle points with different indexes, and prove that such diffeomorphisms can be well approximated by another element which has a quadratic homoclinic tangency associated to one of these saddle points. Moreover, it is shown that the tangency unfolds generically with respect to the family. This result together with some theorem in Viana, we detect strange attractors appear…
We obtain some properties of $C^1$ generic surface diffeomorphisms as finiteness of {\em non-trivial} attractors, approximation by diffeomorphisms with only a finite number of {\em hyperbolic} homoclinic classes, equivalence between essential hyperbolicity and the hyperbolicity of all {\em dissipative} homoclinic classes (and the finiteness of spiral sinks). In particular, we obtain the equivalence between finiteness of sinks and finiteness of spiral sinks, abscence of domination in the set of accumulation points of the sinks, and the equivalence between Axiom A and the hyperbolicity of all ho…
In this paper, we describe a process to create hyperbolicity in the neighbourhood of a homoclinic orbit to a partially hyperbolic torus for three degrres of freedom Hamiltonian systems: the transversality-torsion phenomenon.
The stable and unstable manifolds of a saddle fixed point (SFP) of the Bonhoeffer-van der Pol oscillator are numerically studied. A correspondence between the existence of homoclinic tangencies (whic are related to the creation or destruction of Smale horseshoes) and the chaos observed in the bifurcation diagram is described. It is observed that in the non-chaotic zones of the bifurcation diagram, there may or may not be Smale horseshoes, but there are no homoclinic tangencies.
We show that the set of Bernoulli measures of an isolated topologically mixing homoclinic class of a generic diffeomorphism is a dense subset of the set of invariant measures supported on the class. For this, we introduce the large periods property and show that this is a robust property for these classes. We also show that the whole manifold is a homoclinic class for an open and dense subset of the set of robustly transitive diffeomorphisms far away from homoclinic tangencies. In particular, using results from Abdenur and Crovisier, we obtain that every diffeomorphism in this subset is robust…
We study the ergodic theory of non-conservative C^1-generic diffeomorphisms. First, we show that homoclinic classes of arbitrary diffeomorphisms exhibit ergodic measures whose supports coincide with the homoclinic class. Second, we show that generic (for the weak topology) ergodic measures of C^1-generic diffeomorphisms are nonuniformly hyperbolic: they exhibit no zero Lyapunov exponents. Third, we extend a theorem by Sigmund on hyperbolic basic sets: every isolated transitive set L of any C^1-generic diffeomorphism f exhibits many ergodic hyperbolic measures whose supports coincide with the w…
In this paper we establish a closing property and a hyperbolic closing property for thin trapped chain hyperbolic homoclinic classes with one dimensional center in partial hyperbolicity setting. Taking advantage of theses properties, we prove that the growth rate of the number of hyperbolic periodic points is equal to the topological entropy. We also obtain that the hyperbolic periodic measures are dense in the space of invariant measures.
Recent works related to Palis conjecture of J. Yang, S. Crovisier, M. Sambarino and D. Yang showed that any aperiodic class of a $C^1$-generic diffeomorphism far away from homoclinic bifurcations (or homoclinic tangencies) is partially hyperbolic. We show in this paper that, generically, a non-trivial dominated splitting implies partial hyperbolicity for an aperiodic class if it is Lyapunov stable. More precisely, for $C^1$-generic diffeomorphisms, if a Lyapunov stable aperiodic class has a non-trivial dominated splitting $E\oplus F$, then one of the two bundles is hyperbolic (either $E$ is co…
We review the theory of strange attractors and their bifurcations. All known strange attractors may be subdivided into the following three groups: hyperbolic, pseudo-hyperbolic ones and quasi-attractors. For the first ones the description of bifurcations that lead to the appearance of Smale-Williams solenoids and Anosov-type attractors is given. The definition and the description of the attractors of the second class are introduced in the general case. It is pointed out that the main feature of the attractors of this class is that they contain no stable orbits. An etanol example of such pseudo…
Let $M$ be a manifold with a volume form $ω$ and $f : M \to M$ be a diffeomorphism of class $\mathcal{C}^1$ that preserves $ω$. In this paper, we do \textit{not} assume $f$ is $\mathcal{C}^1$-generic. We have two main themes in the paper: (1) the chain recurrence; (2) relations among recurrence points, homoclinic points, shadowability and hyperbolicity. For (1) (without assuming $M$ is compact), we have the theorem: if $f$ is Lagrange stable, then $M$ is a chain recurrent set. If $M$ is compact, then the Lagrange-stability is automatic. For (2) (assuming the compactness of $M$), we prove some …