Heteroclinic bifurcations and chaotic transport in the two-harmonic standard map

We study a two-parameter family of standard maps: the so-called two-harmonic family. In particular, we study the areas of lobes formed by the stable and unstable manifolds. Variational methods are used to find heteroclinic orbits and their action. A specific pair of heteroclinic orbits is used to define a difference in action function and to study bifurcations in the stable and unstable manifolds. Using this idea, two phenomena are studied: the change of orientation of lobes and tangential intersections of stable and unstable manifolds.     

典型混沌映射的流形计算

映射双曲不动点流形的同宿相交是产生混沌的源泉.通过对映射双曲不动点的流形进行计算,观察是否发生同宿相交现象,进而说明映射的混沌性.提出-种算法计算映射的-维稳定与不稳定流形,利用流形曲线上导数传递这-特殊性质,以"预测-校正"两个步骤快速确定流形上新离散点的位置,避免速度慢的二分搜索.以流形切线方向为参考检查新离散点的位置是否满足精度条件.用典型的混沌映射验证算法的有效性.仿真结果表明,算法能够快速有效地计算映射的-维稳定和不稳定流形.     

Secondary homoclinic bifurcation theorems

We develop criteria for detecting secondary intersections and tangencies of the stable and unstable manifolds of hyperbolic periodic orbits appearing in time-periodically perturbed one degree of freedom Hamiltonian systems. A function, called the "Secondary Melnikov Function" (SMF) is constructed, and it is proved that simple (resp. degenerate) zeros of this function correspond to transverse (resp. tangent) intersections of the manifolds. The theory identifies and predicts the rotary number of the intersection (the number of "humps" of the homoclinic orbit), the transition number of the homoclinic points (the number of periods between humps), the existence of tangencies, and the scaling of the intersection angles near tangent bifurcations perturbationally. The theory predicts the minimal transition number of the homoclinic points of a homoclinic tangle. This number determines the relevant time scale, the minimal stretching rate (which is related to the topological entropy) and the transport mechanism as described by the TAM, a transport theory for two-dimensional area-preserving chaotic maps. The implications of this theory on the study of dissipative systems have yet to be explored. (c) 1995 American Institute of Physics.     

An adaptive method for computing invariant manifolds in non-autonomous, three-dimensional dynamical systems

We present a computational method for determining the geometry of a class of three-dimensional invariant manifolds in non-autonomous (aperiodically time-dependent) dynamical systems. The presented approach can be also applied to analyse the geometry of 3D invariant manifolds in three-dimensional, time-dependent fluid flows. The invariance property of such manifolds requires that, at any fixed time, they are given by surfaces in R³. We focus on a class of manifolds whose instantaneous geometry is given by orientable surfaces embedded in R³. The presented technique can be employed, in particular, to compute codimension one (invariant) stable and unstable manifolds of hyperbolic trajectories in 3D non-autonomous dynamical systems which are crucial in the Lagrangian transport analysis. The same approach can also be used to determine evolution of an orientable ‘material surface’ in a fluid flow. These developments represent the first step towards a non-trivial 3D extension of the so-called lobe dynamics — a geometric, invariant-manifold-based framework which has been very successful in the analysis of Lagrangian transport in unsteady, two-dimensional fluid flows. In the developed algorithm, the instantaneous geometry of an invariant manifold is represented by an adaptively evolving triangular mesh with piecewise C² interpolating functions. The method employs an automatic mesh refinement which is coupled with adaptive vertex redistribution. A variant of the advancing front technique is used for remeshing, whenever necessary. Such an approach allows for computationally efficient determination of highly convoluted, evolving geometry of codimension one invariant manifolds in unsteady three-dimensional flows. We show that the developed method is capable of providing detailed information on the evolving Lagrangian flow structure in three dimensions over long periods of time, which is crucial for a meaningful 3D transport analysis.     

Semiclassical interaction of moving two-level atoms with a cavity field: from integrability to Hamiltonian chaos

