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.
Additional Information
- Philippe G. LeFloch
- Affiliation: Centre de Mathématiques Appliquées and Centre National de la Recherche Scientifique, URA 756, Ecole Polytechnique, 91128 Palaiseau, France
- Email: lefloch@cmapx.polytechnique.fr
- Jian-Guo Liu
- Affiliation: Department of Mathematics, Temple University, Philadelphia, Pennsylvania 19122
- MR Author ID: 233036
- ORCID: 0000-0002-9911-4045
- Email: jliu@math.temple.edu
- Received by editor(s): May 5, 1997
- Received by editor(s) in revised form: November 10, 1997
- Published electronically: February 13, 1999
- Additional Notes: The first author was supported in parts by the Centre National de la Recherche Scientifique, and by the National Science Foundation under grants DMS-88-06731, DMS 94-01003 and DMS 95-02766, and a Faculty Early Career Development award (CAREER) from NSF. The second author was partially supported by DOE grant DE-FG02 88ER-25053.
- © Copyright 1999 American Mathematical Society
- Journal: Math. Comp. 68 (1999), 1025-1055
- MSC (1991): Primary 35L65, 65M12
- DOI: https://doi.org/10.1090/S0025-5718-99-01062-5
- MathSciNet review: 1627801