pith. sign in

arxiv: 1907.00757 · v2 · pith:XUIC4RBXnew · submitted 2019-07-01 · 🧮 math.AP

Generalized solutions to models of inviscid fluids

Dominic Breit , Eduard Feireisl , Martina Hofmanova This is my paper

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

classification 🧮 math.AP
keywords dissipative solutionscompressible Euler systemgeneralized solutionsoscillationsconcentrationsinviscid fluidscompatibility condition
0
0 comments X

The pith

Dissipative solutions to the compressible Euler system reduce to classical solutions whenever they are sufficiently smooth.

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

The paper introduces dissipative solutions for the compressible Euler system as a new class of generalized solutions. These are obtained by examining oscillations and concentrations that appear in sequences used to approximate the equations. The resulting objects satisfy a built-in compatibility condition that forces them to coincide with any classical solution that has enough regularity. This construction is presented as an alternative to conventional measure-valued solutions because it automatically respects the classical theory without extra stipulations.

Core claim

Dissipative solutions to the compressible Euler system are defined through a careful analysis of possible oscillations and concentrations in the associated generating sequence. Unlike measure-valued solutions, they comply with the natural compatibility condition that they must be classical solutions as long as they enjoy a certain degree of smoothness.

What carries the argument

The dissipative solution concept, constructed by analyzing oscillations and concentrations in the generating sequence to enforce automatic compatibility with classical solutions.

If this is right

  • Existence of dissipative solutions supplies a solution class for the compressible Euler system that recovers every classical solution without additional verification.
  • The same construction applies directly to other models of inviscid fluids.
  • Any sufficiently regular dissipative solution must obey the original differential equations pointwise.
  • The framework distinguishes itself from measure-valued solutions by the built-in reduction property.

Where Pith is reading between the lines

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

  • Numerical approximations that converge in the dissipative sense would automatically be consistent with any smooth classical limit they approach.
  • The method may select physically relevant weak solutions by the way oscillations are controlled in the sequence.
  • Similar sequence-based analysis could be attempted for other hyperbolic conservation laws where concentrations arise.

Load-bearing premise

A careful analysis of oscillations and concentrations in the generating sequence can be used to define a solution concept that automatically satisfies the compatibility condition with classical solutions.

What would settle it

Exhibit a sequence whose limit satisfies the dissipative-solution definition, is smooth, yet fails to solve the compressible Euler equations in the classical pointwise sense.

read the original abstract

We discuss several approaches to generalized solutions of problems describing the motion of inviscid fluids. We propose a new concept of dissipative solution to the compressible Euler system based on a careful analysis of possible oscillations and/or concentrations in the associated generating sequence. Unlike the conventional measure-valued solutions or rather their expected values, the dissipative solutions comply with a natural compatibility condition - they are classical solutions as long as they enjoy certain degree of smoothness.

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 proposes a new concept of dissipative solutions for the compressible Euler system. These are constructed from a generating sequence by analyzing oscillations and/or concentrations, in contrast to conventional measure-valued solutions. The central claim is a compatibility property: the dissipative solutions reduce to classical solutions whenever the latter exist and possess sufficient smoothness.

Significance. If the reduction property is established rigorously, the concept supplies a generalized solution framework that automatically satisfies a natural consistency condition with classical solutions, which is a strength over expected-value measure-valued solutions. The construction via explicit sequence analysis is noted as a positive feature when it yields the claimed compatibility without additional ad-hoc parameters.

major comments (2)
  1. [§3, Definition 3.2] §3, Definition 3.2: the dissipative solution is defined in terms of the generating sequence and its oscillation/concentration measures; the subsequent proof that this definition implies the compatibility condition (reduction to classical solutions under C^1 regularity) must be checked for circularity, as the abstract presents the property as following directly from the analysis but supplies no intermediate estimates.
  2. [Theorem 4.1] Theorem 4.1: the statement that dissipative solutions coincide with classical ones when the velocity and density are sufficiently smooth relies on passing to the limit in the sequence; the argument requires explicit control on the defect measures to ensure they vanish under the smoothness assumption, otherwise the reduction is not automatic.
minor comments (2)
  1. [§2] The notation for the oscillation and concentration measures in §2 should be aligned with standard references on Young measures to improve readability.
  2. [Introduction] Several sentences in the introduction repeat the compatibility claim without referencing the precise theorem number where it is proved.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript to strengthen the presentation of the proofs.

