An application of Taylor models to the Nakao method on ODEs
Tóm tắt
The authors give short survey on validated computation of initial value problems for ODEs especially Taylor model methods. Then they propose an application of Taylor models to the Nakao method which has been developed for numerical verification methods on PDEs and apply it to initial value problems for ODEs with some numerical experiments.
Tài liệu tham khảo
P. Eijgenraam, The Solution of Initial Value Problems Using Interval Arithmetic. Math. Centre Tracts 144, Mathematisch Centrum, Amsterdam, 1981.
J. Hoefkens, M. Berz and K. Makino, Verified high-order integration of DAEs and higher-order ODEs. Scientific Computing, Validated Numerics, Interval Methods, W. Kramer and J.W. Gudenberg (eds.), Kluwer Academic/Plenum Publishers, New York, 2001.
W. Kühn, Rigorously computed orbits of dynamical systems without the wrapping effect. Computing,61 (1998), 47–67.
R.J. Lohner, Enclosing the solutions of ordinary initial and boundary value problems. Computerarithmetic, E. Kaucher, U. Kulisch and Ch. Ullrich (eds.), Teubner, Stuttgart, 1987, 225–286.
R.J. Lohner, On the ubiquity of the wrapping effect in the computation of error bounds. Perspectives on Enclosure Methods, U. Kulish, R. Lohner and A. Facius (eds.), Springer, Wien, 2001.
K. Makino, Rigorous analysis of nonlinear motion in particle accelerators. Ph. D. thesis, Michigan State Univ., East Lansing, Michigan, USA, 1998.
K. Makino and M. Berz, Remainder differential algebras and their applications. Computational Differentiation: Techniques, Application, and Tools, M. Berz, C. Bishof, G. Corliss and A. Griewank (eds.), SIAM, Philadelphia, 1996, 63–74.
K. Makino and M. Berz, Efficient control of the dependency problem based on Taylor model methods. Reliab. Comput.,5 (1999), 3–12.
K. Makino and M. Berz, Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math.,4 (2003), 379–456.
K. Makino and M. Berz, COSY Infinity Version 9. Nuclear Instruments and Methods, A558, 2005, 346–350.
K. Makino and M. Berz, Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabillization by preconditioning. International. Journal of Differential Equations and Applications,10 (2005), 353–384.
K. Makino and M. Berz, Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabillization by shrink wrapping. International Journal of Differential Equations and Applications,10 (2005), 385–403.
R.E. Moore, Interval Analysis. Prentice Hall, Englewood Cliffs, N.J., 1966.
M.T. Nakao, Numerical verification methods for solutions of ordinary and partial differential equations. Numer. Funct. Anal. Optim.,22 (2001), 321–356.
A. Neumaier, The wrapping effect, ellipsoidal arithmetic, stability and confidence regions. Computing Suppl.,9 (1993), 175–190.
N. Revol, K. Makino and M. Berz, Taylor models and floating point arithmetic: proof that arithmetic operations are bounded in COSY. J. Logic Algebr. Progr.,64 (2005), 135–154.
R. Rihm, Interval methods for initial value problems in ODEs. Topics in Validated Computation, J. Herzberger (ed.), Elsevier (North-Holland), Amsterdam, 1994.