Three-dimensional Diffeomorphisms Research Articles

Connecting Anti-integrability to Attractors for Three-Dimensional Quadratic Diffeomorphisms

Connecting Anti-integrability to Attractors for Three-Dimensional Quadratic Diffeomorphisms

Scenarios for the creation of hyperchaotic attractors in 3D maps

We study bifurcation mechanisms for the appearance of hyperchaotic attractors in three-dimensional diffeomorphisms, i.e. such attractors whose orbits have two positive Lyapunov exponents in numerical experiments. In particular, periodic orbits belonging to the attractor should have two-dimensional unstable invariant manifolds. We discuss several bifurcation scenarios which create such periodic orbits inside the attractor. This includes cascades of supercritical period-doubling bifurcations of saddle periodic orbits and supercritical Neimark–Sacker bifurcations of stable periodic orbits, as well as various combinations of these cascades. These scenarios are illustrated by an example of the three-dimensional Mirá map.

There are No Structural Stable Axiom A 3-Diffeomorphisms with Dynamics “One-dimensional Surfaced Attractor-repeller”

In this paper, we study the structural stability of three-dimensional diffeomorphisms with source-sink dynamics. Here the role of source and sink is played by one-dimensional hyperbolic repeller and attractor. It is well known that in the case when the repeller and the attractor are solenoids (not embedded in the surface), the diffeomorphism is not structurally stable. The author proves that in the case when the attractor and the repeller are canonically embedded in a surface, the diffeomorphism is also not structurally stable.

Nontransverse heterodimensional cycles: Stabilisation and robust tangencies

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 ⩾ 2 r{\geqslant } 2 , we exhibit a class of such diffeomorphisms whose heterodimensional cycles can be C r C^r stabilised and (simultaneously) approximated by diffeomorphisms with C r 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 C^r perturbations, r ⩾ 2 r\geqslant 2 , which are remarkably more difficult than C 1 C^1 ones. Our proof is reminiscent of the Palis-Takens’ approach to get surface diffeomorphisms with infinitely many sinks (Newhouse phenomenon) in the unfolding of homoclinic tangencies of surface diffeomorphisms. This proof involves a scheme of renormalisation along nontransverse heteroclinic orbits converging to a center-unstable Hénon-like family displaying blender-horseshoes. A crucial step is the analysis of the embeddings of these blender-horseshoes in a nondominated context.

Anti-integrability for Three-Dimensional Quadratic Maps

We study the dynamics of the three-dimensional quadratic diffeomorphism using a concept first introduced 30 years ago for the Frenkel--Kontorova model of condensed matter physics: the anti-integrable (AI) limit. At the traditional AI limit, orbits of a map degenerate to sequences of symbols and the dynamics is reduced to the shift operator, a pure form of chaos. Under nondegeneracy conditions, a contraction mapping argument can show that infinitely many AI states continue to orbits of the deterministic map. For the 3D quadratic map, the AI limit that we study is a quadratic correspondence whose branches, a pair of one-dimensional maps, introduce symbolic dynamics on two symbols. The AI states, however, are nontrivial orbits of this correspondence. The character of these orbits depends on whether the quadratic takes the form of an ellipse, a hyperbola, or a pair of lines. Using contraction arguments, we find parameter domains for each case such that each symbol sequence corresponds to a unique AI state. In some parameter domains, sufficient conditions are then found for each such AI state to continue away from the limit becoming an orbit of the original 3D map. Numerical continuation methods extend these results, allowing computation of bifurcations to obtain orbits with horseshoe-like structures and intriguing self-similarity. We conjecture that pairs of periodic orbits in saddle-node and period-doubling bifurcations have symbol sequences that differ in exactly one position.

Determining the global manifold structure of a continuous-time heterodimensional cycle

