Abstract
We prove sharp, computable error estimates for the propagation of errors in the numerical solution of ordinary differential equations. The new estimates extend previous estimates of the influence of data errors and discretization errors with a new term accounting for the propagation of numerical round-off errors, showing that the accumulated round-off error is inversely proportional to the square root of the step size. As a consequence, the numeric precision eventually sets the limit for the pointwise computability of accurate solutions of any ODE. The theoretical results are supported by numerically computed solutions and error estimates for the Lorenz system and the van der Pol oscillator.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Akrivis, G., Makridakis, C., Nochetto, R.H.: Galerkin and Runge–Kutta methods: unified formulation, a posteriori error estimates and nodal superconvergence. Numer. Math. 118(3), 429–456 (2011)
Becker, R., Rannacher, R.: An optimal control approach to a posteriori error estimation in finite element methods. Acta Numerica 10, 1–102 (2001)
Cao, Y., Petzold, L.: A posteriori error estimation and global error control for ordinary differential equations by the adjoint method. SIAM J. Sci. Comput. 26(2), 359–374 (2004)
Chaudhry, J., Estep, D., Ginting, V., Tavener, S.: A posteriori analysis of an iterative multi-discretization method for reaction–diffusion systems. Comput. Methods Appl. Mech. Eng. 267, 1–22 (2013)
Coomes, B.A., Kocak, H., Palmer, K.J.: Rigorous computational shadowing of orbits of ordinary differential equations. Numerische Mathematik 69(4), 401–421 (1995)
Delfour, M., Hager, W., Trochu, F.: Discontinuous Galerkin methods for ordinary differential equations. Math. Comp. 36, 455–473 (1981)
Eriksson, K., Estep, D., Hansbo, P., Johnson, C.: Introdution to adaptive methods for differential equations. Acta Numerica 4, 105–158 (1995)
Estep, D.: A posteriori error bounds and global error control for approximations of ordinary differential equations. SIAM J. Numer. Anal. 32, 1–48 (1995)
Estep, D., French, D.: Global error control for the continuous Galerkin finite element method for ordinary differential equations. m2AN 28, 815–852 (1994)
Estep, D., Ginting, V., Tavener, S.: A posteriori analysis of a multirate numerical method for ordinary differential equations. Comput. Methods Appl. Mech. Eng. 223, 10–27 (2012)
Estep, D., Johnson, C.: The pointwise computability of the Lorenz system. Math. Models. Meth. Appl. Sci. 8, 1277–1305 (1998)
Estep, D.J.: A Short Course on Duality, Adjoint Operators, Green’s Functions, and A Posteriori Error Analysis, Department of Mathematics Colorado State University (2004)
Granlund, T.: the GMP development team: GNU MP: The GNU Multiple Precision Arithmetic Library. http://gmplib.org/ (2015)
Hairer, E., McLachlan, R.I., Razakarivony, A.: Achieving brouwer’s law with implicit runge–kutta methods. BIT Numer. Math. 48(2), 231–243 (2008)
Higham, N.: Accuracy and stability of numerical algorithms, 2nd edn. Society for Industrial Mathematics (2002)
Hulme, B.L.: Discrete Galerkin and related one-step methods for ordinary differential equations. Math. Comput. 26(120), 881–891 (1972)
Hulme, B.L.: One-step piecewise polynomial Galerkin methods for initial value problems. Math. Comput. 26(118), 415–426 (1972)
Johnson, C.: Error estimates and adaptive time-step control for a class of one-step methods for stiff ordinary differential equations. SIAM J. Numer. Anal. 25(4), 908–926 (1988)
Jorba, A., Zou, M.: A software package for the numerical integration of ODEs by means of high-order Taylor methods. Exp. Math. 14(1), 99–117 (2005)
Kehlet, B.: Analysis and implementation of high-precision finite element methods for ordinary differential equations with application to the Lorenz system. MSc thesis, Department of Informatics University of Oslo (2010)
Kehlet, B., Logg, A.: Quantifying the Computability of the Lorenz System. In: Adaptive Modeling and Simulation (2013)
Kehlet, B., Logg, A.: Code package for the paper A posteriori error analysis of round-off errors in the numerical solution of ordinary differential equations (2015). doi:10.5281/zenodo.16671
Li, J., Zeng, Q., Chou, J.: Computational uncertainty principle in nonlinear ordinary differential equations i: Numerical results. Sci. China (E) 43(5), 449–460 (2000)
Li, J., Zeng, Q., Chou, J.: Computational uncertainty principle in nonlinear ordinary differential equations ii: Theoretical analysis. Sci. China (E) 44(1), 55–74 (2001)
Logg, A.: Multi-Adaptive Galerkin methods for ODEs I. SIAM J. Sci. Comput. 24(6), 1879–1902 (2003)
Logg, A.: Multi-Adaptive Galerkin methods for ODEs II: Implementation and applications. SIAM J. Sci. Comput. 25(4), 1119–1141 (2003)
Logg, A., Kehlet, B.: Tanganyika. https://bitbucket.org/benjamik/tanganyika
Lorenz, E.N.: Deterministic nonperiodic flow, vol. 20 (1963)
Mazzia, F., Magherini, C.: Test set for initial value problem solvers, release 2.4. Technical Report 4, Department of Mathematics, University of Bari, Italy. Available at http://pitagora.dm.uniba.it/~testset (2008)
Saad, Y., Schultz, M.H.: Conjugate gradient-like algorithms for solving nonsymmetric linear systems. Math. Comput. 44(170), 417–424 (1985)
Viswanath, D.: The fractal property of the Lorenz attractor. Physica D: Nonlinear Phenomena 190(1-2), 115–128 (2004)
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
Kehlet, B., Logg, A. A posteriori error analysis of round-off errors in the numerical solution of ordinary differential equations. Numer Algor 76, 191–210 (2017). https://doi.org/10.1007/s11075-016-0250-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-016-0250-4