Moser’s Quadratic,Symplectic Map

In 1994, Jürgen Moser generalized Hénon’s area-preserving quadratic map to obtain a normal form for the family of four-dimensional, quadratic, symplectic maps. This map has at most four isolated fixed points. We show that the bounded dynamics of Moser’s six parameter family is organized by a codimension-three bifurcation, which we call a quadfurcation, that can create all four fixed points from none.The bounded dynamics is typically associated with Cantor families of invariant tori around fixed points that are doubly elliptic. For Moser’s map there can be two such fixed points: this structure is not what one would expect from dynamics near the cross product of a pair of uncoupled Hénon maps, where there is at most one doubly elliptic point. We visualize the dynamics by escape time plots on 2d planes through the phase space and by 3d slices through the tori.     

Taylor-model-based enclosure of invariant manifolds for planar diffeomorphisms and applications

Fundamental questions in the study of interesting dynamics of planar diffeomorphisms like the Hénon map involve homoclinic phenomena, topological entropy and strange attractors. Inherently, answering these questions requires knowledge about the stable and unstable manifolds, which in the typical case in the plane are smooth curves. We present a method to find highly accurate Taylor Model enclosures of the invariant curves near hyperbolic fixed points. Successive iteration of these local enclosures yields similarly accurate enclosures of pieces of the global manifold tangle. Applications presented include the automatic computation of rigorous enclosures of all homoclinic points up to finite iterates. This allows to find symbolic dynamics in the original system and consequently compute rigorous lower bounds for its topological entropy. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Breaking hyperbolicity for smooth symplectic toral diffeomorphisms

We study a smooth symplectic 2-parameter unfolding of an almost hyperbolic diffeomorphism on two-dimensional torus. This diffeomorphism has a fixed point of the type of the degenerate saddle. In the parameter plane there is a bifurcation curve corresponding to the transition from the degenerate saddle into a saddle and parabolic fixed point, separatrices of these latter points form a channel on the torus. We prove that a saddle period-2 point exists for all parameter values close to the co-dimension two point whose separatrices intersect transversely the boundary curves of the channel that implies the existence of a quadratic homoclinic tangency for this period-2 point which occurs along a sequence of parameter values accumulating at the co-dimension 2 point. This leads to the break of stable/unstable foliations existing for almost hyperbolic diffeomorphism. Using the results of Franks [1] on π ₁-diffeomorphisms, we discuss the possibility to get an invariant Cantor set of a positive measure being non-uniformly hyperbolic.     

Restrictions of Quadratic Forms to Lagrangian Planes,Quadratic Matrix Equations,and Gyroscopic Stabilization

We discuss the symplectic geometry of linear Hamiltonian systems with nondegenerate Hamiltonians. These systems can be reduced to linear second-order differential equations characteristic of linear oscillation theory. This reduction is related to the problem on the signatures of restrictions of quadratic forms to Lagrangian planes. We study vortex symplectic planes invariant with respect to linear Hamiltonian systems. These planes are determined by the solutions of quadratic matrix equations of a special form. New conditions for gyroscopic stabilization are found.     

Snapback repellers and homoclinic orbits for multi-dimensional maps

Marotto extended Li–Yorke?s theorem on chaos from one-dimension to multi-dimension through introducing the notion of snapback repeller in 1978. Due to a technical flaw, he redefined snapback repeller in 2005 to validate this theorem. This presentation provides two methodologies to facilitate the application of Marotto?s theorem. The first one is to estimate the radius of repelling neighborhood for a repelling fixed point. This estimation is of essential and practical significance as combined with numerical computations of snapback points. Secondly, we propose a sequential graphic-iteration scheme to construct homoclinic orbit for a repeller. This construction allows us to track the homoclinic orbit. Applications of the present methodologies with numerical computation to a chaotic neural network and a predator–prey model are demonstrated.     

Bifurcations of three-dimensional diffeomorphisms with non-simple quadratic homoclinic tangencies and generalized Hénon maps

We study bifurcations of periodic orbits in two parameter general unfoldings of a certain type homoclinic tangency (called a generalized homoclinic tangency) to a saddle fixed point. We apply the rescaling technique to first return (Poincaré) maps and show that the rescaled maps can be brought to so-called generalized Hénon maps which have non-degenerate bifurcations of fixed points including those with multipliers e ^±iϕ . On the basis of this, we prove the existence of infinite cascades of periodic sinks and periodic stable invariant circles.      

The role of the unstable equilibrium points in the transfer of matter in galactic potentials

