{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T14:32:40Z","timestamp":1787236360565,"version":"build-2736575974"},"reference-count":65,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Appl. Dyn. Syst."],"published-print":{"date-parts":[[2012,1]]},"abstract":"<jats:p>We prove the existence and local uniqueness of invariant tori on the verge of breakdown for two systems: the quasi-periodically driven logistic map and the quasi-periodically forced standard map. These systems exemplify two scenarios: the Heagy\u2013Hammel route for the creation of strange nonchaotic attractors and the nonsmooth bifurcation of saddle invariant tori. Our proofs are computer-assisted and are based on a tailored version of the Newton\u2013Kantorovich theorem. The proofs cannot be performed using classical perturbation theory because the two scenarios are very far from the perturbative regime, and fundamental hypotheses such as reducibility or hyperbolicity either do not hold or are very close to failing. Our proofs are based on a reliable computation of the invariant tori and a careful study of their dynamical properties, leading to the rigorous validation of the numerical results with our novel computational techniques.<\/jats:p>","DOI":"10.1137\/100809222","type":"journal-article","created":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T18:14:39Z","timestamp":1334254479000},"page":"597-628","source":"Crossref","is-referenced-by-count":32,"title":["Reliable Computation of Robust Response Tori on the Verge of Breakdown"],"prefix":"10.1137","volume":"11","author":[{"given":"Jordi-Llu\u00eds","family":"Figueras","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"\u00c0lex","family":"Haro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2012,4,12]]},"reference":[{"key":"R1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01209149"},{"key":"R2","doi-asserted-by":"publisher","DOI":"10.1142\/S021812740701780X"},{"key":"R3","unstructured":"D. V. Anosov,\n                      Geodesic flows on closed Riemann manifolds with negative curvature\n                      , Proc. Steklov Inst. Math., 90 (1967)."},{"key":"R4","doi-asserted-by":"publisher","DOI":"10.1137\/10078298X"},{"key":"R5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024467732637"},{"key":"R6","doi-asserted-by":"publisher","DOI":"10.1007\/BF02509614"},{"key":"R7","doi-asserted-by":"publisher","DOI":"10.1007\/s00220-008-0626-y"},{"key":"R8","doi-asserted-by":"publisher","DOI":"10.1088\/0951-7715\/20\/6\/011"},{"key":"R9","doi-asserted-by":"publisher","DOI":"10.1007\/s000330050044"},{"key":"R10","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2010.14.871"},{"key":"R11","doi-asserted-by":"publisher","DOI":"10.3934\/dcds.2009.23.705"},{"key":"R12","unstructured":"M. J. Capi\u0144ski and C. Sim\u00f3,\n                      Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds\n                      , Nonlinearity, to appear."},{"key":"R13","doi-asserted-by":"crossref","unstructured":"A. Celletti and L. Chierchia,\n                      KAM stability and celestial mechanics\n                      , Mem. Amer. Math. Soc., 187 (2007).","DOI":"10.1090\/memo\/0878"},{"key":"R14","unstructured":"B. Chapman, G. Jost, and R. van der Pas,\n                      Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation)\n                      , MIT Press, Cambridge, MA, 2007."},{"key":"R15","doi-asserted-by":"crossref","unstructured":"C. Chicone and Y. Latushkin,\n                      Evolution Semigroups in Dynamical Systems and Differential Equations\n                      , Math. Surveys Monogr. 70, American Mathematical Society, Providence, RI, 1999.","DOI":"10.1090\/surv\/070"},{"key":"R16","doi-asserted-by":"publisher","DOI":"10.1080\/03091929308203624"},{"key":"R17","doi-asserted-by":"crossref","unstructured":"R. de la Llave,\n                      A tutorial on KAM theory\n                      , in Smooth Ergodic Theory and Its Applications (Seattle, WA, 1999), Proc. Sympos. Pure Math. 69, American Mathematical Society, Providence, RI, 2001.","DOI":"10.1090\/pspum\/069\/1858536"},{"key":"R18","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1990-15848-3"},{"key":"R19","doi-asserted-by":"crossref","unstructured":"R. de la Llave and D. Rana,\n                      Accurate strategies for K.A.M. bounds and their implementation\n                      , in Computer Aided Proofs in Analysis (Cincinnati, OH, 1989), IMA Vol. Math. Appl. 28, Springer, New York, 1991.","DOI":"10.1007\/978-1-4613-9092-3_12"},{"key":"R20","doi-asserted-by":"crossref","unstructured":"J.P. Eckmann, H. Koch, and P. Wittwer,\n                      A computer-assisted proof of universality for area-preserving maps\n                      , Mem. Amer. Math. Soc., 47 (1984).","DOI":"10.1090\/memo\/0289"},{"key":"R21","doi-asserted-by":"crossref","unstructured":"N. Fenichel,\n                      Persistence and smoothness of invariant manifolds for flows\n                      , Indiana Univ. Math. J., 21 (1971\/1972), pp. 193\u2013226.","DOI":"10.1512\/iumj.1972.21.21017"},{"key":"R22","doi-asserted-by":"crossref","unstructured":"U. Feudel, S. Kuznetsov, and A. Pikovsky,\n                      Strange Nonchaotic Attractors\n                      , World Sci. Ser. Nonlinear Sci. Ser. A Monogr. Treatises 56, World Scientific Publishing, Hackensack, NJ, 2006.","DOI":"10.1142\/6006"},{"key":"R23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jde.2010.07.002"},{"key":"R24","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-2789(99)00235-3"},{"key":"R25","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2789(84)90282-3"},{"key":"R26","doi-asserted-by":"publisher","DOI":"10.1063\/1.2150947"},{"key":"R27","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2006.6.1261"},{"key":"R28","doi-asserted-by":"publisher","DOI":"10.1016\/j.jde.2005.10.005"},{"key":"R29","doi-asserted-by":"publisher","DOI":"10.1137\/050637327"},{"key":"R30","doi-asserted-by":"publisher","DOI":"10.1063\/1.2259821"},{"key":"R31","unstructured":"A. Haro and Sim\u00f3,\n                      To Be or Not To Be a\n                      SNA\n                      : That Is the Question\n                      , http:\/\/www.maia.ub.es\/dsg\/2005\/0503haro.pdf http:\/\/www.maia.ub.es\/dsg\/2005\/0503haro.pdf (2005)."},{"key":"R32","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2789(94)90061-2"},{"key":"R33","doi-asserted-by":"publisher","DOI":"10.1007\/BF02564647"},{"key":"R34","doi-asserted-by":"crossref","unstructured":"M. W. Hirsch, C. C. Pugh, and M. Shub,\n                      Invariant manifolds\n                      , Lecture Notes in Math. 583, Springer-Verlag, Berlin, 1977.","DOI":"10.1007\/BFb0092042"},{"key":"R35","doi-asserted-by":"crossref","unstructured":"T. H. J\u00e4ger,\n                      The creation of strange non-chaotic attractors in non-smooth saddle-node bifurcations\n                      , Mem. Amer. Math. Soc., 201 (2009).","DOI":"10.1090\/memo\/0945"},{"key":"R36","doi-asserted-by":"publisher","DOI":"10.1088\/0951-7715\/14\/5\/303"},{"key":"R37","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2008.10.2i"},{"key":"R38","unstructured":"L. Kantorovitch and G. Akilov,\n                      Analyse fonctionnelle. Tome 2\n                      , Mir, Moscow, 1981."},{"key":"R39","unstructured":"E. W. Kaucher and W. L. Miranker,\n                      Self-Validating Numerics for Function Space Problems\n                      , Notes and Reports Computer Sci. Appl. Math., Academic Press, Orlando, FL, 1984."},{"key":"R40","first-page":"139","volume":"151","author":"Keller G.","year":"1996","journal-title":"Fund. Math."},{"key":"R41","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-2789(97)00160-7"},{"key":"R42","doi-asserted-by":"publisher","DOI":"10.3934\/dcds.2004.11.881"},{"key":"R43","doi-asserted-by":"publisher","DOI":"10.1017\/S0143385708000199"},{"key":"R44","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144595284180"},{"key":"R45","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1982-15008-X"},{"key":"R46","unstructured":"O. E. Lanford, III,\n                      Computer-assisted proofs in analysis\n                      , in Proceedings of the International Congress of Mathematicians, Vols. 1, 2, Berkeley, CA, 1986, American Mathematical Society, Providence, RI, 1987, pp. 1385\u20131394."},{"key":"R47","first-page":"723","volume":"181","author":"Latushkin Y. D.","year":"1990","journal-title":"Mat. Sb.","ISSN":"https:\/\/id.crossref.org\/issn\/0368-8666","issn-type":"print"},{"key":"R48","doi-asserted-by":"publisher","DOI":"10.1145\/1141885.1141893"},{"key":"R49","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2007.7.377"},{"key":"R50","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1978-0515539-0"},{"key":"R51","doi-asserted-by":"publisher","DOI":"10.1016\/S1385-7258(68)50059-3"},{"key":"R52","unstructured":"R. E. Moore,\n                      Interval Analysis\n                      , Prentice-Hall, Englewood Cliffs, NJ, 1966."},{"key":"R53","unstructured":"R. E. Moore,\n                      Methods and Applications of Interval Analysis\n                      , SIAM Studies Appl. Math. 2, SIAM, Philadelphia, 1979."},{"key":"R54","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127401004029"},{"key":"R55","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127401002195"},{"key":"R56","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.07.008"},{"key":"R57","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160180409"},{"key":"R58","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0396(74)90067-9"},{"key":"R59","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-2789(97)00167-X"},{"key":"R60","doi-asserted-by":"publisher","DOI":"10.1017\/S0143385799126555"},{"key":"R61","doi-asserted-by":"publisher","DOI":"10.1088\/0951-7715\/13\/1\/306"},{"key":"R62","doi-asserted-by":"crossref","unstructured":"W. Tucker,\n                      Validated Numerics: A Short Introduction to Rigorous Computations\n                      , Princeton University Press, Princeton, NJ, 2011.","DOI":"10.1515\/9781400838974"},{"key":"R63","unstructured":"D. Wilczak and P. Zgliczy\u0144ski,\n                      $C^r$-Lohner algorithm\n                      , Schedae Informaticae, 2011."},{"key":"R64","unstructured":"P. Zgliczy\u0144ski,\n                      Computer Assisted Proofs in Dynamics\n                      , http:\/\/www.ii.uj.edu.pl\/ zgliczyn\/cap07\/cap07.htm http:\/\/www.ii.uj.edu.pl\/ zgliczyn\/cap07\/cap07.htm."},{"key":"R65","doi-asserted-by":"publisher","DOI":"10.1016\/j.jde.2004.03.013"}],"container-title":["SIAM Journal on Applied Dynamical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/100809222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T13:26:25Z","timestamp":1787232385000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/100809222"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":65,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["10.1137\/100809222"],"URL":"https:\/\/doi.org\/10.1137\/100809222","relation":{},"ISSN":["1536-0040"],"issn-type":[{"value":"1536-0040","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}