New approach to the analysis of Hamiltonian and conservative systems

We suggest a new approach to the analysis of solutions of complicated conservative (in particular, Hamiltonian) systems, which implies the construction of an approximating extended two-parameter dissipative system of equations whose stable solutions (attractors) are arbitrarily exact approximations to solutions of the original conservative system. On the basis of numerical experiments for several conservative and Hamiltonian systems with two degrees of freedom, we show that, in all these systems, transition to chaos takes place not through the destruction of two-dimensional tori of the unperturbed system but, conversely, through the generation of complicated two-dimensional tori around cycles of the extended dissipative system and through an infinite cascade of bifurcations of the generation of new cycles and singular trajectories in accordance with the Feigenbaum-Sharkovskii-Magnitskii theory.     

KAM theorems and open problems for infinite-dimensional Hamiltonian with short range

We introduce several KAM theorems for infinite-dimensional Hamiltonian with short range and discuss the relationship between spectra of linearized operator and invariant tori.Especially,we introduce a KAM theorem by Yuan published in CMP(2002),which shows that there are rich KAM tori for a class of Hamiltonian with short range and with linearized operator of pure point spectra.We also present several open problems.     

Periodic and quasi-periodic attractors of weakly-dissipative nearly-integrable systems

We consider nearly-integrable systems under a relatively small dissipation. In particular we investigate two specific models: the discrete dissipative standard map and the continuous dissipative spin-orbit model. With reference to such samples, we review some analytical and numerical results about the persistence of invariant attractors and of periodic attractors.      

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.     

On the topological structure of singular attractors of nonlinear systems of differential equations

We study the topological structure of singular (in the sense of the Feigenbaum-Sharkovskii-Magnitskii theory) attractors of nonlinear dissipative systems of differential equations. We show that any such attractor is a stable nonperiodic trajectory lying on a two-dimensional infinitely folded heteroclinic separatrix manifold generated by the unstable two-dimensional invariant manifold of the original singular cycle as the bifurcation parameter of the system varies. The results obtained for two-dimensional nonautonomous and three-dimensional autonomous dissipative systems are generalized to autonomous multi- and infinite-dimensional dissipative systems as well as to conservative (in particular, Hamiltonian) systems.     

BOUNDEDNESS OF SOLUTIONS FOR SUPERLINEAR REVERSIBLE SYSTEMS

