Construction of invariant whiskered tori by a parameterization method. Part I: Maps and flows in finite dimensions

We present theorems which provide the existence of invariant whiskered tori in finite-dimensional exact symplectic maps and flows. The method is based on the study of a functional equation expressing that there is an invariant torus.We show that, given an approximate solution of the invariance equation which satisfies some non-degeneracy conditions, there is a true solution nearby. We call this an a posteriori approach.The proof of the main theorems is based on an iterative method to solve the functional equation.The theorems do not assume that the system is close to integrable nor that it is written in action-angle variables (hence we can deal in a unified way with primary and secondary tori). It also does not assume that the hyperbolic bundles are trivial and much less that the hyperbolic motion can be reduced to constant linear map.The a posteriori formulation allows us to justify approximate solutions produced by many non-rigorous methods (e.g. formal series expansions, numerical methods). The iterative method is not based on transformation theory, but rather on successive corrections. This makes it possible to adapt the method almost verbatim to several infinite-dimensional situations, which we will discuss in a forthcoming paper. We also note that the method leads to fast and efficient algorithms. We plan to develop these improvements in forthcoming papers.     

Symplectic method for the construction of ergodic measures on invariant submanifolds of nonautonomous hamiltonian systems: Lagrangian manifolds, their structure, and mather homologies

We develop a new approach to the study of properties of ergodic measures for nonautonomous periodic Hamiltonian flows on symplectic manifolds, which are used in many problems of mechanics and mathematical physics. Using Mather’s results on homologies of invariant probability measures that minimize some Lagrangian functionals and the symplectic theory developed by Floer and others for the investigation of symplectic actions and transversal intersections of Lagrangian manifolds, we propose an analog of a Mather-type β-function for the study of ergodic measures associated with nonautonomous Hamiltonian systems on weakly exact symplectic manifolds. Within the framework of the Gromov-Salamon-Zehnder elliptic methods in symplectic geometry, we establish some results on stable and unstable manifolds for hyperbolic invariant sets, which are used in the theory of adiabatic invariants of slowly perturbed integrable Hamiltonian systems. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 5, pp. 675–691, May, 2006.     

Geometric properties of the scattering map of a normally hyperbolic invariant manifold

Given a normally hyperbolic invariant manifold Λ for a map f, whose stable and unstable invariant manifolds intersect transversally, we consider its associated scattering map. That is, the map that, given an asymptotic orbit in the past, gives the asymptotic orbit in the future.We show that when f and Λ are symplectic (respectively exact symplectic) then, the scattering map is symplectic (respectively exact symplectic). Furthermore, we show that, in the exact symplectic case, there are extremely easy formulas for the primitive function, which have a variational interpretation as difference of actions.We use this geometric information to obtain efficient perturbative calculations of the scattering map using deformation theory. This perturbation theory generalizes and extends several results already obtained using the Melnikov method. Analogous results are true for Hamiltonian flows. The proofs are obtained by geometrically natural methods and do not involve the use of particular coordinate systems, hence the results can be used to obtain intersection properties of objects of any type.We also reexamine the calculation of the scattering map in a geodesic flow perturbed by a quasi-periodic potential. We show that the geometric theory reproduces the results obtained in [Amadeu Delshams, Rafael de la Llave, Tere M. Seara, Orbits of unbounded energy in quasi-periodic perturbations of geodesic flows, Adv. Math. 202 (1) (2006) 64-188] using methods of fast-slow systems. Moreover, the geometric theory allows to compute perturbatively the dependence on the slow variables, which does not seem to be accessible to the previous methods.     

A geometrical method for the approximation of invariant tori

We consider a numerical method based on the so-called “orthogonality condition” for the approximation and continuation of invariant tori under flows. The basic method was originally introduced by Moore [Computation and parameterization of invariant curves and tori, SIAM J. Numer. Anal. 15 (1991) 245–263], but that work contained no stability or consistency results. We show that the method is unconditionally stable and consistent in the special case of a periodic orbit. However, we also show that the method is unstable for two-dimensional tori in three-dimensional space when the discretization includes even numbers of points in both angular coordinates, and we point out potential difficulties when approximating invariant tori possessing additional invariant sub-manifolds (e.g., periodic orbits). We propose some remedies to these difficulties and give numerical results to highlight that the end method performs well for invariant tori of practical interest.     

Separatrix splitting from the point of view of symplectic geometry

Generally, the invariant Lagrangian manifolds (stable and unstable separatrices) asymptotic with respect to a hyperbolic torus of a Hamiltonian system do not coincide. This phenomenon is called separatrix splitting. In this paper, a symplectic invariant qualitatively describing separatrix splitting for hyperbolic tori of maximum (smaller by one than the number of degrees of freedom) dimension is constructed. The construction resembles that of the homoclinic invariant found by lazutkin for two-dimensional symplectic maps and of Bolotin's invariant for splitting of asymptotic manifolds of a fixed point of a symplectic diffeomorphism. Translated fromMatematicheskie Zametki, Vol. 61, No. 6, pp. 890–906, June, 1997. Translated by O. V. Sipacheva     

