The Leray-Gårding method for finite difference schemes

Coulombel, Jean-François

Journal de l’École polytechnique - Mathématiques, Tome 2 (2015), pp. 297-331.

Dans les années 1950, Leray et Gårding ont développé une technique de multiplicateur pour obtenir des estimations a priori de solutions d’équations hyperboliques scalaires. L’existence d’un multiplicateur est le point de départ du travail de Rauch [23] pour montrer des estimations de semi-groupe pour les problèmes aux limites hyperboliques. Dans cet article, nous expliquons comment cette technique de multiplicateur peut être adaptée au cadre des schémas aux différences finies pour les équations de transport. Ce travail s’applique à des schémas numériques multi-pas en temps. L’existence et les propriétés du multiplicateur nous permettent d’obtenir des estimations de semi-groupe optimales pour des versions totalement discrètes des problèmes aux limites hyperboliques.

In the fifties, Leray and Gårding have developed a multiplier technique for deriving a priori estimates for solutions to scalar hyperbolic equations. The existence of such a multiplier is the starting point of the argument by Rauch [23] 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. The existence and properties of the multiplier enable us to derive optimal semigroup estimates for fully discrete hyperbolic initial boundary value problems.

[1] Abarbanel, S.; Gottlieb, D. A note on the leap-frog scheme in two and three space dimensions, J. Comput. Phys., Volume 21 (1976) no. 3, pp. 351-355 | MR | Zbl

[2] Abarbanel, S.; Gottlieb, D. Stability of two-dimensional initial boundary value problems using leap-frog type schemes, Math. Comp., Volume 33 (1979) no. 148, pp. 1145-1155 | MR | Zbl

[3] Benzoni-Gavage, S.; Serre, D. Multidimensional hyperbolic partial differential equations. First-order systems and applications, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, Oxford, 2007 | MR | Zbl

[4] Coulombel, J.-F. Fully discrete hyperbolic initial boundary value problems with nonzero initial data (to appear in Confluentes Math.)

[5] Coulombel, J.-F. Stability of finite difference schemes for hyperbolic initial boundary value problems, SIAM J. Numer. Anal., Volume 47 (2009) no. 4, pp. 2844-2871 | MR | Zbl

[6] Coulombel, J.-F. Stability of finite difference schemes for hyperbolic initial boundary value problems, HCDTE lecture notes. Part I. Nonlinear hyperbolic PDEs, dispersive and transport equations (AIMS Ser. Appl. Math.), Volume 6, Am. Inst. Math. Sci. (AIMS), Springfield, MO, 2013, pp. 146 | MR | Zbl

[7] Coulombel, J.-F.; Gloria, A. Semigroup stability of finite difference schemes for multidimensional hyperbolic initial boundary value problems, Math. Comp., Volume 80 (2011) no. 273, pp. 165-203 | MR

[8] Emmrich, E. Convergence of the variable two-step BDF time discretisation of nonlinear evolution problems governed by a monotone potential operator, BIT, Volume 49 (2009) no. 2, pp. 297-323 | MR | Zbl

[9] Emmrich, E. Two-step BDF time discretisation of nonlinear evolution problems governed by monotone operators with strongly continuous perturbations, Comput. Methods Math., Volume 9 (2009) no. 1, pp. 37-62 | MR | Zbl

[10] Gårding, L. Solution directe du problème de Cauchy pour les équations hyperboliques, La théorie des équations aux dérivées partielles (Colloques Internationaux du C.N.R.S.), C.N.R.S., Paris, 1956, pp. 71-90 | Zbl

[11] Goldberg, M.; Tadmor, E. Scheme-independent stability criteria for difference approximations of hyperbolic initial-boundary value problems. II, Math. Comp., Volume 36 (1981) no. 154, pp. 603-626 | MR | Zbl

[12] Gustafsson, B.; Kreiss, H.-O.; Oliger, J. Time dependent problems and difference methods, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1995, pp. xii+642 | MR | Zbl

