Generalized monotone schemes, discrete paths of extrema, and discrete entropy conditions

LeFloch, Philippe; Liu, Jian-Guo

doi:10.1090/S0025-5718-99-01062-5

Generalized monotone schemes, discrete paths of extrema, and discrete entropy conditions
HTML articles powered by AMS MathViewer

by Philippe G. LeFloch and Jian-Guo Liu PDF

Math. Comp. 68 (1999), 1025-1055 Request permission

Abstract:

Solutions of conservation laws satisfy the monotonicity property: the number of local extrema is a non-increasing function of time, and local maximum/minimum values decrease/increase monotonically in time. This paper investigates this property from a numerical standpoint. We introduce a class of fully discrete in space and time, high order accurate, difference schemes, called generalized monotone schemes. Convergence toward the entropy solution is proven via a new technique of proof, assuming that the initial data has a finite number of extremum values only, and the flux-function is strictly convex. We define discrete paths of extrema by tracking local extremum values in the approximate solution. In the course of the analysis we establish the pointwise convergence of the trace of the solution along a path of extremum. As a corollary, we obtain a proof of convergence for a MUSCL-type scheme that is second order accurate away from sonic points and extrema.

References

F. Bouchut, Ch. Bourdarias, and B. Perthame, A MUSCL method satisfying all the numerical entropy inequalities, Math. Comp. 65 (1996), no. 216, 1439–1461. MR 1348038, DOI 10.1090/S0025-5718-96-00752-1
Yann Brenier and Stanley Osher, The discrete one-sided Lipschitz condition for convex scalar conservation laws, SIAM J. Numer. Anal. 25 (1988), no. 1, 8–23. MR 923922, DOI 10.1137/0725002
Edward Conway and Joel Smoller, Clobal solutions of the Cauchy problem for quasi-linear first-order equations in several space variables, Comm. Pure Appl. Math. 19 (1966), 95–105. MR 192161, DOI 10.1002/cpa.3160190107
Frédéric Coquel and Philippe G. LeFloch, An entropy satisfying MUSCL scheme for systems of conservation laws, Numer. Math. 74 (1996), no. 1, 1–33. MR 1400213, DOI 10.1007/s002110050205
Phillip Colella, A direct Eulerian MUSCL scheme for gas dynamics, SIAM J. Sci. Statist. Comput. 6 (1985), no. 1, 104–117. MR 773284, DOI 10.1137/0906009
Michael G. Crandall and Andrew Majda, Monotone difference approximations for scalar conservation laws, Math. Comp. 34 (1980), no. 149, 1–21. MR 551288, DOI 10.1090/S0025-5718-1980-0551288-3
C. M. Dafermos, Characteristics in hyperbolic conservation laws. A study of the structure and the asymptotic behaviour of solutions, Nonlinear analysis and mechanics: Heriot-Watt Symposium (Edinburgh, 1976), Vol. I, Res. Notes in Math., No. 17, Pitman, London, 1977, pp. 1–58. MR 0481581
Björn Engquist and Stanley Osher, One-sided difference approximations for nonlinear conservation laws, Math. Comp. 36 (1981), no. 154, 321–351. MR 606500, DOI 10.1090/S0025-5718-1981-0606500-X
A. F. Filippov, Differential equations with discontinuous right-hand side, Mat. Sb. (N.S.) 51 (93) (1960), 99–128 (Russian). MR 0114016
James Glimm and Peter D. Lax, Decay of solutions of systems of nonlinear hyperbolic conservation laws, Memoirs of the American Mathematical Society, No. 101, American Mathematical Society, Providence, R.I., 1970. MR 0265767
Józef Marcinkiewicz and Antoni Zygmund, Sur la dérivée seconde généralisée, Bull. Sém. Math. Univ. Wilno 2 (1939), 35–40 (French). MR 45
Jonathan B. Goodman and Randall J. LeVeque, A geometric approach to high resolution TVD schemes, SIAM J. Numer. Anal. 25 (1988), no. 2, 268–284. MR 933724, DOI 10.1137/0725019
Ami Harten, On a class of high resolution total-variation-stable finite-difference schemes, SIAM J. Numer. Anal. 21 (1984), no. 1, 1–23. With an appendix by Peter D. Lax. MR 731210, DOI 10.1137/0721001
Ami Harten, High resolution schemes for hyperbolic conservation laws, J. Comput. Phys. 49 (1983), no. 3, 357–393. MR 701178, DOI 10.1016/0021-9991(83)90136-5
Y. Cherruault, Sur la convergence de la méthode d’Adomian, RAIRO Rech. Opér. 22 (1988), no. 3, 291–299 (French, with English summary). MR 968630, DOI 10.1051/ro/1988220302911
A. Harten, J. M. Hyman, and P. D. Lax, On finite-difference approximations and entropy conditions for shocks, Comm. Pure Appl. Math. 29 (1976), no. 3, 297–322. With an appendix by B. Keyfitz. MR 413526, DOI 10.1002/cpa.3160290305
Guang Shan Jiang and Chi-Wang Shu, On a cell entropy inequality for discontinuous Galerkin methods, Math. Comp. 62 (1994), no. 206, 531–538. MR 1223232, DOI 10.1090/S0025-5718-1994-1223232-7
Barbara Keyfitz Quinn, Solutions with shocks: An example of an $L_{1}$-contractive semigroup, Comm. Pure Appl. Math. 24 (1971), 125–132. MR 271545, DOI 10.1002/cpa.3160240203
S. N. Kružkov, First order quasilinear equations with several independent variables. , Mat. Sb. (N.S.) 81 (123) (1970), 228–255 (Russian). MR 0267257
P. D. Lax, Hyperbolic systems of conservation laws. II, Comm. Pure Appl. Math. 10 (1957), 537–566. MR 93653, DOI 10.1002/cpa.3160100406
Peter D. Lax, Hyperbolic systems of conservation laws and the mathematical theory of shock waves, Conference Board of the Mathematical Sciences Regional Conference Series in Applied Mathematics, No. 11, Society for Industrial and Applied Mathematics, Philadelphia, Pa., 1973. MR 0350216
Peter Lax and Burton Wendroff, Systems of conservation laws, Comm. Pure Appl. Math. 13 (1960), 217–237. MR 120774, DOI 10.1002/cpa.3160130205
B. van Leer, Towards the ultimate conservative difference scheme, II, Monotonicity and conservation combined in a second order scheme, J. Comp. Phys. 14 (1974), 361–370.
B. van Leer, Towards the ultimate conservative difference scheme, V, A second order sequel to Godunov’s method, J. Comp. Phys. 32 (1979), 101–136.
Philippe G. LeFloch and Jian-Guo Liu, Discrete entropy and monotonicity criteria for hyperbolic conservation laws, C. R. Acad. Sci. Paris Sér. I Math. 319 (1994), no. 8, 881–886 (English, with English and French summaries). MR 1300961
A.Y. Leroux, Approximation de quelques problèmes hyperboliques non linéaires, Thèse d’état, Université de Rennes (1979).
Pierre-Louis Lions and Panagiotis Souganidis, Convergence of MUSCL type methods for scalar conservation laws, C. R. Acad. Sci. Paris Sér. I Math. 311 (1990), no. 5, 259–264 (English, with French summary). MR 1071622
Hermann Kober, Transformationen von algebraischem Typ, Ann. of Math. (2) 40 (1939), 549–559 (German). MR 96, DOI 10.2307/1968939
Haim Nessyahu and Eitan Tadmor, The convergence rate of approximate solutions for nonlinear scalar conservation laws, SIAM J. Numer. Anal. 29 (1992), no. 6, 1505–1519. MR 1191133, DOI 10.1137/0729087
Haim Nessyahu, Eitan Tadmor, and Tamir Tassa, The convergence rate of Godunov type schemes, SIAM J. Numer. Anal. 31 (1994), no. 1, 1–16. MR 1259963, DOI 10.1137/0731001
Stanley Osher, Riemann solvers, the entropy condition, and difference approximations, SIAM J. Numer. Anal. 21 (1984), no. 2, 217–235. MR 736327, DOI 10.1137/0721016
Stanley Osher, Convergence of generalized MUSCL schemes, SIAM J. Numer. Anal. 22 (1985), no. 5, 947–961. MR 799122, DOI 10.1137/0722057
Stanley Osher and Eitan Tadmor, On the convergence of difference approximations to scalar conservation laws, Math. Comp. 50 (1988), no. 181, 19–51. MR 917817, DOI 10.1090/S0025-5718-1988-0917817-X
Chi-Wang Shu, Total-variation-diminishing time discretizations, SIAM J. Sci. Statist. Comput. 9 (1988), no. 6, 1073–1084. MR 963855, DOI 10.1137/0909073
Eitan Tadmor, Numerical viscosity and the entropy condition for conservative difference schemes, Math. Comp. 43 (1984), no. 168, 369–381. MR 758189, DOI 10.1090/S0025-5718-1984-0758189-X
Eitan Tadmor, Convenient total variation diminishing conditions for nonlinear difference schemes, SIAM J. Numer. Anal. 25 (1988), no. 5, 1002–1014. MR 960862, DOI 10.1137/0725057
A. I. Vol′pert, Spaces $\textrm {BV}$ and quasilinear equations, Mat. Sb. (N.S.) 73 (115) (1967), 255–302 (Russian). MR 0216338
Huanan Yang, On wavewise entropy inequalities for high-resolution schemes. I. The semidiscrete case, Math. Comp. 65 (1996), no. 213, 45–67, S1–S13. MR 1320900, DOI 10.1090/S0025-5718-96-00668-0
H. Yang, On wavewise entropy inequalities for high-resolution schemes II : fully-discrete MUSCL schemes with exact evolution in small time, SIAM J. Numer. Anal., to appear.