Exotic smooth structures and symplectic forms on closed manifolds

In this paper we discuss relations between symplectic forms and smooth structures on closed manifolds. Our main motivation is the problem if there exist symplectic structures on exotic tori. This is a symplectic generalization of a problem posed by Benson and Gordon. We give a short proof of the (known) positive answer to the original question of Benson and Gordon that there are no Kähler structures on exotic tori. We survey also other related results which give an evidence for the conjecture that there are no symplectic structures on exotic tori.     

Analytic invariant manifolds for sequences of diffeomorphisms

We obtain real analytic invariant manifolds for trajectories of maps assuming only the existence of a nonuniform exponential behavior. We also consider the more general case of sequences of maps, which corresponds to a nonautonomous dynamics with discrete time. We emphasize that the maps that we consider are defined in a real Euclidean space, and thus, one is not able to obtain the invariant manifolds from a corresponding procedure to that in the nonuniform hyperbolicity theory in the context of holomorphic dynamics. We establish the existence both of stable (and unstable) manifolds and of center manifolds. As a byproduct of our approach we obtain an exponential control not only for the trajectories on the invariant manifolds, but also for all their derivatives.     

A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: Rigorous results

In this paper we prove rigorous results on persistence of invariant tori and their whiskers. The proofs are based on the parameterization method of [X. Cabré, E. Fontich, R. de la Llave, The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces, Indiana Univ. Math. J. 52 (2) (2003) 283-328; X. Cabré, E. Fontich, R. de la Llave, The parameterization method for invariant manifolds. II. Regularity with respect to parameters, Indiana Univ. Math. J. 52 (2) (2003) 329-360]. The invariant manifolds results proved here include as particular cases of the usual (strong) stable and (strong) unstable manifolds, but also include other non-resonant manifolds. The method lends itself to numerical implementations whose analysis and implementation is studied in [A. Haro, R. de la Llave, A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: Numerical algorithms, preprint, 2005; A. Haro, R. de la Llave, A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: Numerical implementation and examples, preprint, 2005]. The results are stated as a posteriori results. Namely, that if one has an approximate solution which is not degenerate, then, one has a true solution not too far from the approximate one. This can be used to validate the results of numerical computations.     

Persistence of Hyperbolic Tori in Generalized Hamiltonian Systems

In this paper we prove the persistence of hyperbolic invariant tori in generalized Hamiltonian systems, which may admit a distinct number of action and angle variables. The systems under consideration can be odd dimensional in tangent direction. Our results generalize the well-known results of Graff and Zehnder in standard Hamiltonians. In our case the unperturbed Hamiltonian systems may be degenerate. We also consider the persistence problem of hyperbolic tori on sub manifolds.     

Heteroclinic Transition Motions in Periodic Perturbations of Conservative Systems with an Application to Forced Rigid Body Dynamics

We consider periodic perturbations of conservative systems. The unperturbed systems are assumed to have two nonhyperbolic equilibria connected by a heteroclinic orbit on each level set of conservative quantities. These equilibria construct two normally hyperbolic invariant manifolds in the unperturbed phase space, and by invariant manifold theory there exist two normally hyperbolic, locally invariant manifolds in the perturbed phase space. We extend Melnikov’s method to give a condition under which the stable and unstable manifolds of these locally invariant manifolds intersect transversely. Moreover, when the locally invariant manifolds consist of nonhyperbolic periodic orbits, we show that there can exist heteroclinic orbits connecting periodic orbits near the unperturbed equilibria on distinct level sets. This behavior can occur even when the two unperturbed equilibria on each level set coincide and have a homoclinic orbit. In addition, it yields transition motions between neighborhoods of very distant periodic orbits, which are similar to Arnold diffusion for three or more degree of freedom Hamiltonian systems possessing a sequence of heteroclinic orbits to invariant tori, if there exists a sequence of heteroclinic orbits connecting periodic orbits successively.We illustrate our theory for rotational motions of a periodically forced rigid body. Numerical computations to support the theoretical results are also given.     

Analytic smoothing of geometric maps with applications to KAM theory

We show that finitely differentiable diffeomorphisms which are either symplectic, volume-preserving, or contact can be approximated with analytic diffeomorphisms that are, respectively, symplectic, volume-preserving or contact. We prove that the approximating functions are uniformly bounded on some complex domains and that the rate of convergence, in Cr-norms, of the approximation can be estimated in terms of the size of such complex domains and the order of differentiability of the approximated function. As an application to this result, we give a proof of the existence, the local uniqueness and the bootstrap of regularity of KAM tori for finitely differentiable symplectic maps. The symplectic maps considered here are not assumed either to be written in action-angle variables or to be perturbations of integrable systems. Our main assumption is the existence of a finitely differentiable parameterization of a maximal dimensional torus that satisfies a non-degeneracy condition and that is approximately invariant. The symplectic, volume-preserving and contact forms are assumed to be analytic.     

Invariant manifolds for stochastic wave equations