<p style='text-indent:20px;'>A heterodimensional cycle consists of two saddle periodic orbits with unstable manifolds of different dimensions and a pair of connecting orbits between them. Recent theoretical work on chaotic dynamics beyond the uniformly hyperbolic setting has shown that heterodimensional cycles may occur robustly in diffeomorphisms of dimension at least three. We consider the first explicit example of a heterodimensional cycle in the continuous-time setting, which has been identified by Zhang, Krauskopf and Kirk [<i>Discr. Contin. Dynam. Syst. A</i> <b>32</b>(8) 2825-2851 (2012)] in a four-dimensional vector-field model of intracellular calcium dynamics.</p><p style='text-indent:20px;'>We show here how a boundary-value problem set-up can be employed to determine the organization of the dynamics in a neighborhood in phase space of this heterodimensional cycle, which consists of a single connecting orbit of codimension one and an entire cylinder of structurally stable connecting orbits between two saddle periodic orbits. More specifically, we compute the relevant stable and unstable manifolds, which we visualize in different projections of phase space and as intersection sets with a suitable three-dimensional Poincaré section. In this way, we show that, locally near the intersection set of the heterodimensional cycle, the manifolds interact as described by the theory for three-dimensional diffeomorphisms. On the other hand, their global structure is more intricate, which is due to the fact that it is not possible to find a Poincaré section that is transverse to the flow everywhere. More generally, our results show that advanced numerical continuation techniques enable one to investigate how abstract concepts â€" such as that of a heterodimensional cycle of a diffeomorphism â€" arise and manifest themselves in explicit continuous-time systems from applications.</p>

On Discrete Homoclinic Attractors of Three-Dimensional Diffeomorphisms

On Discrete Homoclinic Attractors of Three-Dimensional Diffeomorphisms

Doubling of invariant curves and chaos in three-dimensional diffeomorphisms.

This paper gives a review of doubling bifurcations of closed invariant curves. We also discuss the role of the curve-doubling bifurcations in the formation of chaotic dynamics. In particular, we study scenarios of the emergence of discrete Lorenz and Shilnikov attractors in three-dimensional Hénon maps.

Shilnikov attractors in three-dimensional orientation-reversing maps.

A Shilnikov homoclinic attractor of a three-dimensional diffeomorphism contains a saddle-focus fixed point with a two-dimensional unstable invariant manifold and homoclinic orbits to this saddle-focus. The orientation-reversing property of the diffeomorphism implies a symmetry between two branches of the one-dimensional stable manifold. This symmetry leads to a significant difference between Shilnikov attractors in the orientation-reversing and orientation-preserving cases. We consider the three-dimensional Mirá map x¯=y,y¯=z,andz¯=Bx+Cy+Az-y2 with the negative Jacobian (B<0) as a basic model demonstrating various types of Shilnikov attractors. We show that depending on values of parameters A,B, and C, such attractors can be of three possible types: hyperchaotic (with two positive and one negative Lyapunov exponent), flow-like (with one positive, one very close to zero, and one negative Lyapunov exponent), and strongly dissipative (with one positive and two negative Lyapunov exponents). We study scenarios of the formation of such attractors in one-parameter families.

Scenario of a Simple Transition from a Structurally Stable 3-Diffeomorphism with a Two-Dimensional Expanding Attractor to a DA Diffeomorphism

The Smale surgery on the three-dimensional torus allows one to obtain a so-called DA diffeomorphism from the Anosov automorphism. The nonwandering set of a DA diffeomor-phism consists of a single two-dimensional expanding attractor and a finite number of source periodic orbits. As shown by V. Z. Grines, E. V. Zhuzhoma, and V. S. Medvedev, the dynamics of an arbitrary structurally stable 3-diffeomorphism with a two-dimensional expanding attrac-tor generalizes the dynamics of a DA diffeomorphism: such a 3-diffeomorphism exists only on the three-dimensional torus, and the two-dimensional attractor is its unique nontrivial basic set, but its nonwandering set may contain isolated saddle periodic orbits together with source periodic orbits. In the present study, we describe a scenario of a simple transition (through elementary bifurcations) from a structurally stable diffeomorphism of the three-dimensional torus with a two-dimensional expanding attractor to a DA diffeomorphism. A key moment in the construction of the arc is the proof that the closure of the separatrices of boundary periodic points of a nontrivial attractor and of isolated saddle periodic points are tamely embedded. This result demonstrates the fundamental difference of the dynamics of such diffeomorphisms from the dynamics of three-dimensional Morse-Smale diffeomorphisms, in which the closure of the separatrices of saddle periodic points may be wildly embedded.

