Abstract
We unify, extend, reinterpret and apply criteria of Birkhoff [1], Herman [9], Mather [2, 3], Aubry et al. [4, 5], and Newman and Percival [6] for the nonexistence of invariant circles for area preserving twist maps. The criteria enable one to establish regions of phase space through which no rotational invariant circles pass. For families of maps the same can be done for regions of the combined space of phase points and parameters. The criteria can be implemented rigorously on a computer, and give a practical method of proving quite strong results. As an example, we present a computer program which proved that the “standard map” has no rotational invariant circles for any parameter value |k|≧63/64.
Similar content being viewed by others
References
Birkhoff, G.D.: Surface transformations and their dynamical applications. Acta Math.43, 1 (1920); Sur quelques courbes fermées remarquables. Bull. Soc. Math. Fr.60, 1 (1932); reprinted in Collected Mathematical Papers, Vol. II, pp. 111, 418, respectively (New York: AMS 1950)
Mather, J.N.: Glancing billiards. Erg. Theory Dyn. Sys.2, 397 (1982)
Mather, J.N.: Non-existence of invariant circles. Erg. Theory Dyn. Sys.4, 301 (1984)
Aubry, S., Le Daeron, P.Y., André, G.: Classical ground-states of a 1 —D model for incommensurate structures. Preprint (1982) CEN Saclay
Aubry, S.: The twist map, the extended Frenkel-Kontorova model and the devil's staircase, Physica7 D, 240 (1983)
Newman, R.A.P.C., Percival, I.C.: Definite paths and upper bounds on regular regions of velocity phase space. Physica6 D, 249 (1983)
Rüssmann, H.: Springer Lect. Notes Math.1007, 677 (1983)
Herman, M.R.: Private communication
Herman, M.R.: Surles courbes invariantes par les difféomorphismes de l'anneau. Astérisque103–104 (1983)
Greene, J.M.: A method for determining a stochastic transition. J. Math. Phys.20, 1183 (1979)
Chirikov, B.V.: A universal instability of many-dimensional oscillator systems. Phys. Reports52, 263 (1979)
Aubry, S., Le Daeron, P.Y.: The discrete Frenkel-Kontorova model and its extensions. I. Exact results for the ground-states. Physica8 D, 381 (1983)
MacKay, R.S., Meiss, J.D.: Linear stability of periodic orbits in Lagrangian systems. Phys. Lett.98 A, 92 (1983)
Pascal 8000 Reference Manual, Version 2.0, Centre Inter-Regional de Calcul Electrique, Orsay (August 1980)
IBM System/370 Principles of Operation, IBM, GA22-7000-6 (March 1980)
Escande, D.F., Doveil, F.: Renormalisation method for computing the threshold of the largescale stochastic instability in two degrees of freedom Hamiltonian systems. J. Stat. Phys.26, 257 (1981)
MacKay, R.S., Meiss, J.D., Percival, I.C.: Stochasticity and transport in Hamiltonian systems, Phys. Rev. Lett.52, 697 (1984); Transport in Hamiltonian systems. Physica13 D, 55 (1984)
Mather, J.N.: A criterion for non-existence of invariant circles. Preprint, Princeton (1982), submitted to Math. Pub. IHES
MacKay, R.S.: Transition to chaos, lecture notes for CERN accelerator school, Sardinia 1985 (to appear in Springer lecture Notes in Physics)
MacKay, R.S.: Renormalisation in area preserving maps. Ph.D. Thesis (1982) Princeton (Univ. Microfilms Int., Ann Arbor, MI)
Mather, J.N.: Private communication
Stark, J.: An exhaustive criterion for the non-existence of invariant circles in area preserving twist maps. Preprint, Warwick (1984), submitted to Erg. Theory Dyn. Sys.
Author information
Authors and Affiliations
Additional information
Communicated by O.E. Lanford
Rights and permissions
About this article
Cite this article
MacKay, R.S., Percival, I.C. Converse KAM: Theory and practice. Commun.Math. Phys. 98, 469–512 (1985). https://doi.org/10.1007/BF01209326
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01209326