Abstract
One can approximate numerically the solution of the initial value problem using single or multistep methods. Linear multistep methods are used very often, especially combinations of explicit and implicit methods. In floating-point arithmetic from an explicit method (a predictor), we can get the first approximation to the solution obtained from an implicit method (a corrector). We can do the same with interval multistep methods. Realizing such interval methods in floating-point interval arithmetic, we compute solutions in the form of intervals which contain all possible errors. In this paper, we propose interval predictor-corrector methods based on conventional Adams-Bashforth-Moulton and Nyström-Milne-Simpson methods. In numerical examples, these methods are compared with interval methods of Runge-Kutta type and methods based on high-order Taylor series. It appears that the presented methods yield comparable approximations to the solutions.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)
Bauch, H.: On the iterative inclusion of solutions in initial-value problems for ordinary differential equations. Computing 22, 339–354 (1979)
Berz, M., Hoffstätter, G.: Computation and application of taylor polynomials with interval remainder bounds. Reliab. Comput. 4(1), 83–97 (1998)
Berz, M., Makino, K.: Performance of Taylor model methods for validated integration of ODEs. In: Dongarra, J., Madsen, K., Wasniewski, J. (eds.) Applied Parallel Computing. State of the Art in Scientific Computing, Lecture Notes in Computer Science, vol. 3732, pp. 65–73 (2005)
Butcher, J.C.: Implicit Runge-Kutta processes. Math. Comput. 18, 50–64 (1964)
Butcher, J.C.: The Numerical Analysis of Ordinary Differential Equations: Runge-Kutta and General Linear Methods. Wiley, Chichester (1987)
Corliss, G.F., Rihm, R.: Validating an a priori enclosure using high-order Taylor series. In: In Scientific Computing, Computer Arithmetic, and Validated Numerics, pp. 228–238. Akademie Verlag (1996)
Enright, W.H., Hull, T.R., Lindberg, B.: Comparing numerical methods for stiff systems of O.D.E:s. BIT Numer. Math. 15(1), 10–48 (1975)
Enright, W.H., Pryce, J.D.: Two fortran packages for assessing initial value methods. ACM Trans. Math. Softw. 13(1), 1–27 (1987)
Gajda, K., Jankowska, M., Marciniak, A., Szyszka, B.: A survey of interval Runge-Kutta and multistep methods for solving the initial value problem. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) Parallel Processing and Applied Mathematics, Lecture Notes in Computer Science, vol. 4967, pp. 1361–1371. Springer, Berlin (2008)
Gajda, K., Marciniak, A., Szyszka, B.: Three-and four-stage implicit interval methods of Runge-Kutta type. Computational Methods in Science and Technology 6(1), 41–59 (2000)
Gambill, T.N., Skeel, R.D.: Logarithmic reduction of the wrapping effect with application to ordinary differential equations. SIAM J. Numer. Anal. 25(1), 153–162 (1988)
Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I. Basic Numerical Problems, Theory, Algorithms, and Pascal-XSC Programs. Springer, Berlin (1993)
Hansen, E.R.: Topics in Interval Analysis. Oxford University Press, London (1969)
Heirer, E., Nrsett, S.P., Wanner, G.: Solving Ordinary Differential Equations I—Nonstiff Problems. Springer, Berlin (1987)
Heirer, E., Wanner, G.: Solving Ordinary Differential Equations II—Stiff and Differential-Algebraic Problems. Springer, Berlin (1991)
Jackson, K.R., Nedialkov, N.S.: Some recent advances in validated methods for IVPs for ODEs. Appl. Numer. Math. 42(1–3), 269–284 (2002)
Jankowska, M., Marciniak, A.: Implicit interval methods for solving the initial value problem. Computational Methods in Science and Technology 8(1), 17–30 (2002)
Jankowska, M., Marciniak, A.: On explicit interval methods of Adams-Bashforth type. Computational Methods in Science and Technology 8(2), 46–57 (2002)
Jankowska, M., Marciniak, A.: On two families of implicit interval methods of Adams-Moulton type. Computational Methods in Science and Technology 12(2), 109–113 (2006)
Kalmykov, S.A., Shokin, J.I., Juldashev, E.C.: Solving Ordinary Differential Equations by Interval Methods. In: Doklady AN SSSR, vol. 230 (1976)
Lohner, R.J.: Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. In: Cash, J. R., Gladwell, I. (eds.) Computational Ordinary Differential Equations, pp. 425–435. Clarendon Press, Oxford (1992)
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)
Makino, K., Berz, M.: Suppression of the wrapping effect by taylor Model-Based verified integrators: the single step. International Journal of Pure and Applied Mathematics 36(2), 175–197 (2006)
Marciniak, A.: Implicit interval methods for solving the initial value problem. Numerical Algorithms 37(1–4), 241–251 (2004)
Marciniak, A.: Multistep interval methods of nyström and Milne-Simpson types. Computational Methods in Science and Technology 13(1), 23–40 (2007)
Marciniak, A.: On multistep interval methods for solving the initial value problem. J. Comput. Appl. Math. 199(2), 229–237 (2007)
Marciniak, A.: Selected Interval Methods for Solving the Initial Value Problem. Publishing House of Poznan University of Technology, Poznan (2009)
Marciniak, A.: Delphi Pascal Programs for Interval Multistep Methods (2016). http://www.cs.put.poznan.pl/amarciniak/IPCM-Examples
Marciniak, A.: Interval Arithmetic Unit (2016). http://www.cs.put.poznan.pl/amarciniak/IAUnits/IntervalArithmetic32and64.pas
Marciniak, A., Szyszka, B.: One-and two-stage implicit interval methods of Runge-Kutta type. Computational Methods in Science and Technology 5(1), 53–65 (1999)
Moore, R.E.: The Automatic Analysis and Control of Error in Digital Computation Based on the Use of Interval Numbers. In: Rall, L. B. (ed.) Error in Digital Computation, vol. 1, pp. 61–130. Wiley, New York (1965)
Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)
Moore, R.E.: Methods and Applications of Interval Analysis. SIAM Society for Industrial & Applied Mathematics, Philadelphia (1979)
Nedialkov, N.S.: Interval Tools for ODEs and DAEs. Tech. Rep. CAS 06-09-NN, Department of Computing and Software, McMaster University, Hamilton (2006)
Nedialkov, N.S.: VNODE-LP—a Validated Solver for Initial Value Problems in Ordinary Differential Equations. Tech. Rep. CAS 06-06-NN, Department of Computing and Software, McMaster University, Hamilton (2006)
Nedialkov, N.S., Jackson, K.R.: A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations. In: Facius, A., Kulisch, U., Lohner, R. (eds.) Perspectives on Enclosure Methods, pp. 219–264. Springer, Vienna (2001)
Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105 (1), 21–68 (1999)
Nickel, K.: How to Fight the Wrapping Effect. In: Goos, G., Hartmanis, J. (eds.) Lecture Notes in Computer Science, pp. 121–132. Springer, Berlin (1986)
Nickel, K.: Using interval methods for the numerical solution of ODE’s. ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift fü,r Angewandte Mathematik und Mechanik 66(11), 513–523 (1986)
Shokin, Y.I.: Interval Analysis. Novosibirsk, Nauka (1981)
Stewart, N.F.: A heuristic to reduce the wrapping effect in the numerical solution of x = f(t,x). BIT Numer. Math. 11(3), 328–337 (1971)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Marciniak, A., Jankowska, M.A. & Hoffmann, T. On interval predictor-corrector methods. Numer Algor 75, 777–808 (2017). https://doi.org/10.1007/s11075-016-0220-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-016-0220-x