The dynamics of an ensemble of two-level atoms moving through a single-mode lossless cavity is investigated in the semiclassical and rotating-wave approximations. The dynamical system for the expectation values of the atomic and field observables is considered as a perturbation to one of the following integrable versions: (i) a model with atoms moving through a spatially inhomogeneous resonant field, and (ii) a model with atoms interacting with a nonresonant eigenmode which is assumed to be homogeneous on the cavity size. We find the general exact solutions for both the models and show that they contain special solutions describing a coherent effect of population and radiation trapping. Using the Melnikov method, we prove analytically transverse intersections of stable and unstable manifolds of a hyperbolic fixed point under a small modulation of the vacuum Rabi frequency. These intersections are believed to provide the Smale horseshoe mechanism of Hamiltonian chaos. The analytical results are accompanied with direct computation of topographical maps of maximal Lyapunov exponents that give a representative image of regularity and chaos in the atom-field system in different ranges of its control parameters--the frequency detuning, the number, and the velocity of atoms.     

Dynamical ordering of symmetric non-Birkhoff periodic points in reversible monotone twist mappings

We study the coexistence of symmetric non-Birkhoff periodic orbits of C(1) reversible monotone twist mappings on the cylinder. We prove the equivalence of the existence of non-Birkhoff periodic orbits and that of transverse homoclinic intersections of stable and unstable manifolds of the fixed point. We derive the positional relation of symmetric Birkhoff and non-Birkhoff periodic orbits and obtain the dynamical ordering of symmetric non-Birkhoff periodic orbits. An extension of the Sharkovskii ordering to two-dimensional mappings has been carried out. In the proof of various properties of the mappings, reversibility plays an essential role. (c) 2002 American Institute of Physics.     

Intersection properties of invariant manifolds in certain twist maps

We consider the spaceN ofC ² twist maps that satisfy the following requirements. The action is the sum of a purely quadratic term and a periodic potential times a constantk (hereafter called the nonlinearity). The potential restricted to the unit circle is bimodal, i.e. has one local minimum and one local maximum. The following statements are proven for maps inN with nonlinearityk large enough. The intersection of the unstable and stable invariant manifolds to the hyperbolic minimizing periodic points contains minimizing homoclinic points. Consider two finite pieces of these manifolds that connect two adjacent homoclinic minimizing points (hereafter called fundamental domains). We prove that all such fundamental domains have precisely one point in their intersection (the Single Intersection theorem). In addition, we show that limit points of minimizing points are recurrent, which implies that Aubry Mather sets (with irrational rotation number) are contained in diamonds formed by local stable and unstable manifolds of nearby minimizing periodic orbits (the Diamond Configuration theorem). Another corollary concerns the intersection of the minimax orbits with certain symmetry lines of the map.     

Two-dimensional global manifolds of vector fields

We describe an efficient algorithm for computing two-dimensional stable and unstable manifolds of three-dimensional vector fields. Larger and larger pieces of a manifold are grown until a sufficiently long piece is obtained. This allows one to study manifolds geometrically and obtain important features of dynamical behavior. For illustration, we compute the stable manifold of the origin spiralling into the Lorenz attractor, and an unstable manifold in zeta(3)-model converging to an attracting limit cycle. (c) 1999 American Institute of Physics.     

二维不稳定流形的计算

提出了动力系统中稳定流形和不稳定流形的一种实用的快速算法,可以求得稳定流形和不稳定流形的直观图像,从而从几何角度研究动力系统的动态行为和稳定性区域的边界特征.算法由两步构成:①在不稳定流形上求得一些分布均匀的点,以精确反映流形的每个细节;②借助三角形剖分或二维单纯形剖分利用①的算法将这些点画出直观流形图像.     

Almost-invariant sets and invariant manifolds — Connecting probabilistic and geometric descriptions of coherent structures in flows

We study the transport and mixing properties of flows in a variety of settings, connecting the classical geometrical approach via invariant manifolds with a probabilistic approach via transfer operators. For non-divergent fluid-like flows, we demonstrate that eigenvectors of numerical transfer operators efficiently decompose the domain into invariant regions. For dissipative chaotic flows such a decomposition into invariant regions does not exist; instead, the transfer operator approach detects almost-invariant sets. We demonstrate numerically that the boundaries of these almost-invariant regions are predominantly comprised of segments of co-dimension 1 invariant manifolds. For a mixing periodically driven fluid-like flow we show that while sets bounded by stable and unstable manifolds are almost-invariant, the transfer operator approach can identify almost-invariant sets with smaller mass leakage. Thus the transport mechanism of lobe dynamics need not correspond to minimal transport.The transfer operator approach is purely probabilistic; it directly determines those regions that minimally mix with their surroundings. The almost-invariant regions are identified via eigenvectors of a transfer operator and are ranked by the corresponding eigenvalues in the order of the sets’ invariance or “leakiness”. While we demonstrate that the almost-invariant sets are often bounded by segments of invariant manifolds, without such a ranking it is not at all clear which intersections of invariant manifolds form the major barriers to mixing. Furthermore, in some cases invariant manifolds do not bound sets of minimal leakage.Our transfer operator constructions are very simple and fast to implement; they require a sample of short trajectories, followed by eigenvector calculations of a sparse matrix.     