We study the role of the unstable equilibrium points in the transfer of matter in a galaxy using the potential of a rotating triaxial system. In particular, we study the neighbourhood of these points for energy levels and for main model parameters where the zero velocity curves just open and form a bottleneck in the region. For these energies, the transfer of matter from the inner to the outer parts and vice versa starts being possible. We study how the dynamics around the unstable equilibrium points is driven, by performing a partial normal form scheme and by computing the invariant manifolds of periodic orbits and quasi-periodic orbits using the reduced Hamiltonian. In particular, we compute some homoclinic and heteroclinic orbits playing a crucial role. Our results also show that in slow rotating and/or axisymmetric systems the hyperbolic character of the equilibrium points is cancelled, so that no transfer of matter is possible through the bottleneck.     

Transverse intersections between invariant manifolds of doubly hyperbolic invariant tori, via the Poincaré-Mel’nikov method

We consider a perturbation of an integrable Hamiltonian system having an equilibrium point of elliptic-hyperbolic type, having a homoclinic orbit. More precisely, we consider an (n + 2)-degree-of-freedom near integrable Hamiltonian with n centers and 2 saddles, and assume that the homoclinic orbit is preserved under the perturbation. On the center manifold near the equilibrium, there is a Cantorian family of hyperbolic KAM tori, and we study the homoclinic intersections between the stable and unstable manifolds associated to such tori. We establish that, in general, the manifolds intersect along transverse homoclinic orbits. In a more concrete model, such homoclinic orbits can be detected, in a first approximation, from nondegenerate critical points of a Mel’nikov potential. We provide bounds for the number of transverse homoclinic orbits using that, in general, the potential will be a Morse function (which gives a lower bound) and can be approximated by a trigonometric polynomial (which gives an upper bound).     

On bifurcations of multidimensional diffeomorphisms having a homoclinic tangency to a saddle-node

We study the main bifurcations of multidimensional diffeomorphisms having a nontransversal 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 neighborhood of the homoclinic orbit. Also, a relation of our results to the 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.     

Critical homoclinic orbits lead to snap-back repellers

When nondegenerate homoclinic orbits to an expanding fixed point of a map f:X→X,X⊆Rⁿ, exist, the point is called a snap-back repeller. It is known that the relevance of a snap-back repeller (in its original definition) is due to the fact that it implies the existence of an invariant set on which the map is chaotic. However, when does the first homoclinic orbit appear? When can other homoclinic explosions, i.e., appearance of infinitely many new homoclinic orbits, occur? As noticed by many authors, these problems are still open. In this work we characterize these bifurcations, for any kind of map, smooth or piecewise smooth, continuous or discontinuous, defined in a bounded or unbounded closed set. We define a noncritical homoclinic orbit and a homoclinic orbit of an expanding fixed point is structurally stable iff it is noncritical. That is, only critical homoclinic orbits are responsible for the homoclinic explosions. The possible kinds of critical homoclinic orbits will be also investigated, as well as their dynamic role.     

Chaos in the dynamics generated by sequences of maps, with applications to chaotic advection in flows with aperiodic time dependence

In this paper we develop analytical techniques for proving the existence of chaotic dynamics in systems where the dynamics is generated by infinite sequences of maps. These are generalizations of the Conley-Moser conditions that are used to show that a (single) map has an invariant Cantor set on which it is topologically conjugate to a subshift on the space of symbol sequences. The motivation for developing these methods is to apply them to the study of chaotic advection in fluid flows arising from velocity fields with aperiodic time dependence, and we show how dynamics generated by infinite sequences of maps arises naturally in that setting. Our methods do not require the existence of a homoclinic orbit in order to conclude the existence of chaotic dynamics. This is important for the class of fluid mechanical examples considered since one cannot readily identify a homoclinic orbit from the structure of the equations.¶We study three specific fluid mechanical examples: the Aref blinking vortex flow, Samelson's tidal advection model, and Min's rollup-merge map that models kinematics in the mixing layer. Each of these flows is modelled as a type of "blinking flow", which mathematically has the form of a linked twist map, or an infinite sequence of linked twist maps. We show that the nature of these blinking flows is such that it is possible to have a variety of "patches" of chaos in the flow corresponding to different length and time scales.     

Chaotic dynamics of Josephson equation driven by constant dc and ac forcings

The chaotic dynamics of a Josephson equation driven by constant dc and ac current forcing with a shifted phase is investigated. We at first study whether there exist multiple saddle points with nontransverse homoclinic or heteroclinic orbits for unperturbed equation. Secondly, we obtain threshold for the existence of chaos by using Melnikov's method, and the threshold is influenced by the shifted phase. Finally some numerical results are reported in order to prove theoretical predictions.     

