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 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 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.
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 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.
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…
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.
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…
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…
Collision of equilibria with a splitting manifold has been locally studied, but might also be a contributing factor to global bifurcations. In particular a boundary collision can be coincident with collision of a virtual equilibrium with a periodic orbit, giving an analogue to a homoclinic bifurcation. This type of bifurcation is demonstrated in a nonsmooth climate application. Here we describe the nonsmooth bifurcation structure, as well as the smooth bifurcation structure for which the nonsmooth homoclinic bifurcation is a limiting case.
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.
We briefly describe our works in collaboration with Jean-Christophe Yoccoz, a great mathematician and friend, with special emphasis on those related to Homoclinic Bifurcations and Fractal Geometry. We also tell some related personal stories.
In this article we construct the parameter region where the existence of a homoclinic orbit to a zero equilibrium state of saddle type in the Lorenz-like system will be analytically proved in the case of a nonnegative saddle value. Then, for a qualitative description of the different types of homoclinic bifurcations, a numerical analysis of the detected parameter region is carried out to discover several new interesting bifurcation scenarios.
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.
Following Part~I, we consider a class of reversible systems and study bifurcations of homoclinic orbits to hyperbolic saddle equilibria. Here we concentrate on the case in which homoclinic orbits are symmetric, so that only one control parameter is enough to treat their bifurcations, as in Hamiltonian systems. First, we modify and extend arguments of Part~I to show in a form applicable to general systems discussed there that if such bifurcations occur in four-dimensional systems, then variational equations around the homoclinic orbits are integrable in the meaning of differential Galois theory…
The existence and bifurcation of homoclinic orbits in planar piecewise linear homogeneous systems with two regions separated by a discontinuity boundary are investigated in this paper. In addition, existence of periodic orbits and stability of the origin are also discussed without the assumption of continuity for the planar piecewise linear homogeneous systems.
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.
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 the dynamics of an Atomic Force Microscope (AFM) model, under the Lennard-Jones force with non-linear damping, and harmonic forcing. We establish the bifurcation diagrams for equilibria in a conservative system. Particularly, we present conditions that guarantee the local existence of saddle-node bifurcations. By using the Melnikov method, the region in the space parameters where the persistence of homoclinic orbits is determined in a non-conservative system.
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.
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 the relationship between homoclinic orbits associated to repellors, usually called snap-back repellors, and expanding sets of smooth endomorphisms. Critical homoclinic orbits constitutes an interesting bifurcation that is locally contained in the boundary of the set of maps having homoclinic orbits. This and other possible routes to the creation of homoclinic orbits are considered in low dimensions.
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.
In a smooth dynamical system, a homoclinic connection is a closed orbit returning to a saddle equilibrium. Under perturbation, homoclinics are associated with bifurcations of periodic orbits, and with chaos in higher dimensions. Homoclinic connections in nonsmooth systems are complicated by their interaction with discontinuities in their vector fields. A connection may involve a regular saddle outside a discontinuity set, or a pseudo-saddle on a discontinuity set, with segments of the connection allowed to cross or slide along the discontinuity. Even the simplest case, that of connection to a …
In this paper, we deal with limit cycle bifurcations near a double homoclinic loop with a nilpotent saddle of order 2 by studying expansions of the first order Melnikov functions near the loop and coefficients in these expansions. More precisely, we prove that the perturbed system can have 11, 13, 14 or 16 limit cycles in a neighborhood of the loop under certain conditions. Finally, we give an example to illustrate the effectiveness of our main results.
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).
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 study several families of planar quadratic diffeomorphisms near a Bogdanov-Takens bifurcation. For each family, the associate bifurcation diagram can be deduced from the interpolating flow. However, a zone of chaos confined between two lines of homoclinic bifurcation that are exponentially close to one-another is observed. The goal of this paper is to test numerically an accurate asymptotic expansion for the width of this chaotic zone for different families.
In this paper, a dc-dc boost converter with sliding mode control and washout filter is analysed. This device is modelled as a three-dimensional Filippov system, characterized by the existence of sliding movement and restricted to the switching manifold. The operating point of the boost converter is a pseudo-equilibrium, and it, undergoes a subcritical Hopf bifurcation. Such a bifurcation occurs in the sliding vector field and creates, in this field, an unstable limit cycle. The limit cycle is confined to the switching manifold and disappears when it touches the visible-invisible two-fold point…
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 consider the bifurcation diagram in a suitable parameter plane of a quadratic vector field in $\mathbb{R}^3$ that features a homoclinic flip bifurcation of the most complicated type. This codimension-two bifurcation is characterized by a change of orientability of associated two-dimensional manifolds and generates infinite families of secondary bifurcations. We show that curves of secondary $n$-homoclinic bifurcations accumulate on a curve of a heteroclinic bifurcation involving infinity. We present an adaptation of the technique known as Lin's method that enables us to compute such connect…
The Koper model is a three-dimensional vector field that was developed to study complex electrochemical oscillations arising in a diffusion process. Koper and Gaspard described paradoxical dynamics in the model: they discovered complicated, chaotic behavior consistent with a homoclinic orbit of Shil'nikov type, but were unable to locate the orbit itself. The Koper model has since served as a prototype to study the emergence of mixed-mode oscillations (MMOs) in slow-fast systems, but only in this paper is the existence of these elusive homoclinic orbits established. They are found first in a la…
A saddle to saddle-focus homoclinic transition when the stable leading eigenspace is 3-dimensional (called the 3DL bifurcation) is analyzed. Here a pair of complex eigenvalues and a real eigenvalue exchange their position relative to the imaginary axis, giving rise to a 3-dimensional stable leading eigenspace. This transition is different from the standard Belyakov bifurcation, where a double real eigenvalue splits either into a pair of complex-conjugate eigenvalues or two distinct real eigenvalues. In the wild case, we obtain sets of codimension 1 and 2 bifurcation curves and points that asym…
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.
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 …
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.
The well-studied Hindmarsh-Rose model of neural action potential is revisited from the point of view of global bifurcation analysis. This slow-fast system of three paremeterised differential equations is arguably the simplest reduction of Hodgkin-Huxley models capable of exhibiting all qualitatively important distinct kinds of spiking and bursting behaviour. First, keeping the singular perturbation parameter fixed, a comprehensive two-parameter bifurcation diagram is computed by brute force. Of particular concern is the parameter regime where lobe-shaped regions of irregular bursting undergo a…
We study a homoclinic flip bifurcation of case~\textbf{C}, where a homoclinic orbit to a saddle equilibrium with real eigenvalues changes from being orientable to nonorientable. This bifurcation is of codimension two, and it is the lowest codimension for a homoclinic bifurcation of a real saddle to generate chaotic behavior in the form of (suspended) Smale horseshoes and strange attractors. We present a detailed numerical case study of how global stable and unstable manifolds of the saddle equilibrium and of bifurcating periodic orbits interact close to such bifurcation. This is a step forward…
We prove the existence of an unbounded connected branch of nontrivial homoclinic trajectories of a family of discrete nonautonomous asymptotically hyperbolic systems parametrized by a circle under assumptions involving the topological properties of the asymptotic stable bundles.
We consider the dynamics of strongly dissipative Hénon-like maps in the plane, around the first bifurcation parameter $a^*$ at which the uniform hyperbolicity is destroyed by the formation of homoclinic or heteroclinic tangencies inside the limit set. In [Takahasi H.: Commun. Math. Phys. {\bf 312} 37-85 (2012)], it was proved that $a^*$ is a full Lebesgue density point of the set of parameters for which Lebesgue almost every initial point diverges to infinity under forward iteration. For these parameters, we show that all Lyapunov exponents of all invariant ergodic Borel probability measures a…
We revisit a K-theoretical invariant that was invented by the first author some years ago for studying multiparameter bifurcation of branches of critical points of functionals. Our main aim is to apply this invariant to investigate bifurcation of homoclinic solutions of families of Hamiltonian systems which are parametrised by tori.
We consider C^{2} Henon-like families of diffeomorphisms of R^{2} and study the boundary of the region of parameter values for which the nonwandering set is uniformly hyperbolic. Assuming sufficient dissipativity, we show that the loss of hyperbolicity is caused by a first homoclinic or heteroclinic tangency and that uniform hyperbolicity estimates hold uniformly in the parameter up to this bifurcation parameter and even, to some extent, at the bifurcation parameter.
An inverse problem framework for constructing reaction systems with prescribed properties is presented. Kinetic transformations are defined and analysed as a part of the framework, allowing an arbitrary polynomial ordinary differential equation to be mapped to the one that can be represented as a reaction network. The framework is used for construction of specific two- and three-dimensional bistable reaction systems undergoing a supercritical homoclinic bifurcation, and the topology of their phase spaces is discussed.
We study bifurcations of homoclinic orbits to hyperbolic saddle equilibria in a class of four-dimensional systems which may be Hamiltonian or not. Only one parameter is enough to treat these types of bifurcations in Hamiltonian systems but two parameters are needed in general systems. We apply a version of Melnikov's method due to Gruendler to obtain saddle-node and pitchfork types of bifurcation results for homoclinic orbits. Furthermore we prove that if these bifurcations occur, then the variational equations around the homoclinic orbits are integrable in the meaning of differential Galois t…
Using the technique of Poincaré return maps, we disclose an intricate order of the subsequent homoclinics near the primary homoclinic bifurcation of the Shilnikov saddle-focus in systems with reflection symmetry. We also reveal the admissible shapes of the corresponding bifurcation curves in a parameter plane of such systems. The scalability ratio of geometry and organization is proven to be universal for such homoclinic bifurcations of higher orders. Two applications with similar dynamics due to the Shilnikov saddle-foci, a smooth adaptation of the Chua circuit and a 3D normal form, are used …
In this paper we give the bifurcation diagram of the family of cubic vector fields $\dot z=z^3+ ε_1z+ε_0$ for $z\in \mathbb{C}\mathbb{P}^1$, depending on the values of $ε_1,ε_0\in\mathbb{C}$. The bifurcation diagram is in $\mathbb{R}^4$, but its conic structure allows describing it for parameter values in $\mathbb{S}^3$. There are two open simply connected regions of structurally stable vector fields separated by surfaces corresponding to bifurcations of homoclinic connections between two separatrices of the pole at infinity. These branch from the codimension 2 curve of double singular points.…
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…
This paper provides for the first time correct third-order homoclinic predictors in $n$-dimensional ODEs near a generic Bogdanov-Takens bifurcation point. To achieve this, higher-order time approximations to the nonlinear time transformation in the Lindstedt-Poincaré method are essential. Moreover, a correct transform between approximations to solutions in the normal form and approximations to solutions on the parameter-dependent center manifold is needed. A detailed comparison is done between applying different normal forms (smooth and orbital), different phase conditions, and different pertu…