Exponential asymptotic expansions and approximations of the unstable and stable manifolds of singularly perturbed systems with the Henon map as an example

The subject of this paper is the construction of the exponential asymptotic expansions of the unstable and stable manifolds of the area-preserving Henon map. The approach that is taken enables one to capture the exponentially small effects that result from what is known as the Stokes phenomenon in the analytic theory of equations with irregular singular points. The exponential asymptotic expansions were then used to obtain explicit functional approximations for the stable and unstable manifolds. These approximations are compared with numerical simulations and the agreement is excellent. Several of the main results of the paper have been previously announced in A. Tovbis, M. Tsuchiya, and C. Jaffe ["Chaos-integrability transition in nonlinear dynamical systems: exponential asymptotic approach," Differential Equations and Applications to Biology and to Industry, edited by M. Martelli, K. Cooke, E. Cumberbatch, B. Tang, and H. Thieme (World Scientific, Singapore, 1996), pp. 495-507, and A. Tovbis, M. Tsuchiya, and C. Jaffe, "Exponential asymptotic expansions and approximations of the unstable and stable manifolds of the Henon map," preprint, 1994]. (c) 1998 American Institute of Physics.     

Homoclinic tangency and chaotic attractor disappearance in a dripping faucet experiment

A sequence of attractors, reconstructed from interdrops time series data of a leaky faucet experiment, is analyzed as a function of the mean dripping rate. We established the presence of a saddle point and its manifolds in the attractors and we explained the dynamical changes in the system using the evolution of the manifolds of the saddle point, as suggested by the orbits traced in first return maps. The sequence starts at a fixed point and evolves to an invariant torus of increasing diameter (a Hopf bifurcation) that pushes the unstable manifold towards the stable one. The torus breaks up and the system shows a chaotic attractor bounded by the unstable manifold of the saddle. With the attractor expansion the unstable manifold becomes tangential to the stable one, giving rise to the sudden disappearance of the chaotic attractor, which is an experimental observation of a so called chaotic blue sky catastrophe.     

Toric complete intersections and weighted projective space

It has been shown by Batyrev and Borisov that nef partitions of reflexive polyhedra can be used to construct mirror pairs of complete intersection Calabi–Yau manifolds in toric ambient spaces. We construct a number of such spaces and compute their cohomological data. We also discuss the relation of our results to complete intersections in weighted projective spaces and try to recover them as special cases of the toric construction. As compared to hypersurfaces, codimension two more than doubles the number of spectra with h¹¹=1. Altogether we find 87 new (mirror pairs of) Hodge data, mainly with h¹¹≤4.     

Invariant curves,attractors, and phase diagram of a piecewise linear map with chaos

We introduce equations describing the invariant curves associated with periodic points in a wide class of two-dimensional invertible maps, which in the special case of the mapT(x, z)=(1?a¦x¦+bz,x) can be solved by analytical methods. In the dissipative case several branches of the separatrices of the fixed points, as well as, of the period-2 and -4 points, are constructed. The regions of the parameter space where a given type of strange attractor exists are located. We point out that the disappearance of homoclinic intersections between the separatrices of the fixed point and that of heteroclinic intersections between the unstable manifolds of the period-2 points and the stable manifold of the fixed point may occur separately, and the latter leads already to the appearance of a two-piece strange attractor. This phenomenon may happen at weak dissipation in other maps, too. In the conservative caseb=1 separatrices and certain invariant tori are calculated.     

Discrete breathers: exact solutions in piecewise linear models

