Properties of Runge-Kutta-Summation-By-Parts methods

Abstract We review and extend the list of stability and convergence properties satisfied by Runge-Kutta (RK) methods that are associated with Summation-By-Parts (SBP) operators, herein called RK-SBP methods. The analysis covers classical, generalized as well as upwind SBP operators. Previous work on the topic has relied predominantly on energy estimates. In contrast, we derive all results using a purely algebraic approach that rests on the well-established theory of RK methods. The purpose of this paper is to provide a bottom-up overview of stability and convergence results for linear and non-linear problems that relate to general RK-SBP methods. To this end, we focus on the RK viewpoint, since this perspective so far is largely unexplored. This approach allows us to derive all results as simple consequences of the properties of SBP methods combined with well-known results from RK theory. In this way, new proofs of known results such as A-, L- and B-stability are given. Additionally, we establish previously unreported results such as strong S-stability, dissipative stability and stiff accuracy of certain RK-SBP methods. Further, it is shown that a subset of methods are B-convergent for strictly contractive non-linear problems and convergent for non-linear problems that are both contractive and dissipative.

[1]  David C. Del Rey Fernández,et al.  A generalized framework for nodal first derivative summation-by-parts operators , 2014, J. Comput. Phys..

[2]  A. Prothero,et al.  On the stability and accuracy of one-step methods for solving stiff systems of ordinary differential equations , 1974 .

[3]  Jan Nordström,et al.  On pseudo-spectral time discretizations in summation-by-parts form , 2018, J. Comput. Phys..

[4]  Josef Schneid,et al.  Characterization of B-convergent Runge-Kutta methods for strictly dissipative initial value problems , 1989, Computing.

[5]  Jan Nordström,et al.  The SBP-SAT technique for initial value problems , 2014, J. Comput. Phys..

[6]  David C. Del Rey Fernández,et al.  Review of summation-by-parts operators with simultaneous approximation terms for the numerical solution of partial differential equations , 2014 .

[7]  David Gottlieb,et al.  Spectral Methods on Arbitrary Grids , 1995 .

[8]  H. Kreiss,et al.  Finite Element and Finite Difference Methods for Hyperbolic Partial Differential Equations , 1974 .

[9]  Jason E. Hicken,et al.  Summation-by-parts operators and high-order quadrature , 2011, J. Comput. Appl. Math..

[10]  Jan Nordström,et al.  High Order Finite Difference Approximations of Electromagnetic Wave Propagation Close to Material Discontinuities , 2003, J. Sci. Comput..

[11]  Jan Nordström,et al.  A stable and high-order accurate conjugate heat transfer problem , 2010, J. Comput. Phys..

[12]  Jan Nordström,et al.  Energy stable boundary conditions for the nonlinear incompressible Navier-Stokes equations , 2018, Math. Comput..

[13]  John C. Butcher,et al.  A stability property of implicit Runge-Kutta methods , 1975 .

[14]  Jan Nordström,et al.  On the order of Accuracy of Finite Difference Operators on Diagonal Norm Based Summation-by-Parts Form , 2018, SIAM J. Numer. Anal..

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

[16]  Etienne Emmrich,et al.  Stiffly accurate Runge-Kutta methods for nonlinear evolution problems governed by a monotone operator , 2009, Math. Comput..

[17]  B. Strand.  Summation by parts for finite difference approximations for d/dx , 1994 .

[18]  Jan Nordström,et al.  Finite volume methods, unstructured meshes and strict stability for hyperbolic problems , 2003 .

[19]  J. Schneid,et al.  On the relation between algebraic stability andB-convergence for Runge-Kutta methods , 1990 .

[20]  Philipp Öffner,et al.  Summation-by-parts operators for correction procedure via reconstruction , 2015, J. Comput. Phys..

[21]  G. Dahlquist.  A special stability problem for linear multistep methods , 1963 .

[22]  Magnus Svärd,et al.  Review of summation-by-parts schemes for initial-boundary-value problems , 2013, J. Comput. Phys..

