The main objective of this paper is to prove new necessary conditions to the existence of KAM tori. To do so, we develop a set of explicit a-priori estimates for smooth solutions of Hamilton-Jacobi equations, using a combination of methods from viscosity solutions, KAM and Aubry-Mather theories. These estimates are valid in any space dimension, and can be checked numerically to detect gaps between KAM tori and Aubry-Mather sets. We apply these results to detect non-integrable regions in several examples such as a forced pendulum, two coupled penduli, and the double pendulum.
@article{M2AN_2008__42_6_1047_0, author = {Gomes, Diogo A. and Oberman, Adam}, title = {Viscosity solutions methods for converse KAM theory}, journal = {ESAIM: Mathematical Modelling and Numerical Analysis - Mod\'elisation Math\'ematique et Analyse Num\'erique}, volume = {42}, year = {2008}, pages = {1047-1064}, doi = {10.1051/m2an:2008035}, mrnumber = {2473319}, zbl = {1156.37015}, language = {en}, url = {http://dml.mathdoc.fr/item/M2AN_2008__42_6_1047_0} }
Gomes, Diogo A.; Oberman, Adam. Viscosity solutions methods for converse KAM theory. ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Tome 42 (2008) pp. 1047-1064. doi : 10.1051/m2an:2008035. http://gdmltest.u-ga.fr/item/M2AN_2008__42_6_1047_0/
[1] Mathematical aspects of classical and celestial mechanics. Springer-Verlag, Berlin (1997). Translated from the 1985 Russian original by A. Iacob, reprint of the original English edition from the series Encyclopaedia of Mathematical Sciences [Dynamical systems III, Encyclopaedia Math. Sci. 3, Springer, Berlin (1993) MR 95d:58043a]. | MR 1292466 | Zbl 1105.70002
, and ,[2] Mather theory and periodic solutions of the forced Burgers equation. Comm. Pure Appl. Math. 52 (1999) 811-828. | MR 1682812 | Zbl 0916.35099
,[3] Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations. Birkhäuser Boston Inc., Boston, MA, USA (1997). | MR 1484411 | Zbl 0890.49011
and ,[4] An analytic counterexample to the KAM theorem. Ergod. Theory Dyn. Syst. 20 (2000) 317-333. | MR 1756972 | Zbl 0959.37045
,[5] An introduction to the Aubry-Mather theory. São Paulo Journal of Mathematical Sciences (to appear).
and ,[6] Lagrangian graphs, minimizing measures and Mañé's critical values. Geom. Funct. Anal. 8 (1998) 788-809. | MR 1650090 | Zbl 0920.58015
, , and ,[7] Partial differential equations. American Mathematical Society, Providence, RI, USA (1998). | MR 1625845 | Zbl 0902.35002
,[8] Effective Hamiltonians and averaging for Hamiltonian dynamics. I. Arch. Ration. Mech. Anal. 157 (2001) 1-33. | MR 1822413 | Zbl 0986.37056
and ,[9] Effective Hamiltonians and averaging for Hamiltonian dynamics. II. Arch. Ration. Mech. Anal. 161 (2002) 271-305. | MR 1891169 | Zbl 1100.37039
and ,[10] Solutions KAM faibles conjuguées et barrières de Peierls. C. R. Acad. Sci. Paris Sér. I Math. 325 (1997) 649-652. | MR 1473840 | Zbl 0943.37031
,[11] Théorème KAM faible et théorie de Mather sur les systèmes lagrangiens. C. R. Acad. Sci. Paris Sér. I Math. 324 (1997) 1043-1046. | MR 1451248 | Zbl 0885.58022
,[12] Orbite hétéroclines et ensemble de Peierls. C. R. Acad. Sci. Paris Sér. I Math. 326 (1998) 1213-1216. | MR 1650195 | Zbl 0915.58033
,[13] Sur la convergence du semi-groupe de Lax-Oleinik. C. R. Acad. Sci. Paris Sér. I Math. 327 (1998) 267-270. | MR 1650261 | Zbl 1052.37514
,[14] Existence of critical subsolutions of the Hamilton-Jacobi equation. Invent. Math. 155 (2004) 363-388. | MR 2031431 | Zbl 1061.58008
and ,[15] Controlled Markov processes and viscosity solutions. Springer-Verlag, New York (1993). | MR 1199811 | Zbl 0773.60070
and ,[16] Analytic destruction of invariant circles. Ergod. Theory Dyn. Syst. 14 (1994) 267-298. | MR 1279471 | Zbl 0817.58018
,[17] Construction of invariant measures supported within the gaps of Aubry-Mather sets. Ergod. Theory Dyn. Syst. 16 (1996) 51-86. | MR 1375127 | Zbl 0856.58024
,[18] Classical mechanics. Addison-Wesley Publishing Co., Reading, Mass., second edition (1980). | MR 575343 | Zbl 0491.70001
,[19] Viscosity solutions of Hamilton-Jacobi equations and asymptotics for Hamiltonian systems. Calc. Var. Partial Differential Equations 14 (2002) 345-357. | MR 1899451 | Zbl 1005.49027
,[20] Perturbation theory for viscosity solutions of Hamilton-Jacobi equations and stability of Aubry-Mather sets. SIAM J. Math. Anal. 35 (2003) 135-147 (electronic). | MR 2001468 | Zbl 1034.37035
,[21] Duality principles for fully nonlinear elliptic equations, in Trends in partial differential equations of mathematical physics, Progr. Nonlinear Differential Equations Appl. 61, Birkhäuser, Basel (2005) 125-136. | MR 2129614 | Zbl pre02196528
,[22] Computing the effective Hamiltonian using a variational approach. SIAM J. Contr. Opt. 43 (2004) 792-812 (electronic). | MR 2114376 | Zbl 1081.49024
and ,[23] Lack of integrability via viscosity solution methods. Indiana Univ. Math. J. 53 (2004) 1055-1071. | MR 2095448 | Zbl 1081.35023
and ,[24] Converse KAM theory for monotone positive symplectomorphisms. Nonlinearity 12 (1999) 1299-1322. | MR 1710085 | Zbl 0949.37059
,[25] Closed orbits and converse KAM theory. Nonlinearity 3 (1990) 961-973. | MR 1067089 | Zbl 0702.70013
,[26] Correctors for the homogenization of Hamilton-Jacobi equations in the stationary ergodic setting. Comm. Pure Math. Appl. 56 (2003) 1501-1524. | MR 1988897 | Zbl 1050.35012
and ,[27] Homogeneization of Hamilton-Jacobi equations. Preliminary version (1988).
, and ,[28] Converse KAM theory, in Singular behavior and nonlinear dynamics, Vol. 1 (Sámos, 1988), World Sci. Publishing, Teaneck, USA (1989) 109-113. | MR 1131337
,[29] Converse KAM: theory and practice. Comm. Math. Phys. 98 (1985) 469-512. | MR 789867 | Zbl 0585.58032
and ,[30] Converse KAM theory for symplectic twist maps. Nonlinearity 2 (1989) 555-570. | MR 1020442 | Zbl 0699.58030
, and ,[31] On the minimizing measures of Lagrangian dynamical systems. Nonlinearity 5 (1992) 623-638. | MR 1166538 | Zbl 0799.58030
,[32] Generic properties and problems of minimizing measures of Lagrangian systems. Nonlinearity 9 (1996) 273-310. | MR 1384478 | Zbl 0886.58037
,[33] Minimal action measures for positive-definite Lagrangian systems, in IXth International Congress on Mathematical Physics (Swansea, 1988), Hilger, Bristol (1989) 466-468. | MR 1033817 | Zbl 0850.70195
,[34] Minimal measures. Comment. Math. Helv. 64 (1989) 375-394. | MR 998855 | Zbl 0689.58025
,[35] Action minimizing invariant measures for positive definite Lagrangian systems. Math. Z. 207 (1991) 169-207. | MR 1109661 | Zbl 0696.58027
,[36] Two approximations for effective hamiltonians arising from homogenization of Hamilton-Jacobi equations. Preprint (2003). | MR 1883178
,