read point-by-point responses

  1. Referee: [§3, Definition 3.2] §3, Definition 3.2: the dissipative solution is defined in terms of the generating sequence and its oscillation/concentration measures; the subsequent proof that this definition implies the compatibility condition (reduction to classical solutions under C^1 regularity) must be checked for circularity, as the abstract presents the property as following directly from the analysis but supplies no intermediate estimates.

    Authors: The definition in §3.2 is formulated directly from the generating sequence and its associated oscillation and concentration measures without any reference to the compatibility property. The compatibility result is derived subsequently in Theorem 4.1 by a separate argument. We agree, however, that the original manuscript did not supply sufficiently detailed intermediate estimates on the defect measures. In the revision we will insert explicit bounds (new Lemmas 4.2–4.3) that control the measures in terms of the regularity of the limit and thereby make the non-circularity of the argument fully transparent. revision: yes

  2. Referee: [Theorem 4.1] Theorem 4.1: the statement that dissipative solutions coincide with classical ones when the velocity and density are sufficiently smooth relies on passing to the limit in the sequence; the argument requires explicit control on the defect measures to ensure they vanish under the smoothness assumption, otherwise the reduction is not automatic.

    Authors: We concur that the reduction property is not automatic and must rest on explicit control of the defect measures. The proof of Theorem 4.1 proceeds by showing that any positive defect measure would violate the weak form of the equations once the limit is C¹. To make this step rigorous we will add, in the revised manuscript, quantitative estimates (new inequalities (4.8)–(4.11)) that bound the total variation of the oscillation and concentration measures by the C¹-norm of the limit; these estimates imply that the measures vanish identically when the limit is sufficiently smooth. The revised proof will therefore contain the required explicit control. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proposes a dissipative solution concept for the compressible Euler system explicitly constructed via analysis of oscillations and concentrations in a generating sequence. This construction is presented as the source of the compatibility property (reducing to classical solutions under sufficient smoothness), rather than the property being presupposed or fitted to define the concept. No equations, self-citations, or reductions are shown that would make the central claim equivalent to its inputs by definition. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, background axioms, or invented entities beyond the proposed solution class itself.

