Abstract
Truncated Taylor series representations of invariant manifolds are abundant in numerical computations. We present an aposteriori method to compute the convergence radii and error estimates of analytic parametrisations of non-resonant local invariant manifolds of a saddle of an analytic vector field, from such a truncated series. This enables us to obtain local enclosures, as well as existence results, for the invariant manifolds.
Article PDF
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
References
Alefeld G., Herzberger J.: Introduction to Interval Computations. Academic Press, New York (1983)
Beyn W.-J.: The numerical computation of connecting orbits in dynamical systems. IMA J. Numer. Anal. 10(3), 379–405 (1990)
Blomquist, F., Hofschuster, W., Krämer, W.: Real and Complex Taylor Arithmetic in C-XSC Preprint 2005/4, Universität Wuppertal (2005). Available from http://www.math.uni-wuppertal.de/xsc
Cabré X., Fontich E., de la Llave R.: The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces. Indiana Univ. Math. J. 52(2), 283–328 (2003)
Cabré X., Fontich E., de la Llave R.: The parameterization method for invariant manifolds. III. Overview and applications. J. Differ. Equ. 218(2), 444–515 (2005)
CXSC—C++ eXtension for Scientific Computation, version 2.2.3. Available from http://www.math.uni-wuppertal.de/xsc
Dellnitz M., Hohmann A.: A subdivision algorithm for the computation of unstable manifolds and global attractors. Numer. Math. 75(3), 293–317 (1997)
Griewank, A.: Evaluating derivatives: principles and techniques of algorithmic differentiation, SIAM Frontiers Appl. Math. 19, SIAM, Philadelphia (2000)
Hammer R., Hocks M., Kulisch U., Ratz D.: C++ toolbox for verified computing. Springer, New York (1995)
Hille E.: Ordinary Differential Equations In The Complex Domain. Pure And Applied Mathematics. Wiley-Interscience, New York (1976)
Hirsch M.W., Pugh C.C., Shub M.: Invariant manifolds Lecture Notes in Mathematics, Vol. 583. Springer, Berlin (1977)
Johnson T., Tucker W.: Automated computation of robust normal forms of planar analytic vector fields. Discret. contin. dyn. syst.—Series B. 12(4), 769–782 (2009)
Krauskopf B., Osinga H.M., Doedel E.J., Henderson M.E., Guckenheimer J., Vladimirsky A., Dellnitz M., Junge O.: A survey of methods for computing (un)stable manifolds of vector fields. Internat. J. Bifur. Chaos Appl. Sci. Engrg. 15(3), 763–791 (2005)
Moore G., Hubert E.: Algorithms for constructing stable manifolds of stationary solutions. IMA J. Numer. Anal. 19(3), 375–424 (1999)
Moore R.E.: Interval Analysis. Prentice-Hall, New Jersey (1966)
Moore R.E.: Methods and Applications of Interval Analysis, SIAM Studies in Applied Mathematics. SIAM, Philadelphia (1979)
Neumaier A.: Interval Methods For Systems Of Equations. Encyclopedia of Mathematics and its Applications, vol. 37. Cambridge University Press, Cambridge (1990)
Neumaier A., Rage T.: Rigorous chaos verification in discrete dynamical systems. Phys. D 67(4), 327–346 (1993)
Ombach J.: Computation of the local stable and unstable manifolds. Univ. Iagel. Acta Math. 32, 129–136 (1995)
Palis J., de Melo W.: Geometric theory of dynamical systems. An introduction Translated from the Portuguese by A. K. Manning. Springer, New York (1982)
Siegel, C.L.: Über die Normalform analytischer Differentialgleichungen in der Nähe einer Gleichgewichtslösung. Nachr. Akad. Wiss. Göttingen. Math.-Phys. Kl. Math.-Phys.-Chem. Abt, pp. 21–30 (1952)
Siegel C.L., Moser J.K.: Lectures on celestial mechanics Translation by Charles I. Kalme Die Grundlehren der mathematischen Wissenschaften, Band 187. Springer, New York (1971)
Simó, C.: On the Analytical and Numerical Approximation of Invariant Manifolds, Les Méthodes Modernes de la Mecánique Céleste, Benest, D., Foeschlé, C. (eds.) Editions Frontièrs, Paris, pp. 285–329 (1990)
Tucker W.: A rigorous ODE solver and Smale’s 14th problem. Found. Comput. Math. 2(1), 53–117 (2002)
Tucker W.: Robust normal forms for saddles of analytic vector fields. Nonlinearity 17, 1965–1983 (2004)
Zgliczyński P.: Covering relations, cone conditions and stable manifold theorem. J. Differ. Equ. 246(5), 1774–1819 (2009)
Zgliczyński, P.: Private communication (2008)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Johnson, T., Tucker, W. A Note on the Convergence of Parametrised Non-Resonant Invariant Manifolds. Qual. Theory Dyn. Syst. 10, 107–121 (2011). https://doi.org/10.1007/s12346-011-0040-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12346-011-0040-2