Abstract
Validated methods for initial value problems for ordinary differential equations produce bounds that are guaranteed to contain the true solution of a problem. When computing such bounds, these methods verify that a unique solution to the problem exists in the interval of integration and compute a priori bounds for the solution in this interval. A major difficulty in this verification phase is how to take as large a stepsize as possible, subject to some tolerance requirement. We propose a high-order enclosure method for proving existence and uniqueness of the solution and computing a priori bounds.
Similar content being viewed by others
References
Berz, M. and Makino, K.: Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models, Reliable Computing 4(4) (1998), pp. 361-369.
Corliss, G. F. and Rihm, R.: Validating an A Priori Enclosure Using High-Order Taylor Series, in: Alefeld, G. and Frommer, A. (eds), Scientific Computing, Computer Arithmetic, and Validated Numerics, Akademie Verlag, Berlin, 1996, pp. 228-238.
Eijgenraam, P.: The Solution of Initial Value Problems Using Interval Arithmetic, Mathematical Centre Tracts No. 144. Stichting Mathematisch Centrum, Amsterdam, 1981.
Lohner, R. J.: Einschließung der L¨osung gew¨ohnlicher Anfangs-und Randwertaufgaben und Anwendungen, PhD thesis, Universit¨at Karlsruhe, 1988, AWA is available at ftp://iamk4515.mathematik.uni-karlsruhe.de/pub/awa/.
Makino, K.: Rigorous Analysis of Nonlinear Motion in Particle Accelerators, PhD thesis,Michigan State University, 1998.
Nedialkov, N. S.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, PhD thesis, Department of Computer Science, University of Toronto, Toronto, 1999, available at http://www.cs.toronto.edu/NA/reports.html.
Nedialkov, N. S. and Jackson, K. R.: An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, in: Csendes, T. (ed.), Developments in Reliable Computing, Kluwer Academic Publishers, Dordrecht, Netherlands, 1999, pp. 289-310. Also Reliable Computing 5(3) (1999), pp. 289-310.
Nedialkov, N. S. and Jackson, K. R.: A New Perspective on the Wrapping Effect in Interval Methods for IVPs for ODEs, 1999, in preparation.
Nedialkov, N. S., Jackson, K. R., and Corliss, G. F.: Validated Solutions of Initial Value Problems for Ordinary Differential Equations, Appl. Math. Comp. 105 (1) (1999), pp. 21-68.
Rihm, R.: Interval Methods for Initial Value Problems in ODEs, in: Herzberger, J. (ed.), Topics in Validated Computations: Proceedings of the IMACS-GAMM International Workshop on Validated Computations, University of Oldenburg, Elsevier Studies in Computational Mathematics, Elsevier, Amsterdam, New York, 1994, pp. 173-207.
Stauning, O.: Automatic Validation of Numerical Solutions, PhD thesis, Technical University of Denmark, DK-2800, Lyngby, Denmark, 1997, this thesis and ADIODES are available at http://www.imm.dtu.dk/fadbad.html.
Stetter, H. J.: Validated Solution of Initial Value Problems for ODEs, in: Ullrich, C. (ed.), Computer Arithmetic and Self-Validating Numerical Methods, Academic Press, New York, 1990, pp. 171-187.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nedialkov, N.S., Jackson, K.R. & Pryce, J.D. An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE. Reliable Computing 7, 449–465 (2001). https://doi.org/10.1023/A:1014798618404
Issue Date:
DOI: https://doi.org/10.1023/A:1014798618404