From Semidiscrete to Fully Discrete: Stability of Runge-Kutta Schemes by The Energy Method

The integration of semidiscrete approximations for time-dependent problems is encountered in a variety of applications. The Runge--Kutta (RK) methods are widely used to integrate the ODE systems which arise in this context, resulting in large ODE systems called methods of lines. These methods of lines are governed by possibly ill-conditioned systems with a growing dimension; consequently, the naive spectral stability analysis based on scalar eigenvalues arguments may be misleading. Instead, we present here a stability analysis of RK methods for well-posed semidiscrete approximations, based on a general energy method. We review the stability question for such RK approximations, and highlight its intricate dependence on the growing dimension of the problem. In particular, we prove the strong stability of general fully discrete RK methods governed by coercive approximations. We conclude with two nontrivial examples which demonstrate the versatility of our approach in the context of general systems of convection-diffusion equations with variable coefficients. A straightforward implementation of our results verify the strong stability of RK methods for local finite-difference schemes as well as global spectral approximations. Since our approach is based on the energy method (which is carried in the physical space), and since it avoids the von Neumann analysis (which is carried in the dual Fourier space), we are able to easily adapt additional extensions due to nonperiodic boundary conditions, general geometries, etc.

[1]  C. C. Macduffee,et al.  The Theory of Matrices , 1933 .

[2]  F. John Partial differential equations , 1967 .

[3]  A. Booth Numerical Methods , 1957, Nature.

[4]  R. D. Richtmyer,et al.  Difference methods for initial-value problems , 1959 .

[5]  S. Foguel A counterexample to a problem of Sz.-Nagy , 1964 .

[6]  P. Halmos On Foguel’s answer to Nagy’s question , 1964 .

[7]  P. Lax,et al.  Difference schemes for hyperbolic equations with high order of accuracy , 1964 .

[8]  K. Morton,et al.  On the Stability of Finite Difference Matrices , 1965 .

[9]  G. Strang,et al.  Matrix theorems for partial differential and difference equations , 1965 .

[10]  C. McCarthy,et al.  On the norm of a finite boolean algebra of projections, and applications to theorems of Kreiss and Morton† , 1965 .

[11]  J. Miller Numerical Analysis , 1966, Nature.

[12]  C. Pearcy An elementary proof of the power inequality for the numerical radius. , 1966 .

[13]  Tosio Kato Perturbation theory for linear operators , 1966 .

[14]  P. Halmos A Hilbert Space Problem Book , 1967 .

[15]  John J. H. Miller On power-bounded operators and operators satisfying a resolvent condition , 1967 .

[16]  H. Kreiss Stability theory for difference approximations of mixed initial boundary value problems. I , 1968 .

[17]  P. Heywood Trigonometric Series , 1968, Nature.

[18]  J. Crank Difference Methods for Initial-Value Problems 2nd edn , 1968 .

[19]  Peter Lancaster,et al.  The theory of matrices , 1969 .

[20]  Harold Widom,et al.  An inequality for rational functions , 1970 .

[21]  H. Kreiss,et al.  Comparison of accurate methods for the integration of hyperbolic equations , 1972 .

[22]  H. Kreiss,et al.  Stability Theory of Difference Approximations for Mixed Initial Boundary Value Problems. II , 1972 .

[23]  G. Strang,et al.  An Analysis of the Finite Element Method , 1974 .

[24]  Åke Björck,et al.  Numerical Methods , 2021, Markov Renewal and Piecewise Deterministic Processes.

[25]  B. Fornberg On a Fourier method for the integration of hyperbolic equations , 1975 .

[26]  Micha Gorelick Stability of Families of Matrices of Unbounded Order , 1975 .

[27]  D. Gottlieb,et al.  Numerical analysis of spectral methods , 1977 .

[28]  E. Turkel,et al.  Symmetric Hyperbolic Difference Schemes and Matrix Problems , 1977 .

[29]  D. Gottlieb,et al.  Numerical analysis of spectral methods : theory and applications , 1977 .

[30]  E. Tadmor,et al.  Scheme-independent stability criteria for difference approximations of hyperbolic initial-boundary value problems. II , 1978 .

[31]  R. D. Richtmyer,et al.  Principles of Advanced Mathematical Physics , 1978 .

[32]  Charles R. Johnson NUMERICAL DETERMINATION OF THE FIELD OF VALUES OF A GENERAL COMPLEX MATRIX , 1978 .

[33]  Tosio Kato,et al.  High-Accuracy Stable Difference Schemes for Well-Posed Initial-Value Problems , 1979 .

[34]  V. Thomée,et al.  ON RATIONAL APPROXIMATIONS OF SEMIGROUPS , 1979 .

[35]  E. Turkel,et al.  On the Practical Use of High-Order Methods for Hyperbolic Systems* , 1980 .

[36]  S. Friedland A Generalization of the Kreiss Matrix Theorem , 1981 .