51. IntroductionThe boundedness problem of solutions of the following nonlinear scalar differelltial equa-nons of second order..x f(x, t)ic g(x, t) = 0 (1'1)has been widely investigated by many authors since the 1940's, where f(x, t 1) = j(x, t),g(x, t 1) = g(x, t).When j(x, t) = 0, Equation (1.1) is a conservative system and takes the following form..x g(x, t) ~ 0. (1'2)The first contribution of the boundedness of all the solutions of Equation (1.2) is due toMorrislll, whO proved …     

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.     

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.     

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.     

Invariant Tori in Hamiltonian Systems with High Order Proper Degeneracy

We study the existence of quasi-periodic, invariant tori in a nearly integrable Hamiltonian system of high order proper degeneracy, i.e., the integrable part of the Hamiltonian involves several time scales and at each time scale the corresponding Hamiltonian depends on only part of the action variables. Such a Hamiltonian system arises frequently in problems of celestial mechanics, for instance, in perturbed Kepler problems like the restricted and non-restricted 3-body problems and spatial lunar problems in which several bodies with very small masses are coupled with two massive bodies and the nearly integrable Hamiltonian systems naturally involve different time scales. Using KAM method, we will show under certain higher order non-degenerate conditions of Bruno–Rüssmann type that the majority of quasi-periodic, invariant tori associated with the integrable part will persist after the non-integrable perturbation. This actually concludes the KAM metric stability for such a properly degenerate Hamiltonian system.     

The hyperbolic invariant tori of symplectic mappings

In this paper we study the persistence of lower dimensional hyperbolic invariant tori for nearly integrable twist symplectic mappings. Under a Rüssmann-type non-degenerate condition, by introducing a modified KAM iteration scheme, we proved that nearly integrable twist symplectic mappings admit a family of lower dimensional hyperbolic invariant tori as long as the symplectic perturbation is small enough.     

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     

A KAM Theorem for Reversible Systems of Infinite Dimension

For reversible systems of infinite dimension we prove an infinitely dimensional KAM theorem with an application to the network of weakly coupled oscillators of friction. The KAM theorem shows that there are many invariant tori of infinite dimension, and thus many almost periodic solutions, for the reversible systems.     

The Andronov-Hopf Bifurcation with 2:1 Resonance

We consider dissipative dynamical systems in a neighborhood of quasi-periodic n-dimensional invariant tori that are not normally hyperbolic. We assume that the normal spectrum contains precisely two pairs of simple pure imaginary eigenvalues. We investigate the case where the frequencies are in the ratio 2:1. We establish sufficient conditions for the existence of invariant tori of dimension n + p in a certain region of the parameter space. Bibliography: 13 titles.__________Published in Zapiski Nauchnykh Seminarov POMI, Vol. 300, 2003, pp. 259–265.     

Partial preservation of frequencies and floquet exponents in KAM theory

Under a small perturbation of a completely integrable Hamiltonian system, invariant tori with Diophantine frequencies of motion are not destroyed but only slightly deformed, provided that the Hessian (with respect to the action variables) of the unperturbed Hamiltonian vanishes nowhere (the Kolmogorov nondegeneracy). The motion on every perturbed torus is quasiperiodic with the same frequencies. In this sense the frequencies of invariant tori of the unperturbed system are preserved. Recently, it has been found that the Kolmogorov nondegeneracy condition can be weakened so as to guarantee the preservation of only some subset of frequencies. Such partial preservation of frequencies can also be defined for lower dimensional invariant tori, whose dimension is less than the number of degrees of freedom. We consider a more general problem of partial preservation not only of the frequencies of invariant tori but also of their Floquet exponents (the eigenvalues of the coefficient matrix of the variational equation along the torus). The results are formulated for Hamiltonian, reversible, and dissipative systems (with a complete proof for the reversible case). Original Russian Text ? M.B. Sevryuk, 2007, published in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2007, Vol. 259, pp. 174–202.     

On three types of dynamics and the notion of attractor

We propose a theoretical framework for explaining the numerically discovered phenomenon of the attractor–repeller merger. We identify regimes observed in dynamical systems with attractors as defined in a paper by Ruelle and show that these attractors can be of three different types. The first two types correspond to the well-known types of chaotic behavior, conservative and dissipative, while the attractors of the third type, reversible cores, provide a new type of chaos, the so-called mixed dynamics, characterized by the inseparability of dissipative and conservative regimes. We prove that every elliptic orbit of a generic non-conservative time-reversible system is a reversible core. We also prove that a generic reversible system with an elliptic orbit is universal; i.e., it displays dynamics of maximum possible richness and complexity.     

From the restricted to the full three-body problem

The three-body problem with all the classical integrals fixed and all the symmetries removed is called the reduced three-body problem. We use the methods of symplectic scaling and reduction to show that the reduced planar or spatial three-body problem with one small mass is to the first approximation the product of the restricted three-body problem and a harmonic oscillator. This allows us to prove that many of the known results for the restricted problem have generalizations for the reduced three-body problem.

For example, all the non-degenerate periodic solutions, generic bifurcations, Hamiltonian-Hopf bifurcations, bridges and natural centers known to exist in the restricted problem can be continued into the reduced three-body problem. The classic normalization calculations of Deprit and Deprit-Bartholomé show that there are two-dimensional KAM invariant tori near the Lagrange point in the restricted problem. With the above result this proves that there are three-dimensional KAM invariant tori near the Lagrange point in the reduced three-body problem.     

Quasi-periodic solutions of completely resonant nonlinear wave equations

It is shown that there are many elliptic invariant tori, and thus quasi-periodic solutions, for the completely resonant nonlinear wave equation subject to periodic boundary conditions via KAM theory.     

Invariant Tori, Effective Stability, and Quasimodes with Exponentially Small Error Terms I - ?Birkhoff Normal Forms

. The aim of this paper (part I and II) is to explore the relationship between the effective (Nekhoroshev) stability for near-integrable Hamiltonian systems and the semi-classical asymptotics for Schrödinger operators with exponentially small error terms. Given a real analytic Hamiltonian H close to a completely integrable one and a suitable Cantor set Q \Theta defined by a Diophantine condition, we are going to find a family L_w, w ? Q \Lambda_{\omega}, \omega \in \Theta , of KAM invariant tori of H with frequencies w ? Q \omega \in \Theta which is Gevrey smooth in a Whitney sense. Moreover, we obtain a symplectic Gevrey normal form of the Hamiltonian in a neighborhood of the union L \Lambda of the invariant tori which can be viewed as a simultaneous Birkhoff normal form of H around all invariant tori L_w \Lambda_{\omega} . This leads to effective stability of the quasiperiodic motion near L \Lambda . As an application we obtain in part II (semiclassical) quasimodes with exponentially small error terms which are associated with a Gevrey family of KAM tori for its principal symbol H. To do this we construct a quantum Birkhoff normal form of the Schrödinger operator around L \Lambda in suitable Gevrey classes starting from the Birkhoff normal form of H.     

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.