pith. machine review for the scientific record. sign in

arxiv: 2605.08038 · v1 · submitted 2026-05-08 · 🧮 math.NA · cs.NA

Recognition: no theorem link

Invariant domain preserving limiting of time explicit and time implicit discretizations for systems of conservation laws

Bartolomeo Fanizza, Florent Renac

Pith reviewed 2026-05-11 02:22 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords invariant domainlimiterconservation lawshigh-order schemeconvex combinationantidiffusive fluxfinite volumediscontinuous Galerkin
0
0 comments X

The pith

The limiting technique preserves invariant domains for high-order discretizations of conservation laws by expressing the solution as a convex combination of low-order invariant-domain-preserving states.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a limiter usable with any conservative spatial discretization and a range of explicit or implicit time integrators for nonlinear hyperbolic systems. It adjusts antidiffusive fluxes so the final solution equals a convex combination of states that each preserve every invariant domain. A reader would care because this keeps quantities such as density and pressure nonnegative in gas-dynamics calculations while keeping the scheme conservative and high-order accurate where possible. The limiter is applied iteratively around the high-order solution with a proposed acceleration heuristic, and tests cover scalar problems and the Euler equations in one and two dimensions.

Core claim

By choosing limiting factors for the antidiffusive fluxes, the high-order discrete solution is expressed as a convex combination of invariant domain preserving quantities. This guarantees the limited solution lies inside all invariant domains whenever the low-order solution does. The construction applies to finite volume and discontinuous Galerkin spatial discretizations paired with explicit Runge-Kutta, implicit Runge-Kutta, or time discontinuous Galerkin integrators.

What carries the argument

Limiting coefficients for antidiffusive fluxes chosen to rewrite the high-order solution as a convex combination of invariant-domain-preserving quantities.

If this is right

  • The scheme remains globally conservative because the flux limiting does not alter the telescoping sum.
  • Formal accuracy order is preserved away from discontinuities or extrema.
  • The same limiter works without change for explicit, implicit, and time-discontinuous time integrators.
  • Iterative limiting refines the result toward the high-order solution while enforcing domain preservation at each step.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The convex-combination structure may allow straightforward extension to additional invariant domains such as entropy inequalities.
  • The acceleration heuristic could be analyzed for its effect on overall computational cost in stiff problems.
  • Similar limiting ideas might apply to other discretizations that admit an antidiffusive flux decomposition.

Load-bearing premise

The existence of a computable low-order discretization that preserves all invariant domains, together with the ability to express the high-order solution through antidiffusive fluxes amenable to convex-combination limiting.

What would settle it

A specific test case such as a shock-tube problem for the Euler equations in which the limited solution produces a negative density or pressure even though the low-order solution does not.

Figures

Figures reproduced from arXiv: 2605.08038 by Bartolomeo Fanizza, Florent Renac.