Smooth diffeomorphisms of the plane with stable periodic points in a neighborhood of a homoclinic point

We consider self-diffeomorphisms of the plane of the class C ^r (1 ?? r < ??) with a fixed hyperbolic point and a nontransversal point homoclinic to it. We present a method for constructing a set of diffeomorphisms for which the neighborhood of a homoclinic point contains countably many stable periodic points with characteristic exponents bounded away from zero.     

Template-Based Stabilization of Relative Equilibria in Systems with Continuous Symmetry

We present an approach to the design of feedback control laws that stabilize relative equilibria of general nonlinear systems with continuous symmetry. Using a template-based method, we factor out the dynamics associated with the symmetry variables and obtain evolution equations in a reduced frame that evolves in the symmetry direction. The relative equilibria of the original systems are fixed points of these reduced equations. Our controller design methodology is based on the linearization of the reduced equations about such fixed points. We present two different approaches of control design. The first approach assumes that the closed loop system is affine in the control and that the actuation is equivariant. We derive feedback laws for the reduced system that minimize a quadratic cost function. The second approach is more general; here the actuation need not be equivariant, but the actuators can be translated in the symmetry direction. The controller resulting from this approach leaves the dynamics associated with the symmetry variable unchanged. Both approaches are simple to implement, as they use standard tools available from linear control theory. We illustrate the approaches on three examples: a rotationally invariant planar ODE, an inverted pendulum on a cart, and the Kuramoto-Sivashinsky equation with periodic boundary conditions.     

On the periodic points of a two-parameter family of maps of the plane

We study the dynamics of a two-parameter family of noninvertible maps of the plane, derived from a model in population dynamics. We prove that, as one parameter varies with the other held fixed, the nonwandering set changes from the empty set to an unstable Cantor set on which the map is topologically equivalent to the shift endomorphism on two symbols. With the help of some numerical work, we trace the genealogies of the periodic points of the family of period 5, and describe their stability types and bifurcations. Among our results we find that the family has a fixed point which undergoes fold, flip and Hopf bifurcations, and that certain families of period five points are interconnected through a codimension-two cusp bifurcation.     

Melnikov方法和圆型平面限制性三体问题的横截同宿研究*

本文对由两自由度近可积哈密顿系统经非正则变换而得到的,具有高阶不动点的非哈密顿系统给出了判别横截同宿轨和横截异宿轨存在性的两条判据。对原二体质量比很小时近可积圆型平面限制性三体问题,采用本文判据证明存在横截同宿轨,从而存在横截同宿穿插现象;还在一定假设下证明了存在横截异宿轨;并给出了全局定性相图。     

Properties of renormalization group flow in the neighborhood of Gaussian fixed point

We investigate the dynamics of the renormalization group transformation in the fermionic hierarchical model, given by the Lagrangian. We construct the invariant neighborhood of the Gaussian fixed point in the upper half-plane g > 0. We describe the subsets of the points of this neighborhood tending to the Gaussian fixed point under the iterations of the renormalization group transformation from the left and from the right.     

Global dynamics,forbidden set,and transcritical bifurcation of a one-dimensional discrete-time laser model

We study the dynamical properties about fixed points, the existence of prime period and periodic points, and transcritical bifurcation of a one-dimensional laser model in ${\mathbb{R}}^{+}$. For the special case, we explore the global dynamics about fixed points, boundedness of positive solution, construction of invariant rectangle, existence of prime period-2 solution, construction of forbidden set, the existence of a prime period and periodic points, and transcritical bifurcation of the discrete-time laser model. Finally, theoretical results are illustrated using numerical simulations.     

Ray class fields generated by torsion points of certain elliptic curves

We first normalize the derivative Weierstrass ???-function appearing in the Weierstrass equations which give rise to analytic parametrizations of elliptic curves, by the Dedekind ??-function. And, by making use of this normalization of ???, we associate a certain elliptic curve to a given imaginary quadratic field K and then generate an infinite family of ray class fields over K by adjoining to K torsion points of such an elliptic curve. We further construct some ray class invariants of imaginary quadratic fields by utilizing singular values of the normalization of ???, as the y-coordinate in the Weierstrass equation of this elliptic curve, which would be a partial result towards the Lang?CSchertz conjecture of constructing ray class fields over K by means of the Siegel?CRamachandra invariant.