[23]  Magnus Svärd,et al.  Stable and Accurate Artificial Dissipation , 2004, J. Sci. Comput..

[24]  Christoph W. Ueberhuber,et al.  Order Results for Implicit Runge–Kutta Methods Applied to Stiff Systems , 1985 .

[25]  Josef Schneid,et al.  A new approach to optimal B-convergence , 1987, Computing.

[26]  Kees Dekker,et al.  A necessary condition forBSI-stability , 1985 .

[27]  Jan Nordström,et al.  Well-posed and stable transmission problems , 2018, J. Comput. Phys..

[28]  K. Burrage,et al.  Non-linear stability of a general class of differential equation methods , 1980 .

[29]  R. Temam.  Infinite Dimensional Dynamical Systems in Mechanics and Physics Springer Verlag , 1993 .

[30]  J. G. Verwer,et al.  S-Stability properties for generalized Runge-Kutta methods , 1976 .

[31]  Christoph W. Ueberhuber,et al.  The Concept of B-Convergence , 1981 .

[32]  J. Schneid,et al.  On the unique solvability of the Runge-Kutta equations , 1991 .

[33]  J. Schneid,et al.  B-Convergence of Lobatto IIIC formulas , 1987 .

[34]  D. Gottlieb,et al.  Time-stable boundary conditions for finite-difference schemes solving hyperbolic systems: methodology and application to high-order compact schemes , 1994 .

[35]  Gregor Gassner,et al.  A Skew-Symmetric Discontinuous Galerkin Spectral Element Discretization and Its Relation to SBP-SAT Finite Difference Methods , 2013, SIAM J. Sci. Comput..

[36]  M. Crouzeix.  Sur laB-stabilité des méthodes de Runge-Kutta , 1979 .

[37]  Jan Nordström,et al.  Finite volume approximations and strict stability for hyperbolic problems , 2001 .

[38]  Andrew M. Stuart,et al.  Runge-Kutta methods for dissipative and gradient dynamical systems , 1994 .

[39]  Jan Nordström,et al.  A Roadmap to Well Posed and Stable Problems in Computational Physics , 2016, Journal of Scientific Computing.

[40]  Jan Nordström,et al.  Summation-by-parts in time , 2013, J. Comput. Phys..

[41]  J. Verwer,et al.  Stability of Runge-Kutta Methods for Stiff Nonlinear Differential Equations , 1984 .

[42]  M. N. Spijker.  Monotonicity and boundedness in implicit Runge-Kutta methods , 1986 .

[43]  M. N. Spijker,et al.  A note onB-stability of Runge-Kutta methods , 1980 .

[44]  K. Burrage,et al.  Stability Criteria for Implicit Runge–Kutta Methods , 1979 .

[45]  Jan Nordström,et al.  Eigenvalue Analysis for Summation-by-Parts Finite Difference Time Discretizations , 2020, SIAM J. Numer. Anal..

[46]  Karlheinz Ochs,et al.  Passive Runge–Kutta Methods—Properties, Parametric Representation, and Order Conditions , 2003 .

[47]  Ken Mattsson,et al.  Diagonal-norm upwind SBP operators , 2017, J. Comput. Phys..

[48]  Hendrik Ranocha,et al.  Some notes on summation by parts time integration methods , 2019, Results in Applied Mathematics.

[49]  Andrew M. Stuart,et al.  Model Problems in Numerical Stability Theory for Initial Value Problems , 1994, SIAM Rev..

[50]  Magnus Svärd,et al.  On the convergence rates of energy-stable finite-difference schemes , 2019, J. Comput. Phys..

[51]  H. Kreiss,et al.  Initial-Boundary Value Problems and the Navier-Stokes Equations , 2004 .

[52]  David W. Zingg,et al.  High-Order Implicit Time-Marching Methods Based on Generalized Summation-By-Parts Operators , 2014, SIAM J. Sci. Comput..

[53]  Rudolf Scherer,et al.  Algebraic characterization of A-stable Runge-Kutta methods , 1989 .