pith. machine review for the scientific record. sign in

arxiv: 2605.07691 · v1 · submitted 2026-05-08 · 🧮 math.AP

Recognition: 3 theorem links

· Lean Theorem

Dissipative structures in compressible inviscid fluids

Marco Inversi
Authors on Pith no claims yet

Pith reviewed 2026-05-11 03:09 UTC · model grok-4.3

classification 🧮 math.AP
keywords compressible Euler equationsweak solutionsenergy defect measureshock discontinuitiesincompressible Eulerinviscid fluidslocal energy balance
0
0 comments X

The pith

Weak solutions to the compressible Euler equations dissipate energy on shock discontinuities.

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

This paper examines the local energy balance in weak solutions of the isentropic compressible Euler system. It shows that the associated defect measure concentrates on codimension-one shock structures through detailed analysis of small-scale behavior at discontinuities. The same method applied to the inhomogeneous incompressible Euler system reveals no such concentration. This establishes a distinction between compressible and incompressible ideal fluid models regarding energy accumulation on singular structures.

Core claim

By analyzing the small-scale properties of weak solutions at shock discontinuities in the isentropic compressible Euler system, the defect measure in the energy balance is shown to be supported on these codimension-one structures. Applying identical techniques to the inhomogeneous incompressible case yields no energy accumulation on singular structures, confirming that this phenomenon distinguishes compressible from incompressible models.

What carries the argument

Analysis of small-scale properties of weak solutions at shock discontinuities to derive fine properties of the defect measure in the local energy balance.

If this is right

  • The total energy dissipates specifically on shock-type discontinuities in compressible inviscid fluids.
  • Weak solutions exhibit a defect measure that accumulates energy on codimension-one sets.
  • This accumulation does not occur in the inhomogeneous incompressible Euler system.
  • The distinction holds under the standard regularity assumptions for these systems.

Where Pith is reading between the lines

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

  • Numerical methods for compressible flows may need to resolve energy loss precisely at resolved shocks.
  • The technique could extend to other hyperbolic systems whose weak solutions develop discontinuities.
  • Riemann problems with explicit shocks offer a direct test of whether the defect measure remains localized.

Load-bearing premise

The small-scale properties of weak solutions at shock discontinuities can be analyzed in sufficient detail to control the defect measure without additional regularity assumptions beyond those standard for the isentropic Euler system.

What would settle it

A weak solution to the isentropic compressible Euler system in which the energy defect measure has positive mass away from all shock discontinuities would falsify the concentration claim.

read the original abstract

This note aims at the following problem. In an ideal density dependent fluid system, is the total energy dissipated on shock type discontinuities? To this end, we study the local energy balance for weak solutions to the isentropic compressible Euler system and derive fine properties of the defect measure. This is done by a careful analysis of the small scale properties of the solutions at the shock discontinuity. By means of the same technique, we also consider the inhomogeneous incompressible case, and, comparing the result, we confirm the general principle that the accumulation of the total energy on codimension one singular structures is a feature that distinguishes compressible and incompressible models.

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 examines whether total energy dissipates on shock-type discontinuities in density-dependent ideal fluid systems. It derives fine properties of the defect measure in the local energy balance for weak solutions of the isentropic compressible Euler system via small-scale analysis at shock discontinuities. The same technique is applied to the inhomogeneous incompressible Euler system, yielding the conclusion that accumulation of total energy on codimension-one singular structures distinguishes compressible from incompressible models.

Significance. If the small-scale analysis and defect-measure derivations hold under standard weak-solution hypotheses, the work identifies a structural distinction in energy dissipation between compressible and incompressible inviscid flows. This could inform the theory of weak solutions, shock formation, and conservation laws in fluid dynamics. The approach of direct small-scale analysis at discontinuities, rather than reduction to fitted quantities, is a methodological strength when rigorously executed.

major comments (2)
  1. [Section 3 (compressible case analysis)] The central claim that energy accumulation on codimension-one structures distinguishes the two models rests on the small-scale analysis controlling the defect measure. Without explicit estimates or a proof sketch showing how the analysis proceeds under only the standard integrability assumptions for isentropic Euler weak solutions (e.g., density in L^γ and velocity in L^2), it is difficult to verify that no additional regularity is tacitly used at the shocks.
  2. [Section 4 (incompressible comparison)] In the comparison with the inhomogeneous incompressible case, the paper asserts that the same technique yields a qualitatively different defect-measure behavior. A concrete statement of the precise difference in the resulting defect measures (e.g., support properties or vanishing conditions) is needed to substantiate the claimed distinction.
