Abstract
We show how to compute the optimal relative backward error for the numerical solution of the Dahlquist test problem by one-step methods. This is an example of a general approach that uses results from optimal control theory to compute optimal residuals, but elementary methods can also be used here because the problem is so simple. This analysis produces some new insights into the numerical solution of stiff problems.
Similar content being viewed by others
References
Butcher, J.C.: Implicit Runge–Kutta processes. Math. Comput. 18(85), 50–64 (1964)
Calvo, M., Higham, D.J., Montijano, J.I., Rández, L.: Stepsize selection for tolerance proportionality in explicit Runge–Kutta codes. Adv. Comput. Math. 7 (3), 361–382 (1997)
Calvo, M., Montijano, J.I., Rández, L.: A fifth-order interpolant for the Dormand and Prince Runge–Kutta method. J. Comput. Appl. Math. 29 (1), 91–100 (1990). https://doi.org/10.1016/0377-0427(90)90198-9
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)
Corless, R.M.: Error backward. Contemp. Math. 172, 31–31 (1994)
Corless, R.M.: What good are numerical simulations of chaotic dynamical systems? Comput. Math. Appl. 28(10-12), 107–121 (1994)
Corless, R.M., Essex, C., Nerenberg, M.: Numerical methods can suppress chaos. Phys. Lett. A 157(1), 27–36 (1991)
Corless, R.M., Fillion, N.: A Graduate Introduction to Numerical Methods. Springer, Berlin (2013)
Corless, R.M., Jankowski, J.E.: Variations on a theme of Euler. SIAM Rev. 58(4), 775–792 (2016)
Enright, W.H.: A new error-control for initial value solvers. Appl. Math. Comput. 31, 288–301 (1989)
Enright, W.H.: Continuous numerical methods for ODEs with defect control. J. Comput. Appl. Math. 125(1), 159–170 (2000)
Enright, W.H., Hayes, W.B.: Robust and reliable defect control for Runge–Kutta methods. ACM Trans. Math. Softw. (TOMS) 33(1), 1 (2007)
Enright, W.H., Higham, D.J.: Parallel defect control. BIT Numer. Math. 31(4), 647–663 (1991)
Enright, W.H., Seward, W.L.: Achieving tolerance proportionality in software for stiff initial-value problems. Computing 42(4), 341–352 (1989)
Geddes, K.O.: Symbolic computation of Padé approximants. ACM Trans. Math. Softw. (TOMS) 5(2), 218–233 (1979)
Hairer, E., Nørsett, S.P., Wanner, G.: Solving ordinary differential equations. i (1993)
Higham, D.J.: The tolerance proportionality of adaptive ode solvers. J. Comput. Appl. Math. 45(1-2), 227–236 (1993)
Hubbard, J., West, B.H.: Differential Equations: a Dynamical Systems Approach, Vol. 5.;5, 18;18.;. Springer, New York (1991)
Iserles, A., Norsett, S.P.: Order Stars: Theory and Applications, vol. 2. CRC Press, Boca Raton (1991)
Jeffrey, D.J., Hare, D.E., Corless, R.M.: Unwinding the branches of the Lambert W function. Mathematical Scientist 21(1), 1–7 (1996)
Kaya, C.Y., Noakes, J.L.: Finding interpolating curves minimizing \({L}^{\infty }\) acceleration in the Euclidean space via optimal control theory. SIAM J. Control Optim. 51, 442–464 (2013)
Kennedy, C.A., Carpenter, M.H.: Diagonally implicit Runge–Kutta methods for ordinary differential equations. a review. https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20160005923.pdf (2016)
Lanczos, C.: Applied Analysis. Dover (1988)
Moir, R.H.: Reconsidering Backward Error Analysis for Ordinary Differential Equations. Master’s thesis, The University of Western Ontario (2010)
Muir, P., Pancer, R., Jackson, K.R.: PMIRKDC: a parallel mono-implicit Runge–Kutta code with defect control for boundary value ODEs. Parallel Comput. 29(6), 711–741 (2003)
Neher, M., Jackson, K.R., Nedialkov, N.S.: On Taylor model based integration of ODEs. SIAM J. Numer. Anal. 45(1), 236–262 (2007)
Ortiz, E.L.: The tau method. SIAM J. Numer. Anal. 6(3), 480–492 (1969)
Söderlind, G., Jay, L., Calvo, M.: Stiffness 1952–2012: sixty years in search of a definition. BIT Numer. Math. 55(2), 531–558 (2014)
Wanner, G., Hairer, E.: Solving ordinary differential equations ii. Stiff and Differential-Algebraic Problems (1991)
Acknowledgements
Thanks are also due to the Rotman Institute of Philosophy, the Fields Institute for Research in the Mathematical Sciences, the Ontario Research Center for Computer Algebra and the University of South Australia which supported a visit of the first author to the second. We are grateful for detailed critical remarks by the referees, which helped us to improve the paper, and for their pointing out the relevant works of Higham, Calvo, Montijano and Rández. Special thanks are owed to John C. Butcher for his hosting the beautiful ANODE conferences over the years, and his long-term support of research in the Runge-Kutta world.
Funding
Part of this work was supported by the Natural Sciences and Engineering Research Council of Canada.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Corless, R.M., Kaya, C.Y. & Moir, R.H.C. Optimal residuals and the Dahlquist test problem. Numer Algor 81, 1253–1274 (2019). https://doi.org/10.1007/s11075-018-0624-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-018-0624-x