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     

Persistence of lower dimensional invariant tori on sub-manifolds in Hamiltonian systems

Chow et al. (J. Non. Sci. 12 (2002) 585) proved that the majority of the unperturbed tori on sub-manifolds will persist for standard Hamiltonian systems. Motivated by their work, in this paper, we study the persistence and tangent frequencies preservation of lower dimensional invariant tori on smooth sub-manifolds for real analytic, nearly integrable Hamiltonian systems. The surviving tori might be elliptic, hyperbolic, or of mixed type.     

具有相交性质的近小扭转映射的不变环面的保持性

In this paper we investigate the nearly small twist mappings with intersection property. With a certain non-degenerate condition, we proved that the most of invariant tori of the original small twist mappings will survive afer small perturtations. The persisted invariant tori are close to the unperturbed ones when the perturbation are small. The orbits reduced by those mappings are quasi-periodic in the invariant tori with the frequences closing to the original ones.     

Invariant hyperbolic tori for Gevrey-smooth Hamiltonian systems under Rüssmann’s non-degeneracy condition

In this paper, we prove the persistence of hyperbolic lower dimensional invariant tori for Gevrey-smooth perturbations of partially integrable Hamiltonian systems under Riissmann＇s nondegeneracy condition by an improved KAM iteration, and the persisting invariant tori are Gevrey smooth, with the same Gevrey index as the Hamiltonian.     

Persistence of Invariant Tori on Submanifolds in Hamiltonian Systems

Summary. Generalizing the degenerate KAM theorem under the Rüssmann nondegeneracy and the isoenergetic KAM theorem, we employ a quasilinear iterative scheme to study the persistence and frequency preservation of invariant tori on a smooth submanifold for a real analytic, nearly integrable Hamiltonian system. Under a nondegenerate condition of Rüssmann type on the submanifold, we shall show the following: (a) the majority of the unperturbed tori on the submanifold will persist; (b) the perturbed toral frequencies can be partially preserved according to the maximal degeneracy of the Hessian of the unperturbed system and be fully preserved if the Hessian is nondegenerate; (c) the Hamiltonian admits normal forms near the perturbed tori of arbitrarily prescribed high order. Under a subisoenergetic nondegenerate condition on an energy surface, we shall show that the majority of unperturbed tori give rise to invariant tori of the perturbed system of the same energy which preserve the ratio of certain components of the respective frequencies.     

A symplectic map and its application to the persistence of lower dimensional invariant tori

We give a nonlinear symplectic coordinator transformation, which can move the normal frequencies of the lower dimensional torus up to (k,w) where ω is the frequency vector of the torus. That means the normal frequencies with a difference (k,w) may be regarded as the same. As an application, we derive a persistence result on lower dimensional tori of nearly integrable Hamiltonian systems when the second Melnikov’s condition is partially violated.     

Persistence of hyperbolic tori in Hamiltonian systems

We generalize the well-known result of Graff and Zehnder on the persistence of hyperbolic invariant tori in Hamiltonian systems by considering non-Floquet, frequency varying normal forms and allowing the degeneracy of the unperturbed frequencies. The preservation of part or full frequency components associated to the degree of non-degeneracy is considered. As applications, we consider the persistence problem of hyperbolic tori on a submanifold of a nearly integrable Hamiltonian system and the persistence problem of a fixed invariant hyperbolic torus in a non-integrable Hamiltonian system.     

KAM-Type Theorem on Resonant Surfaces for Nearly Integrable Hamiltonian Systems

Summary. In this paper, we consider analytic perturbations of an integrable Hamiltonian system in a given resonant surface. It is proved that, for most frequencies on the resonant surface, the resonant torus foliated by nonresonant lower dimensional tori is not destroyed completely and that there are some lower dimensional tori which survive the perturbation if the Hamiltonian satisfies a certain nondegenerate condition. The surviving tori might be elliptic, hyperbolic, or of mixed type. This shows that there are many orbits in the resonant zone which are regular as in the case of integrable systems. This behavior might serve as an obstacle to Arnold diffusion. The persistence of hyperbolic lower dimensional tori has been considered by many authors [5], [6], [15], [16], mainly for multiplicity one resonant case. To deal with the mechanisms of the destruction of the resonant tori of higher multiplicity into nonhyperbolic lower dimensional tori, we have to deal with some small coefficient matrices that are the generalization of small divisors. Received December 18, 1997; revised December 30, 1998; accepted June 21, 1999     

A KAM-type Theorem for Generalized Hamiltonian Systems

In this paper we mainly concern the persistence of invariant tori in generalized Hamiltonian systems. Here the generalized Hamiltonian systems refer to the systems which may admit a distinct number of action and angle variables. In particular, system under consideration can be odd dimensional. Under the Riissmann type non-degenerate condition, we proved that the majority of the lower-dimension invariant tori of the integrable systems in generalized Hamiltonian system are persistent under small perturbation. The surviving lower-dimensional tori might be elliptic, hyperbolic, or of mixed type.     