[13] Gustafsson, B.; Kreiss, H.-O.; Sundström, A. Stability theory of difference approximations for mixed initial boundary value problems. II, Math. Comp., Volume 26 (1972) no. 119, pp. 649-686 | MR | Zbl

[14] Hairer, E.; Nørsett, S. P.; Wanner, G. Solving ordinary differential equations I. Nonstiff problems, Springer Series in Computational Mathematics, 8, Springer-Verlag, Berlin, 1993, pp. xvi+528 | MR | Zbl

[15] Hairer, E.; Wanner, G. Solving ordinary differential equations II. Stiff and differential-algebraic problems, Springer Series in Computational Mathematics, 14, Springer-Verlag, Berlin, 1996, pp. xvi+614 | DOI | MR | Zbl

[16] Kreiss, H.-O. Stability theory for difference approximations of mixed initial boundary value problems. I, Math. Comp., Volume 22 (1968), pp. 703-714 | MR | Zbl

[17] Kreiss, H.-O.; Wu, L. On the stability definition of difference approximations for the initial-boundary value problem, Appl. Numer. Math., Volume 12 (1993) no. 1-3, pp. 213-227 | MR | Zbl

[18] Leray, J. Hyperbolic differential equations, The Institute for Advanced Study, Princeton, N.J., 1953, pp. 238 | MR

[19] Michelson, D. Stability theory of difference approximations for multidimensional initial-boundary value problems, Math. Comp., Volume 40 (1983) no. 161, pp. 1-45 | MR | Zbl

[20] Oliger, J. Fourth order difference methods for the initial boundary-value problem for hyperbolic equations, Math. Comp., Volume 28 (1974), pp. 15-25 | MR | Zbl

[21] Osher, S. Stability of difference approximations of dissipative type for mixed initial boundary value problems. I, Math. Comp., Volume 23 (1969), pp. 335-340 | MR | Zbl

[22] Osher, S. Systems of difference equations with general homogeneous boundary conditions, Trans. Amer. Math. Soc., Volume 137 (1969), pp. 177-201 | MR | Zbl

[23] Rauch, J. ${ℒ}^2$ is a continuable initial condition for Kreiss’ mixed problems, Comm. Pure Appl. Math., Volume 25 (1972), pp. 265-285 | MR | Zbl

[24] Richtmyer, R. D.; Morton, K. W. Difference methods for initial-value problems. Theory and applications, Interscience Tracts in Pure and Applied Mathematics, 4, Interscience Publishers John Wiley & Sons, Inc., New York-London-Sydney, 1967, pp. xiv+405 | MR | Zbl

[25] Sloan, D. M. Boundary conditions for a fourth order hyperbolic difference scheme, Math. Comp., Volume 41 (1983), pp. 1-11 | MR | Zbl

[26] Strikwerda, J. C.; Wade, B. A. A survey of the Kreiss matrix theorem for power bounded families of matrices and its extensions, Linear operators (Warsaw, 1994) (Banach Center Publ.), Volume 38, Polish Acad. Sci., Warsaw, 1997, pp. 339-360 | MR | Zbl

[27] Thomas, J. M. Discrétisation des conditions aux limites dans les schémas saute-mouton, ESAIM Math. Model. Numer. Anal., Volume 6 (1972) no. R-2, pp. 31-44 | Numdam | MR

[28] Trefethen, L. N. Instability of difference models for hyperbolic initial boundary value problems, Comm. Pure Appl. Math., Volume 37 (1984), pp. 329-367 | MR | Zbl

[29] Trefethen, L. N.; Embree, M. Spectra and pseudospectra. The behavior of nonnormal matrices and operators, Princeton University Press, Princeton, N.J., 2005 | MR | Zbl

[30] Wade, B. A. Symmetrizable finite difference operators, Math. Comp., Volume 54 (1990) no. 190, pp. 525-543 | MR | Zbl

[31] Wu, L. The semigroup stability of the difference approximations for initial-boundary value problems, Math. Comp., Volume 64 (1995) no. 209, pp. 71-88 | MR | Zbl