Backward Error Analysis for Perturbation Methods

We demonstrate via several examples how the backward error viewpoint can be used in the analysis of solutions obtained by perturbation methods. We show that this viewpoint is quite general and offers several important advantages. Perhaps the most important is that backward error analysis can be used to demonstrate the validity of the solution, however obtained and by whichever method. This includes a nontrivial safeguard against slips, blunders, or bugs in the original computation. We also demonstrate its utility in deciding when to truncate an asymptotic series, improving on the well-known rule of thumb indicating truncation just prior to the smallest term. We also give an example of elimination of spurious secular terms even when genuine secularity is present in the equation. We give short expositions of several well-known perturbation methods together with computer implementations (as scripts that can be modified). We also give a generic backward error based method that is equivalent to iteration (but we believe useful as an organizational viewpoint) for regular perturbation.

[1]  Ronald F. Boisvert,et al.  NIST Handbook of Mathematical Functions , 2010 .

[2]  B. Salvy,et al.  Measured limits and multiseries , 2010 .

[3]  Robert M. Corless,et al.  A Graduate Introduction to Numerical Methods: From the Viewpoint of Backward Error Analysis , 2013 .

[4]  Yiming Zhang,et al.  High-Accuracy Series Solution for Two-Dimensional Convection in a Horizontal Concentric Cylinder , 2014, SIAM J. Appl. Math..

[5]  James Hardy Wilkinson,et al.  Rounding errors in algebraic processes , 1964, IFIP Congress.

[6]  Robert M. Corless.  What is a solution of an ODE? , 1993, SIGS.

[7]  W. H. Enright.  Analysis of error control strategies for continuous Runge-Kutta methods , 1989 .

[8]  David F. Griffiths,et al.  On the scope of the method of modified equations , 1986 .

[9]  Joseph F. Grcar,et al.  John von Neumann's Analysis of Gaussian Elimination and the Origins of Modern Numerical Analysis , 2011, SIAM Rev..

[10]  H. Weitzner,et al.  Perturbation Methods in Applied Mathematics , 1969 .

[11]  S. Orszag,et al.  Advanced Mathematical Methods For Scientists And Engineers , 1979 .

[12]  J. A. C. Weideman.  Computing the Dynamics of Complex Singularities of Nonlinear PDEs , 2003, SIAM J. Appl. Dyn. Syst..

[13]  R. Bellman.  Perturbation techniques in mathematics, physics, and engineering , 1972 .

[14]  N. D. Bruijn.  Asymptotic methods in analysis , 1958 .

[15]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[16]  M. Holmes.  Introduction to Perturbation Methods , 1995 .

[17]  S. Orszag,et al.  Advanced mathematical methods for scientists and engineers I: asymptotic methods and perturbation theory. , 1999 .

[18]  J. H. Wilkinson.  Modern Error Analysis , 1971 .

[19]  Gaston H. Gonnet,et al.  On the LambertW function , 1996, Adv. Comput. Math..

[20]  A. Krall.  Applied Analysis , 1986 .

[21]  Robert M. Corless,et al.  Rationale for guaranteed ODE defect control , 1991 .

[22]  A. Hohmann,et al.  Numerical Analysis in Modern Scientific Computing: An Introduction , 2003 .

[23]  Eleftherios Kirkinis,et al.  The Renormalization Group: A Perturbation Method for the Graduate Curriculum , 2012, SIAM Rev..

[24]  E. Kirkinis,et al.  A Combined Renormalization Group‐Multiple Scale Method for Singularly Perturbed Problems , 2010 .

[25]  Hayato Chiba,et al.  Extension and Unification of Singular Perturbation Methods for ODEs Based on the Renormalization Group Method , 2009, SIAM J. Appl. Dyn. Syst..

[26]  W. H. Enright.  A new error-control for initial value solvers , 1989 .

[27]  A. Nayfeh.  Introduction To Perturbation Techniques , 1981 .

[28]  Nicholas J. Higham,et al.  INVERSE PROBLEMS NEWSLETTER , 1991 .

[29]  Konstantin Avrachenkov,et al.  Analytic Perturbation Theory and Its Applications , 2013 .

[30]  Mary L. Boas.  Mathematical Methods in the Physical Sciences , 1967 .

[31]  Keith O. Geddes,et al.  Algorithms for computer algebra , 1992 .

[32]  C. Lanczos.  Applied Analysis , 1961 .

[33]  J. Morrison,et al.  Comparison of the Modified Method of Averaging and the Two Variable Expansion Procedure , 1966 .

[34]  Robert E. O'Malley,et al.  Historical Developments in Singular Perturbations , 2014 .

[35]  Peter Deuflhard,et al.  Numerical Analysis in Modern Scientific Computing , 2003 .

[36]  Anne Nagel,et al.  Perturbation Methods In Applied Mathematics , 2016 .

[37]  J. H. Wilkinson.  The algebraic eigenvalue problem , 1966 .

[38]  R. F. Warming,et al.  The modified equation approach to the stability and accuracy analysis of finite-difference methods , 1974 .

[39]  Keith O. Geddes,et al.  Algorithms for Computer Algebra , 1992 .

[40]  Robert M. Corless,et al.  A Graduate Introduction to Numerical Methods , 2013 .

[41]  D. Armbruster,et al.  "Perturbation Methods, Bifurcation Theory and Computer Algebra" , 1987 .