minor comments (2)
  1. [Introduction] The abstract and introduction refer to 'fine properties of the defect measure' without defining the defect measure or recalling its standard definition from the literature on weak solutions of Euler systems.
  2. [Throughout] Notation for the local energy balance equation and the defect measure should be introduced once and used consistently; currently the symbols appear to shift between sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major comments point by point below, providing clarifications and indicating the revisions that will be incorporated.

read point-by-point responses

  1. Referee: [Section 3 (compressible case analysis)] The central claim that energy accumulation on codimension-one structures distinguishes the two models rests on the small-scale analysis controlling the defect measure. Without explicit estimates or a proof sketch showing how the analysis proceeds under only the standard integrability assumptions for isentropic Euler weak solutions (e.g., density in L^γ and velocity in L^2), it is difficult to verify that no additional regularity is tacitly used at the shocks.

    Authors: The small-scale analysis in Section 3 is carried out strictly within the standard weak-solution class for the isentropic compressible Euler system, using only the integrability ρ ∈ L^γ and u ∈ L² together with the distributional form of the equations. The defect measure is controlled by localizing test functions at the scale of the discontinuity and exploiting the jump relations that follow from the weak formulation; no higher regularity is invoked. To make this transparent, we will add a concise proof sketch of the key estimates (including the scaling argument that isolates the codimension-one contribution) in the revised Section 3. revision: yes

  2. Referee: [Section 4 (incompressible comparison)] In the comparison with the inhomogeneous incompressible case, the paper asserts that the same technique yields a qualitatively different defect-measure behavior. A concrete statement of the precise difference in the resulting defect measures (e.g., support properties or vanishing conditions) is needed to substantiate the claimed distinction.

    Authors: We agree that an explicit comparison strengthens the exposition. In the compressible case the defect measure is supported on the shock hypersurface and equals the energy dissipation rate given by the Rankine–Hugoniot conditions. In the inhomogeneous incompressible case the same localization argument yields a defect measure that vanishes identically on any codimension-one set, because the divergence-free constraint and the absence of density jumps force the quadratic terms to cancel. We will insert a short paragraph in Section 4 stating these support properties and the resulting vanishing condition for the incompressible model. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper performs a direct small-scale analysis of weak solutions at shock discontinuities to derive properties of the defect measure for the isentropic compressible Euler system, then applies the identical technique to the inhomogeneous incompressible case. No load-bearing step reduces by construction to a fitted input, self-definition, or self-citation chain; the central distinction between compressible and incompressible models follows from explicit comparison under standard weak-solution assumptions without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. No explicit free parameters or invented entities are mentioned. The work relies on standard background results for weak solutions of the Euler system.

axioms (2)
  • standard math Existence and basic properties of weak solutions to the isentropic compressible Euler system
    Invoked implicitly when studying local energy balance for such solutions.
  • domain assumption The defect measure is well-defined and can be localized at discontinuities
    Central to the fine-scale analysis at shocks.

