Foundations of Computational Mathematics

, Volume 17, Issue 6, pp 1467–1523 | Cite as

Fourier–Taylor Approximation of Unstable Manifolds for Compact Maps: Numerical Implementation and Computer-Assisted Error Bounds

  • J. D. Mireles JamesEmail author


We develop and implement a semi-numerical method for computing high-order Taylor approximations of unstable manifolds for hyperbolic fixed points of compact infinite-dimensional maps. The method can follow folds in the embedding and describes precisely the dynamics on the manifold. In order to ensure the accuracy of our computations in spite of the many truncation and round-off errors, we develop a posteriori error bounds for the approximations. Deliberate control of round-off errors (using interval arithmetic) in conjunction with explicit analytical estimates leads to mathematically rigorous computer-assisted theorems describing precisely the truncation errors for our approximation of the invariant manifold. The method is applied to the Kot-Schaffer model of population dynamics with spatial dispersion.


Unstable manifolds Compact maps Infinite dimensional dynamical systems Parameterization Method A posteriori analysis Computer-assisted proof 

Mathematics Subject Classification

37L99 45E10 34C45 37C05 37D10 37M99 65G20 37L65 



The final version of the manuscript was greatly improved thanks to the suggestions of two anonymous referees. Thanks also goes to Mr. Jorge Gonzalez, Mr. Shane Kepley, Mr. Maxime Murray, and Mr. David Blessing for carefully reading the manuscript and for many additional comments and corrections. The author would like to thank Rafael de la Llave, Konstantin Mischaikow, Jan Bouwe van den Berg, Christian Reinhardt, Vincent Naudot, Sarah Day, Bill Kalies, and Jean-Philippe Lessard for helpful discussions, comments, and suggestions during the preparation of this manuscript. The author was partially supported by National Science Foundation Grant DMS 1318172.


  1. 1.
    G. Arioli and H. Koch. 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–1051, 2010.MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    G. Arioli and H. Koch. Integration of dissipative partial differential equations: a case study. SIAM J. Appl. Dyn. Syst., 9(3):1119–1133, 2010.MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    G. Arioli and P. Zgliczyński. Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level. J. Differential Equations, 171(1):173–202, 2001.MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    M. Breden, J.-P. Lessard, and J. D. Mireles James. Computation of maximal local (un)stable manifold patches by the parameterization method. Indag. Math. (N.S.), 27(1):340–367, 2016.MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    X. Cabré, E. Fontich, and R. de la Llave. The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces. Indiana Univ. Math. J., 52(2):283–328, 2003.MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    X. Cabré, E. Fontich, and R. de la Llave. The parameterization method for invariant manifolds. II. Regularity with respect to parameters. Indiana Univ. Math. J., 52(2):329–360, 2003.MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    X. Cabré, E. Fontich, and R. de la Llave. The parameterization method for invariant manifolds. III. Overview and applications. J. Differential Equations, 218(2):444–515, 2005.MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    S. Day, O. Junge, and K. Mischaikow. A rigorous numerical method for the global analysis of infinite-dimensional discrete dynamical systems. SIAM J. Appl. Dyn. Syst., 3(2):117–160 (electronic), 2004.Google Scholar
  9. 9.
    S. Day and W. D. Kalies. Rigorous computation of the global dynamics of integrodifference equations with smooth nonlinearities. SIAM J. Numer. Anal., 51(6):2957–2983, 2013.MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    S. Day, J.-P. Lessard, and K. Mischaikow. Validated continuation for equilibria of PDEs. SIAM J. Numer. Anal., 45(4):1398–1424 (electronic), 2007.Google Scholar
  11. 11.
    R. de la Llave and J. D. Mireles James. Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence. SIAM J. Appl. Dyn. Sys., 15(2):1268–1323, 2016.Google Scholar
  12. 12.
    R. de la Llave, A. Olvera, and N. P. 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–920, 2011.MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    J.-P. Eckmann, H. Koch, and P. Wittwer. A computer-assisted proof of universality for area-preserving maps. Mem. Amer. Math. Soc., 47(289):vi+122, 1984.Google Scholar
  14. 14.
    D. Gaidashev and T. Johnson. A numerical study of infinitely renormalizable area-preserving maps. Dyn. Syst., 27(3):283–301, 2012.MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    D. Gaidashev and H. Koch. Period doubling in area-preserving maps: an associated one-dimensional problem. Ergodic Theory Dynam. Systems, 31(4):1193–1228, 2011.MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    D. G. 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–3230, 2011.MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Z. Galias and P. Zgliczyński. Infinite-dimensional Krawczyk operator for finding periodic orbits of discrete dynamical systems. Internat. J. Bifur. Chaos Appl. Sci. Engrg., 17(12):4261–4272, 2007.MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    M. Gameiro and J.-P. Lessard. Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs. J. Differential Equations, 249(9):2237–2268, 2010.MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    M. Gameiro and J.-P. Lessard. Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates. SIAM J. Numer. Anal., 51(4):2063–2087, 2013.MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    M. Gameiro, J.-P. Lessard, and K. Mischaikow. Validated continuation over large parameter ranges for equilibria of PDEs. Math. Comput. Simulation, 79(4):1368–1382, 2008.MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    A. Hungria, J.-P. Lessard, and J. D. Mireles James. Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach. Math. Comp., 85(299):1427–1459, 2016.MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    J. M. James. Matlab codes for “fourier-taylor approximation of unstable manfiolds for compact maps: Numerical implementation and computer assisted error bounds., 2016.
  23. 23.
    T. Kato. Perturbation theory for linear operators. Classics in Mathematics. Springer-Verlag, Berlin, 1995. Reprint of the 1980 edition.Google Scholar
  24. 24.
    H. Koch. On hyperbolicity in the renormalization of near-critical area-preserving maps. (Submitted), 2014.
  25. 25.
    H. Koch, A. Schenkel, and P. Wittwer. Computer-assisted proofs in analysis and programming in logic: a case study. SIAM Rev., 38(4):565–604, 1996.MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    O. E. Lanford, III. A computer-assisted proof of the Feigenbaum conjectures. Bull. Amer. Math. Soc. (N.S.), 6(3):427–434, 1982.Google Scholar
  27. 27.
    J. D. Mireles-James. Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds. Indagationes Mathematicae, 2014.Google Scholar
  28. 28.
    J. D. Mireles James. 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–1133, 2015.MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    J. D. Mireles James and K. Mischaikow. Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps. SIAM J. Appl. Dyn. Syst., 12(2):957–1006, 2013.MathSciNetCrossRefzbMATHGoogle Scholar
  30. 30.
    R. E. Moore. Interval analysis. Prentice-Hall Inc., Englewood Cliffs, N.J., 1966.zbMATHGoogle Scholar
  31. 31.
    R. E. Moore. Interval tools for computer aided proofs in analysis. In Computer aided proofs in analysis (Cincinnati, OH, 1989), volume 28 of IMA Vol. Math. Appl., pages 211–216. Springer, New York, 1991.Google Scholar
  32. 32.
    S. Rump. INTLAB - INTerval LABoratory. In T. Csendes, editor, Developments in Reliable Computing, pages 77–104. Kluwer Academic Publishers, Dordrecht, 1999.
  33. 33.
    S. M. Rump. Verification methods: rigorous results using floating-point arithmetic. Acta Numer., 19:287–449, 2010.MathSciNetCrossRefzbMATHGoogle Scholar
  34. 34.
    W. Tucker. Validated numerics. Princeton University Press, Princeton, NJ, 2011. A short introduction to rigorous computations.Google Scholar
  35. 35.
    J. B. Van den Berg, J. D. Mireles James, and C. Reinhardt. Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra. Journal of Nonlinear Science, 26:1055–1095, 2016.MathSciNetCrossRefGoogle Scholar
  36. 36.
    D. Wilczak. Chaos in the Kuramoto-Sivashinsky equations—a computer-assisted proof. J. Differential Equations, 194(2):433–459, 2003.MathSciNetCrossRefzbMATHGoogle Scholar
  37. 37.
    D. Wilczak. Symmetric heteroclinic connections in the Michelson system: a computer assisted proof. SIAM J. Appl. Dyn. Syst., 4(3):489–514 (electronic), 2005.Google Scholar
  38. 38.
    D. Wilczak. The existence of Shilnikov homoclinic orbits in the Michelson system: a computer assisted proof. Found. Comput. Math., 6(4):495–535, 2006.MathSciNetCrossRefzbMATHGoogle Scholar
  39. 39.
    D. Wilczak. Symmetric homoclinic solutions to the periodic orbits in the Michelson system. Topol. Methods Nonlinear Anal., 28(1):155–170, 2006.MathSciNetzbMATHGoogle Scholar
  40. 40.
    D. Wilczak and P. Zgliczynski. Heteroclinic connections between periodic orbits in planar restricted circular three-body problem—a computer assisted proof. Comm. Math. Phys., 234(1):37–75, 2003.MathSciNetCrossRefzbMATHGoogle Scholar
  41. 41.
    D. Wilczak and P. Zgliczyński. Period doubling in the Rössler system—a computer assisted proof. Found. Comput. Math., 9(5):611–649, 2009.MathSciNetCrossRefzbMATHGoogle Scholar
  42. 42.
    N. Yamamoto. A numerical verification method for solutions of boundary value problems with local uniqueness by Banach’s fixed-point theorem. SIAM J. Numer. Anal., 35(5):2004–2013 (electronic), 1998.Google Scholar
  43. 43.
    P. Zgliczynski. \(C^1\) Lohner algorithm. Found. Comput. Math., 2(4):429–465, 2002.MathSciNetCrossRefzbMATHGoogle Scholar
  44. 44.
    P. Zgliczyński. Covering relations, cone conditions and the stable manifold theorem. J. Differential Equations, 246(5):1774–1819, 2009.MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© SFoCM 2016

Authors and Affiliations

  1. 1.Department of Mathematical SciencesFlorida Atlantic UniversityBoca RatonUSA

Personalised recommendations