pith-pipeline@v0.9.0 · 5584 in / 957 out tokens · 24362 ms · 2026-05-25T12:16:00.427988+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Singular limits for compressible inviscid rotating fluids

    math.AP 2019-07 unverdicted novelty 5.0

    Dissipative solutions of scaled compressible rotating Euler equations converge to strong solutions of a 2D horizontal incompressible Euler system in an infinite slab as Mach and Rossby numbers vanish proportionally to ε.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    J. J. Alibert and G. Bouchitt´ e. Non-uniform integrability and gen eralized Young measures. J. Convex Anal. , 4(1):129–147, 1997

    work page 1997

  2. [2]

    Basari´ c

    D. Basari´ c. Vanishing viscosity limit for the compressible Navier–Stokes system via measure-valued solutions. Arxive Preprint Series , arXiv 1903.05886 , 2019

    work page arXiv 1903

  3. [3]

    Breit, E

    D. Breit, E. Feireisl, and M. Hofmanov´ a. Dissipative solutions and semiflow selection for the complete Euler system. Arxive Preprint Series , arXiv 1904.00622 , 2019

    work page arXiv 1904

  4. [4]

    Breit, E

    D. Breit, E. Feireisl, and M. Hofmanov´ a. Solution semiflow to the is entropic Euler system. Arxive Preprint Series , arXiv 1901.04798 , 2019

    work page arXiv 1901

  5. [5]

    Cardona and L

    J.E. Cardona and L. Kapitanskii. Semiflow selection and Markov sele ction theorems. Arxive Preprint Series , arXiv 1707.04778v1 , 2017

    work page arXiv 2017

  6. [6]

    G. Q. Chen and J. Glimm. Kolmogorov-type theory of compressible turbulence and inviscid limit of the Navier–Stokes equations in R3. Arxive Preprint Series , arXiv 1809.09490 , 2018

    work page arXiv 2018

  7. [7]

    Chiodaroli

    E. Chiodaroli. A counterexample to well-posedness of entropy so lutions to the compressible Euler system. J. Hyperbolic Differ. Equ. , 11(3):493–519, 2014

    work page 2014

  8. [8]

    Chiodaroli, C

    E. Chiodaroli, C. De Lellis, and O. Kreml. Global ill-posedness of the is entropic system of gas dynamics. Comm. Pure Appl. Math. , 68(7):1157–1190, 2015

    work page 2015

  9. [9]

    Chiodaroli and O

    E. Chiodaroli and O. Kreml. On the energy dissipation rate of solut ions to the compressible isentropic Euler system. Arch. Ration. Mech. Anal. , 214(3):1019–1049, 2014

    work page 2014

  10. [10]

    Non-uniqueness of admissible weak solutions to the compressible Euler equations with smooth initial data

    E. Chiodaroli, O. Kreml, V. M´ acha, and S. Schwarzacher. Nonu niqueness of admissible weak solutions to the compressible Euler equations with smooth initial data . Arxive Preprint Series , arXiv 1812.09917v1 , 2019

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  11. [11]

    De Lellis and L

    C. De Lellis and L. Sz´ ekelyhidi, Jr. On admissibility criteria for weak solutions of the Euler equations. Arch. Ration. Mech. Anal. , 195(1):225–260, 2010. GENERALIZED SOLUTIONS TO MODELS OF INVISCID FLUIDS 15

    work page 2010

  12. [12]

    D. B. Ebin. Viscous fluids in a domain with frictionless boundary. Global Analysis - Analysis on Manifolds, H. Kurke, J. Mecke, H. Triebel, R. Thiele Editors , Teubner-Texte zur Mathematik 57, Teubner, Leipzig, pages 93–110, 1983

    work page 1983

  13. [13]

    On uniqueness of dissipative solutions to the isentropic Euler system

    E. Feireisl, S. S. Ghoshal, and A. Jana. On uniqueness of dissipat ive solutions to the isentropic Euler system. Arxive Preprint Series , arXiv 1903.11687 , 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1903

  14. [14]

    Feireisl, P

    E. Feireisl, P. Gwiazda, A. ´Swierczewska-Gwiazda, and E. Wiedemann. Dissipative measure-valued solutions to the compressible Navier–Stokes system. Calc. Var. Partial Differential Equations , 55(6):55:141, 2016

    work page 2016

  15. [15]

    Feireisl, P

    E. Feireisl, P. Gwiazda, A. ´Swierczewska-Gwiazda, and E. Wiedemann. Regularity and energy conservation for the compressible Euler equations. Arch. Ration. Mech. Anal. , 223(3):1375–1395, 2017

    work page 2017

  16. [16]

    Feireisl and M

    E. Feireisl and M. Hofmanov´ a. On the vanishing viscosity limit of t he isentropic Navier–Stokes system. Arxive Preprint Series , arXiv 1905.02548 , 2019

    work page arXiv 1905

  17. [17]

    Feireisl, C

    E. Feireisl, C. Klingenberg, O. Kreml, and S. Markfelder. On oscilla tory solutions to the complete Euler system. Arxive Preprint Series , arXiv 1710.10918 , 2017

    work page arXiv 2017

  18. [18]

    Feireisl, ˇS

    E. Feireisl, ˇS. Matuˇ s˚ u-Neˇ casov´ a, H. Petzeltov´ a, and I. Straˇ skraba. On the motion of a viscous compressible flow driven by a time-periodic external flow. Arch. Rational Mech. Anal. , 149:69– 96, 1999

    work page 1999

  19. [19]

    Gwiazda, A

    P. Gwiazda, A. ´Swierczewska-Gwiazda, and E. Wiedemann. Weak-strong uniquene ss for measure- valued solutions of some compressible fluid models. Nonlinearity, 28(11):3873–3890, 2015

    work page 2015

  20. [20]

    N. V. Krylov. The selection of a Markov process from a Markov s ystem of processes, and the construction of quasidiffusion processes. Izv. Akad. Nauk SSSR Ser. Mat. , 37:691–708, 1973

    work page 1973

  21. [21]

    T. Luo, C. Xie, and Z. Xin. Non-uniqueness of admissible weak solu tions to compressible Euler systems with source terms. Adv. Math. , 291:542–583, 2016

    work page 2016

  22. [22]

    J. Smoller. Shock waves and reaction-diffusion equations . Springer-Verlag, New York, 1967

    work page 1967

  23. [23]

    A. Tani. On the first initial-boundary value problem of compressib le viscous fluid motion. Publ. RIMS Kyoto Univ. , 13:193–253, 1977. (D. Breit) Department of Mathematics, Heriot-W att University, Ricca rton Edin- burgh EH14 4AS, UK E-mail address : d.breit@hw.ac.uk (E.Feireisl) Institute of Mathematics AS CR, ˇZitn´a 25, 115 67 Praha 1, Czech Republic and...

    work page 1977