pith. sign in

arxiv: 2605.21881 · v1 · pith:V477PNKSnew · submitted 2026-05-21 · 🧮 math.AP

When Do Riemann Solutions Consist of Rarefactions, Jumps, and Constants?

Bradley J. Plohr , Stephen Schecter , Dan Marchesin This is my paper

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

classification 🧮 math.AP
keywords Riemann problemconservation lawsessential imagerarefaction wavesHugoniot locusbounded variationhyperbolic systemsL^∞ solutions
0
0 comments X

The pith

An L^∞ Riemann solution with finitely many essential-image discontinuities has bounded variation and consists of rarefaction waves, jumps, and constant states.

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

This paper examines whether measurable and essentially bounded solutions to Riemann problems for strictly hyperbolic systems of conservation laws must still take the classical form of rarefaction waves, jump discontinuities, and constant states. It introduces one-sided accumulation sets derived from local essential images to identify continuous versus discontinuous behavior without assuming extra regularity. When the solution is continuous in the essential-image sense on an interval, it must be a rarefaction if the characteristic speed matches x/t, or else a constant. Accumulation states from essential-image discontinuities all lie on one Hugoniot locus and share the same propagation speed. The central result follows: if there are only finitely many such discontinuities, the solution has bounded variation and decomposes into finitely many pieces of the three classical types.

Core claim

Supposing that throughout a bounded open interval a solution is continuous in the essential image sense, it is a rarefaction wave if resonant with characteristic speed x/t and otherwise constant. All accumulation states of essential-image discontinuities lie on a common Hugoniot locus and travel at the same speed. Therefore, when the set of essential-image discontinuities is finite, an L^∞ Riemann solution has bounded variation and is composed of finitely many rarefaction waves, jump discontinuities, and constant states.

What carries the argument

One-sided accumulation sets based on local essential images, which separate continuous intervals from discontinuities and control the behavior of accumulation states in L^∞ solutions.

If this is right

  • Intervals of essential-image continuity are either rarefaction waves (when speed equals x/t) or constant states.
  • Accumulation states of any essential-image discontinuity share a single Hugoniot locus and a common speed.
  • Finitely many essential-image discontinuities force the whole solution to have bounded variation.
  • The solution then decomposes exactly into finitely many rarefactions, jumps, and constants.

Where Pith is reading between the lines

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

  • The same essential-image technique might classify structures in non-Riemann initial-value problems for conservation laws.
  • Pathological solutions likely require infinite accumulations of discontinuities rather than isolated ones.
  • Numerical methods could monitor essential-image continuity to detect when computed solutions deviate from classical wave patterns.
  • This framework may connect to other weak-solution notions that rely on approximate continuity or approximate differentiability.

Load-bearing premise

The assumption that the solution is continuous in the essential-image sense on every bounded open interval.

What would settle it

An explicit L^∞ Riemann solution with only finitely many essential-image discontinuities yet infinite total variation or a non-classical structure would disprove the claim.

Figures

Figures reproduced from arXiv: 2605.21881 by Bradley J. Plohr, Dan Marchesin, Stephen Schecter.

Figure 6.1
Figure 6.1. Figure 6.1: There exist (w, z)-coordinates for a neighborhood of u⋆ in which rarefaction integral curves are straight. Lemma 6.2. In the context of Lemma 6.1, there exist a neighborhood O′ ⊆ O of u⋆, a nonempty symmetric open interval I ⊆ R, and a C 1 map V : I × O′ → O such that Vη(η, u) = r [PITH_FULL_IMAGE:figures/full_fig_p013_6_1.png] view at source ↗
read the original abstract

A solution of a Riemann problem for a strictly hyperbolic system of conservation laws is traditionally expected to consist of rarefaction waves, jump discontinuities, and constant states. In this paper, we investigate whether a Riemann solution has this structure when the solution is only assumed to be measurable and essentially bounded. To discriminate continuous and discontinuous features in an $L^\infty$ solution, we introduce one-sided accumulation sets based on local essential images. Supposing that throughout a bounded open interval a solution is continuous in the essential image (ess-im) sense, we prove that it is a rarefaction wave if it is resonant (the characteristic speed equals $x/t$), and otherwise it is constant. Although an ess-im discontinuity might not be a jump discontinuity, we show that all ess-im accumulation states lie on a common Hugoniot locus and have the same speed. Anomalies are possible if there are limit points of ess-im discontinuities, but if the set of ess-im discontinuities is finite, then an $L^\infty$ Riemann solution has bounded variation and is composed of finitely many rarefaction waves, jump discontinuities, and constant states.

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 paper studies the structure of L^∞ Riemann solutions to strictly hyperbolic systems of conservation laws. It introduces one-sided accumulation sets from local essential images to define ess-im discontinuities. Under the assumption of ess-im continuity on a bounded open interval, it shows that the solution is a rarefaction wave (when resonant, satisfying the self-similar ODE in the essential sense) or a constant state (when non-resonant). Accumulation states at ess-im discontinuities are shown to lie on a common Hugoniot locus with identical speed. The central result states that if the set of ess-im discontinuities is finite, then the solution has bounded variation and consists of finitely many rarefaction waves, jump discontinuities, and constant states.

