The Leray-G{\aa}rding method for finite difference schemes

Leray and G{\aa}rding have developed a multiplier technique for deriving a priori estimates for solutions to scalar hyperbolic equations in either the whole space or the torus. In particular, the arguments in Leray and G{\aa}rding's work provide with at least one local multiplier and one local energy functional that is controlled along the evolution. The existence of such a local multiplier is the starting point of the argument by Rauch for the derivation of semigroup estimates for hyperbolic initial boundary value problems. In this article, we explain how this multiplier technique can be adapted to the framework of finite difference approximations of transport equations. The technique applies to numerical schemes with arbitrarily many time levels, and encompasses a somehow magical trick that has been known for a long time for the leapfrog scheme. More importantly, the existence and properties of the local multiplier enable us to derive optimal semigroup estimates for fully discrete hyperbolic initial boundary value problems, which answers a problem raised by Trefethen, Kreiss and Wu.

[1]  Daniel Michelson,et al.  Stability theory of difference approximations for multidimensional initial-boundary value problems , 1983 .

[2]  Jeffrey Rauch,et al.  L2 is a continuable initial condition for kreiss' mixed problems , 1972 .

[4]  David Gottlieb,et al.  Stability of two-dimensional initial-boundary value problems using leap-frog type schemes , 1979 .

[5]  Ernst Hairer,et al.  Solving Ordinary Differential Equations I: Nonstiff Problems , 2009 .

[6]  Sylvie Benzoni-Gavage,et al.  Multidimensional hyperbolic partial differential equations : first-order systems and applications , 2006 .

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

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

[9]  J. Coulombel.  Fully discrete hyperbolic initial boundary value problems with nonzero initial data , 2014, 1412.0851.

[10]  P. Lax,et al.  On stability for difference schemes; a sharp form of gårding's inequality , 1966 .

[11]  J. Oliger,et al.  Fourth Order Difference Methods for the Initial Boundary-Value Problem for Hyperbolic Equations , 1974 .

[12]  Sylvie Benzoni-Gavage,et al.  Multi-dimensional hyperbolic partial differential equations , 2006 .

[13]  L. Trefethen,et al.  Spectra and pseudospectra : the behavior of nonnormal matrices and operators , 2005 .

[14]  J. Leray.  Hyperbolic differential equations , 1953 .

[15]  Stanley Osher,et al.  Stability of difference approximations of dissipative type for mixed initial-boundary value problems. I , 1969 .

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

[17]  D. Gottlieb,et al.  A note on the leap-frog scheme in two and three dimensions. [finite difference method for partial differential equations] , 1976 .

[18]  L. Trefethen.  Spectra and pseudospectra , 2005 .

[19]  Jean-François Coulombel,et al.  Stability of Finite Difference Schemes for Hyperbolic Initial Boundary Value Problems , 2009, SIAM J. Numer. Anal..

[20]  L. Trefethen.  Instability of difference models for hyperbolic initial boundary value problems , 1984 .

[21]  B. A. Wade,et al.  A survey of the Kreiss matrix theorem for power bounded families of matrices and its extensions , 1997 .

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

[23]  J. M. Thomas.  Discrétisation des conditions aux limites dans les schémas saute-mouton , 1972 .

[24]  Etienne Emmrich.  Two-step Bdf Time Discretisation of Nonlinear Evolution Problems Governed by Monotone Operators with Strongly Continuous Perturbations , 2009, Comput. Methods Appl. Math..

[25]  Systems of difference equations with general homogeneous boundary conditions , 1969 .

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

[27]  Etienne Emmrich,et al.  Convergence of the variable two-step BDF time discretisation of nonlinear evolution problems governed by a monotone potential operator , 2009 .

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

[29]  Antoine Gloria,et al.  Semigroup stability of finite difference schemes for multidimensional hyperbolic initial-boundary value problems , 2010, Math. Comput..

[30]  Boundary conditions for a fourth order hyperbolic difference scheme , 1983 .

[31]  The semigroup stability of the difference approximations for initial-boundary value problems , 1995 .

[32]  E. Hairer,et al.  Solving Ordinary Differential Equations I , 1987 .

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

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

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