Figure 1
Figure 1. Figure 1: Top row: Schematic illustration of algorithm 1 in a simplified setting with [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Notations for the FV mesh for d = 2. 15 [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Notations for the DGSEM scheme for d = 2: inner and outer elements, κ − and κ + e ; definitions of traces u ± h on the interface e and of the unit outward normal vector n k e = ne(x k e ); positions of quadrature points in κ and on e for p = 3 (bullets •). The scheme also uses symmetric entropy conservative two-point fluxes hec in place of the physical flux f(u) in the space residuals (27b) for ensuring se… view at source ↗
Figure 4
Figure 4. Figure 4: Riemann problem with initial data (36): explicit LO FV(0)-ERK1 (top) and limited FV(2)-ERK3 (bottom) [PITH_FULL_IMAGE:figures/full_fig_p021_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Riemann problem with initial data (36): implicit LO FV(0)-BE (top) and limited FV(2)-DIRK33 (bottom) [PITH_FULL_IMAGE:figures/full_fig_p021_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Riemann problem with initial data (36): implicit LO FV(0)-BE (top) and limited FV(2)-DIRK33 (bottom) [PITH_FULL_IMAGE:figures/full_fig_p022_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Riemann problem with initial data (36): The top and bottom rows correspond to the limited FV(2)-ERK3 [PITH_FULL_IMAGE:figures/full_fig_p023_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Two-dimensional Kelvin–Helmholtz instability: density field at [PITH_FULL_IMAGE:figures/full_fig_p024_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Riemann problem with initial data (36): solutions obtained with the limited DGSEM(3) and DIRK33 [PITH_FULL_IMAGE:figures/full_fig_p025_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Shock diffraction problem: 18 evenly spaced density contours between 0.5 and 9 at time [PITH_FULL_IMAGE:figures/full_fig_p026_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Forward facing step problem: 31 evenly spaced density contours between 0.3 and 6.3 at time [PITH_FULL_IMAGE:figures/full_fig_p027_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Linear transport with nonsmooth solution (see Tab. 1): DGSEM( [PITH_FULL_IMAGE:figures/full_fig_p028_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: 2D Burgers’ equation (see Tab. 1): solutions at time [PITH_FULL_IMAGE:figures/full_fig_p029_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: KPP problem (see Tab. 1): solutions at time [PITH_FULL_IMAGE:figures/full_fig_p029_14.png] view at source ↗
read the original abstract

This work concerns the design and analysis of a limiting technique that allows the preservation of invariant domains for high-order numerical approximations of nonlinear hyperbolic systems of conservation laws. The method can be applied to any conservative discretization method in space as well as to a wide range of explicit and implicit time integration schemes. The method limits the high-order solution around a low-order accurate solution that is known to preserve all the invariant domains. It generalizes the flux-corrected transport limiter [J. P. Boris and D. L. Book, J. Comput. Phys., 11, 1973; S. T. Zalesak, J. Comput. Phys., 31, 1979] to systems of conservation laws and relies on the limitation of antidiffusive fluxes, but defines the limiting coefficients so as to express the limited solution as a convex combination of invariant domain preserving quantities similarly to the convex limiting framework [Guermond et al., Comput. Methods Appl. Mech. Engrg., 347, 2019]. We give details on the derivation of this limiting technique and provide some illustration with finite volume or discontinuous Galerkin (DG) space discretizations associated to explicit or implicit Runge-Kutta methods as well as to time DG integrations. The limiter is applied iteratively to refine the limited solution around the high-order one, while preserving the invariant domains, and a heuristic is proposed to accelerate its convergence. Numerical experiments solving one- and two-dimensional problems involving scalar hyperbolic equations and the compressible Euler equations are presented to illustrate the properties of these schemes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a limiting technique to enforce invariant-domain preservation for high-order conservative discretizations of nonlinear hyperbolic systems. The method starts from any low-order IDP solution and limits antidiffusive fluxes so that the result is expressed as a convex combination of IDP states, generalizing both classical FCT and the convex-limiting framework. The construction is stated to apply to finite-volume and DG spatial discretizations paired with explicit or implicit Runge-Kutta integrators and with time-DG schemes. An iterative application of the limiter is proposed together with a convergence-acceleration heuristic, and the approach is illustrated on scalar advection and the compressible Euler equations in one and two space dimensions.

Significance. If the decomposition of an implicit high-order solution into a low-order IDP update plus exact antidiffusive increments can be performed without introducing consistency error or breaking telescoping conservation, the technique would constitute a useful extension of existing IDP limiting methods to implicit time discretizations, allowing high-order accuracy while retaining strict invariant-domain properties for systems such as the Euler equations.

major comments (2)
  1. [§3.3] §3.3 (implicit time discretization): the construction of the antidiffusive flux vector for a fully implicit Runge-Kutta or time-DG step is presented only after the nonlinear algebraic system has been solved. It is not shown that this post-hoc decomposition exactly recovers the original high-order update when the limiting coefficients are set to unity, nor that the limited fluxes remain conservative (i.e., that the telescoping property is preserved). Without this identity, the convex-combination argument does not guarantee that the limited solution satisfies the same conservation law as the unlimited one.
  2. [§4.1] §4.1 (iterative limiter): the iterative procedure is asserted to converge to an IDP state while staying close to the high-order solution, yet no a-priori bound on the number of iterations or proof that the fixed point remains conservative is supplied. The heuristic acceleration is described only numerically; its effect on the invariant-domain property must be verified analytically or by counter-example.
minor comments (2)
  1. [§2.2 and §3.3] Notation for the limiting coefficients α_{ij} is introduced in §2.2 but the dependence on the time-step index is not made explicit when the same symbols are reused for implicit schemes in §3.3; a uniform subscript convention would improve readability.
  2. [Figure 5] Figure 5 (two-dimensional Euler shock-tube): the caption does not state the polynomial degree of the DG approximation or the CFL number used for the implicit time step; these parameters are needed to reproduce the reported oscillation-free profiles.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The two major points raised are addressed below with clarifications and planned revisions.

read point-by-point responses
  1. Referee: [§3.3] §3.3 (implicit time discretization): the construction of the antidiffusive flux vector for a fully implicit Runge-Kutta or time-DG step is presented only after the nonlinear algebraic system has been solved. It is not shown that this post-hoc decomposition exactly recovers the original high-order update when the limiting coefficients are set to unity, nor that the limited fluxes remain conservative (i.e., that the telescoping property is preserved). Without this identity, the convex-combination argument does not guarantee that the limited solution satisfies the same conservation law as the unlimited one.

    Authors: The antidiffusive flux vector is defined exactly as the difference between the already-computed high-order update and the low-order IDP update. Consequently, every limiting coefficient equal to one recovers the high-order solution by algebraic identity. Both the high-order and low-order updates are conservative (they satisfy the same telescoping property at the discrete level). Their difference therefore consists of increments whose global sum is zero, so the limited fluxes remain conservative. We will insert a short lemma in §3.3 that states this identity and the telescoping property explicitly. revision: yes

  2. Referee: [§4.1] §4.1 (iterative limiter): the iterative procedure is asserted to converge to an IDP state while staying close to the high-order solution, yet no a-priori bound on the number of iterations or proof that the fixed point remains conservative is supplied. The heuristic acceleration is described only numerically; its effect on the invariant-domain property must be verified analytically or by counter-example.

    Authors: Each iteration applies the same convex-limiting procedure around the fixed low-order IDP state, so every iterate is IDP by construction. Because the limiter is realized through conservative flux corrections, conservation is preserved at every step; the fixed point (when reached) therefore inherits both properties. We do not possess a general a-priori iteration bound, as the number depends on the mesh and the solution. The acceleration heuristic is purely numerical; we will add a short paragraph in §4.1 together with an additional numerical test that confirms the accelerated sequence remains IDP. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via convex-combination properties

full rationale

The paper constructs a limiter by rewriting high-order updates (explicit or implicit) as a low-order IDP solution plus antidiffusive fluxes, then applies coefficients so the result is a convex combination of IDP states. This follows directly from the definition of convex combinations and the assumed existence of an IDP low-order scheme; no step reduces a claimed prediction or uniqueness result to a fitted parameter or self-citation by construction. Citations to Boris-Book, Zalesak, and Guermond et al. supply independent external support for the FCT and convex-limiting frameworks. The implicit decomposition is presented as an explicit algebraic construction within the method rather than an unverified assumption that collapses the invariance proof. The overall argument remains non-circular and externally falsifiable through the numerical experiments.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of low-order IDP discretizations and the mathematical property that convex combinations of states inside an invariant domain remain inside that domain; no new entities are introduced and no free parameters are fitted to data.

axioms (2)
  • domain assumption Low-order discretizations exist that preserve all invariant domains for the systems considered
    The entire limiting procedure is constructed around such a low-order solution.
  • standard math Convex combinations of states inside an invariant domain remain inside the domain
    This property is invoked to guarantee that the limited solution stays invariant-domain-preserving.

pith-pipeline@v0.9.0 · 5586 in / 1457 out tokens · 55743 ms · 2026-05-11T02:22:57.555353+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages

  1. [1]

    Chueh, C

    K. Chueh, C. Conley, J. Smoller, Positively invariant regions for systems of nonlinear diffusion equations, Indiana Univ. Math. J. 26 (1977) 373–392

  2. [2]

    Serre, Domaines invariants pour les systèmes hyperboliques de lois de conservation, J

    D. Serre, Domaines invariants pour les systèmes hyperboliques de lois de conservation, J. Differ. Equ. 69 (5) (1987) 46–62.doi:10.1016/0022-0396(87)90102-1

  3. [3]

    Hoff, Invariant regions for systems of conservation laws, Trans

    D. Hoff, Invariant regions for systems of conservation laws, Trans. Amer. Math. Soc. 289 (1985) 591–610.doi:https://doi.org/10.2307/2000254

  4. [4]

    Kružkov, First order quasilinear equations in several independent variables, Math

    S. Kružkov, First order quasilinear equations in several independent variables, Math. Ussr Sbornik 10 (1970) 217–243

  5. [5]

    Frid, Maps of convex sets and invariant regions for finite-difference systems of conserva- tion laws, Arch

    H. Frid, Maps of convex sets and invariant regions for finite-difference systems of conserva- tion laws, Arch. Rational Mech. Anal. 160 (2001) 245–269.doi:https://doi.org/10.1007/ s002050100166

  6. [6]

    Guermond, B

    J.-L. Guermond, B. Popov, Invariant domains and first-order continuous finite element ap- proximation for hyperbolic systems, SIAM J. Numer. Anal. 54 (4) (2016) 2466–2489.doi: 10.1137/16M1074291

  7. [7]

    R.Löhner, K.Morgan, J.Peraire, M.Vahdati, Finiteelementflux-correctedtransport(fem–fct) for the euler and navier–stokes equations, Int. J. Numer. Meth. Fluids 7 (10) (1987) 1093–1109. doi:https://doi.org/10.1002/fld.1650071007

  8. [8]

    J. P. Boris, D. L. Book, Flux-corrected transport. I. SHASTA, a fluid transport algorithm that works, J. Comput. Phys. 11 (1) (1973) 38–69.doi:10.1016/0021-9991(73)90147-2

  9. [9]

    S. T. Zalesak, Fully multidimensional flux-corrected transport algorithms for fluids, J. Comput. Phys. 31 (3) (1979) 335–362.doi:https://doi.org/10.1016/0021-9991(79)90051-2

  10. [10]

    Kuzmin, S

    D. Kuzmin, S. Turek, Flux correction tools for finite elements, J. Comput. Phys. 175 (2) (2002) 525–558.doi:https://doi.org/10.1006/jcph.2001.6955. 30

  11. [11]

    Renac, Maximum principle preserving and entropy stable time implicit DGSEM for non- linear scalar conservation laws, ESAIM: Math

    F. Renac, Maximum principle preserving and entropy stable time implicit DGSEM for non- linear scalar conservation laws, ESAIM: Math. Model. Numer. Anal. 59 (5) (2025) 2583–2612. doi:10.1051/m2an/2025070

  12. [12]

    Herzog, T

    R. Milani, F. Renac, J. Ruel, Maximum principle preserving time implicit DGSEM for linear scalar hyperbolic conservation laws, J. Comput. Phys. 514 (2024) 113254.doi:10.1016/j. jcp.2024.113254

  13. [13]

    Guermond, B

    J.-L. Guermond, B. Popov, I. Tomas, Invariant domain preserving discretization-independent schemes and convex limiting for hyperbolic systems, Comput. Methods Appl. Mech. Engrg. 347 (2019) 143–175.doi:https://doi.org/10.1016/j.cma.2018.11.036

  14. [14]

    Guermond, M

    J.-L. Guermond, M. Nazarov, B. Popov, I. Tomas, Second-order invariant domain preserving approximation of the Euler equations using convex limiting, SIAM J. Sci. Comput. 40 (5) (2018) A3211–A3239.doi:10.1137/17M1149961

  15. [15]

    Pazner, Sparse invariant domain preserving discontinuous Galerkin methods with subcell convex limiting, Comput

    W. Pazner, Sparse invariant domain preserving discontinuous Galerkin methods with subcell convex limiting, Comput. Methods Appl. Mech. Engrg. 382 (2021) 113876.doi:https://doi. org/10.1016/j.cma.2021.113876

  16. [16]

    Kuzmin, Monolithic convex limiting for continuous finite element discretizations of hyper- bolic conservation laws, Comput

    D. Kuzmin, Monolithic convex limiting for continuous finite element discretizations of hyper- bolic conservation laws, Comput. Methods. Appl. Mech. Eng. 361 (2020) 112804.doi:https: //doi.org/10.1016/j.cma.2019.112804

  17. [17]

    Moujaes, D

    P. Moujaes, D. Kuzmin, Monolithic convex limiting and implicit pseudo-time stepping for calculating steady-state solutions of the Euler equations, J. Comput. Phys. 523 (2025) 113687. doi:https://doi.org/10.1016/j.jcp.2024.113687

  18. [18]

    J. Qiu, B. C. Khoo, C.-W. Shu, A numerical study for the performance of the Runge-Kutta discontinuous Galerkin method based on different numerical fluxes, J. Comput. Phys. 212 (2) (2006) 540–565.doi:https://doi.org/10.1016/j.jcp.2005.07.011

  19. [19]

    Renac, Stationary discrete shock profiles for scalar conservation laws with a discontinuous Galerkin method, SIAM J

    F. Renac, Stationary discrete shock profiles for scalar conservation laws with a discontinuous Galerkin method, SIAM J. Numer. Anal. 53 (4) (2015) 1690–1715.doi:10.1137/14097906X

  20. [20]

    Moura, G

    R. Moura, G. Mengaldo, J. Peiró, S. Sherwin, On the eddy-resolving capability of high-order discontinuous Galerkin approaches to implicit LES / under-resolved DNS of Euler turbulence, J. Comput. Phys. 330 (2017) 615–623.doi:https://doi.org/10.1016/j.jcp.2016.10.056

  21. [21]

    Chapelier, M

    J.-B. Chapelier, M. de la Llave Plata, F. Renac, E. Lamballais, Evaluation of a high-order discontinuous Galerkin method for the DNS of turbulent flows, Comput. Fluids 95 (2014) 210–226.doi:10.1016/j.compfluid.2014.02.015

  22. [22]

    Schär, P

    C. Schär, P. K. Smolarkiewicz, A synchronous and iterative flux-correction formalism for cou- pled transport equations, J. Comput. Phys. 128 (1) (1996) 101–120.doi:https://doi.org/ 10.1006/jcph.1996.0198

  23. [23]

    Kuzmin, Explicit and implicit FEM-FCT algorithms with flux linearization, J

    D. Kuzmin, Explicit and implicit FEM-FCT algorithms with flux linearization, J. Comput. Phys. 228 (7) (2009) 2517–2534.doi:https://doi.org/10.1016/j.jcp.2008.12.011. 31

  24. [24]

    Godlewski, P.-A

    E. Godlewski, P.-A. Raviart, Hyperbolic systems of conservation laws, no. 3-4, Ellipses, 1991

  25. [25]

    van der Vegt, H

    J. van der Vegt, H. van der Ven, Space–time discontinuous Galerkin finite element method with dynamic grid motion for inviscid compressible flows: I. general formulation, J. Comput. Phys. 182 (2) (2002) 546–585.doi:https://doi.org/10.1006/jcph.2002.7185

  26. [26]

    T. J. Barth, Simplified discontinuous Galerkin methods for systems of conservation laws with convex extension, in: B. Cockburn, G. E. Karniadakis, C.-W. Shu (Eds.), Discontinuous Galerkin Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 63–75

  27. [27]

    Barth, P

    T. Barth, P. Frederickson, Higher order solution of the Euler equations on unstructured grids using quadratic reconstruction, in: 28th aerospace sciences meeting, 1990, p. 13

  28. [28]

    Ollivier-Gooch, M

    C. Ollivier-Gooch, M. Van Altena, A high-order-accurate unstructured mesh finite-volume scheme for the advection–diffusion equation, J. Comput. Phys. 181 (2) (2002) 729–752.doi: https://doi.org/10.1006/jcph.2002.7159

  29. [29]

    Haider, J.-P

    F. Haider, J.-P. Croisille, B. Courbet, Stability analysis of the cell centered finite-volume MUSCL method on unstructured grids, Numer. Math. 113 (2009) 555–600.doi:https:// doi.org/10.1007/s00211-009-0242-6

  30. [30]

    G. Pont, P. Brenner, P. Cinnella, B. Maugars, J.-C. Robinet, Multiple-correction hybrid k- exact schemes for high-order compressible RANS-LES simulations on fully unstructured grids, J. Comput. Phys. 350 (2017) 45–83.doi:https://doi.org/10.1016/j.jcp.2017.08.036

  31. [31]

    H.-Z. Tang, K. Xu, Positivity-preserving analysis of explicit and implicit Lax-Friedrichs schemes for compressible Euler equations, J. Sci. Comput. 15 (1) (2000) 19–28.doi:https: //doi.org/10.1023/A:1007593601466

  32. [32]

    Eymard, T

    R. Eymard, T. Gallouët, R. Herbin, Finite volume methods, in: Solution of Equation inRn (Part 3), Techniques of Scientific Computing (Part 3), Vol. 7 of Handbook of Numerical Anal- ysis, Elsevier, 2000, pp. 713–1018.doi:https://doi.org/10.1016/S1570-8659(00)07005-8

  33. [33]

    Zhang, C.-W

    X. Zhang, C.-W. Shu, On positivity-preserving high order discontinuous Galerkin schemes for compressible Euler equations on rectangular meshes, J. Comput. Phys. 229 (23) (2010) 8918–8934

  34. [34]

    Zhang, C.-W

    X. Zhang, C.-W. Shu, On maximum-principle-satisfying high order schemes for scalar conser- vation laws, J. Comput. Phys. 229 (9) (2010) 3091–3120

  35. [35]

    T. C. Fisher, M. H. Carpenter, High-order entropy stable finite difference schemes for nonlinear conservation laws: Finite domains, J. Comput. Phys. 252 (2013) 518–557

  36. [36]

    G. J. Gassner, A skew-symmetric discontinuous Galerkin spectral element discretization and its relation to SBP-SAT finite difference methods, SIAM J. Sci. Comput. 35 (3) (2013) A1233– A1253.doi:10.1137/120890144

  37. [37]

    D. A. Kopriva, Metric identities and the discontinuous spectral element method on curvi- linear meshes., J. Sci. Comput. 26 (2006) 302–327.doi:https://doi.org/10.1007/ s10915-005-9070-8. 32

  38. [38]

    Jameson, Positive schemes and shock modelling for compressible flows, Int

    A. Jameson, Positive schemes and shock modelling for compressible flows, Int. J. Numer. Meth. Fluids 20 (8-9) (1995) 743–776.doi:https://doi.org/10.1002/fld.1650200805

  39. [39]

    Renac, M

    F. Renac, M. de la Llave Plata, E. Martin, J. B. Chapelier, V. Couaillier, Aghora: A High- Order DG Solver for Turbulent Flow Simulations, Springer International Publishing, 2015, pp. 315–335.doi:10.1007/978-3-319-12886-3_15

  40. [40]

    Rusanov, Calculation of interaction of non-steady shock waves with obstacles, J

    V. Rusanov, Calculation of interaction of non-steady shock waves with obstacles, J. Comp. Math. Phys. USSR 1 (1961) 267–279

  41. [41]

    Löhner, Applied computational fluid dynamics techniques: an introduction based on finite element methods, John Wiley & Sons, 2008

    R. Löhner, Applied computational fluid dynamics techniques: an introduction based on finite element methods, John Wiley & Sons, 2008

  42. [42]

    C.-W. Shu, S. Osher, Efficient implementation of essentially non-oscillatory shock-capturing schemes, J. Comput. Phys. 77 (2) (1988) 439–471

  43. [43]

    Alexander, Diagonally implicit Runge–Kutta methods for stiff O.D.E.’s, SIAM J

    R. Alexander, Diagonally implicit Runge–Kutta methods for stiff O.D.E.’s, SIAM J. Numer. Anal. 14 (6) (1977) 1006–1021.doi:10.1137/0714068

  44. [44]

    E. F. Toro, Riemann Solvers and Numerical Methods for Fluid Dynamics: A Practical Intro- duction. Third Edition, Springer-Verlag Berlin Heidelberg, 2009

  45. [45]

    Kinetic energy preserving and entropy stable finite volume schemes for compressible Euler and Navier–Stokes equations

    P. Chandrashekar, Kinetic energy preserving and entropy stable finite volume schemes for com- pressibleEulerandNavier-Stokesequations, Commun.Comput.Phys.14(5)(2013)1252–1286. doi:10.4208/cicp.170712.010313a

  46. [46]

    J. Chan, H. Ranocha, A. M. Rueda-Ramírez, G. J. Gassner, T. Warburton, On the entropy projection and the robustness of high order entropy stable discontinuous Galerkin schemes for under-resolved flows, Frontiers in Physics 10 (2022).doi:10.3389/fphy.2022.898028

  47. [47]

    Carlier, F

    V. Carlier, F. Renac, Invariant domain preserving high-order spectral discontinuous ap- proximations of hyperbolic systems, SIAM J. Sci. Comput. 45 (3) (2023) A1385–A1412. doi:10.1137/22M1492015

  48. [48]

    Woodward, P

    P. Woodward, P. Colella, The numerical simulation of two-dimensional fluid flow with strong shocks, J. Comput. Phys. 54 (1) (1984) 115–173.doi:https://doi.org/10.1016/ 0021-9991(84)90142-6

  49. [49]

    Efficient Implementation of Weighted ENO Schemes

    G.-S. Jiang, C.-W. Shu, Efficient implementation of weighted ENO schemes, J. Comput. Phys. 126 (1) (1996) 202–228.doi:https://doi.org/10.1006/jcph.1996.0130

  50. [50]

    R. J. LeVeque, Finite Volume Methods for Hyperbolic Problems, Cambridge Texts in Applied Mathematics, Cambridge University Press, 2002

  51. [51]

    Guermond, B

    J.-L. Guermond, B. Popov, Invariant domains and second-order continuous finite element approximation for scalar conservation equations, SIAM J. Numer. Anal. 55 (6) (2017) 3120– 3146.doi:10.1137/16M1106560

  52. [52]

    Kurganov, G

    A. Kurganov, G. Petrova, B. Popov, Adaptive semidiscrete central-upwind schemes for nonconvex hyperbolic conservation laws, SIAM J. Sci. Comput. 29 (6) (2007) 2381–2401. doi:10.1137/040614189. 33