Significance. If the results hold, the work provides a rigorous justification for the classical wave structure of Riemann solutions under minimal L^∞ regularity assumptions, using only standard properties of strictly hyperbolic systems together with the new ess-im framework. This is a parameter-free derivation that directly yields the finite wave decomposition without additional regularity or fitted parameters, strengthening the theoretical foundation for hyperbolic conservation laws.

major comments (2)
  1. [Section following definition of ess-im discontinuities] The proof that accumulation states at ess-im discontinuities lie on a single Hugoniot curve with common speed (following the definition of one-sided accumulation sets) should explicitly verify that the Rankine-Hugoniot condition holds in the essential sense; the current chain appears to rely on the strict hyperbolicity but would benefit from a direct citation to the relevant lemma or equation establishing the locus.
  2. [Main theorem on finite ess-im discontinuities] The implication that finite ess-im discontinuities partition the line into intervals of bounded variation (yielding global BV) assumes no accumulation of discontinuities at infinity or at the origin; this should be stated explicitly as a hypothesis or derived from the Riemann problem setup in the main theorem.
minor comments (2)
  1. [Introduction and preliminaries] The notation 'ess-im' and 'ess-im discontinuity' is introduced in the abstract but would benefit from a dedicated preliminary subsection with precise definitions and examples for clarity.
  2. [Proof of rarefaction vs. constant classification] Clarify whether the self-similar ODE for rarefactions is satisfied pointwise almost everywhere or in a weaker integral sense; this affects the interpretation of 'in the essential sense'.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment in turn and indicate the changes we will make to the revised version.

read point-by-point responses

  1. Referee: [Section following definition of ess-im discontinuities] The proof that accumulation states at ess-im discontinuities lie on a single Hugoniot curve with common speed (following the definition of one-sided accumulation sets) should explicitly verify that the Rankine-Hugoniot condition holds in the essential sense; the current chain appears to rely on the strict hyperbolicity but would benefit from a direct citation to the relevant lemma or equation establishing the locus.

    Authors: We agree that an explicit verification would improve clarity. We will revise the relevant section to include a direct citation to the lemma or equation that establishes the Hugoniot locus for strictly hyperbolic systems and to verify explicitly that the Rankine-Hugoniot condition is satisfied in the essential sense. revision: yes

  2. Referee: [Main theorem on finite ess-im discontinuities] The implication that finite ess-im discontinuities partition the line into intervals of bounded variation (yielding global BV) assumes no accumulation of discontinuities at infinity or at the origin; this should be stated explicitly as a hypothesis or derived from the Riemann problem setup in the main theorem.

    Authors: We thank the referee for pointing this out. Because the solution is self-similar, the relevant variable is ξ = x/t ∈ ℝ. A finite set of points on ℝ is bounded and therefore has no accumulation points in the extended reals (including at ±∞). We will add an explicit sentence in the statement of the main theorem deriving this fact from the Riemann problem setup and the finiteness assumption, thereby confirming that the discontinuities partition the line into finitely many intervals of bounded variation. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via new definitions and standard hyperbolic properties

full rationale

The manuscript defines one-sided accumulation sets from local essential images to identify ess-im discontinuities, then proves that any interval free of such discontinuities is either a constant state or a rarefaction satisfying the self-similar ODE in the essential sense. Accumulation states at discontinuities are shown to lie on a single Hugoniot curve with common speed using standard properties of strictly hyperbolic systems. Finite discontinuities therefore partition the line into finitely many such intervals, each of bounded variation, yielding global BV and the stated wave structure. No step reduces by construction to a fitted input, self-citation, or prior ansatz; the central claim follows directly from the introduced definitions and classical theory without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard assumption that the system is strictly hyperbolic; no free parameters or invented physical entities are indicated in the abstract.

axioms (1)
  • domain assumption The system of conservation laws is strictly hyperbolic
    Explicitly stated as the setting for the Riemann problem in the abstract.

pith-pipeline@v0.9.0 · 5731 in / 1175 out tokens · 51099 ms · 2026-05-22T05:16:22.111854+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

