Abstract
Knowledge about stable and unstable manifolds of hyperbolic fixed points of certain maps is desirable in many fields of research, both in pure mathematics as well as in applications, ranging from forced oscillations to celestial mechanics and space mission design. We present a technique to find highly accurate polynomial approximations of local invariant manifolds for sufficiently smooth planar maps and rigorously enclose them with sharp interval remainder bounds using Taylor model techniques. Iteratively, significant portions of the global manifold tangle can be enclosed with high accuracy. Numerical examples are provided.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Berz, M., Modern Map Methods in Particle Beam Physics, San Diego: Academic Press, 1999; also available at http://bt.pa.msu.edu/pub.
Berz, M. and Makino, K., Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models, Reliable Computing, 1998, vol. 4, no. 4, pp. 361–369.
Berz, M. and Makino, K., Suppression of the Wrapping Effect by Taylor Model-based Verified Integrators: Long-term Stabilization by Shrink Wrapping, Int. J. Differ. Equ. Appl., 2005, vol. 10, pp. 385–403.
Cabré, X., Fontich, E., and de la Llave, R., The Parametrization Method for Invariant Manifolds I: Manifolds Associated to Non-resonant Subspaces, Indiana Univ. Math. J., 2003, vol. 52, pp. 283–328.
Cabré, X., Fontich, E., and de la Llave, R., The Parametrization Method for Invariant Manifolds II: Regularity with Respect to Parameters, Indiana Univ. Math. J., 2003, vol. 52, pp. 329–360.
Fornaess, J. and Gavosto, E., Tangencies for Real and Complex Hénon Maps: An Analytic Method. Experiment. Math., 1999, vol. 8, no. 3, pp. 253–260.
Franceschini, B. and Russo, C., Stable and Unstable Manifolds of the Hénon Mapping, J. Stat. Phys., 1981, vol. 25, no. 4, pp. 757–769.
Hubbard, J., Parametrizing Unstable and Very Unstable Manifolds, Mosc. Math. J., 2005, vol. 5, no. 1, pp. 105–124.
Makino, K., Rigorous Analysis of Nonlinear Motion in Particle Accelerators, PhD thesis, East Lansing, Michigan: Michigan State University, 1998.
Makino, K. and Berz, M., Remainder Differential Algebras and Their Applications, in M. Berz, C. Bischof, G. Corliss, and A. Griewank (Eds.), Computational Differentiation: Techniques, Applications, and Tools (Santa Fe, NM, 1996), Philadelphia: SIAM, 1996, pp. 63–74.
Makino, K. and Berz, M., Taylor Models and Other Validated Functional Inclusion Methods, Int. J. Pure Appl. Math., 2003, vol. 6, no. 3, pp. 239–316.
Makino, K. and Berz, M., Suppression of the Wrapping Effect by Taylor model-based Verified Integrators: Long-term Stabilization by Preconditioning. Int. J. Differ. Equ. Appl., 2005, vol. 10, no. 4, pp. 253–384.
Makino, K. and Berz, M., Suppression of the Wrapping Effect by Taylor Model-based Verified Integrators: The Single Step, Int. J. Pure Appl. Math., 2006, vol. 36, no. 2, pp. 175–187.
Moore, R.E., Methods and Applications of Interval Analysis, Philadelphia: SIAM, 1979.
Revol, N., Makino, K., and Berz, M., Taylor Models and Floating-Point Arithmetic: Proof that Arithmetic Operations are Validated in COSY. J. Log. Algebr. Program., 2005, vol. 64, no. 1, pp. 135–154.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Wittig, A., Berz, M., Grote, J. et al. Rigorous and accurate enclosure of invariant manifolds on surfaces. Regul. Chaot. Dyn. 15, 107–126 (2010). https://doi.org/10.1134/S1560354710020024
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1560354710020024