In this paper, we consider a class of stochastic wave equations with nonlinear multiplicative noise. We first show that these stochastic wave equations generate random dynamical systems (or stochastic flows) by transforming the stochastic wave equations to random wave equations through a stationary random homeomorphism. Then, we establish the existence of random invariant manifolds for the random wave equations. Due to the temperedness of the nonlinearity, we obtain only local invariant manifolds no matter how large the spectral gap is unlike the deterministic cases. Based on these random dynamical systems, we prove the existence of random invariant manifolds in a tempered neighborhood of an equilibrium. Finally, we show that the images of these invariant manifolds under the inverse stationary transformation give invariant manifolds for the stochastic wave equations.     

Remarks on derived equivalences of Ricci-flat manifolds

After a finite étale cover, any Ricci-flat Kähler manifold decomposes into a product of complex tori, irreducible holomorphic symplectic manifolds, and Calabi–Yau manifolds. We present results indicating that this decomposition is an invariant of the derived category. The main idea to distinguish the derived category of an irreducible holomorphic symplectic manifold from that of a Calabi–Yau manifold is that point sheaves do not deform in certain (non-commutative) deformations of the former, whereas they do for the latter. On the way, we prove a conjecture of C?ld?raru on the module structure of the Hochschild–Kostant–Rosenberg isomorphism for manifolds with trivial canonical bundle as a direct consequence of recent work by Calaque, van den Bergh, and Ramadoss.     

Variational results on flag manifolds: Harmonic maps, geodesics and Einstein metrics

In this paper, we study variational aspects for harmonic maps from M to several types of flag manifolds and the relationship with the rich Hermitian geometry of these manifolds. We consider maps that are harmonic with respect to any invariant metric on each flag manifold. They are called equiharmonic maps. We survey some recent results for the case where M is a Riemann surface or is one dimensional; i.e., we study equigeodesics on several types of flag manifolds. We also discuss some results concerning Einstein metrics on such manifolds.     

Dynamical systems on lattices with decaying interaction I: A functional analysis framework

We consider weakly coupled map lattices with a decaying interaction. That is, we consider systems which consist of a phase space at every site such that the dynamics at a site is little affected by the dynamics at far away sites.We develop a functional analysis framework which formulates quantitatively the decay of the interaction and is able to deal with lattices such that the sites are manifolds. This framework is very well suited to study systematically invariant objects. One obtains that the invariant objects are essentially local.We use this framework to prove a stable manifold theorem and show that the manifolds are as smooth as the maps and have decay properties (i.e. the derivatives of one of the coordinates of the manifold with respect to the coordinates at far away sites are small). Other applications of the framework are the study of the structural stability of maps with decay close to uncoupled possessing hyperbolic sets and the decay properties of the invariant manifolds of their hyperbolic sets, in the companion paper by Fontich et al. (2011) [10].     

KAM theorem of symplectic algorithms for Hamiltonian systems

Summary. In this paper we prove that an analog of the celebrated KAM theorem holds for symplectic algorithms, which Channel and Scovel (1990), Feng Kang (1991) and Sanz-Serna and Calvo (1994) suggested a few years ago. The main results consist of the existence of invariant tori, with a smooth foliation structure, of a symplectic numerical algorithm when it applies to a generic integrable Hamiltonian system if the system is analytic and the time-step size of the algorithm is s ufficiently small. This existence result also implies that the algorithm, when it is applied to a generic integrable system, possesses n independent smooth invariant functions which are in involution and well-defined on the set filled by the invariant tori in the sense of Whitney. The invariant tori are just the level sets of these functions. Some quantitative results about the numerical invariant tori of the algorithm approximating the exact ones of the system are also given. Received December 27, 1997 / Revised version received July 15, 1998 / Published online: July 7, 1999     

Numerical invariant tori of symplectic integrators for integrable Hamiltonian systems

In this paper, we study the persistence of invariant tori of integrable Hamiltonian systems satisfying Rssmann's non-degeneracy condition when symplectic integrators are applied to them. Meanwhile, we give an estimate of the measure of the set occupied by the invariant tori in the phase space. On an invariant torus,numerical solutions are quasi-periodic with a diophantine frequency vector of time step size dependence. These results generalize Shang's previous ones(1999, 2000), where the non-degeneracy condition is assumed in the sense of Kolmogorov.     

Rigorous Computer-Assisted Application of KAM Theory: A Modern Approach

In this paper, we present and illustrate a general methodology to apply KAM theory in particular problems, based on an a posteriori approach. We focus on the existence of real analytic quasi-periodic Lagrangian invariant tori for symplectic maps. The purpose is to verify the hypotheses of a KAM theorem in an a posteriori format: Given a parameterization of an approximately invariant torus, we have to check non-resonance (Diophantine) conditions, non-degeneracy conditions and certain inequalities to hold. To check such inequalities, we require to control the analytic norm of some functions that depend on the map, the ambient structure and the parameterization. To this end, we propose an efficient computer-assisted methodology, using fast Fourier transform, having the same asymptotic cost of using the parameterization method for obtaining numerical approximations of invariant tori. We illustrate our methodology by proving the existence of invariant curves for the standard map (up to \(\varepsilon =0.9716\)), meandering curves for the non-twist standard map and 2-dimensional tori for the Froeschlé map.