How to identify a hyperbolic set as a blender

A blender is a hyperbolic set with a stable or unstable invariant manifold that behaves as a geometric object of a dimension larger than that of the respective manifold itself. Blenders have been constructed in diffeomorphisms with a phase space of dimension at least three. We consider here the question of how one can identify, characterize and also visualize the underlying hyperbolic set of a given diffeomorphism to verify whether it actually is a blender or not. More specifically, we employ advanced numerical techniques for the computation of global manifolds to identify the hyperbolic set and its stable and unstable manifolds in an explicit Henon-like family of three-dimensional diffeomorphisms. This allows to determine and illustrate whether the hyperbolic set is a blender; in particular, we consider as a distinguishing feature the self-similar structure of the intersection set of the respective global invariant manifold with a plane. By checking and illustrating a denseness property, we are able to identify a parameter range over which the hyperbolic set is a blender, and we discuss and illustrate how the blender disappears.

Elements of Contemporary Theory of Dynamical Chaos: A Tutorial. Part I. Pseudohyperbolic Attractors

The paper is devoted to topical issues of modern mathematical theory of dynamical chaos and its applications. At present, it is customary to assume that dynamical chaos in finite-dimensional smooth systems can exist in three different forms. This is dissipative chaos, the mathematical image of which is a strange attractor; conservative chaos, for which the entire phase space is a large “chaotic sea” with randomly spaced elliptical islands inside it; and mixed dynamics, characterized by the principal inseparability in the phase space of attractors, repellers and conservative elements of dynamics. In the present paper (which opens a series of three of our papers), elements of the theory of pseudohyperbolic attractors of multidimensional maps and flows are presented. Such attractors, as well as hyperbolic ones, are genuine strange attractors, but they allow the existence of homoclinic tangencies. We describe two principal phenomenological scenarios for the appearance of pseudohyperbolic attractors in one-parameter families of three-dimensional diffeomorphisms, and also consider some basic examples of concrete systems in which these scenarios occur. We propagandize new methods for studying pseudohyperbolic attractors (in particular, the method of saddle charts, the modified method of Lyapunov diagrams and the so-called LMP-method for verification of pseudohyperbolicity of attractors) and test them on the above examples. We show that Lorenz-like attractors in three-dimensional generalized Hénon maps and in a nonholonomic model of Celtic stone as well as figure-eight attractors in the model of Chaplygin top are genuine (pseudohyperbolic) ones. Besides, we show an example of four-dimensional Lorenz model with a wild spiral attractor of Shilnikov–Turaev type that was found recently in [Gonchenko et al., 2018].

Non-trivial wandering domains for heterodimensional cycles**Dedicated to Professor Iku Nemoto on his 70th birthday

We present a sufficient condition for three-dimensional diffeomorphisms having heterodimensional cycles to be approximated arbitrarily well by diffeomorphisms with non-trivial contracting wandering domains via several perturbations. The key idea is to show that diffeomorphisms with heterodimensional cycles associated with saddle points with non-real eigenvalues can be approximated by diffeomorphisms with generalized homoclinic tangencies presented by Tatjer. The generalized homoclinic tangency is an organizing center including a Bogdanov–Takens bifurcation, by which one can obtain non-trivial contracting wandering domains together with a Denjoy-like construction.

