{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T12:28:01Z","timestamp":1775478481102,"version":"3.50.1"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T00:00:00Z","timestamp":1472083200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s10208-016-9325-9","type":"journal-article","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T18:17:24Z","timestamp":1472149044000},"page":"1467-1523","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Fourier\u2013Taylor Approximation of Unstable Manifolds for Compact Maps: Numerical Implementation and Computer-Assisted Error Bounds"],"prefix":"10.1007","volume":"17","author":[{"given":"J. D. Mireles","family":"James","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,25]]},"reference":[{"issue":"3","key":"9325_CR1","doi-asserted-by":"crossref","first-page":"1033","DOI":"10.1007\/s00205-010-0309-7","volume":"197","author":"G Arioli","year":"2010","unstructured":"G.\u00a0Arioli and H.\u00a0Koch. Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation. Arch. Ration. Mech. Anal., 197(3):1033\u20131051, 2010.","journal-title":"Arch. Ration. Mech. Anal."},{"issue":"3","key":"9325_CR2","doi-asserted-by":"crossref","first-page":"1119","DOI":"10.1137\/10078298X","volume":"9","author":"G Arioli","year":"2010","unstructured":"G.\u00a0Arioli and H.\u00a0Koch. Integration of dissipative partial differential equations: a case study. SIAM J. Appl. Dyn. Syst., 9(3):1119\u20131133, 2010.","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"1","key":"9325_CR3","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1006\/jdeq.2000.3835","volume":"171","author":"G Arioli","year":"2001","unstructured":"G.\u00a0Arioli and P.\u00a0Zgliczy\u0144ski. Symbolic dynamics for the H\u00e9non-Heiles Hamiltonian on the critical level. J. Differential Equations, 171(1):173\u2013202, 2001.","journal-title":"J. Differential Equations"},{"issue":"1","key":"9325_CR4","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1016\/j.indag.2015.11.001","volume":"27","author":"M Breden","year":"2016","unstructured":"M.\u00a0Breden, J.-P. Lessard, and J.\u00a0D. Mireles\u00a0James. Computation of maximal local (un)stable manifold patches by the parameterization method. Indag. Math. (N.S.), 27(1):340\u2013367, 2016.","journal-title":"Indag. Math."},{"issue":"2","key":"9325_CR5","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1512\/iumj.2003.52.2245","volume":"52","author":"X Cabr\u00e9","year":"2003","unstructured":"X.\u00a0Cabr\u00e9, E.\u00a0Fontich, and R.\u00a0de\u00a0la Llave. The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces. Indiana Univ. Math. J., 52(2):283\u2013328, 2003.","journal-title":"Indiana Univ. Math. J."},{"issue":"2","key":"9325_CR6","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1512\/iumj.2003.52.2407","volume":"52","author":"X Cabr\u00e9","year":"2003","unstructured":"X.\u00a0Cabr\u00e9, E.\u00a0Fontich, and R.\u00a0de\u00a0la Llave. The parameterization method for invariant manifolds. II. Regularity with respect to parameters. Indiana Univ. Math. J., 52(2):329\u2013360, 2003.","journal-title":"Indiana Univ. Math. J."},{"issue":"2","key":"9325_CR7","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1016\/j.jde.2004.12.003","volume":"218","author":"X Cabr\u00e9","year":"2005","unstructured":"X.\u00a0Cabr\u00e9, E.\u00a0Fontich, and R.\u00a0de\u00a0la Llave. The parameterization method for invariant manifolds. III. Overview and applications. J. Differential Equations, 218(2):444\u2013515, 2005.","journal-title":"J. Differential Equations"},{"key":"9325_CR8","doi-asserted-by":"crossref","unstructured":"S.\u00a0Day, O.\u00a0Junge, and K.\u00a0Mischaikow. A rigorous numerical method for the global analysis of infinite-dimensional discrete dynamical systems. SIAM J. Appl. Dyn. Syst., 3(2):117\u2013160 (electronic), 2004.","DOI":"10.1137\/030600210"},{"issue":"6","key":"9325_CR9","doi-asserted-by":"crossref","first-page":"2957","DOI":"10.1137\/120903129","volume":"51","author":"S Day","year":"2013","unstructured":"S.\u00a0Day and W.\u00a0D. Kalies. Rigorous computation of the global dynamics of integrodifference equations with smooth nonlinearities. SIAM J. Numer. Anal., 51(6):2957\u20132983, 2013.","journal-title":"SIAM J. Numer. Anal."},{"key":"9325_CR10","doi-asserted-by":"crossref","unstructured":"S.\u00a0Day, J.-P. Lessard, and K.\u00a0Mischaikow. Validated continuation for equilibria of PDEs. SIAM J. Numer. Anal., 45(4):1398\u20131424 (electronic), 2007.","DOI":"10.1137\/050645968"},{"key":"9325_CR11","doi-asserted-by":"crossref","unstructured":"R.\u00a0de\u00a0la Llave and J.\u00a0D. Mireles\u00a0James. Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence. SIAM J. Appl. Dyn. Sys., 15(2):1268\u20131323, 2016.","DOI":"10.1137\/15M1053608"},{"issue":"5","key":"9325_CR12","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1007\/s10955-011-0211-1","volume":"143","author":"R Llave de la","year":"2011","unstructured":"R.\u00a0de\u00a0la Llave, A.\u00a0Olvera, and N.\u00a0P. Petrov. Combination laws for scaling exponents and relation to the geometry of renormalization operators: the principle of approximate combination of scaling exponents. J. Stat. Phys., 143(5):889\u2013920, 2011.","journal-title":"J. Stat. Phys."},{"key":"9325_CR13","doi-asserted-by":"crossref","unstructured":"J.-P. Eckmann, H.\u00a0Koch, and P.\u00a0Wittwer. A computer-assisted proof of universality for area-preserving maps. Mem. Amer. Math. Soc., 47(289):vi+122, 1984.","DOI":"10.1090\/memo\/0289"},{"issue":"3","key":"9325_CR14","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1080\/14689367.2012.673559","volume":"27","author":"D Gaidashev","year":"2012","unstructured":"D.\u00a0Gaidashev and T.\u00a0Johnson. A numerical study of infinitely renormalizable area-preserving maps. Dyn. Syst., 27(3):283\u2013301, 2012.","journal-title":"Dyn. Syst."},{"issue":"4","key":"9325_CR15","doi-asserted-by":"crossref","first-page":"1193","DOI":"10.1017\/S0143385710000283","volume":"31","author":"D Gaidashev","year":"2011","unstructured":"D.\u00a0Gaidashev and H.\u00a0Koch. Period doubling in area-preserving maps: an associated one-dimensional problem. Ergodic Theory Dynam. Systems, 31(4):1193\u20131228, 2011.","journal-title":"Ergodic Theory Dynam. Systems"},{"issue":"11","key":"9325_CR16","doi-asserted-by":"crossref","first-page":"3217","DOI":"10.1142\/S0218127411030477","volume":"21","author":"DG Gaidashev","year":"2011","unstructured":"D.\u00a0G. Gaidashev. Period doubling renormalization for area-preserving maps and mild computer assistance in contraction mapping principle. Internat. J. Bifur. Chaos Appl. Sci. Engrg., 21(11):3217\u20133230, 2011.","journal-title":"Internat. J. Bifur. Chaos Appl. Sci. Engrg."},{"issue":"12","key":"9325_CR17","doi-asserted-by":"crossref","first-page":"4261","DOI":"10.1142\/S0218127407019937","volume":"17","author":"Z Galias","year":"2007","unstructured":"Z.\u00a0Galias and P.\u00a0Zgliczy\u0144ski. Infinite-dimensional Krawczyk operator for finding periodic orbits of discrete dynamical systems. Internat. J. Bifur. Chaos Appl. Sci. Engrg., 17(12):4261\u20134272, 2007.","journal-title":"Internat. J. Bifur. Chaos Appl. Sci. Engrg."},{"issue":"9","key":"9325_CR18","doi-asserted-by":"crossref","first-page":"2237","DOI":"10.1016\/j.jde.2010.07.002","volume":"249","author":"M Gameiro","year":"2010","unstructured":"M.\u00a0Gameiro and J.-P. Lessard. Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs. J. Differential Equations, 249(9):2237\u20132268, 2010.","journal-title":"J. Differential Equations"},{"issue":"4","key":"9325_CR19","doi-asserted-by":"crossref","first-page":"2063","DOI":"10.1137\/110836651","volume":"51","author":"M Gameiro","year":"2013","unstructured":"M.\u00a0Gameiro and J.-P. Lessard. Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates. SIAM J. Numer. Anal., 51(4):2063\u20132087, 2013.","journal-title":"SIAM J. Numer. Anal."},{"issue":"4","key":"9325_CR20","doi-asserted-by":"crossref","first-page":"1368","DOI":"10.1016\/j.matcom.2008.03.014","volume":"79","author":"M Gameiro","year":"2008","unstructured":"M.\u00a0Gameiro, J.-P. Lessard, and K.\u00a0Mischaikow. Validated continuation over large parameter ranges for equilibria of PDEs. Math. Comput. Simulation, 79(4):1368\u20131382, 2008.","journal-title":"Math. Comput. Simulation"},{"issue":"299","key":"9325_CR21","doi-asserted-by":"crossref","first-page":"1427","DOI":"10.1090\/mcom\/3046","volume":"85","author":"A Hungria","year":"2016","unstructured":"A.\u00a0Hungria, J.-P. Lessard, and J.\u00a0D. Mireles\u00a0James. Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach. Math. Comp., 85(299):1427\u20131459, 2016.","journal-title":"Math. Comp."},{"key":"9325_CR22","unstructured":"J.\u00a0M. James. Matlab codes for \u201cfourier-taylor approximation of unstable manfiolds for compact maps: Numerical implementation and computer assisted error bounds. http:\/\/cosweb1.fau.edu\/~jmirelesjames\/unstableManifoldCompactMapPage.html , 2016."},{"key":"9325_CR23","doi-asserted-by":"crossref","unstructured":"T.\u00a0Kato. Perturbation theory for linear operators. Classics in Mathematics. Springer-Verlag, Berlin, 1995. Reprint of the 1980 edition.","DOI":"10.1007\/978-3-642-66282-9"},{"key":"9325_CR24","unstructured":"H.\u00a0Koch. On hyperbolicity in the renormalization of near-critical area-preserving maps. (Submitted) http:\/\/www.ma.utexas.edu\/mp_arc\/c\/14\/14-70.pdf , 2014."},{"issue":"4","key":"9325_CR25","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1137\/S0036144595284180","volume":"38","author":"H Koch","year":"1996","unstructured":"H.\u00a0Koch, A.\u00a0Schenkel, and P.\u00a0Wittwer. Computer-assisted proofs in analysis and programming in logic: a case study. SIAM Rev., 38(4):565\u2013604, 1996.","journal-title":"SIAM Rev."},{"key":"9325_CR26","doi-asserted-by":"crossref","unstructured":"O.\u00a0E. Lanford, III. A computer-assisted proof of the Feigenbaum conjectures. Bull. Amer. Math. Soc. (N.S.), 6(3):427\u2013434, 1982.","DOI":"10.1090\/S0273-0979-1982-15008-X"},{"key":"9325_CR27","doi-asserted-by":"crossref","unstructured":"J.\u00a0D. Mireles-James. Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds. Indagationes Mathematicae, 2014.","DOI":"10.1016\/j.indag.2014.10.002"},{"issue":"1\u20133","key":"9325_CR28","doi-asserted-by":"crossref","first-page":"1102","DOI":"10.1016\/j.cnsns.2014.08.010","volume":"22","author":"JD Mireles","year":"2015","unstructured":"J.\u00a0D. Mireles\u00a0James. Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits. Commun. Nonlinear Sci. Numer. Simul., 22(1-3):1102\u20131133, 2015.","journal-title":"Commun. Nonlinear Sci. Numer. Simul."},{"issue":"2","key":"9325_CR29","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1137\/12088224X","volume":"12","author":"JD Mireles","year":"2013","unstructured":"J.\u00a0D. Mireles\u00a0James and K.\u00a0Mischaikow. Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps. SIAM J. Appl. Dyn. Syst., 12(2):957\u20131006, 2013.","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"9325_CR30","volume-title":"Interval analysis","author":"RE Moore","year":"1966","unstructured":"R.\u00a0E. Moore. Interval analysis. Prentice-Hall Inc., Englewood Cliffs, N.J., 1966."},{"key":"9325_CR31","doi-asserted-by":"crossref","unstructured":"R.\u00a0E. Moore. Interval tools for computer aided proofs in analysis. In Computer aided proofs in analysis (Cincinnati, OH, 1989), volume\u00a028 of IMA Vol. Math. Appl., pages 211\u2013216. Springer, New York, 1991.","DOI":"10.1007\/978-1-4613-9092-3_17"},{"key":"9325_CR32","doi-asserted-by":"crossref","unstructured":"S.\u00a0Rump. INTLAB - INTerval LABoratory. In T.\u00a0Csendes, editor, Developments\u00a0in\u00a0Reliable Computing, pages 77\u2013104. Kluwer Academic Publishers, Dordrecht, 1999. http:\/\/www.ti3.tu-harburg.de\/rump\/ .","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"9325_CR33","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S096249291000005X","volume":"19","author":"SM Rump","year":"2010","unstructured":"S.\u00a0M. Rump. Verification methods: rigorous results using floating-point arithmetic. Acta Numer., 19:287\u2013449, 2010.","journal-title":"Acta Numer."},{"key":"9325_CR34","doi-asserted-by":"crossref","unstructured":"W.\u00a0Tucker. Validated numerics. Princeton University Press, Princeton, NJ, 2011. A short introduction to rigorous computations.","DOI":"10.2307\/j.ctvcm4g18"},{"key":"9325_CR35","doi-asserted-by":"crossref","first-page":"1055","DOI":"10.1007\/s00332-016-9298-5","volume":"26","author":"non-resonant and resonant spectra","year":"2016","unstructured":"J.\u00a0B. Van\u00a0den Berg, J.\u00a0D. Mireles\u00a0James, and C.\u00a0Reinhardt. Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra. Journal of Nonlinear Science, 26:1055\u20131095, 2016.","journal-title":"Journal of Nonlinear Science"},{"issue":"2","key":"9325_CR36","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1016\/S0022-0396(03)00104-9","volume":"194","author":"D Wilczak","year":"2003","unstructured":"D.\u00a0Wilczak. Chaos in the Kuramoto-Sivashinsky equations\u2014a computer-assisted proof. J. Differential Equations, 194(2):433\u2013459, 2003.","journal-title":"J. Differential Equations"},{"key":"9325_CR37","unstructured":"D.\u00a0Wilczak. Symmetric heteroclinic connections in the Michelson system: a computer assisted proof. SIAM J. Appl. Dyn. Syst., 4(3):489\u2013514 (electronic), 2005."},{"issue":"4","key":"9325_CR38","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/s10208-005-0201-2","volume":"6","author":"D Wilczak","year":"2006","unstructured":"D.\u00a0Wilczak. The existence of Shilnikov homoclinic orbits in the Michelson system: a computer assisted proof. Found. Comput. Math., 6(4):495\u2013535, 2006.","journal-title":"Found. Comput. Math."},{"issue":"1","key":"9325_CR39","first-page":"155","volume":"28","author":"D Wilczak","year":"2006","unstructured":"D.\u00a0Wilczak. Symmetric homoclinic solutions to the periodic orbits in the Michelson system. Topol. Methods Nonlinear Anal., 28(1):155\u2013170, 2006.","journal-title":"Topol. Methods Nonlinear Anal."},{"issue":"1","key":"9325_CR40","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/s00220-002-0709-0","volume":"234","author":"D Wilczak","year":"2003","unstructured":"D.\u00a0Wilczak and P.\u00a0Zgliczynski. Heteroclinic connections between periodic orbits in planar restricted circular three-body problem\u2014a computer assisted proof. Comm. Math. Phys., 234(1):37\u201375, 2003.","journal-title":"Comm. Math. Phys."},{"issue":"5","key":"9325_CR41","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1007\/s10208-009-9040-x","volume":"9","author":"D Wilczak","year":"2009","unstructured":"D.\u00a0Wilczak and P.\u00a0Zgliczy\u0144ski. Period doubling in the R\u00f6ssler system\u2014a computer assisted proof. Found. Comput. Math., 9(5):611\u2013649, 2009.","journal-title":"Found. Comput. Math."},{"key":"9325_CR42","doi-asserted-by":"crossref","unstructured":"N.\u00a0Yamamoto. A numerical verification method for solutions of boundary value problems with local uniqueness by Banach\u2019s fixed-point theorem. SIAM J. Numer. Anal., 35(5):2004\u20132013 (electronic), 1998.","DOI":"10.1137\/S0036142996304498"},{"issue":"4","key":"9325_CR43","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/s102080010025","volume":"2","author":"P Zgliczynski","year":"2002","unstructured":"P.\u00a0Zgliczynski. $$C^1$$ C 1 Lohner algorithm. Found. Comput. Math., 2(4):429\u2013465, 2002.","journal-title":"Found. Comput. Math."},{"issue":"5","key":"9325_CR44","doi-asserted-by":"crossref","first-page":"1774","DOI":"10.1016\/j.jde.2008.12.019","volume":"246","author":"P Zgliczy\u0144ski","year":"2009","unstructured":"P.\u00a0Zgliczy\u0144ski. Covering relations, cone conditions and the stable manifold theorem. J. Differential Equations, 246(5):1774\u20131819, 2009.","journal-title":"J. Differential Equations"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-016-9325-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-016-9325-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-016-9325-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-016-9325-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T23:34:40Z","timestamp":1568331280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-016-9325-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,25]]},"references-count":44,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["9325"],"URL":"https:\/\/doi.org\/10.1007\/s10208-016-9325-9","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,25]]}}}