Exact breather solutions are constructed in piecewise linear (PWL) versions of the discrete nonlinear Schrodinger and Klein-Gordon equations. These solutions correspond to intersections of stable and unstable manifolds of relevant fixed points in associated 2D mappings, an exact construction of which is possible due to the PWL nature of the models. Such exact solutions give us insight into several aspects of breather properties. The problem of dynamical stability of the breathers is mentioned as an instance, detailed results on which will be presented in a future paper.     

Primary resonant optimal control for nested homoclinic and heteroclinic bifurcations in single-dof nonlinear oscillators

A unified control theorem is presented in this paper, whose aim is to suppress the transversal intersections of stable and unstable manifolds of homoclinic and heteroclinic orbits in the Poincarè map embedding in system dynamics. Based on the control theorem, a primary resonant optimal control technique (PROCT for short) is applied to a general single-dof nonlinear oscillator. The novelty of this technique is able to obtain the unified analytical expressions of the control gain and the control parameters for suppressing the homoclinic and heteroclinic bifurcations, where the control gain can guarantee that the control region where the homoclinic and heteroclinic bifurcations do not occur can be enlarged as much as possible at least cost. The technique is applied to a nonlinear oscillator with a pair of nested homoclinic and heteroclinic orbits. By the PROCT, the transversal intersections of homoclinic and heteroclinic orbits can be suppressed, respectively. The hopping phenomenon that there coexist two kinds of chaotic attractors of Duffing-type and pendulum-type can be suppressed. On the contrary, if the first amplitude coefficient is greater than the critical heteroclinic bifurcation value, then another degenerate hopping behavior of chaos will take place again. Therefore, the phenomenon of hopping is the dominant type of chaos in this oscillator, whose suppressing or inducing is admissible from the points of practical and theoretical view.     

Time-periodic perturbation of a Liénard equation with an unbounded homoclinic loop

We consider a quadratic Liénard equation with an unbounded homoclinic loop, which is a solution tending in forward and backward time to a non-hyperbolic equilibrium point located at infinity. Under small time-periodic perturbation, this equilibrium becomes a normally hyperbolic line of singularities at infinity. We show that the perturbed system may present homoclinic bifurcations, leading to the existence of transverse intersections between the stable and unstable manifolds of such a normally hyperbolic line of singularities. The global study concerning the infinity is performed using the Poincaré compactification in polar coordinates, from which we obtain a system defined on a set equivalent to a solid torus in R³, whose boundary plays the role of the infinity. The transversality of the manifolds is proved using the Melnikov method and implies, via the Birkhoff-Smale Theorem, a complex dynamical behaviour of the perturbed system solutions in the finite part of the phase space. Numerical simulations are performed in order to illustrate this behaviour, which could be called “the chaos arising from infinity”, since it depends on the global structure of the Liénard equation, including the points at infinity. Although applied to a particular case, the analysis presented provides a geometrical approach to study periodic perturbations of homoclinic (or heteroclinic) loops to infinity of any planar polynomial vector field.     

Anti-Self-Duality of Curvature and Degeneration of Metrics with Special Holonomy

We study the structure of noncollapsed Gromov-Hausdorff limits of sequences, Mⁿ_i, of riemannian manifolds with special holonomy. We show that these spaces are smooth manifolds with special holonomy off a closed subset of codimension 4. Additional results on the the detailed structure of the singular set support our main conjecture that if the Mⁿ_i are compact and a certain characteristic number, C(Mⁿ_i), is bounded independent of i, then the singularities are of orbifold type off a subset of real codimension at least 6.The first author was partially supported by NSF Grant DMS 0104128 and the second by NSF Grant DMS 0302744.     

Nonlinear coupling of waves in a plasma in a strong dissipation limit

We study the nonlinear resonant coupling of two waves in a plasma for strong dissipation. We show that the corresponding system of differential equations has a saddle-focus fixed point and study its stable and unstable manifolds. The results we obtain suggest that the stochasticity which is numerically observed might be due to the existence of a spiral-type strange attractor.     

Expansiveness,hyperbolicity and Hausdorff dimension

We show that there exists a simple upper bound on the dimension of a hyperbolic compact set of a dynamical system in terms of topological entropy and a uniform contraction rate on the stable and unstable manifolds. This allows us to give proofs of several apparently unrelated theorems.