Degenerate lower-dimensional tori in Hamiltonian systems

We study the persistence of lower-dimensional tori in Hamiltonian systems of the form , where (x,y,z)∈Tn×Rn×R2m, ε is a small parameter, and M(ω) can be singular. We show under a weak Melnikov nonresonant condition and certain singularity-removing conditions on the perturbation that the majority of unperturbed n-tori can still survive from the small perturbation. As an application, we will consider the persistence of invariant tori on certain resonant surfaces of a nearly integrable, properly degenerate Hamiltonian system for which neither the Kolmogorov nor the g-nondegenerate condition is satisfied.     

Persistence of lower-dimensional hyperbolic invariant tori for generalized Hamiltonian systems

In this paper we study the persistence of lower dimensional hyperbolic invariant tori for generalized Hamiltonian systems. Here the generalized Hamiltonian systems refer to the systems which may admit a distinct number of action and angle variables. In particular, systems under consideration can be odd-dimensional. Under Rüssmann-type non-degenerate condition, by introducing a modified linear KAM iterative scheme, we proved that the majority of the lower-dimensional hyperbolic invariant tori persist under small perturbations for generalized Hamiltonian systems.     

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.     

A General Mechanism of Diffusion in Hamiltonian Systems: Qualitative Results

We present a general mechanism to establish the existence of diffusing orbits in a large class of nearly integrable Hamiltonian systems. Our approach is based on following the “outer dynamics” along homoclinic orbits to a normally hyperbolic invariant manifold. The information on the outer dynamics is encoded by a geometrically defined “scattering map.” We show that for every finite sequence of successive iterations of the scattering map, there exists a true orbit that follows that sequence, provided that the inner dynamics is recurrent. We apply this result to prove the existence of diffusing orbits that cross large gaps in a priori unstable models of arbitrary degrees of freedom, when the unperturbed Hamiltonian is not necessarily convex and the induced inner dynamics is not necessarily a twist map, and the perturbation satisfies explicit conditions that are generic. We also mention several other applications where this mechanism is easy to verify (analytically or numerically), such as the planar elliptic restricted three-body problem and the spatial circular restricted three-body problem. Our method differs, in several crucial aspects, from earlier works. Unlike the well-known “two-dynamics” approach, the method we present here relies on the outer dynamics alone. There are virtually no assumptions on the inner dynamics, such as on existence of its invariant objects (e.g., primary and secondary tori, lower-dimensional hyperbolic tori, and their stable/unstable manifolds, Aubry-Mather sets), which are not used at all. © 2019 Wiley Periodicals, Inc.     

Umbilical torus bifurcations in Hamiltonian systems

We consider perturbations of integrable Hamiltonian systems in the neighbourhood of normally umbilic invariant tori. These lower dimensional tori do not satisfy the usual non-degeneracy conditions that would yield persistence by an adaption of KAM theory, and there are indeed regions in parameter space with no surviving torus. We assume appropriate transversality conditions to hold so that the tori in the unperturbed system bifurcate according to a (generalised) umbilical catastrophe. Combining techniques of KAM theory and singularity theory we show that such bifurcation scenarios of invariant tori survive the perturbation on large Cantor sets. Applications to gyrostat dynamics are pointed out.     

Persistence of lower-dimensional tori under the first Melnikov's non-resonance condition

In this paper we prove the persistence of lower-dimensional invariant tori of integrable equations after Hamiltonian perturbations under the first Melnikov's non-resonance condition. The proof is based on an improved KAM machinery which works for the angle variable dependent normal form. By an example, we also show the necessity of the Melnikov's first non-resonance condition for the persistence of lower dimensional tori.     

The discrete Korteweg-de Vries equation

We review the different aspects of integrable discretizations in space and time of the Korteweg-de Vries equation, including Miura transformations to related integrable difference equations, connections to integrable mappings, similarity reductions and discrete versions of Painlevé equations as well as connections to Volterra systems.     

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.     

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     

Invariant tori of locally Hamiltonian systems close to conditionally integrable systems

We study the problem of perturbations of quasiperiodic motions in the class of locally Hamiltonian systems. By using methods of the KAM-theory, we prove a theorem on the existence of invariant tori of locally Hamiltonian systems close to conditionally integrable systems. On the basis of this theorem, we investigate the bifurcation of a Cantor set of invariant tori in the case where a Liouville-integrable system is perturbed by a locally Hamiltonian vector field and, simultaneously, the symplectic structure of the phase space is deformed. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 1, pp. 71–98, January, 2007.     

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.