[37]  E. Tadmor The equivalence of L2-stability, the resolvent condition, and strict H-stability , 1981 .

[38]  A. Jameson,et al.  Numerical solution of the Euler equations by finite volume methods using Runge Kutta time stepping schemes , 1981 .

[39]  O. Nevanlinna,et al.  Stability and accuracy of time discretizations for initial value problems , 1982 .

[40]  O. Nevanlinna,et al.  Stability of Explicit Time Discretizations for Solving Initial Value Problems , 1982 .

[41]  E. Tadmor,et al.  On the Numerical Radius and Its Applications , 1982 .

[42]  O. Nevanlinna,et al.  Stability of explicit time discretizations for solving initial value problems , 1982 .

[43]  Gene H. Golub,et al.  Matrix computations , 1983 .

[44]  R. LeVeque,et al.  On the uniform power-boundedness of a family of matrices and the applications to one-leg and linear multistep methods , 1983 .

[45]  Eitan Tadmor,et al.  Numerical Viscosity and the Entropy Condition for Conservative Difference Schemes , 1984 .

[46]  E. Tadmor Skew-selfadjoint form for systems of conservation laws , 1984 .

[47]  L. Trefethen,et al.  On the resolvent condition in the Kreiss Matrix Theorem , 1984 .

[48]  E. Görlich,et al.  Alpha well-posedness, alpha stability, and the matrix theorems of H.-O. Kreiss , 1985 .

[49]  J. Butcher The Numerical Analysis of Ordinary Di erential Equa-tions , 1986 .

[50]  J. Butcher The numerical analysis of ordinary differential equations: Runge-Kutta and general linear methods , 1987 .

[51]  M. Crouzeix On multistep approximation of semigroups in Banach spaces , 1987 .

[52]  E. Tadmor Stability analysis of finite-difference, pseudospectral and Fourier-Galerkin approximations for time-dependent problems , 1987 .

[53]  T. A. Zang,et al.  Spectral methods for fluid dynamics , 1987 .

[54]  E. Tadmor,et al.  Stability analysis of spectral methods for hyperbolic initial-boundary value systems , 1987 .

[55]  Claes Johnson Numerical solution of partial differential equations by the finite element method , 1988 .

[56]  Chi-Wang Shu Total-variation-diminishing time discretizations , 1988 .

[57]  Daniel B. Henry Geometric Theory of Semilinear Parabolic Equations , 1989 .

[58]  S. Osher,et al.  Efficient implementation of essentially non-oscillatory shock-capturing schemes,II , 1989 .

[59]  B. A. Wade SYMMETRIZABLE FINITE DIFFERENCE OPERATORS , 1990 .

[60]  B. Fornberg High-order finite differences and the pseudospectral method on staggered grids , 1990 .

[61]  E. Hairer,et al.  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems , 2010 .

[62]  D. Gottlieb,et al.  The CFL condition for spectral approximations to hyperbolic initial-boundary value problems. , 1991 .

[63]  M. N. Spijker,et al.  On a generalization of the resolvent condition in the Kreiss matrix theorem , 1991 .

[64]  M. N. Spijker On a conjecture by le Veque and Trefethen related to the kreiss matrix theorem , 1991 .

[65]  M. N. Spijker,et al.  On the use of stability regions in the numerical analysis of initial value problems , 1991 .

[66]  D. Funaro Polynomial Approximation of Differential Equations , 1992 .

[67]  H. Kreiss,et al.  Method of lines for hyperbolic differential equations , 1992 .

[68]  L. Trefethen,et al.  Stability of the method of lines , 1992, Spectra and Pseudospectra.

[69]  M. N. Spijker,et al.  Linear stability analysis in the numerical solution of initial value problems , 1993, Acta Numerica.

[70]  M. N. Spijker Numerical ranges and stability estimates , 1993 .

[71]  H. Kreiss,et al.  On the stability definition of difference approximations for the initial boundary value problem , 1993 .

[72]  E. Tadmor,et al.  On the stability of the unsmoothed Fourier method for hyperbolic equations , 1994 .

[73]  W. Hundsdorfer,et al.  Stability estimates based on numerical ranges with an application to a spectral method , 1994 .

[74]  M. Giles Stability Analysis of Galerkin/Runge-Kutta Navier-Stokes Discretisations on Unstructured Grids , 1995 .

[75]  David I. Gottlieb,et al.  The Theoretical Accuracy of Runge-Kutta Time Discretizations for the Initial Boundary Value Problem: A Study of the Boundary Error , 1995, SIAM J. Sci. Comput..

[76]  Arieh Iserles,et al.  A First Course in the Numerical Analysis of Differential Equations: The diffusion equation , 2008 .

[77]  Gene H. Golub,et al.  Matrix computations (3rd ed.) , 1996 .

[78]  L. Trefethen Finite Difference and Spectral Methods for Ordinary and Partial Differential Equations , 1996 .

[79]  H. Kreiss,et al.  Time-Dependent Problems and Difference Methods , 1996 .