REVIEW 2 major objections 4 minor 40 references
Convergence rates of monotone schemes for conservation laws with discontinuous flux
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Monotone finite volume schemes for conservation laws with a discontinuous, strictly monotone flux converge at the rate O(√Δx) in L1.
desk verdict First rate proof for nonlinear discontinuous flux is plausible, but Lemma 4.7's trace-regularity passage needs a patch before the claim is fully certified. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the decomposition of the discontinuous-flux problem into a finite set of initial-boundary value problems on the intervals between the discontinuities of $k$, coupled by the discrete flux-matching condition $u^{n+1}_{P_i} = (f^{(i)})^{-1}\bigl(f^{(i-1)}(u^{n+1}_{P_i-1})\bigr)$ at each interface. The argument is carried by a comparison lemma using the doubling of variables with a mollified test kernel, which estimates the $L^1$ difference between the exact and numerical solutions in terms of moduli of continuity, the grid parameters, and an entropy-dissipation term. The new ingredient that makes the boundary terms manageable is the bound on the temporal total variation of the numerical solution, $\sum_n \lvert u^{n+1}_j - u^n_j \rvert \le C\, \mathrm{TV}(u_0)$, uniform in the cell index; together with the strict monotonicity of the flux this gives the Lipschitz-in-space regularity of the exact solution's flux (Lemma 4.7), which closes the estimate of the interface terms.
What would settle it
Check the temporal total variation of $u(0+,t)$ for the two-flux problem with $g(u) = u$ and $f(u) = u^2/2$ and a Riemann-type initial datum that sends a shock into the interface. If this quantity is unbounded, Lemma 4.7's regularity premise fails and the proof of Theorem 4.10 collapses, so the rate bound is not established.
Extended reading notes
Core claim
The central claim is that the finite volume approximation defined by (3.1) satisfies $\lVert u(\cdot,T) - u_{\Delta t}(\cdot,T) \rVert_{L^1(\mathbb{R})} \le C \sqrt{\Delta x}$ whenever the flux is strictly monotone, the coefficient $k$ is piecewise constant with finitely many discontinuities, and the initial datum lies in $L^1 \cap BV(\mathbb{R})$. The proof obtains this by decomposing the entropy solution and the numerical solution on the intervals between consecutive discontinuities of $k$, where the restriction of the exact solution solves an initial-boundary value problem with a spatially homogeneous flux. The discretization enforces the flux-matching condition (the Rankine–Hugoniot condition) across each discontinuity on the discrete level, which reduces the global error to a sum of errors on these subdomains. For each subdomain, a standard doubling-of-variables comparison estimate bounds the $L^1$ error, with the interface terms controlled by a new bound on the temporal total variation of the numerical solution (Lemma 4.6) and by a Lipschitz-in-space property of the flux of the exact solution (Lemma 4.7). Together these ingredients give the stated $\sqrt{\Delta x}$ rate on the whole line.
Load-bearing premise
The proof assumes that the boundary trace $u(0+,t)$ of the exact solution on each interface has bounded temporal total variation, so that $w = f(u)$ is Lipschitz in $x$ with values in $L^1(0,T)$; the paper states this follows from the discrete bound of Lemma 4.6 'and carries over in the limit' without demonstrating the limit passage.
Editorial extensions
If this is right
- The scheme (3.1) converges to the entropy solution with an error of at most $C\sqrt{\Delta x}$, giving the first convergence-rate statement for nonlinear conservation laws with discontinuous flux.
- For each fixed number of discontinuities, the global $L^1$ error on the whole real line obeys the same $\sqrt{\Delta x}$ bound as the error on any single subdomain, so the rate does not degrade when summing across interfaces.
- The same proof strategy yields an $O(\sqrt{\Delta x})$ error bound for general initial-boundary value problems whose boundary data lie in $L^1\cap BV(0,T)$, improving on the previously claimed $O(\Delta x^{1/3})$ for that setting.
- The $\sqrt{\Delta x}$ rate is optimal without extra assumptions on the initial datum, since the standard optimality construction for the homogeneous case can be placed away from the last discontinuity.
Reading between the lines
- If the temporal total variation of the interface trace is not uniformly bounded for some admissible data, the rate may degrade or the scheme may fail to reach $\sqrt{\Delta x}$ order; this is a testable gap in the proof rather than a demonstrated counterexample.
- A Wasserstein-distance analogue of this rate, analogous to the homogeneous case, may be provable with the same decomposition and temporal-total-variation control; the paper names this as a future direction.
- The strict monotonicity assumption on the flux is probably not essential for the decomposition idea; non-monotone fluxes could be split into monotone branches, though the interface coupling would then require a new matching condition.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an O(sqrt(Delta x)) L1 convergence rate for a class of monotone finite volume schemes approximating scalar conservation laws with discontinuous flux, under the assumptions that the flux is strictly monotone in the unknown and the spatial coefficient is piecewise constant with finitely many discontinuities. The proof decomposes the problem across the flux discontinuities into finitely many initial-boundary value problems, establishes Kuznetsov-type error estimates for the half-line and bounded-interval cases, and assembles these into Theorem 5.1. The appendix extends the technique to general initial-boundary value problems with prescribed boundary data. If correct, this is the first convergence-rate proof for nonlinear schemes in the discontinuous-flux setting.
Significance. The main theorem is significant: for nonlinear conservation laws with discontinuous flux, no convergence-rate result for numerical schemes was previously available, and the decomposition strategy plus the discrete temporal-total-variation bound are potentially reusable tools. The paper also gives a self-contained Kuznetsov framework for half-line problems and extends the rate to general IBVPs, which is of independent interest. The authors are appropriately careful that the rate sqrt(Delta x) is optimal in the absence of extra assumptions, citing the classical Sabac example. However, the proof as written has a load-bearing gap in Lemma 4.7, and one further reduction in Section 2 is asserted rather than shown.
major comments (2)
- [Section 4.2, Lemma 4.7] The Lipschitz bound ∫_0^T |f(u(x,t))-f(u(y,t))| dt ≤ C|x-y| is obtained by applying [31, Lem. 4] to w=f(u), and the required temporal total-variation bound of the boundary trace u(0+,t) is said to 'follow from Lemma 4.6 on a discrete level and carries over in the limit.' That limit passage is not demonstrated, and it is not automatic: uniform BV_x plus strong L1 convergence does not imply convergence of one-sided traces, as the sequence v_n = 1_{[0,1/n]} converges to 0 in L1 with BV=1 while the trace at 0+ stays 1. Since the J2 term in Theorem 4.10 is estimated by Cε exactly through Lemma 4.7, and J2 controls the boundary contribution on R+, this gap is load-bearing for Theorem 4.10 and hence for Theorem 5.1. The authors should supply a direct argument for the exact entropy-solution trace (for example, from BV regularity in (x,t) on R− combined with the Rankine–Hugoniot condition) or prove trace convergence of the numerical solutions by an explicit estimate.
- [Section 2, composite solution assertion] The paragraph after (2.4) asserts that if u(0) and u(i) are entropy solutions of the respective IBVPs, then the composite u = Σ_i u(i) is the entropy solution of (1.1) 'by adding the entropy inequalities of u(i) and choosing the respective constant in each entropy inequality in accordance with (2.1).' This reduction is used in Theorem 5.1 to obtain the global rate from rates on each subdomain, so the summation must be shown explicitly. In particular, the trace terms at each interface ξ_i involve limits from both sides and must combine correctly under the discrete Rankine–Hugoniot condition; the authors should display this calculation so that no residual interface term remains.
minor comments (4)
- [Abstract and title] There are numerous typographical errors, for example 'ra tes' in the abstract and 'conser v a tion' in the title; the manuscript needs a careful proofreading pass.
- [Lemma 4.9 proof] The notation φ^n = φ(x,t_n,y,s) and φ_{j+1/2} = φ(x_{j+1/2},t,y,s) is introduced but the arguments of the mollifiers are not always written consistently in the sums; please clarify and check all occurrences.
- [Table 1] The observed orders of convergence in both experiments exceed 1 for the finest grids (1.28 and 1.30), which is not predicted by Theorem 5.1; the authors should comment that these are pre-asymptotic effects or otherwise explain the discrepancy.
- [Appendix A] The generalization to arbitrary BV boundary data is plausible, but the modified Lemma 4.6 is only described ('should then read') rather than proved, and the dependence of the constants on TV(a) is not tracked; please provide the proof or at least a precise statement with explicit constants.
Circularity Check
No construction-level circularity: the sqrt(Delta x) rate follows from explicit Kuznetsov-type estimates with epsilon = epsilon0 = sqrt(Delta x) chosen by balancing error terms; the main self-citation supplies auxiliary regularity, not the target rate. One flagged regularity gap in Lemma 4.7 is a proof gap, not a circular reduction.
full rationale
The central derivation is self-contained. In Theorem 4.4 and Theorem 4.10 the convergence rate is obtained by proving explicit estimates of the form C(Delta x + Delta t + epsilon + epsilon0 + Delta x/epsilon + Delta x/epsilon0 + Delta t/epsilon0) and then choosing epsilon = epsilon0 = sqrt(Delta x), a standard balance of error terms rather than a fitted parameter renamed as a prediction. The numerical method and the entropy solution are not defined in terms of the claimed rate. The Rankine-Hugoniot decomposition in Section 2 and the discrete Rankine-Hugoniot interface condition in (3.1) are used as logical links, not as circular assumptions. The self-citations are auxiliary: [31] supplies a regularity lemma and a TVD fact for bounded domains, [33] supplies an optimality result in the Wasserstein distance that is not used in the proof of the main rate, and [34] is an external optimality example. The proof does not reduce to its conclusion by construction. The flagged limitation is in Lemma 4.7: the proof that f(u) is Lipschitz in space with values in L1(0,T) invokes [31, Lem.4] and states that the required temporal total variation bound of the trace u(0+,t) 'follows from Lemma 4.6 on a discrete level and caries over in the limit.' This passage from the discrete numerical trace to the exact trace is not demonstrated, and Theorem 4.10's J2 estimate depends on Lemma 4.7. This is a genuine proof gap that belongs under correctness risk, not circularity: Lemma 4.6 is proved independently for the numerical approximation, and the imported Lipschitz regularity is not the convergence rate being claimed. Therefore the circularity score is low.
Assumptions & free parameters
assumptions (6)
- domain assumption Well-posedness, uniqueness and trace existence for entropy solutions of (1.1) with adapted entropies.
- domain assumption The flux is strictly monotone in u, f_u >= alpha > 0.
- domain assumption Initial datum u0 in (L1 cap BV)(R).
- domain assumption CFL condition (3.2) holds.
- standard math Standard Kuznetsov estimates for spatially independent conservation laws from [8, 15] apply.
- domain assumption The regularity assertion in Lemma 4.7 that w = f(u) is Lipschitz in space with values in L1(0,T).
Cite this review
Pith. "Pith review of Convergence rates of monotone schemes for conservation laws with discontinuous flux." pith.science (2026). https://pith.science/paper/OE4L5PVY
@misc{pith2026190808772,
author = {Pith},
title = {Pith review of: Convergence rates of monotone schemes for conservation laws with discontinuous flux},
year = {2026},
howpublished = {\url{https://pith.science/paper/OE4L5PVY}},
note = {Machine review of arXiv:1908.08772}
}
abstract
We prove that a class of monotone finite volume schemes for scalar conservation laws with discontinuous flux converge at a rate of $\sqrt{\Delta x}$ in $\mathrm{L}^1$, whenever the flux is strictly monotone in $u$ and the spatial dependency of the flux is piecewise constant with finitely many discontinuities. We also present numerical experiments to illustrate the main result. To the best of our knowledge, this is the first proof of any type of convergence rate for numerical methods for conservation laws with discontinuous, nonlinear flux. Our proof relies on convergence rates for conservation laws with initial and boundary value data. Since those are not readily available in the literature we establish convergence rates in that case en passant in the Appendix.
Figures
Reference graph
Works this paper leans on
-
[1]
Adimurthi, S. Mishra, and G. V. Gowda , Conservation law with the flux function dis- continuous in the space variable—II: Convex–concave type fl uxes and generalized entropy solutions, Journal of Computational and Applied Mathematics, 203 (20 07), pp. 310 – 344
-
[2]
Adimurthi, S. Misra, and G. V. Gowda , Optimal entropy solutions for conservation laws with discontinuous flux-functions , Journal of Hyperbolic Differential Equations, 2 (2005), pp. 783–837
work page 2005
-
[3]
B. Andreianov, K. H. Karlsen, and N. H. Risebro , A theory of L1-dissipative solvers for scalar conservation laws with discontinuous flux , Archive for rational mechanics and analysis, 201 (2011), pp. 27–86
work page 2011
-
[4]
E. Audusse and B. Perthame , Uniqueness for scalar conservation laws with discontinuou s flux via adapted entropies , Proceedings of the Royal Society of Edinburgh Section A: Math- ematics, 135 (2005), pp. 253–265
work page 2005
-
[5]
Multilevel Monte Carlo Finite Volume Methods for Random Conservation Laws with Discontinuous Flux
J. Badw aik, N. H. Risebro, and C. Klingenberg , Multilevel Monte Carlo finite volume meth- ods for random conservation laws with discontinuous flux , arXiv preprint arXiv:1906.08991, (2019). CONSERVATION LAWS WITH DISCONTINUOUS FLUX 23
work page Pith review arXiv 2019
-
[6]
P. Baiti and H. K. Jenssen , Well-posedness for a class of 2 × 2 conservation laws with L∞ data, Journal of Differential Equations, 140 (1997), pp. 161 – 185
work page 1997
-
[7]
R. B ¨urger, K. Karlsen, C. Klingenberg, and N. Risebro , A front tracking approach to a model of continuous sedimentation in ideal clarifier–thick ener units , Nonlinear Analysis: Real World Applications, 4 (2003), pp. 457–481
work page 2003
-
[8]
G. Coclite, J. Ridder, and N. Risebro , A convergent finite difference scheme for the Ostrovsky-Hunter equation on a bounded domain , BIT Numerical Mathematics, 57 (2017), pp. 93–122
work page 2017
Show all 40 references
-
[9]
G. M. Coclite and N. H. Risebro , Conservation laws with time dependent discontinuous coefficients , SIAM Journal on Mathematical Analysis, 36 (2005), pp. 1293 –1309
2005
-
[10]
M. G. Crandall and A. Majda , Monotone difference approximations for scalar conservatio n laws, Mathematics of Computation, 34 (1980), pp. 1–21
1980
-
[11]
Diehl , A conservation law with point source and discontinuous flux f unction modelling continuous sedimentation , SIAM Journal on Applied Mathematics, 56 (1996), pp
S. Diehl , A conservation law with point source and discontinuous flux f unction modelling continuous sedimentation , SIAM Journal on Applied Mathematics, 56 (1996), pp. 388– 419
1996
-
[12]
Gimse and N
T. Gimse and N. H. Risebro , Riemann problems with a discontinuous flux function , in Pro- ceedings of Third International Conference on Hyperbolic P roblems, vol. 1, 1991, pp. 488– 502
1991
-
[13]
Gimse and N
T. Gimse and N. H. Risebro , Solution of the cauchy problem for a conservation law with a discontinuous flux function , SIAM Journal on Mathematical Analysis, 23 (1992), pp. 635– 648
1992
-
[14]
Greenberg, A
J. Greenberg, A. Leroux, R. Baraille, and A. Noussair , Analysis and approximation of conservation laws with source terms , SIAM Journal on Numerical Analysis, 34 (1997), pp. 1980–2007
1997
-
[15]
Holden and N
H. Holden and N. H. Risebro , Front tracking for hyperbolic conservation laws , vol. 152, Springer, 2015
2015
-
[16]
Karlsen, N
K. Karlsen, N. Risebro, and J. Towers , Upwind difference approximations for degenerate parabolic convection–diffusion equations with a discontin uous coefficient , IMA Journal of Numerical Analysis, 22 (2002), pp. 623–664
2002
-
[17]
K. H. Karlsen, N. H. Risebro, and J. D. Towers , On a nonlinear degenerate parabolic transport-diffusion equation with a discontinuous coefficie nt., Electronic Journal of Differ- ential Equations, (2002), p. (electronic)
2002
-
[18]
K. H. Karlsen and J. D. Towers , Convergence of the Lax-Friedrichs scheme and stability for conservation laws with a discontinuous space-time depe ndent flux , Chinese Annals of Mathematics, 25 (2004), pp. 287–318
2004
-
[19]
R. A. Klausen and N. H. Risebro , Stability of conservation laws with discontinuous coeffi- cients, Journal of Differential Equations, 157 (1999), pp. 41–60
1999
-
[20]
Klingenberg and N
C. Klingenberg and N. H. Risebro , Convex conservation laws with discontinuous coeffi- cients. Existence, uniqueness and asymptotic behavior , Communications in Partial Differ- ential Equations, 20 (1995), pp. 1959–1990
1995
-
[21]
Klingenberg and N
C. Klingenberg and N. H. Risebro , Stability of a resonant system of conservation laws mod- eling polymer flow with gravitation , Journal of Differential Equations, 170 (2001), pp. 344– 380
2001
-
[22]
S. N. Kru ˇzkov, First order quasilinear equations in several independent v ariables, Mathemat- ics of the USSR-Sbornik, 10 (1970), pp. 217–243
1970
-
[23]
N. Kuznetsov , Accuracy of some approximate methods for computing the weak solutions of a first-order quasi-linear equation , USSR Computational Mathematics and Mathematical Physics, 16 (1976), pp. 105–119
1976
-
[24]
R. J. LeVeque , Finite volume methods for hyperbolic problems , Cambridge Texts in Applied Mathematics, Cambridge University Press, Cambridge, 2002
2002
-
[25]
M. J. Lighthill and G. B. Whitham , On kinematic waves II. A theory of traffic flow on long crowded roads, Proceedings of the Royal Society of London. Series A. Mathe matical and Physical Sciences, 229 (1955), pp. 317–345
1955
-
[26]
B. J. Lucier , A moving mesh numerical method for hyperbolic conservation laws, Mathematics of Computation, 46 (1986), pp. 59–69
1986
-
[27]
S. Mishra, Convergence of upwind finite difference schemes for a scalar c onservation law with indefinite discontinuities in the flux function , SIAM Journal on Numerical Analysis, 43 (2005), pp. 559–577
2005
-
[28]
Nessyahu and E
H. Nessyahu and E. Tadmor , The convergence rate of approximate solutions for nonlinea r scalar conservation laws , SIAM Journal on Numerical Analysis, 29 (1992), pp. 1505–15 19
1992
-
[29]
Nessyahu, E
H. Nessyahu, E. Tadmor, and T. Tassa , The convergence rate of Godunov type schemes , SIAM Journal on Numerical Analysis, 31 (1994), pp. 1–16. 24 J. BADWAIK AND A. M. RUF
1994
-
[30]
Ohlberger and J
M. Ohlberger and J. Vovelle , Error estimate for the approximation of nonlinear conserva - tion laws on bounded domains by the finite volume method , Mathematics of Computation, 75 (2006), pp. 113–150
2006
-
[31]
Ridder and A
J. Ridder and A. M. Ruf , A convergent finite difference scheme for the Ostrovsky–Hunt er equation with Dirichlet boundary conditions , BIT Numerical Mathematics, (2019)
2019
-
[32]
N. H. Risebro and A. Tveito , Front tracking applied to a nonstrictly hyperbolic system of conservation laws , SIAM Journal on Scientific and Statistical Computing, 12 (1 991), pp. 1401–1419
-
[33]
A. M. Ruf, E. Sande, and S. Solem , The optimal convergence rate of monotone schemes for conservation laws in the Wasserstein distance , Journal of Scientific Computing, (2019)
2019
-
[34]
S ¸abac, The optimal convergence rate of monotone finite difference me thods for hyperbolic conservation laws, SIAM Journal on Numerical Analysis, 34 (1997), pp
F. S ¸abac, The optimal convergence rate of monotone finite difference me thods for hyperbolic conservation laws, SIAM Journal on Numerical Analysis, 34 (1997), pp. 2306–23 18
1997
-
[35]
Solem, Convergence rates of the front tracking method for conserva tion laws in the Wasser- stein distances, SIAM Journal on Numerical Analysis, 56 (2018), pp
S. Solem, Convergence rates of the front tracking method for conserva tion laws in the Wasser- stein distances, SIAM Journal on Numerical Analysis, 56 (2018), pp. 3648–36 66
2018
-
[36]
Teng and P
Z.-H. Teng and P. Zhang , Optimal L1-rate of convergence for the viscosity method and monotone scheme to piecewise constant solutions with shock s, SIAM Journal on Numerical Analysis, 34 (1997), pp. 959–978
1997
-
[37]
Towers , Convergence of a difference scheme for conservation laws wit h a discontinuous flux, SIAM Journal on Numerical Analysis, 38 (2000), pp
J. Towers , Convergence of a difference scheme for conservation laws wit h a discontinuous flux, SIAM Journal on Numerical Analysis, 38 (2000), pp. 681–698
2000
-
[38]
Towers, A difference scheme for conservation laws with a discontinuo us flux: The noncon- vex case, SIAM Journal on Numerical Analysis, 39 (2001), pp
J. Towers, A difference scheme for conservation laws with a discontinuo us flux: The noncon- vex case, SIAM Journal on Numerical Analysis, 39 (2001), pp. 1197–12 18
2001
-
[39]
D. A. Venditti and D. L. Darmofal , Adjoint error estimation and grid adaptation for functional outputs: Application to quasi-one-dimensiona l flow , Journal of Computational Physics, 164 (2000), pp. 204–227
2000
-
[40]
Wen and S
X. Wen and S. Jin , Convergence of an immersed interface upwind scheme for line ar advection equations with piecewise constant coefficients I: L 1-error estimates , Journal of Computa- tional Mathematics, (2008), pp. 1–22
2008
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.