Abstract
Taylor models have been used successfully to calculate verified inclusions of the solutions of initial value problems for ordinary differential equations. In this context, Makino and Berz introduced an accompanying method called shrink wrapping. This method aims to reduce the wrapping effect which occurs during repeated forward integration of Taylor models. We review shrink wrapping as proposed by Makino and Berz, state examples that point to a flaw in their theorem and concept of proof, and present a new, corrected version of shrink wrapping.
Similar content being viewed by others
References
Berz, M., et al.: The COSY INFINITY web page, available from www.bt.pa.msu.edu/index_cosy.htm
Eble, I.: Über Taylor-Modelle. Dissertation at Karlsruhe Institute of Technology (2007), software: Riot, C++-implementation, available from www.math.kit.edu/ianm1/ingo.eble/de
Hoefkens, J., Berz, M., Makino, K.: Controlling the Wrapping Effect in the Solution of ODEs for Asteroids. Reliab. Comput. 8, 21–41 (2003)
Lohner, R.: Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen. Dissertation at Karlsruhe Institute of Technology (1988)
Makino, K.: Rigorous analysis of nonlinear motion in particle accelerators. Dissertation at Michigan State University (1998)
Makino, K., Berz, M.: Suppression of the wrapping effect by Taylor model - based validated integrators, MSU HEP report 40910 (2003) (online available from www.bt.pa.msu.edu/pub/)
Makino, K., Berz, M.: Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by shrink wrapping. International Journal of Differential Equations and Applications 10(4), 385–403 (2005). For some unknown reason the article cannot be found in the online archive of the International Journal of Differential Equations and Applications available from www.ijpam.eu/en/index.php/ijdea/issue/archive but it is available from the authors’ web page www.bt.pa.msu.edu/pub/
Makino, K., Berz, M.: Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning. International Journal of Differential Equations and Applications 10(4), 353–384 (2005). (online available from www.bt.pa.msu.edu/pub/)
Rump, S.M.: INTLAB - INTerval LABoratory. in Tibor Csendes, editor, developments in reliable computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999)
Acknowledgements
I thank Prof. S.M. Rump for many helpful and inspiring discussions of the subject.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bünger, F. Shrink wrapping for Taylor models revisited. Numer Algor 78, 1001–1017 (2018). https://doi.org/10.1007/s11075-017-0410-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-017-0410-1