134 extracted references · 134 canonical work pages

  1. [1]

    Abraham and J

    R. Abraham and J. E. Marsden. Foundations of Mechanics. 1978

    work page 1978

  2. [2]

    Ambrosio and C

    L. Ambrosio and C. De Lellis. A Note on Admissible Solutions of 1D Scalar Conservation Laws and 2D Hamilton-Jacobi Equations. J. Hyperbolic Diff. Eq. 2004

    work page 2004

  3. [3]

    Ambrosio and N

    L. Ambrosio and N. Fusco and D. Pallara. Functions of Bounded Variation and Free Discontinuity Problems. 2000

    work page 2000

  4. [4]

    Ashbaugh

    M. Ashbaugh. Private Communication. 1989

    work page 1989

  5. [5]

    Azevedo and D

    A. Azevedo and D. Marchesin and B. Plohr and K. Zumbrun. Bifurcation of Non\-clas\-si\-cal Viscous Shock Profiles from the Constant State. Commun. Math. Phys. 1999

    work page 1999

  6. [6]

    A. N. Berlinski. On the behaviour of integral curves of a certain differential equation. Izv. Vyssh. Uchebn. Zaved. Mat. 1960

    work page 1960

  7. [7]

    H. Bethe. The Theory of Shock Waves for an Arbitrary Equation of State. 1942

    work page 1942

  8. [8]

    A. Bressan. Global Solutions of Systems of Conservation Laws by Wave-Front Tracking. J. Math. Anal. Appl. 1992

    work page 1992

  9. [9]

    A. Bressan. Hyperbolic Systems of Conservation Laws: The One-Dimensional Cauchy Problem. 2005

    work page 2005

  10. [10]

    A. M. Bruckner. Differentiation of Real Functions. 1994

    work page 1994

  11. [11]

    A. M. Bruckner and J. B. Bruckner and B. S. Thomson. Real Analysis. 1997

    work page 1997

  12. [12]

    Buchner and J

    M. Buchner and J. Marsden and S. Schecter. Applications of Blowing-Up Construction and Algebraic Geometry to Bifurcation Problems. J. Differential Equations. 1983

    work page 1983

  13. [13]

    Camacho and A

    C. Camacho and A. Lins Neto. Geometric Theory of Foliations. 1985

    work page 1985

  14. [14]

    C ani\' c

    S. C ani\' c. Shock Wave Admissibility for Quadratic Conservation Laws. 1992

    work page 1992

  15. [15]

    C ani\' c

    S. C ani\' c. The Role of Limit Cycles in the Admissibility of Shock Waves. Mat. Contemp. 1995

    work page 1995

  16. [16]

    C ani\' c and B

    S. C ani\' c and B. Plohr. Shock Wave Admissibility for Quadratic Conservation Laws. J. Differential Equations. 1995

    work page 1995

  17. [17]

    Carlsson

    H. Carlsson. Lecture Notes on Distributions. 2025

    work page 2025

  18. [18]

    C. Chicone. Ordinary Differential Equations with Applications. 2006

    work page 2006

  19. [19]

    C. Chicone. Quadratic Gradients on the Plane are Generically Morse-Smale. J. Differential Equations. 1979

    work page 1979

  20. [20]

    Courant and K

    R. Courant and K. Friedrichs. Supersonic Flow and Shock Waves. 1967

    work page 1967

  21. [21]

    M. G. Crandall and P. H. Rabinowitz. Bifurcation from Simple Eigenvalues. J. Func. Anal. 1971

    work page 1971

  22. [22]

    C. M. Dafermos. Wave Fans are Special. Acta Math. Appl. Sinica (English Series). 2008

    work page 2008

  23. [23]

    C. M. Dafermos. Hyperbolic Conservation Laws in Continuum Physics. 2026

    work page 2026

  24. [24]

    G. Darboux. Le c ons sur la Th\'eorie des Surfaces. IV . S ur la forme des lignes de courbure dans la voisinage d'un ombilic. 1896

    work page

  25. [25]

    R. DiPerna. Measure-valued solutions to conservation laws. Arch. Rational Mech. Anal. 1985

    work page 1985

  26. [26]

    Elling and J

    V. Elling and J. Roberts. Steady and Self-Similar Inviscid Flow. SIAM J. Math. Anal. 2012

    work page 2012

  27. [27]

    Elling and J

    V. Elling and J. Roberts. Steady and Self-Similar Solutions of Non-Strictly Hyperbolic Systems of Conservation Laws. Comm. Partial Differential Equations. 2014

    work page 2014

  28. [28]

    Eschenazi

    C. Eschenazi. Rarefaction Fields for Systems of Two or Three Conservation Laws. 1992

    work page 1992

  29. [29]

    Eschenazi and C

    C. Eschenazi and C. F. Palmeira. The structure of composite rarefaction-shock foliations for quadratic systems of conservation laws. Matem\'atica Contempor\^anea. 2002

    work page 2002

  30. [30]

    L. C. Evans. Weak Convergence Methods for Nonlinear Partial Differential Equations. 1990

    work page 1990

  31. [31]

    L. C. Evans. Partial Differential Equations. 1998

    work page 1998

  32. [32]

    L. C. Evans and R. F. Gariepy. Measure Theory and Fine Properties of Functions. 2015

    work page 2015

  33. [33]

    Felgenhauer and M

    U. Felgenhauer and M. Wagner. Essential Properties of L^ -functions. Zeitschrift f \"u r Analysis und ihre Anwendungen. 1998

    work page 1998

  34. [34]

    Freist \"u hler

    H. Freist \"u hler. Instability of Vanishing Viscosity Approximation to Hyperbolic Systems of Conservation Laws with Rotational Invariance. J. Differential Equations. 1990

    work page 1990

  35. [35]

    Freist \"u hler and K

    H. Freist \"u hler and K. Zumbrun. Private Communication. 1996

    work page 1996

  36. [36]

    F. Furtado. Structural Stability of Nonlinear Waves for Conservation Laws. 1989

    work page 1989

  37. [37]

    I. Gelfand. Some Problems in the Theory of Quasi-linear Equations. Uspekhi Mat. Nauk. 1959

    work page 1959

  38. [38]

    J. Glimm. Solutions in the Large for Nonlinear Hyperbolic Systems of Equations. Comm. Pure Appl. Math. 1965

    work page 1965

  39. [39]

    S. K. Godunov. A Difference Method for Numerical Calculation of Discontinuous Solutions of the Equations of Hydrodynamics. Mat. Sb. 1959

    work page 1959

  40. [40]

    S. K. Godunov. On the Concept of Generalized Solution. Soviet Math. Dokl. 1960

    work page 1960

  41. [41]

    S. K. Godunov. On Nonunique `Blurring' of Discontinuities in Solutions of Quasilinear Systems. Soviet Math. Dokl. 1961

    work page 1961

  42. [42]

    Godlewski and P

    E. Godlewski and P. A. Raviart. Numerical Approximation of Hyperbolic Systems of Conservation Laws. 1991

    work page 1991

  43. [43]

    Golubitsky and V

    M. Golubitsky and V. Guillemin. Stable Mappings and Their Singularities. 1973

    work page 1973

  44. [44]

    Golubitsky and B

    M. Golubitsky and B. L. Keyfitz. A qualitative study of the steady state solutions for a continuous flow stirred tank chemical reactor. SIAM J. Math. Anal. 1980

    work page 1980

  45. [45]

    Golubitsky and D

    M. Golubitsky and D. Schaeffer. Singularities and Groups in Bifurcation Theory. 1984

    work page 1984

  46. [46]

    Guckenheimer and P

    J. Guckenheimer and P. Holmes. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. 1986

    work page 1986

  47. [47]

    Guillemin and A

    V. Guillemin and A. Pollack. Differential Topology. 1974

    work page 1974

  48. [48]

    Hiriart-Urruty and C

    J.-B. Hiriart-Urruty and C. Lemar \'e chal. Convex Analysis and Minimization Algorithms I: Fundamentals. 1993

    work page 1993

  49. [49]

    Holden and L

    H. Holden and L. Holden. On the Riemann Problem for a Prototype of a Mixed Type Conservation Law, II. Current Progress in Hyperbolic Systems: Riemann Problems and Computations (Bowdoin, 1988). 1989

    work page 1988

  50. [50]

    E. Hopf. The Partial Differential Equation u_t + uu_x = u_ xx. Comm. Pure Appl. Math. 1950

    work page 1950

  51. [51]

    E. Hopf. Generalized Solutions of Non-Linear Equations of First Order. J. Math. Mech. 1965

    work page 1965

  52. [52]

    E. Hopf. On the Right Weak Solution of the Cauchy Problem for a Quasilinear Equation of First Order. J. Math. Mech. 1969

    work page 1969

  53. [53]

    Hugoniot

    H. Hugoniot. Sur la Propagation du Mouvement dans les Corps et Sp\'ecialement dans les gaz parfait. Journal de l'\'Ecole Polytechnique. 1889

    work page

  54. [54]

    J. Hurley. Effects of Viscous Terms on Solutions of Riemann Problems. 1995

    work page 1995

  55. [55]

    Hurley and B

    J. Hurley and B. Plohr. Some Effects of Viscous Terms on Riemann Problem Solutions. Mat. Contemp. 1995

    work page 1995

  56. [56]

    Isaacson and D

    E. Isaacson and D. Marchesin and C. F. Palmeira and B. Plohr. A Global Formalism for Nonlinear Waves in Conservation Laws. Comm. Math. Phys. 1992

    work page 1992

  57. [57]

    Isaacson and D

    E. Isaacson and D. Marchesin and B. Plohr and J. B. Temple. The Riemann Problem Near a Hyperbolic Singularity: The Classification of Quadratic Riemann Problems I. SIAM J. Appl. Math. 1988

    work page 1988

  58. [58]

    Isaacson and D

    E. Isaacson and D. Marchesin and B. Plohr. Transitional Waves for Conservation Laws. SIAM J. Math. Anal. 1990

    work page 1990

  59. [59]

    Isaacson and D

    E. Isaacson and D. Marchesin and B. Plohr and J. B. Temple. Multiphase Flow Models with Singular Riemann Problems. Mat. Aplic. Comput. 1992

    work page 1992

  60. [60]

    Isaacson and J

    E. Isaacson and J. B. Temple. The Riemann Problem Near a Hyperbolic Singularity III. SIAM J. Appl. Math. 1988

    work page 1988

  61. [61]

    Isaacson and J

    E. Isaacson and J. B. Temple. The Riemann Problem Near a Hyperbolic Singularity II. SIAM J. Appl. Math. 1988

    work page 1988

  62. [62]

    A. N. Kolmogorov and S. V. Fomin. Introductory Real Analysis. 1975

    work page 1975

  63. [63]

    Kreiss and J

    H.-O. Kreiss and J. Lorenz. Initial-Boundary Value Problems and the N avier- S tokes Equations. 1989

    work page 1989

  64. [64]

    P. Lax. Weak Solutions of Nonlinear Hyperbolic Equations and Their Numerical Computations. Comm. Pure Appl. Math. 1954

    work page 1954

  65. [65]

    P. Lax. Hyperbolic Systems of Conservation Laws II. Comm. Pure Appl. Math. 1957

    work page 1957

  66. [66]

    P. Lax. Shock Waves and Entropy. Contributions to Nonlinear Functional Analysis. 1971

    work page 1971

  67. [67]

    P. Lax. Hyperbolic Systems of Conservation Laws and the Mathematical Theory of Shock Waves. 1973

    work page 1973

  68. [68]

    R. LeVeque. Numerical Methods for Conservation Laws. 1992

    work page 1992

  69. [69]

    E. H. Lieb and M. Loss. Analysis. 2001

    work page 2001

  70. [70]

    T.-P. Liu. The Riemann Problem for General 2 2 Conservation Laws. Trans. Amer. Math. Soc. 1974

    work page 1974

  71. [71]

    T.-P. Liu. The Riemann Problem for General Systems of Conservation Laws. J. Differential Equations. 1975

    work page 1975

  72. [72]

    T.-P. Liu. The Entropy Condition and the Admissibility of Shocks. J. Math. Anal. Appl. 1976

    work page 1976

  73. [73]

    T.-P. Liu. Decay to N -Wave Solutions of General Systems of Nonlinear Hyperbolic Conservation laws. Comm. Pure Appl. Math. 1977

    work page 1977

  74. [74]

    T.-P. Liu. The Deterministic Version of the Glimm Scheme. Comm. Math. Phys. 1977

    work page 1977

  75. [75]

    T.-P. Liu. Large Time Behavior of Initial and Initial-Boundary Value Problems of General Systems of Hyperbolic Conservation laws. Comm. Math. Phys. 1977

    work page 1977

  76. [76]

    T.-P. Liu. Asymptotic Behavior of Solutions of General System of Nonlinear Hyperbolic Conservation Laws. Ind. J. Math. 1978

    work page 1978

  77. [77]

    T.-P. Liu. Quasilinear Hyperbolic Systems. Comm. Math. Phys. 1979

    work page 1979

  78. [78]

    T.-P. Liu. Admissible Solutions of Hyperbolic Conservation Laws. Mem. Amer. Math. Soc. 1981

    work page 1981

  79. [79]

    T.-P. Liu. A System of Quasilinear Hyperbolic Partial Differential Equations. Trends in Applications of Pure Mathematics to Mechanics, III. 1981

    work page 1981

  80. [80]

    T.-P. Liu. Nonlinear Stability and Instability of Transonic Gas Flow Through a Nozzle. Comm. Math. Phys. 1982

    work page 1982

Showing first 80 references.