Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits
Pieter Collins
备注：
Version submitted to "Dynamical Systems: An International Journal" Section 7 has been further revised; the method for pA maps is new. Notation has been standardised throughout
The Nielsen-Thurston theory of surface diffeomorphisms shows that useful dynamical information can be obtained about a surface diffeomorphism from a finite collection of periodic orbits.In this paper, we extend these results to homoclinic and heteroclinic orbits of saddle points. These orbits are most readily computed and studied as intersections of unstable and stable manifolds comprising homoclinic or heteroclinic tangles in the surface. We show how to compute a map of a one-dimensional space similar to a train-track which represents the isotopy-stable dynamics of the surface diffeomorphism relative to a tangle. All orbits of this one-dimensional representative are globally shadowed by orbits of the surface diffeomorphism, and periodic, homoclinic and heteroclinic orbits of the one-dimensional representative are shadowed by similar orbits in the surface.By constructing suitable surface diffeomorphisms, we prove that these results are optimal in the sense that the topological entropy of the one-dimensional representative is the greatest lower bound for the entropies of diffeomorphisms in the isotopy class.
In this paper we present sufficient conditions for the existence of heteroclinic or homoclinic solutions for second order coupled systems of differential equations on the real line. We point out that it is required only conditions on the homeomorphisms and no growth or asymptotic conditions are assumed on the nonlinearities. The arguments make use of the fixed point theory, L^1-Carathéodory functions and Schauder's fixed point theorem. An application to a family of second order nonlinear coupled systems of two degrees of freedom, shows the applicability of the main theorem.
In this paper, we present a method to generate homoclinic and heteroclinic motions in impulsive systems. We rigorously prove the presence of such motions in the case that the systems are under the influence of a discrete map that possesses homoclinic and heteroclinic orbits. Simulations that support the theoretical results are represented by means of a Duffing equation with impacts.
Consider a family of planar systems depending on two parameters $(n,b)$ and having at most one limit cycle. Assume that the limit cycle disappears at some homoclinic (or heteroclinic) connection when $Φ(n,b)=0.$ We present a method that allows to obtain a sequence of explicit algebraic lower and upper bounds for the bifurcation set ${Φ(n,b)=0}.$ The method is applied to two quadratic families, one of them is the well-known Bogdanov-Takens system. One of the results that we obtain for this system is the bifurcation curve for small values of $n$, given by $b=\frac5 7 n^{1/2}+{72/2401}n- {30024/4…
In the theory of surface diffeomorphisms relative to homoclinic and heteroclinic orbits, it is possible to compute a one-dimensional representative map for any irreducible isotopy class. The topological entropy of this graph representative is equal to the growth rate of the number of essential Nielsen classes of a given period, and hence is a lower bound for the topological entropy of the diffeomorphism. In this paper, we show that this entropy bound is the infemum of the topological entropies of diffeomorphisms in the isotopy class, and give necessary and sufficient conditions for the infemal…
An analytic reversible Hamiltonian system with two degrees of freedom is studied in a neighborhood of its symmetric heteroclinic connection made up of a symmetric saddle-center, a symmetric orientable saddle periodic orbit lying in the same level of a Hamiltonian and two non-symmetric heteroclinic orbits permuted by the involution. This is a codimension one structure and therefore it can be met generally in one-parameter families of reversible Hamiltonian systems. There exist two possible types of such connections in dependence on how the involution acts near the equilibrium. We prove a series…
In this paper we study the existence of heteroclinic cycles in generic unfoldings of nilpotent singularities. Namely we prove that any nilpotent singularity of codimension four in $\mathbb{R}^4$ unfolds generically a bifurcation hypersurface of bifocal homoclinic orbits, that is, homoclinic orbits to equilibrium points with two pairs of complex eigenvalues. We also prove that any nilpotent singularity of codimension three in $\mathbb{R}^3$ unfolds generically a bifurcation curve of heteroclinic cycles between two saddle-focus equilibrium points with different stability indexes. Under generic a…
In the present paper we consider preserving orientation Morse-Smale diffeomorphisms on surfaces. Using the methods of factorization and linearizing neighborhoods we prove that such diffeomorphisms have a finite number of orientable heteroclinic orbits.
Systems of $N$ identical globally coupled phase oscillators can demonstrate a multitude of complex behaviours. Such systems can have chaotic dynamics for $N>4$ when a coupling function is biharmonic. The case $N = 4$ does not possess chaotic attractors when the coupling is biharmonic, but has them when the coupling includes nonpairwise interactions of phases. Previous studies showed that some of chaotic attractors in this system are organized by heteroclinic networks. In present paper we discuss which heteroclinic cycles are forbidden and which are supported by this particular system. We also …
In this paper, we consider the scalar reaction-diffusion equations $\partial_t u=Δu + f(x,u,\nabla u)$ on a bounded domain $Ω\subset\mathbb{R}^d$ of class $C^2$. We show that the heteroclinic and homoclinic orbits connecting hyperbolic equilibria and hyperbolic periodic orbits are transverse, generically with respect to f. One of the main ingredients of the proof is an accurate study of the singular nodal set of solutions of linear parabolic equations. Our main result is a first step for proving the genericity of Kupka-Smale property, the generic hyperbolicity of periodic orbits remaining unpr…
In this paper we consider finite dimensional dynamical systems generated by a Lipschitz function. We prove a version of the Whitney's Extension Theorem on compact manifolds to obtain a version of the well-known Lambda Lemma for Lipschitz functions. The notions of Lipschitz transversality and hyperbolicity are investigated in the context of finite dimension with a norm weaker than $C^1$-norm and stronger than $C^0$-norm.
We present a method for proving the existence of symmetric periodic, heteroclinic or homoclinic orbits in dynamical systems with the reversing symmetry. As an application we show that the Planar Restricted Circular Three Body Problem (PCR3BP) corresponding to the Sun-Jupiter-Oterma system possesses an infinite number of symmetric periodic orbits and homoclinic orbits to the Lyapunov orbits. Moreover, we show the existence of symbolic dynamics on six symbols for PCR3BP and the possibility of resonance transitions of the comet. This extends earlier results by Wilczak and Zgliczynski - Heteroclin…
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).
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.
Index theory revealed its outstanding role in the study of periodic orbits of Hamiltonian systems and the dynamical consequences of this theory are enormous. Although the index theory in the periodic case is well-established, very few results are known in the case of homoclinic orbits of Hamiltonian systems. Moreover, to the authors' knowledge, no results have been yet proved in the case of heteroclinic and halfclinic (i.e. parametrised by a half-line) orbits. Motivated by the importance played by these motions in understanding several challenging problems in Classical Mechanics, we develop a …
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…
We show a $C^r$ connecting lemma for area-preserving surface diffeomorphisms and for periodic Hamiltonian on surfaces. We prove that for a generic $C^r$, $r=1, 2, ...$, $\infty$, area-preserving diffeomorphism on a compact orientable surface, homotopic to identity, every hyperbolic periodic point has a transversal homoclinic point. We also show that for a $C^r$, $r=1, 2, ...$, $\infty$ generic time periodic Hamiltonian vector field in a compact orientable surface, every hyperbolic periodic trajectory has a transversal homoclinic point. The proof explores the special properties of diffeomorphis…
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.
Shunting inhibitory cellular neural networks (SICNNs) with continuous as well as discontinuous external inputs are investigated. The descriptions of homoclinic and heteroclinic motions are provided in the functional sense for the multidimensional dynamics of SICNNs, and it is demonstrated that the networks under investigation exhibit such motions. Homoclinic and heteroclinic outputs that are asymptotic to quasi-periodic outputs are illustrated.
We study main bifurcations of multidimensional diffeomorphisms having a non-transversal homoclinic orbit to a saddle-node fixed point. On a parameter plane we build a bifurcation diagram for single-round periodic orbits lying entirely in a small neighbourhood of the homoclinic orbit. Also a relation of our results to well-known codimension one bifurcations of a saddle fixed point with a quadratic homoclinic tangency and a saddle-node fixed point with a transversal homoclinic orbit is discussed.
Lorenz attractors are important objects in the modern theory of chaos. The reason from one side is that they are met in various natural applications (fluid dynamics, mechanics, laser dynamics, etc.). At the same time, Lorenz attractors are robust, in the sense that they are generally not destroyed by small perturbations (autonomous, non-autonomous, stochastic). This allows us to be sure that the observed in the experiment object is exactly the chaotic attractor, rather than a long-time periodic orbit. Discrete-time analogs of the Lorenz attractor possess even more complicated structure -- they…
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 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 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 present an extension of the theory known as Lin's method to heteroclinic chains that connect hyperbolic equilibria and hyperbolic periodic orbits. Based on the construction of a so-called Lin orbit, that is, a sequence of continuous partial orbits that only have jumps in a certain prescribed linear subspace, estimates for these jumps are derived. We use the jump estimates to discuss bifurcation equations for homoclinic orbits near heteroclinic cycles between an equilibrium and a periodic orbit (EtoP cycles).
We study generic diffeomorphisms with a homoclinc class with non empty interior and in particular those admitting a codimension one dominated splitting. We prove that if in the finest dominated splitting the extreme subbundles are one dimensional then the diffeomorphism is partially hyperbolic and from this we deduce that the diffeomorphism is transitive.
We show that heterodimensional cycles can be born at the bifurcations of a pair of homoclinic loops to a saddle-focus equilibrium for flows in dimension 4 and higher. In addition to the classical heterodimensional connection between two periodic orbits, we found two new types of heterodimensional connections: one is a heteroclinic between a periodic orbit of index 2 and a homoclinic loop, and the other connects a periodic orbit of index 3 to the saddle-focus equilibrium.
Heteroclinic orbits for one-parameter families of nonautonomous vectorfields appear in a very natural way in many physical applications. Inspired by some recent bifurcation results for homoclinic trajectories of nonautonomous vectorfield, we define a new $\mathbf Z_2$-index and we construct a index theory for heteroclinic orbits of nonautonomous vectorfield. We prove an index theorem, by showing that, under some standard transversality assumptions, the $\mathbf Z_2$-index is equal to the parity, a homotopy invariant for paths of Fredholm operators of index 0. As a direct consequence of the ind…
We show that C^r generically in the space of C^r conservative diffeomorphisms of a compact surface, every hyperbolic periodic point has a transverse homoclinic orbit
We prove a conjecture of J. Palis: any diffeomorphism of a compact manifold can be C1-approximated by a Morse-Smale diffeomorphism or by a diffeomorphism having a transverse homoclinic intersection. ----- Cr'eation d'intersection homoclines : un mod`ele pour la dynamique centrale des syst`emes partiellement hyperboliques. Nous montrons une conjecture de J. Palis : tout diff'eomorphisme d'une vari'et'e compacte peut ^etre approch'e en topologie C1 par un diff'eomorphisme Morse-Smale ou par un diff'eomorphisme ayant une intersection homocline transverse.
Homoclinic snaking refers to the sinusoidal snaking continuation curve of homoclinic orbits near a heteroclinic cycle connecting an equilibrium E and a periodic orbit P. Along this curve the homoclinic orbit performs more and more windings about the periodic orbit. Typically this behaviour appears in reversible Hamiltonian systems. Here we discuss this phenomenon in systems without any particular structure. We give a rigorous analytical verification of homoclinic snaking under certain assumptions on the behaviour of the stable and unstable manifolds of E and P. We show how the snaking behaviou…
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 the planar circular restricted three-body problem (PCRTBP), as a model for the motion of a spacecraft relative to the Earth-Moon system. We focus on the Lagrange equilibrium points $L_1$ and $L_2$. There are families of Lyapunov periodic orbits around either $L_1$ or $L_2$, forming Lyapunov manifolds. There also exist homoclinic orbits to the Lyapunov manifolds around either $L_1$ or $L_2$, as well as heteroclinic orbits between the Lyapunov manifold around $L_1$ and the one around $L_2$. The motion along the homoclinic/heteroclinic orbits can be described via the scattering map, w…
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…
Homoclinic and heteroclinic motions in dynamics equations on time scales is investigated. The utilized time scale is a specific one such that it is a union of disjoint compact intervals. A numerical example that supports the theoretical results is presented.
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…
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.
In this paper we study the effect of a homoclinic tangency in the variation of the topological entropy. We prove that a diffeomorphism with a homoclinic tangency associated to a basic hyperbolic set with maximal entropy is a point of entropy variation in the $C^{\infty}$-topology. We also prove results about variation of entropy in other topologies and when the tangency does not correspond to a basic set with maximal entropy. We also show an example of discontinuity of the entropy among $C^{\infty}$ diffeomorphisms of three dimensional manifolds.
Homoclinic classes of generic $C^1$-diffeomorphisms are maximal transitive sets and pairwise disjoint. We here present a model explaining how two different homoclinic classes may intersect, failing to be disjoint. For that we construct a one-parameter family of diffeomorphisms $(g_s)_{s\in [-1,1]}$ with hyperbolic points $P$ and $Q$ having nontrivial homoclinic classes, such that, for $s>0$, the classes of $P$ and $Q$ are disjoint, for $s<0$, they are equal, and, for $s=0$, their intersection is a saddle-node.
Here we show that for a C^2 surface diffeomorphism that satisfy the hypothesis of Hayashi connecting lemma either can be approximated, in the C^1 topology, by a diffeomorphism exhibiting a homoclinic tangency or the diffeomorphism already presented transversal homoclinic orbits.
We study, for $C^1$ generic diffeomorphisms, homoclinic classes which are Lyapunov stable both for backward and forward iterations. We prove they must admit a dominated splitting and show that under some hypothesis they must be the whole manifold. As a consequence of our results we also prove that in dimension 2 the class must be the whole manifold and in dimension 3, these classes must have nonempty interior. Many results on Lyapunov stable homoclinic classes for $C^1$-generic diffeomorphisms are also deduced.
When a real saddle equilibrium in a three-dimensional vector field undergoes a homoclinic bifurcation, the associated two-dimensional invariant manifold of the equilibrium closes on itself in an orientable or non-orientable way. We are interested in the interaction between global invariant manifolds of saddle equilibria and saddle periodic orbits for a vector field close to a codimension-two homoclinic flip bifurcation, that is, the point of transition between having an orientable or non-orientable two-dimensional surface. Here, we focus on homoclinic flip bifurcations of case $\textbf{B}$, wh…
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…
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.
We prove that every $C^1$ three-dimensional flow with positive topological entropy can be $C^1$ approximated by flows with homoclinic orbits. This extends a previous result for $C^1$ surface diffeomorphisms \cite{g}.
We present new examples of generic diffeomorphisms without attractors. Also, we study how these wild classes are accumulated by infinitely many other classes (obtaining that the chain recurrence classes different from the only quasi-attractor are contained in center stable manifolds). The construction relies on some derived from Anosov (DA) constructions and uses strongly the semiconjugacy obtained by these diffeomorphisms. An interesting feature of this examples is that we can show that robustly, they present a unique attractor in the sense of Milnor.