pith-pipeline@v0.9.0 · 5387 in / 1305 out tokens · 30967 ms · 2026-05-11T03:09:05.617657+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages · 1 internal anchor

  1. [1]

    Alinhac, Blowup for nonlinear hyperbolic equations , Prog

    S. Alinhac, Blowup for nonlinear hyperbolic equations , Prog. Nonlinear Differ. Equ. Appl., vol. 17, Boston: Birkh¨ auser, 1995 (English)

    work page 1995

  2. [2]

    Aluie, Scale decomposition in compressible turbulence, Phys

    H. Aluie, Scale decomposition in compressible turbulence, Phys. D 247 (2013), 54–65

    work page 2013

  3. [3]

    Ambrosio, Transport equation and Cauchy problem for BV vector fields, Invent

    L. Ambrosio, Transport equation and Cauchy problem for BV vector fields, Invent. Math. 158 (2004), no. 2, 227–260

    work page 2004

  4. [4]

    Ambrosio, A

    L. Ambrosio, A. Coscia, and G. Dal Maso, Fine properties of functions with bounded deformation , Arch. Rational Mech. Anal. 139 (1997), no. 3, 201–238

    work page 1997

  5. [5]

    Ambrosio, G

    L. Ambrosio, G. Crippa, and S. Maniglia, Traces and fine properties of a BD class of vector fields and applications , Ann. Fac. Sci. Toulouse Math. (6) 14 (2005), no. 4, 527–561

    work page 2005

  6. [6]

    Ambrosio, N

    L. Ambrosio, N. Fusco, and D. Pallara, Functions of bounded variation and free discontinuity problems , Oxford Mathe- matical Monographs, The Clarendon Press, Oxford University Press, New York, 2000

    work page 2000

  7. [7]

    Buckmaster, T

    T. Buckmaster, T. D. Drivas, S. Shkoller, and V. Vicol, Simultaneous development of shocks and cusps for 2D Euler with azimuthal symmetry from smooth data , Ann. PDE 8 (2022), no. 2, Paper No. 26, 199

    work page 2022

  8. [8]

    Buckmaster, S

    T. Buckmaster, S. Shkoller, and V. Vicol, Formation of shocks for 2D isentropic compressible Euler , Comm. Pure Appl. Math. 75 (2022), no. 9, 2069–2120

    work page 2022

  9. [9]

    Pure Appl

    , Formation of point shocks for 3D compressible Euler , Comm. Pure Appl. Math. 76 (2023), no. 9, 2073–2191

    work page 2023

  10. [10]

    Pure Appl

    , Shock formation and vorticity creation for 3D Euler , Comm. Pure Appl. Math. 76 (2023), no. 9, 1965–2072

    work page 2023

  11. [11]

    G.-Q. Chen, G. E. Comi, and M. Torres, Cauchy fluxes and Gauss-Green formulas for divergence-measure fields over general open sets, Arch. Ration. Mech. Anal. 233 (2019), no. 1, 87–166

    work page 2019

  12. [12]

    G.-Q. Chen, M. Torres, and W. P. Ziemer, Gauss-Green theorem for weakly differentiable vector fields, sets of finite perimeter, and balance laws , Comm. Pure Appl. Math. 62 (2009), no. 2, 242–304

    work page 2009

  13. [13]

    Ming Chen and C

    R. Ming Chen and C. Yu, Onsager’s energy conservation for inhomogeneous Euler equations , J. Math. Pures Appl. (9) 131 (2019), 1–16

    work page 2019

  14. [14]

    Christodoulou, The formation of shocks in 3-dimensional fluids , EMS Monographs in Mathematics, European Mathe- matical Society (EMS), Z¨ urich, 2007

    D. Christodoulou, The formation of shocks in 3-dimensional fluids , EMS Monographs in Mathematics, European Mathe- matical Society (EMS), Z¨ urich, 2007

    work page 2007

  15. [15]

    , The shock development problem , EMS Monographs in Mathematics, European Mathematical Society (EMS), Z¨ urich, 2019

    work page 2019

  16. [16]

    Constantin, W

    P. Constantin, W. E, and E. S. Titi, Onsager’s conjecture on the energy conservation for solutions of Euler’s equation , Comm. Math. Phys. 165 (1994), no. 1, 207–209

    work page 1994

  17. [17]

    Crippa, The flow associated to weakly differentiable vector fields , Tesi

    G. Crippa, The flow associated to weakly differentiable vector fields , Tesi. Scuola Normale Superiore di Pisa (Nuova Series) [Theses of Scuola Normale Superiore di Pisa (New Series)], vol. 12, Edizioni della Normale, Pisa, 2009. 22

    work page 2009

  18. [18]

    Preprint arXiv:2405.11486 , 2024

    G. Crippa, L. De Rosa, M. Inversi, and M. Nesi, Normal traces and applications to continuity equations on bounded domains, Preprint available at arXiv:2405.11486 (2024)

    work page arXiv 2024

  19. [19]

    C. M. Dafermos, Continuous solutions for balance laws , Ric. Mat. 55 (2006), no. 1, 79–91

    work page 2006

  20. [20]

    325, Springer-Verlag, Berlin, 2016

    , Hyperbolic conservation laws in continuum physics , Fourth, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 325, Springer-Verlag, Berlin, 2016

    work page 2016

  21. [21]

    De Rosa and M

    L. De Rosa and M. Inversi, Dissipation in Onsager’s Critical Classes and Energy Conservation in BV ∩ L∞ with and Without Boundary, Comm. Math. Phys. 405 (2024), no. 1, 6

    work page 2024

  22. [22]

    De Rosa, M

    L. De Rosa, M. Inversi, and M. Nesi, Dissipation for codimension 1 singular structures in the incompressible Euler equations, Nonlinearity 39 (2026), no. 2, Paper No. 025002, 16

    work page 2026

  23. [23]

    Del Nin, Rectifiability of the jump set of locally integrable functions , Ann

    G. Del Nin, Rectifiability of the jump set of locally integrable functions , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 22 (2021), no. 3, 1233–1240

    work page 2021

  24. [24]

    T. D. Drivas, Mathematical theorems on Turbulence (2026). Preprint available at arXiv:2601.09619

    work page arXiv 2026

  25. [25]

    Duchon and R

    J. Duchon and R. Robert, Inertial energy dissipation for weak solutions of incompressible Euler and Navier-Stokes equa- tions, Nonlinearity 13 (2000), no. 1, 249–255

    work page 2000

  26. [26]

    L. C. Evans and R. F. Gariepy, Measure theory and fine properties of functions , Chapman & Hall/CRC, 2015

    work page 2015

  27. [27]

    G. L. Eyink, Besov spaces and the multifractal hypothesis , 1995, pp. 353–375. Papers dedicated to the memory of Lars Onsager

    work page 1995

  28. [28]

    A. J. Favre, Statistical equations of turbulent gases , Problems of hydrodynamics and continuum mechanics, 1969, pp. 231–

    work page 1969

  29. [29]

    Proceedings of a symposium in honor of A. N. Kolmogorov

    work page

  30. [30]

    Federer, Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York, Inc., New York, 1969

    H. Federer, Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York, Inc., New York, 1969

    work page 1969

  31. [31]

    Feireisl, P

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

    work page 2017

  32. [32]

    Fine dissipative properties of Euler solutions with measure first derivatives

    M. Inversi, Fine dissipative properties of Euler solutions with measure first derivatives (2025). Prepring available at arXiv:2510.10704

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  33. [33]

    Inversi and A

    M. Inversi and A. Violini, Inhomogeneous incompressible Euler with codimension 1 singular structures (2024). Preprint available at arXiv:2412.09493

    work page arXiv 2024

  34. [34]

    P. D. Lax, Hyperbolic systems of conservation laws and the mathematical theory of shock waves , CBMS-NSF Reg. Conf. Ser. Appl. Math., vol. 11, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1973 (English)

    work page 1973

  35. [35]

    Onsager, Statistical hydrodynamics, Nuovo Cimento (9) 6 (1949), no

    L. Onsager, Statistical hydrodynamics, Nuovo Cimento (9) 6 (1949), no. Supplemento, 2 (Convegno Internazionale di Meccanica Statistica), 279–287

    work page 1949

  36. [36]

    Shvydkoy, On the energy of inviscid singular flows , J

    R. Shvydkoy, On the energy of inviscid singular flows , J. Math. Anal. Appl. 349 (2009), no. 2, 583–595

    work page 2009

  37. [37]

    Temam and G

    R. Temam and G. Strang, Functions of bounded deformation , Arch. Rational Mech. Anal. 75 (1980/81), no. 1, 7–21

    work page 1980

  38. [38]

    Wu, Onsager’s energy conservation of solutions for density-dependent Euler equations in Td, Nonlinear Anal

    X. Wu, Onsager’s energy conservation of solutions for density-dependent Euler equations in Td, Nonlinear Anal. 233 (2023), Paper No. 113300, 10

    work page 2023

  39. [39]

    Zinchenko and J

    G. Zinchenko and J. Schumacher, Extending the Duchon–Robert framework for anomalous dissipation to compressible fluid flows, Phys. Rev. Fluids 11 (2026Feb), 024603. (M. Inversi) Max Planck Institute for Mathematics in the Sciences, Inselstrasse 22, 04103, Leipzig, Germany. Email address: marco.inversi@mis.mpg.de 23

    work page