On Birkhoff Theorems for Lagrangian invariant tori with closed orbits

We show that a C¹ torus that is homologous to the zero section, invariant by the geodesic flow of a symmetric Finsler metric in T², and possesses closed orbits is a graph of the canonical projection. This result, together with the result obtained by Bialy in 1989 for continuous invariant tori without closed orbits of symmetric Finsler metrics in T², shows that the second Birkhoff Theorem holds for C¹ Lagrangian invariant tori of symmetric Finsler metrics in the two torus. We also study the first Birkhoff Theorem for continuous invariant tori of Finsler metrics in T² and give some sufficient conditions for a continuous minimizing torus with closed orbits to be a graph of the canonical projection. Partially supported by CNPq, FAPERJ, TWAS     

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 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.     

Localized Stable Manifolds for Whiskered Tori in Coupled Map Lattices with Decaying Interaction

In this paper we consider lattice systems coupled by local interactions. We prove invariant manifold theorems for whiskered tori (we recall that whiskered tori are quasi-periodic solutions with exponentially contracting and expanding directions in the linearized system). The invariant manifolds we construct generalize the usual (strong) (un)stable manifolds and allow us to consider also non-resonant manifolds. We show that if the whiskered tori are localized near a collection of specific sites, then so are the invariant manifolds. We recall that the existence of localized whiskered tori has recently been proven for symplectic maps and flows in Fontich et al. (J Diff Equ, 2012), but our results do not need that the systems are symplectic. For simplicity we will present first the main results for maps, but we will show that the result for maps imply the results for flows. It is also true that the results for flows can be proved directly following the same ideas.     

A quasi-periodic Poincaré's theorem

We study the persistence of invariant tori on resonant surfaces of a nearly integrable Hamiltonian system under the usual Kolmogorov non-degenerate condition. By introducing a quasi-linear iterative scheme to deal with small divisors, we generalize the Poincaré theorem on the maximal resonance case (i.e., the periodic case) to the general resonance case (i.e., the quasi-periodic case) by showing the persistence of majority of invariant tori associated to non-degenerate relative equilibria on any resonant surface.The first author was partially supported by NSFC grant 19971042, the National 973 Project of China: Nonlinearity, and the outstanding young's project of the Ministry of Education of China.The second author was partially supported by NSF grant DMS9803581.Mathematics Subject Classification (2000): Primary 58F05, 58F27, 58F30     

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.     

Local bifurcations of plane running waves for the generalized cubic Schrödinger equation

For the generalized cubic Schrödinger equation, we consider a periodic boundary value problem in the case of n independent space variables. For this boundary value problem, there exists a countable set of plane running waves periodic with respect to the time variable. We analyze their stability and local bifurcations under the change of stability. We show that invariant tori of dimension 2, ..., n + 1 can bifurcate from each of them. We obtain asymptotic formulas for the solutions on invariant tori and stability conditions for bifurcating tori as well as parameter ranges in which, starting from n = 3, a subcritical (stiff) bifurcation of invariant tori is possible.     

Completely degenerate lower-dimensional invariant tori for Hamiltonian system

We study the persistence of lower-dimensional invariant tori for a nearly integrable completely degenerate Hamiltonian system. It is shown that the majority of unperturbed invariant tori can survive from the perturbations which are only assumed the smallness and smoothness.     

On the Fréchet Differentiability of Invariant Tori of Countable Systems of Difference Equations Defined on Infinite-Dimensional Tori

By using the method of Green–Samoilenko functions, in the space of bounded number sequences we construct invariant tori of linear and nonlinear systems of discrete equations defined on infinite-dimensional tori. We establish sufficient conditions for the Fréchet differentiability of invariant tori.     

Stability of a Hamiltonian system in a limiting case

We give a fairly simple geometric proof that an equilibrium point of a Hamiltonian system of two degrees of freedom is Liapunov stable in a degenerate case. That is the 1: −1 resonance case where the linearized system has double pure imaginary eigenvalues ±iω, ω ≠ 0 and the Hamiltonian is indefinite. The linear system is weakly unstable, but if a particular coefficient in the normalized Hamiltonian is of the correct sign then Moser’s invariant curve theorem can be applied to show that the equilibrium point is encased in invariant tori and thus it is stable.     

Invariant tori for commuting Hamiltonian PDEs

We generalize to some PDEs a theorem by Eliasson and Nekhoroshev on the persistence of invariant tori in Hamiltonian systems with r integrals of motion and n degrees of freedom, r?n. The result we get ensures the persistence of an r-parameter family of r-dimensional invariant tori. The parameters belong to a Cantor-like set. The proof is based on the Lyapunov-Schmidt decomposition and on the standard implicit function theorem. Some of the persistent tori are resonant. We also give an application to the nonlinear wave equation with periodic boundary conditions on a segment and to a system of coupled beam equations. In the first case we construct 2-dimensional tori, while in the second case we construct 3-dimensional tori.     

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.     

Two-dimensional invariant tori in the neighborhood of an elliptic equilibrium of Hamiltonian systems

In this paper, we prove that a Hamiltonian system possesses either a four-dimensional invaxiant disc or an invariant Cantor set with positive （n ＋ 2）-dimensional Lebesgue measure in the neighborhood of an elliptic equilibrium provided that its lineaxized system at the equilibrium satisfies some small divisor conditions. Both of the invariant sets are foliated by two-dimensional invaxiant tori carrying quasi-oeriodic solutions.     

Bifurcation from 2-dimensional to 3-dimensional invariant tori

Summary The existence of 2 -dimensional invariant tori and their bifurcation in 3-dimensional invariant tori are investigated for a family of (non- hamiltonian) differential sistems in R ⁴.Techniques inspired to the « K.A.M. theory » are used to identify « paths of bifurcation » in the parameters space.Work performed under the auspices of the Italian Council of Research (C.N.R.) and of Ministero della Pubblica Istruzione (M.P.I.).     

Some Aspects of Conservative and Dissipative KAM Theorems

We discuss some aspects of conservative and dissipative KAM theorems, with particular reference to a comparison between the main assumptions needed to develop KAM theory in the two settings. After analyzing the qualitative behavior of a paradigmatic model (the standard mapping), we study the existence of quasi?Cperiodic tori in the two frameworks, paying special attention to the occurrence of small divisors and to the non?Cdegeneracy (twist) condition in the conservative and in the dissipative case. These conditions are the main requirements for the applicability of KAM theorem, which is then stated for invariant tori as well as for invariant attractors. We proceed to discuss a criterion for the determination of the breakdown threshold of invariant tori and invariant attractors through approximating periodic orbits. These results can be applied to a wide set of physical problems; concrete applications to Celestial Mechanics are discussed with particular reference to the rotational and orbital motion of celestial bodies.     

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.     

Invariant tori for non conservative perturbations of integrable systems

We prove some results on the persistence of invariant tori for non hamiltonian perturbations of integrable systems. We also obtain persistence for the case where the unperturbed torus is resonant. In such a case the persistence of invariant tori is ensured for small, but outside of a neighbourhood of zero. Received June 1999 – Revised October 1999     

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).     

Singular cubics of CP 2 as limits of sequences of tori

We use the modular invariant j to understand singular cubics of CP ² as limits of sequences of tori and we observe different behaviours according to the cubic type.