Abstract
The performance of various Taylor model (TM)-based methods for the validated integration of ODEs is studied for some representative computational problems. For nonlinear problems, the advantage of the method lies in the ability to retain dependencies of final conditions on initial conditions to high order, leading to the ability to treat large boxes of initial conditions for extended periods of time. For linear problems, the asymptotic behavior of the error of the methods is seen to be similar to that of non-validated integrators.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Makino, K., Berz, M.: Efficient control of the dependency problem based on Taylor model methods. Reliable Computing 5(1), 3–12 (1999)
Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. International Journal of Pure and Applied Mathematics 6(3), 239–316 (2003), available at http://bt.pa.msu.edu/pub
Berz, M., Makino, K.: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Computing 4(4), 361–369 (1998)
Makino, K.: Rigorous Analysis of Nonlinear Motion in Particle Accelerators. PhD thesis, Michigan State University, East Lansing, Michigan, USA, Also MSUCL-1093 (1998)
Berz, M.: Modern Map Methods in Particle Beam Physics. Academic Press, San Diego (1999), Also available at http://bt.pa.msu.edu/pub
Makino, K., Berz, M.: Perturbative equations of motion and differential operators in nonplanar curvilinear coordinates. International Journal of Applied Mathematics 3(4), 421–440 (2000)
Berz, M., Makino, K.: Preservation of canonical structure in nonplanar curvilinear coordinates. International Journal of Applied Mathematics 3(4), 401–419 (2000)
Berz, M.: Arbitrary order description of arbitrary particle optical systems. Nuclear Instruments and Methods A298, 426 (1990)
Makino, K., Berz, M.: Suppression of the wrapping effect by Taylor model based validated integrators, submitted. Also MSUHEP-40910, available at http://bt.pa.msu.edu/pub
Lohner, R.J.: Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher, E., Kulisch, U., Ullrich, C. (eds.) Computer Arithmetic: Scientific Computation and Programming Languages, Teubner, Stuttgart, pp. 255–286 (1987)
Lohner, R.J.: Einschliessung der Losung gewohnlicher Anfangs- und Randwertaufgaben und Anwendungen. Dissertation, Fakultat fur Mathematik, Universitat Karlsruhe (1988)
Lohner, R.J.: AWA - Software for the computation of guaranteed bounds for solutions of ordinary initial value problems
Makino, K., Berz, M.: The method of shrink wrapping for the validated solution of ODEs. Technical Report MSUHEP-20510, Department of Physics and Astronomy, Michigan State University, East Lansing, MI 48824 (2002)
Ames, W.F., Adams, E.: Monotonically convergent numerical two-sided bounds for a differential birth and death process. In: Nickel, K. (ed.) Interval Mathematics, Berlin, New York. LNCS, vol. 29, pp. 135–140. Springer, Heidelberg (1975)
Moore, R.E.: Methods and Applications of Interval Analysis. SIAM, Philadelphia (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berz, M., Makino, K. (2006). Performance of Taylor Model Methods for Validated Integration of ODEs. In: Dongarra, J., Madsen, K., Waśniewski, J. (eds) Applied Parallel Computing. State of the Art in Scientific Computing. PARA 2004. Lecture Notes in Computer Science, vol 3732. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11558958_8
Download citation
DOI: https://doi.org/10.1007/11558958_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29067-4
Online ISBN: 978-3-540-33498-9
eBook Packages: Computer ScienceComputer Science (R0)