Shrink wrapping for Taylor models revisited
- 43 Downloads
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.
KeywordsShrink wrapping Wrapping effect Taylor models Ordinary differential equations
Mathematics Subject Classifications (2010)65L05 65L70 65G40
Unable to display preview. Download preview PDF.
I thank Prof. S.M. Rump for many helpful and inspiring discussions of the subject.
- 1.Berz, M., et al.: The COSY INFINITY web page, available from www.bt.pa.msu.edu/index_cosy.htm
- 2.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
- 4.Lohner, R.: Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen. Dissertation at Karlsruhe Institute of Technology (1988)Google Scholar
- 5.Makino, K.: Rigorous analysis of nonlinear motion in particle accelerators. Dissertation at Michigan State University (1998)Google Scholar
- 6.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/)
- 7.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/ MathSciNetzbMATHGoogle Scholar
- 8.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/)MathSciNetzbMATHGoogle Scholar
- 9.Rump, S.M.: INTLAB - INTerval LABoratory. in Tibor Csendes, editor, developments in reliable computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999)Google Scholar