Abstract
The goal of this paper is to develop a KAM theory for tori with hyperbolic directions, which applies to Hamiltonian partial differential equations, even to some ill-posed ones. The main result has an a-posteriori format, that is, we show that if there is an approximate solution of an invariance equation which also satisfies some non-degeneracy conditions, then there is a true solution nearby. This allows, besides dealing with the quasi-integrable case, for the validation of numerical computations or formal perturbative expansions as well as for obtaining quasi-periodic solutions in degenerate situations. The a-posteriori format also has other automatic consequences (smooth dependence on parameters, bootstrap of regularity, etc.). We emphasize that the non-degeneracy conditions required are just quantities evaluated on the approximate solution (no global assumptions on the system such as twist). Hence, they are readily verifiable in perturbation expansions. We will pay attention to the quantitative relations between the sizes of the approximation and the non-degeneracy conditions. This will allow us to prove what experts call small twist theorems (the non-degeneracy conditions vanishes as the perturbation goes to zero but much slower than the error of the approximation). The method of proof is based on an iterative method for solving a functional equation for the parameterization of the torus expressing that the range of the parameterization admits an evolution and is invariant. We also solve functional equations for bundles which imply that are invariant under the linearization. The iterative method does not use transformation theory nor action-angle variables. The main result does not assume that the system is close to integrable. More surprisingly, we do not need that the equations we study define an evolution for all initial conditions and are well posed. Even if the systems we study do not admit solutions for all initial conditions, we show that there is a systematic way to choose initial conditions on which one can define an evolution which is quasi-periodic. We first develop an abstract theorem. Then, we show how this abstract result applies to some concrete examples. The examples considered in this paper are the scalar Boussinesq equation and the Boussinesq system (both are PDE models that aim to describe water waves in the long wave limit). For these equations we construct small amplitude time quasi-periodic solutions which are even in the spatial variable. The strategy for the abstract theorem is inspired by that in Fontich et al. (Electron Res Announc Math Sci 16:9–22, 2009; J Differ Equ 246(8):3136–3213, 2009). The main part of the paper is to study infinite dimensional analogues of dichotomies which applies even to ill-posed equations and which is stable under addition of unbounded perturbations. This requires that we assume smoothing properties. We also present very detailed bounds on the change of the splittings under perturbations.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Ambrose D.M.: Strong solutions for time-dependent mean field games with non separable Hamiltonians. J. Math. Pures Appl.113,(9) 141–154 (2018)
Abraham R., Robbin J.: Transversal Mappings and Flows. W. A. Benjamin Inc., New York-Amsterdam (1967)
Bambusi D.: On the Darboux theorem for weak symplectic manifolds. Proc. Amer. Math. Soc., 127(11), 3383–3391 (1999)
Berti M.: Nonlinear Oscillations of Hamiltonian PDEs Progress in Nonlinear Differential Equations and their Applications, 74. Birkhäuser Boston Inc., Boston, MA (2007)
Boussinesq J.: Thorie des ondes et des remous qui se propagent le long d’un canal rectangulaire horizontal, en communiquant au liquide contenu dans ce canal des vitesses sensiblement pareilles de la surface au fond. Jour. de Math. Pures et App. 17(2), 55–108 (1872)
Bourgain J.: Quasi-periodic solutions of Hamiltonian perturbations of 2D linear Schrödinger equations. Ann. of Math. (2) 148(2), 363–439 (1998)
Bourgain, J.: Periodic solutions of nonlinear wave equations. In: Harmonic Analysis and Partial Differential Equations (Chicago, IL, 1996), pages 69–97. Univ. Chicago Press, Chicago, IL, 1999
Calleja, R., Celletti, A., de la Llave, R.: Whitney regularity, monogenic dependence of solutions in kam theory: an a-posteriori approach. Manuscript 2015
Calleja R., de la Llave R.: Anumerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification. Nonlinearity, 23(9), 2029–2058 (2010)
Cheng, H., de la Llave, R.: Stable manifolds to bounded solutions in possibly ill posed pde’s. Preprint 2017
Constantin P., Foias C., Nicolaenko B., Temam R.: Integral Manifolds and Inertial Manifolds for Dissipative Partial Differential Equations, volume 70 of Applied Mathematical Sciences. Springer-Verlag, New York (1989)
Castelli, R., Gameiro, M., Lessard, J.-P.: Rigorous numerics for ill-posed pdes: Periodic orbits in the boussinesq equation. Archive for Rational Mechanics and Analysis, 2017
Craig W., Guyenne P., Nicholls D. P., Sulem C.: Hamiltonian long-wave expansions for water waves over a rough bottom. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 461(2055), 839–873 (2005)
Chueshov I.D.: Introduction to the Theory of Infinite-Dimensional Dissipative Systems. AKTA Scientific Publishing House, Kharkiv (2002)
Chow S.-N., Leiva H.: Existence and roughness of the exponential dichotomy for skew-product semiflow in Banach spaces. J. Differential Equations, 120(2), 429–477 (1995)
Chow S.-N., Leiva H.: Unbounded perturbation of the exponential dichotomy for evolution equations. J. Differential Equations, 129(2), 509–531 (1996)
Chernoff, P. R., Marsden, J. E.: Properties of Infinite Dimensional Hamiltonian Systems. Springer-Verlag, Berlin, 1974. Lecture Notes in Mathematics, Vol. 425
Cherrier P., Milani A.: Linear and Quasi-linear Evolution Equations in Hilbert Spaces, volume 135 of Graduate Studies in Mathematics. American Mathematical Society, Providence (2012)
Chen M., Nguyen N. V., Sun S.-M.: Existence of traveling-wave solutions to Boussinesq systems. Differential Integral Equations, 24(9-10), 895–908 (2011)
Craig W.: Problèmes de petits diviseurs dans les équations aux dérivées partielles, volume 9 of Panoramas et Synthèses [Panoramas and Syntheses]. Société Mathématique de France, Paris (2000)
Craig,W.:Transformation theory of Hamiltonian PDE and the problem of water waves. In: Hamiltonian Dynamical Systems and Applications, NATO Sci. Peace Secur. Ser. B Phys. Biophys., pages 67–83. Springer, Dordrecht, 2008
Chepyzhov V.V., Vishik M.I.: Attractors for Equations of Mathematical Physics, volume 49 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence (2002)
Craig W., Wayne C.E.: Newton’s method and periodic solutions of nonlinear wave equations. Comm. Pure Appl. Math., 46(11), 1409–1498 (1993)
Craig, W., Wayne, C. E.: Periodic solutions of nonlinear Schrödinger equations and the Nash-Moser method. In: Hamiltonian Mechanics (Toruń, 1993), volume 331 of NATO Adv. Sci. Inst. Ser. B Phys., pages 103–122. Plenum, New York, 1994
de la Llave, R.: A tutorial on KAM theory. In: Smooth ergodic theory and its applications (Seattle, WA, 1999), pages 175–292. Amer. Math. Soc., Providence, RI, 2001
de la Llave R.: A smooth center manifold theorem which applies to some ill-posed partial differential equations with unbounded nonlinearities. J. Dynam. Differential Equations, 21(3), 371–415 (2009)
de la Llave R., González A., Jorba À., Villanueva J.: KAM theory without action-angle variables. Nonlinearity, 18(2), 855–895 (2005)
Desolneux-Moulis, N.: Orbites périodiques des systèmes hamiltoniens autonomes (d’après Clarke, Ekeland-Lasry, Moser, Rabinowitz, Weinstein). In: Bourbaki Seminar, Vol. 1979/80 , volume 842 of Lecture Notes in Math ., pages 156–173. Springer, Berlin- New York, 1981
Douady R.: Stabilité ou instabilité des points fixes elliptiques. Ann. Sci. École Norm. Sup. (4) 21(1), 1–46 (1988)
Eliasson, L.H.: Hamiltonian systems with linear normal form near an invariant torus. In: Nonlinear Dynamics (Bologna, 1988), pages 11–29. World Sci. Publishing, Teaneck, NJ, 1989
Fontich E., de la Llave R., Sire Y.: Construction of invariant whiskered tori by a parameterization method. I. Maps and flows in finite dimensions. J. Differential Equations, 246(8), 3136–3213 (2009)
Fontich E., de la Llave R., Sire Y.: A method for the study of whiskered quasi periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems. Electron. Res. Announc. Math. Sci., 16, 9–22 (2009)
Fontich E., de la Llave R., Sire Y.: Construction of invariant whiskered tori by a parameterization method Part II: Quasi-periodic and almost periodic breathers in coupled map lattices. J. Differential Equations, 259(6), 2180–2279 (2015)
Figueras J., Gameiro M., Lessard J.-P., de la Llave R.: A framework for the numerical computation and a posteriori verification of invariant objects of evolution equations. SIAM J. Appl. Dyn. Syst., 16(2), 1070–1088 (2017)
Grébert B., Kappeler T.: The Defocusing NLS Equation and Its Normal Form EMS Series of Lectures in Mathematics. European Mathematical Society (EMS), Zürich (2014)
Goldstein J. A.: Semigroups of Linear Operators and Applications Oxford Mathematical Monographs. The Clarendon Press,. Oxford University Press, New York (1985)
Graff S.M.: On the conservation of hyperbolic invariant tori for Hamiltonian systems. J. Differential Equations, 15, 1–69 (1974)
Hale J. K.: Asymptotic Behavior of Dissipative Systems, volume 25 of Mathematical Surveys and Monographs. American Mathematical Society, Providence (1988)
Haro A., de la Llave R.: A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results. J. Differential Equations, 228(2), 530–579 (2006)
Henry D.: Geometric Theory of Semilinear Parabolic Equations, volume 840 of Lecture Notes in Mathematics. Springer-Verlag, Berlin (1981)
Hale J. K., Magalhães L.T., Oliva W.M.: Dynamics in Infinite Dimensions, volume 47 of Applied Mathematical Sciences. Springer-Verlag, New York (2002) second edition With an appendix by Krzysztof P. Rybakowski
Hille E., Phillips R.S.: Functional Analysis and Semi-groups. American Mathematical Society, Providence (1974) Third printing of the revised edition of 1957, American Mathematical Society Colloquium Publications, Vol. XXXI
Hirsch M.W., Pugh C.C., Shub M.: Invariant Manifolds. Springer-Verlag, Berlin (1977) 1977. Lecture Notes in Mathematics, Vol. 583
Kappeler T., Pöschel J.: KdV & KAM, volume 45 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin (2003)
Kirchgässner K., Scheurle J.: On the bounded solutions of a semilinear elliptic equation in a strip. J. Differential Equations, 32(1), 119–148 (1979)
Kuksin S.B.: Nearly Integrable Infinite-Dimensional Hamiltonian Systems, volume 1556 of Lecture Notes in Mathematics. Springer-Verlag, Berlin (1993)
Kuksin, S.B.: KAM-Theory for Partial Differential Equations. In First European Congress of Mathematics, Vol. II (Paris, 1992), pages 123–157. Birkhäuser, Basel, 1994
Kuksin S.B.: Analysis of Hamiltonian PDEs, volume 19 of Oxford Lecture Series in Mathematics and its Applications. Oxford University Press, Oxford (2000)
Kuksin, S. B.:Hamiltonian PDEs. In: Handbook of Dynamical Systems. Vol. 1B, pages 1087–1133. Elsevier B. V., Amsterdam, 2006. With an appendix by Dario Bambusi
Lewicka M., Mucha P.B.: On the existence of traveling waves in the 3D Boussinesq system. Comm. Math. Phys., 292(2), 417–429 (2009)
Luque A., Villanueva J.: A KAM theorem without action-angle variables for elliptic lower dimensional tori. Nonlinearity, 24(4), 1033–1080 (2011)
Li, Y., Yi, Y.: Persistence of lower dimensional tori of general types in Hamiltonian systems. Trans. Amer. Math. Soc., 357(4), 1565–1600 (electronic), 2005
McKean H.P.: Boussinesq’s equation on the circle. Comm. Pure Appl. Math., 34(5), 599–691 (1981)
Mielke A.: Reduction of quasilinear elliptic equations in cylindrical domains with applications. Math. Methods Appl. Sci., 10(1), 51–66 (1988)
Miyadera I.: Nonlinear Semigroups, volume 109 of Translations of Mathematical Monographs. American Mathematical Society, Providence (1992) Translated from the 1977 Japanese original by Choong Yun Cho
Moser J.: A rapidly convergent iteration method and non-linear differential equations. II. Ann. Scuola Norm. Sup. Pisa 20(3), 499–535 (1966)
Moser J.: A rapidly convergent iteration method and non-linear partial differential equations. I. Ann. Scuola Norm. Sup. Pisa 20(3), 265–315 (1966)
Moser J.K.: Lectures on Hamiltonian systems. Mem. Amer. Math Soc. No. 81. Amer. Math. Soc., Providence R.I. (1968)
Moser J.: Periodic orbits near an equilibrium and a theorem by Alan Weinstein. Comm. Pure Appl. Math., 29(6), 724–747 (1976)
Nelson E.: Topics in Dynamics. I: Flows. Princeton University Press, Princeton (1969)
Neuberger J.W.: Sobolev gradients and differential equations, volume 1670 of Lecture Notes in Mathematics. Springer-Verlag, Berlin (2010) second edition
Pazy A.: Semigroups of linear operators and applications to partial differential equations, volume 44 of Applied Mathematical Sciences. Springer-Verlag, New York (1983)
Poincaré, H.: Les méthodes nouvelles de la mécanique céleste, volume 1, 2, 3. Gauthier-Villars, Paris, 1892–1899
Pliss V.A., Sell G. R.: Robustness of exponential dichotomies in infinite dimensional dynamical systems. J. Dynam. Differential Equations, 11(3), 471–513 (1999)
Polácik P., Valdebenito D.A.: Existence of quasi periodic solutions of elliptic equations on \({\mathbb{R}^{N+1}}\) via center manifold and KAM theorems. J. Differential Equations, 262(12), 6109–6164 (2017)
Robinson J. C.: Infinite-Dimensional Dynamical Systems Cambridge Texts in Applied Mathematics. Springer-Verlag, Cambridge (2001) An introduction to dissipative parabolic PDEs and the theory of global attractors
Rüssmann, H.: On optimal estimates for the solutions of linear partial differential equations of first order with constant coefficients on the torus. In: Dynamical Systems, Theory and Applications (Battelle Rencontres, Seattle, Wash., 1974), pages 598–624. Lecture Notes in Phys., Vol. 38, Berlin, 1975. Springer
Rüssmann, H.: On a new proof of Moser’s twist mapping theorem. In: Proceedings of the Fifth Conference on Mathematical Methods in Celestial Mechanics (Oberwolfach, 1975), Part I, volume 14, pages 19–31, 1976
Rüssmann H.: On optimal estimates for the solutions of linear difference equations on the circle. Celestial Mech., 14(1), 33–37 (1976)
Schwartz J.: On Nash’s implicit functional theorem. Comm. Pure Appl. Math., 13, 509–530 (1960)
Sevryuk M.B.: Partial preservation of frequencies in KAM theory. Nonlinearity, 19(5), 1099–1140 (2006)
Showalter R.E.: Monotone operators in Banach space and nonlinear partial differential equations, volume 49 of Mathematical Surveys and Monographs. American Mathematical Society, Providence (1997)
Sacker R.J., Sell G.R.: Existence of dichotomies and invariant splittings for linear differential systems. III. J. Differential Equations, 22(2), 497–522 (1976)
Sell G. R., You Y.: Dynamics of evolutionary equations, volume 143 of Applied Mathematical Sciences. Springer-Verlag, New York (2002)
Temam R.: Infinite-dimensional dynamical systems in mechanics and physics, volume 68 of Applied Mathematical Sciences. Springer-Verlag, NewYork (1997) second edition
Vano, J.: A Nash–Moser implicit function theorem with Whitney regularity and applications. Ph.D. Thesis, University of Texas , 2002
Weinstein A.: Normal modes for nonlinear Hamiltonian systems. Invent. Math., 20, 47–57 (1973)
You J.: Perturbations of lower-dimensional tori for Hamiltonian systems. J. Differential Equations 152(1), 1–29 (1999)
Zehnder E.: Homoclinic points near elliptic fixed points. Comm. Pure Appl. Math., 26, 131–182 (1973)
Zehnder E.: Generalized implicit function theorems with applications to some small divisor problems. I. Comm Pure Appl. Math. 28, 91–140 (1975)
Zehnder E.: Generalized implicit function theorems with applications to some small divisor problems. II. Comm Pure Appl. Math., 29(1), 49–111 (1976)
Acknowledgements
We thank Prof. Šverák for a very careful and constructive work as an editor.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by V. Šverák
R.L. Supported in part by National Science Foundation DMS-1800241.
Rights and permissions
About this article
Cite this article
de la Llave, R., Sire, Y. An A Posteriori KAM Theorem for Whiskered Tori in Hamiltonian Partial Differential Equations with Applications to some Ill-Posed Equations. Arch Rational Mech Anal 231, 971–1044 (2019). https://doi.org/10.1007/s00205-018-1293-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-018-1293-6