To the question of stability of periodic points of three-dimensional diffeomorphisms

Self-diffeomorphisms of three-dimensional space with a hyperbolic fixed point at the origin and a nontransversal point homoclinic to it are considered. It is assumed that the Jacobian matrix of the initial diffeomorphism has complex eigenvalues at the origin. It is shown that, under certain conditions imposed mainly on the character of tangency of the stable and unstable manifolds, a neighborhood of the nontransversal homoclinic point contains an infinite set of stable periodic points whose characteristic exponents are bounded away from zero.

To the question of stability of periodic points of three-dimensional diffeomorphisms

Self-diffeomorphisms of three-dimensional space with a hyperbolic fixed point at the origin and a nontransversal point homoclinic to it are considered. It is assumed that the Jacobian matrix of the initial diffeomorphism has complex eigenvalues at the origin. It is shown that, under certain conditions imposed mainly on the character of tangency of the stable and unstable manifolds, a neighborhood of the nontransversal homoclinic point contains an infinite set of stable periodic points whose characteristic exponents are bounded away from zero.

Variety of strange pseudohyperbolic attractors in three-dimensional generalized Hénon maps

In the present paper we focus on the problem of the existence of strange pseudohyperbolic attractors for three-dimensional diffeomorphisms. Such attractors are genuine strange attractors in that sense that each orbit in the attractor has positive maximal Lyapunov exponent and this property is robust, i.e., it holds for all close systems. We restrict attention to the study of pseudohyperbolic attractors that contain only one fixed point. Then we show that three-dimensional maps may have only 5 different types of such attractors, which we call the discrete Lorenz, figure-8, double-figure-8, super-figure-8, and super-Lorenz attractors. We find the first four types of attractors in three-dimensional generalized Hénon maps of form x̄=y, ȳ=z, z̄=Bx+Az+Cy+g(y,z), where A,B and C are parameters (B is the Jacobian) and g(0,0)=g′(0,0)=0.

Birth of discrete Lorenz attractors at the bifurcations of 3D maps with homoclinic tangencies to saddle points

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.

Cosmological perturbations in inflationary models with anisotropic space-time scaling in a Lifshitz background

Models of inflation in a gravitational background with an anisotropic space-time scaling are studied. The background is a higher-dimensional Lifshitz throat with the anisotropy scaling $z\ensuremath{\ne}1$. After the dimensional reduction, the four-dimensional general covariance is explicitly broken to a three-dimensional spatial diffeomorphism. As a result the cosmological perturbation theory in this setup with less symmetries have to be formulated. We present the consistent cosmological perturbation theory for this setup. We find that the effective four-dimensional gravitational wave perturbations propagate with a different speed than the higher dimensional gravitational excitations. Depending on the model parameters, for an observer inside the throat, the four-dimensional gravitational wave propagation can be superluminal. We also find that the Bardeen potential and the Newtonian potential are different. This can have interesting observational consequences for lensing and cosmic microwave background fluctuations. Furthermore, we show that at the linearized level the inflaton field excitations vanish.

On Global Bifurcations of Three-dimensional Diffeomorphisms Leading to Lorenz-like Attractors

We study dynamics and bifurcations of three-dimensional diffeomorphisms with nontransversal heteroclinic cycles. We show that bifurcations under consideration lead to the birth of Lorenz-like attractors. They can be viewed as attractors in the Poincare map for periodically perturbed classical Lorenz attractors and hence they can allow for the existence of homoclinic tangencies and wild hyperbolic sets.

Asymptotic symmetries and charges in de Sitter space

The asymptotic symmetry group (ASG) at future null infinity () of asymptotically four-dimensional de Sitter spacetimes is defined and shown to be given by the group of three-dimensional diffeomorphisms acting on . Finite charges are constructed for each choice of ASG generator together with a two-surface on . A conservation equation is derived relating the evolution of the charges with the radiation flux through .