pith. sign in

arxiv: 2508.01440 · v3 · pith:JKFAHJDInew · submitted 2025-08-02 · 🧮 math.AP · math-ph· math.MP· physics.flu-dyn

Dissipation concentration in two-dimensional fluids

Pith reviewed 2026-05-19 01:33 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MPphysics.flu-dyn
keywords dissipation measureinviscid limitEuler equationstwo-dimensional fluidsdefect measurestrong compactnessvorticity measureanomalous dissipation
0
0 comments X

The pith

The dissipation in the inviscid limit of two-dimensional incompressible fluids is Lebesgue in time and absolutely continuous with respect to the defect measure of strong compactness for almost every time.

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

This paper studies the dissipation measure that appears when taking the inviscid limit of two-dimensional incompressible fluids. It shows that this dissipation is absolutely continuous with respect to the defect measure that records the failure of strong compactness in the solutions, and that the dissipation is Lebesgue in time. When the initial vorticity is merely a measure, the dissipation becomes absolutely continuous with respect to a quadratic space-time vorticity measure instead. Under additional sign or oscillation conditions the resulting dissipation measure is either trivial or spatially atomic. The analysis isolates the Batchelor-Kraichnan scale as the only relevant one and supplies new tests for whether anomalous dissipation can occur.

Core claim

The dissipation measure arising in the inviscid limit of two-dimensional incompressible fluids is Lebesgue in time. For almost every time it is absolutely continuous with respect to the defect measure of strong compactness of the solutions. When the initial vorticity is a measure, the dissipation is absolutely continuous with respect to a quadratic space-time vorticity measure. This measure is trivial if the initial vorticity has a singular part of distinguished sign, and it is spatially purely atomic if wild oscillations in time are ruled out. The dynamics at the Batchelor-Kraichnan dissipative scale are the only ones that matter, which yields new criteria for anomalous dissipation.

What carries the argument

The defect measure of strong compactness of the solutions, which records the lack of strong compactness and serves as the reference measure for the absolute continuity of the dissipation measure.

If this is right

  • The dissipation concentrates only at the Batchelor-Kraichnan dissipative scale.
  • New criteria for the presence or absence of anomalous dissipation follow directly from the absolute continuity statement.
  • When the initial vorticity has a singular part of distinguished sign the dissipation measure is the zero measure.
  • If wild time oscillations are absent the dissipation measure is spatially purely atomic.
  • Quantitative rates of dissipation and the life-span of dissipation can be read off from the defect measure.

Where Pith is reading between the lines

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

  • If the defect measure vanishes then strong compactness holds and anomalous dissipation is ruled out.
  • The same absolute-continuity relation might be tested in numerical approximations of the Euler equations with rough initial data.
  • The result links compactness-based arguments in fluid dynamics to the study of measure-valued solutions for other conservation laws.

Load-bearing premise

The solutions to the Euler equations are assumed to possess a well-defined defect measure capturing the lack of strong compactness.

What would settle it

A concrete solution or numerical example in which the dissipation measure fails to be absolutely continuous with respect to the defect measure on a set of times of positive measure.

read the original abstract

We study the dissipation measure arising in the inviscid limit of two-dimensional incompressible fluids. It is proved that the dissipation is Lebesgue in time and, for almost every time, it is absolutely continuous with respect to the defect measure of strong compactness of the solutions. When the initial vorticity is a measure, the dissipation is proved to be absolutely continuous with respect to a ''quadratic'' space-time vorticity measure. This results into the trivial measure if the initial vorticity has singular part of distinguished sign, or a spatially purely atomic measure if wild oscillations in time are ruled out. In fact, the dynamics at the Batchelor-Kraichnan dissipative scale is the only relevant one, in turn offering new criteria for anomalous dissipation. We provide kinematic examples highlighting the strengths and the limitations of our approach. Quantitative rates, dissipation life-span and steady fluids are also investigated.

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

1 major / 2 minor

Summary. The manuscript studies the dissipation measure arising in the inviscid limit of two-dimensional incompressible fluids. It proves that the dissipation is Lebesgue in time and, for almost every time, absolutely continuous with respect to the defect measure of strong compactness of the solutions. When the initial vorticity is a measure, the dissipation is absolutely continuous with respect to a quadratic space-time vorticity measure, yielding a trivial measure if the singular part has distinguished sign or a spatially purely atomic measure if wild time oscillations are ruled out. The dynamics at the Batchelor-Kraichnan dissipative scale are identified as the only relevant ones, providing new criteria for anomalous dissipation. Kinematic examples, quantitative rates, dissipation life-span, and steady fluids are also investigated.

Significance. If the central claims hold, the work provides a measure-theoretic link between anomalous dissipation and compactness defects in 2D Euler flows, with concrete consequences for measure-valued initial data and scale-specific criteria. The kinematic examples and quantitative results add concrete value for testing the approach.

major comments (1)
  1. [Abstract and defect-measure construction (near the statement of the main absolute-continuity result)] Abstract and the paragraph introducing the defect measure: the absolute continuity of the dissipation measure μ with respect to the defect measure ν of strong compactness is load-bearing for the main theorems. The argument invokes ν directly to conclude that dμ/dν exists a.e. in time, but requires explicit verification that ν (constructed via the approximating viscous sequence) captures all relevant non-compactness, including possible additional singular contributions from time oscillations at the Batchelor-Kraichnan scale. Without this, the absolute-continuity step risks being incomplete for the specific sequences used.
minor comments (2)
  1. [Abstract] The abstract places 'quadratic' in quotes for the space-time vorticity measure; a short inline definition or forward reference to its precise construction would improve readability.
  2. [Kinematic examples] In the kinematic-examples section, explicit formulas or numerical values for the dissipation and defect measures in each example would make the strengths and limitations easier to verify.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The major comment concerning the defect measure construction and absolute continuity is addressed point-by-point below. We have revised the manuscript to incorporate additional clarification on this issue.

read point-by-point responses
  1. Referee: Abstract and the paragraph introducing the defect measure: the absolute continuity of the dissipation measure μ with respect to the defect measure ν of strong compactness is load-bearing for the main theorems. The argument invokes ν directly to conclude that dμ/dν exists a.e. in time, but requires explicit verification that ν (constructed via the approximating viscous sequence) captures all relevant non-compactness, including possible additional singular contributions from time oscillations at the Batchelor-Kraichnan scale. Without this, the absolute-continuity step risks being incomplete for the specific sequences used.

    Authors: We thank the referee for this observation. The defect measure ν is constructed directly from the viscous approximating sequence as the weak-* limit of the quadratic defect measures associated with the failure of strong compactness (specifically, the difference between the viscous vorticity and its weak limit in appropriate spaces). By definition, ν therefore encodes the total non-compactness of the given sequence, which necessarily includes any contributions arising from time oscillations at the Batchelor-Kraichnan dissipative scale—the scale identified in the paper as the only relevant one for dissipation concentration. Consequently, there are no additional singular contributions from this scale that lie outside ν. The absolute continuity of the dissipation measure μ with respect to ν then follows from the Radon-Nikodym theorem applied to these space-time measures. To address the concern explicitly, we have added a clarifying sentence in the paragraph introducing the defect measure (near the statement of the main absolute-continuity result) confirming that the construction via the viscous sequence already accounts for all such non-compactness effects at the dissipative scale. revision: yes

Circularity Check

0 steps flagged

No circularity detected; derivation relies on standard measure-theoretic compactness arguments

full rationale

The paper derives properties of the dissipation measure from the assumed existence of a defect measure capturing lack of strong compactness in solutions to the 2D Euler equations. This is a standard assumption in the field for weak solutions, and the absolute continuity statements follow from analysis of these measures without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The quadratic space-time vorticity measure for measure-valued initial data is constructed via the paper's own compactness arguments rather than imported by ansatz or renaming. The approach is self-contained against external benchmarks in PDE theory, with no evidence of predictions that are forced by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard assumptions from PDE theory and measure theory for incompressible flows, with no free parameters or newly invented entities.

axioms (2)
  • domain assumption The fluid is incompressible and the velocity field satisfies the Euler equations in the inviscid limit.
    Core modeling assumption stated in the title and abstract.
  • domain assumption Sequences of solutions admit a defect measure that quantifies failure of strong compactness.
    Invoked directly to obtain absolute continuity of the dissipation measure.

pith-pipeline@v0.9.0 · 5674 in / 1396 out tokens · 62667 ms · 2026-05-19T01:33:35.465668+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.

Forward citations

Cited by 1 Pith paper

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

  1. Hamiltonian compactness and dissipation for the generalized SQG equation in the inviscid limit

    math.AP 2026-04 unverdicted novelty 7.0

    Strong compactness in the lowest norm making the nonlinearity well-defined prevents anomalous Hamiltonian dissipation for the generalized SQG equation in the inviscid limit, yielding global conservative weak solutions...

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    Albritton, E

    D. Albritton, E. Bru´ e, M. Colombo, C. De Lellis, V. Giri, M. Janisch, and H. Kwon, Instability and non- uniqueness for the 2D Euler equations, after M. Vishik , Annals of Mathematics Studies, vol. 219, Princeton University Press, Princeton, NJ, 2024

  2. [2]

    Armstrong and V

    S. Armstrong and V. Vicol, Anomalous diffusion by fractal homogenization , Annals of PDE 11 (2025), no. 1, 2

  3. [3]

    Bedrossian and V

    J. Bedrossian and V. Vicol, The mathematical analysis of the incompressible Euler and Navier-Stokes equations— an introduction, Graduate Studies in Mathematics, vol. 225, American Mathematical Society, Providence, RI, 2022

  4. [4]

    Bru´ e and M

    E. Bru´ e and M. Colombo, Nonuniqueness of solutions to the Euler equations with vorticity in a Lorentz space , Communications in Mathematical Physics 403 (2023), no. 2, 1171–1192

  5. [5]

    Bru´ e, M

    E. Bru´ e, M. Colombo, G. Crippa, C. De Lellis, and M. Sorella, Onsager critical solutions of the forced Navier- Stokes equations, Comm. Pure Appl. Anal. 23 (2024), no. 10, 1350–1366

  6. [6]

    Bru´ e, M

    E. Bru´ e, M. Colombo, and A. Kumar,Flexibility of two-dimensional Euler flows with integrable vorticity (2024). Preprint available at arXiv:2408.07934

  7. [7]

    Bru´ e and C

    E. Bru´ e and C. De Lellis, Anomalous dissipation for the forced 3D Navier–Stokes equations , Comm. in Math. Phys. 400 (2023), no. 3, 1507–1533

  8. [8]

    Buck and S

    M. Buck and S. Modena, Non-uniqueness and energy dissipation for 2D Euler equations with vorticity in Hardy spaces, Journal of Mathematical Fluid Mechanics 26 (2024), no. 2, 26

  9. [9]

    Burczak, L

    J. Burczak, L. Sz´ ekelyhidi Jr, and B. Wu, Anomalous dissipation and Euler flows (2023). Preprint available at 2310.02934

  10. [10]

    A proof of Vishik's nonuniqueness Theorem for the forced 2D Euler equation

    ´A. Castro, D. Faraco, F. Mengual, and M. Solera, A proof of Vishik’s nonuniqueness Theorem for the forced 2D Euler equation (2024). Preprint available at arXiv:2404.15995

  11. [11]

    Cheskidov, P

    A. Cheskidov, P. Constantin, S. Friedlander, and R. Shvydkoy, Energy conservation and Onsager’s conjecture for the Euler equations , Nonlinearity 21 (2008), no. 6, 1233–1252

  12. [12]

    Cheskidov, M

    A. Cheskidov, M. C. Lopes Filho, H. J. Nussenzveig Lopes, and R. Shvydkoy, Energy conservation in two- dimensional incompressible ideal fluids , Comm. Math. Phys. 348 (2016), no. 1, 129–143

  13. [13]

    Ciampa, G

    G. Ciampa, G. Crippa, and S. Spirito, Strong convergence of the vorticity for the 2D Euler equations in the inviscid limit, Archive for Rational Mechanics and Analysis 240 (2021), no. 1, 295–326

  14. [14]

    Colombo, G

    M. Colombo, G. Crippa, and M. Sorella, Anomalous dissipation and lack of selection in the Obukhov–Corrsin theory of scalar turbulence , Annals of PDE 9 (2023), no. 2, 21

  15. [15]

    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

  16. [16]

    Crippa, C

    G. Crippa, C. Nobili, C. Seis, and S. Spirito, Eulerian and Lagrangian solutions to the continuity and Euler equations with L1 vorticity, SIAM Journal on Mathematical Analysis 49 (2017), no. 5, 3973–3998

  17. [17]

    Crippa and S

    G. Crippa and S. Spirito, Renormalized solutions of the 2D euler equations , Comm. Math. Phys. 339 (2015), 191–198

  18. [18]

    De Rosa, T

    L. De Rosa, T. D. Drivas, and M. Inversi, On the support of anomalous dissipation measures , J. Math. Fluid Mech. 26 (2024), no. 4, Paper No. 56, 24

  19. [19]

    De Rosa, T

    L. De Rosa, T. D. Drivas, M. Inversi, and P. Isett, Intermittency and dissipation regularity in turbulence (2025). Preprint available at arXiv:2502.10032

  20. [20]

    De Rosa and P

    L. De Rosa and P. Isett, Intermittency and lower dimensional dissipation in incompressible fluids , Arch. Ration. Mech. Anal. 248 (2024), no. 1, Paper No. 11, 37

  21. [21]

    De Rosa and J

    L. De Rosa and J. Park, No anomalous dissipation in two-dimensional incompressible fluids (2024). Preprint available at arXiv:2403.04668

  22. [22]

    De Rosa and R

    L. De Rosa and R. Tione, Fine properties of symmetric and positive matrix fields with bounded divergence , Adv. Math. 427 (2023), Paper No. 109130, 42

  23. [23]

    Delort, Existence de nappes de tourbillon en dimension deux , Journal of the American Mathematical Society 4 (1991), no

    J.-M. Delort, Existence de nappes de tourbillon en dimension deux , Journal of the American Mathematical Society 4 (1991), no. 3, 553–586. 33

  24. [24]

    R. J. DiPerna and A. Majda, Concentrations in regularizations for 2-D incompressible flow , Comm. Pure App. Math. 40 (1987), no. 3, 301–345

  25. [25]

    , Oscillations and concentrations in weak solutions of the incompressible fluid equations , Comm. Math. Phys. 108 (1987), no. 4, 667–689

  26. [26]

    , Reduced Hausdorff dimension and concentration-cancellation for two-dimensional incompressible flow , J. Amer. Math. Soc. 1 (1988), no. 1, 59–95

  27. [27]

    Dolce and G

    M. Dolce and G. Mescolini, Self-similar instability and forced nonuniqueness: an application to the 2D Euler equations (2024). Preprint available at arXiv:2411.18452

  28. [28]

    Dom´ ınguez and D

    O. Dom´ ınguez and D. Spector, A sparse resolution of the DiPerna-Majda gap problem for 2D Euler equations (2024). Preprint available at 2409.02344

  29. [29]

    T. D. Drivas, Self-regularization in turbulence from the Kolmogorov 4/5-law and alignment , Philos. Trans. Roy. Soc. A 380 (2022), no. 2226, Paper No. 20210033, 15

  30. [30]

    T. D. Drivas, T. M. Elgindi, G. Iyer, and I.-J. Jeong, Anomalous dissipation in passive scalar transport , Archive for Rational Mechanics and Analysis (2022), 1–30

  31. [31]

    Duchon and R

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

  32. [32]

    Elgindi, M

    T. Elgindi, M. C. Lopes Filho, and H. J. Nussenzveig Lopes, Absence of anomalous dissipation for vortex-sheets (2025). Preprint available at arXiv:2504.18523

  33. [33]

    L. C. Evans, Weak convergence methods for nonlinear partial differential equations , CBMS Regional Confer- ence Series in Mathematics, vol. 74, Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1990

  34. [34]

    L. C. Evans and S. M¨ uller, Hardy spaces and the two-dimensional Euler equations with nonnegative vorticity , Journal of the American Mathematical Society 7 (1994), no. 1, 199–219

  35. [35]

    Frisch, Turbulence, Cambridge University Press, Cambridge, 1995

    U. Frisch, Turbulence, Cambridge University Press, Cambridge, 1995. The legacy of A. N. Kolmogorov

  36. [36]

    Giri and R.-O

    V. Giri and R.-O. Radu, The Onsager conjecture in 2D: a Newton-Nash iteration , Invent. Math. 238 (2024), no. 2, 691–768

  37. [37]

    Greengard and E

    C. Greengard and E. Thomann, On DiPerna-Majda concentration sets for two-dimensional incompressible flow , Comm. Pure Appl. Math. 41 (1988), no. 3, 295–303

  38. [38]

    G´ omez-Serrano, J

    J. G´ omez-Serrano, J. Park, and J. Shi,Existence of non-trivial non-concentrated compactly supported stationary solutions of the 2D Euler equation with finite energy (2021). Accepted in Memoirs of the AMS. Preprint available at arXiv:2112.03821

  39. [39]

    Hopf, ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen, Math

    E. Hopf, ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen, Math. Nachr. 4 (1951), 213– 231

  40. [40]

    Jeong and T

    I.-J. Jeong and T. Yoneda, Vortex stretching and enhanced dissipation for the incompressible 3D Navier–Stokes equations, Mathematische Annalen 380 (2021), no. 3, 2041–2072

  41. [41]

    C. J. P. Johansson and M. Sorella, Anomalous dissipation via spontaneous stochasticity with a two-dimensional autonomous velocity field (2024). Preprint available at arXiv:2409.03599

  42. [42]

    Klenke, Probability theory, Universitext, Springer-Verlag London, Ltd., London, 2008

    A. Klenke, Probability theory, Universitext, Springer-Verlag London, Ltd., London, 2008. A comprehensive course, Translated from the 2006 German original

  43. [43]

    Kolmogorov, The local structure of turbulence in incompressible viscous fluid for very large Reynold’s numbers, C

    A. Kolmogorov, The local structure of turbulence in incompressible viscous fluid for very large Reynold’s numbers, C. R. (Doklady) Acad. Sci. URSS (N.S.) 30 (1941), 301–305

  44. [44]

    Lanthaler, On concentration in vortex sheets , Partial Differ

    S. Lanthaler, On concentration in vortex sheets , Partial Differ. Equ. Appl. 4 (2023), no. 2, Paper No. 13, 39

  45. [45]

    Lanthaler, S

    S. Lanthaler, S. Mishra, and C. Par´ es-Pulido, On the conservation of energy in two-dimensional incompressible flows, Nonlinearity 34 (2021), no. 2, 1084–1135

  46. [46]

    Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace , Acta Math

    J. Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace , Acta Math. 63 (1934), no. 1, 193–248

  47. [47]

    Lions, The Concentration-Compactness Principle in the Calculus of Variations

    P.-L. Lions, The Concentration-Compactness Principle in the Calculus of Variations. The limit case, Part 1 , Revista Matem´ atica Iberoamericana (1985), 145–201

  48. [48]

    The limit case, Part 2 , Revista Matem´ atica Iberoamericana1 (1985), no

    , The Concentration-Compactness Principle in the Calculus of Variations. The limit case, Part 2 , Revista Matem´ atica Iberoamericana1 (1985), no. 2, 45–121 (eng)

  49. [49]

    , Mathematical topics in fluid mechanics. Vol. 1 , Oxford Lecture Series in Mathematics and its Appli- cations, vol. 3, The Clarendon Press, Oxford University Press, New York, 1996. Incompressible models, Oxford Science Publications

  50. [50]

    Majda, Remarks on weak solutions for vortex sheets with a distinguished sign , Indiana University Mathematics Journal (1993), 921–939

    A. Majda, Remarks on weak solutions for vortex sheets with a distinguished sign , Indiana University Mathematics Journal (1993), 921–939

  51. [51]

    Mengual and L

    F. Mengual and L. Sz´ ekelyhidi Jr,Dissipative Euler flows for vortex sheet initial data without distinguished sign , Comm. on Pure and App. Math. 76 (2023), no. 1, 163–221

  52. [52]

    H. J. Nussenzveig Lopes, A refined estimate of the size of concentration sets for 2D incompressible inviscid flow , Indiana Univ. Math. J. 46 (1997), no. 1, 165–182. 34

  53. [53]

    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

  54. [54]

    J. C. Robinson, J. L. Rodrigo, and W. Sadowski, The three-dimensional Navier-Stokes equations , Cambridge Studies in Advanced Mathematics, vol. 157, Cambridge University Press, Cambridge, 2016. Classical theory

  55. [55]

    Schochet, The weak vorticity formulation of the 2-D Euler equations and concentration-cancellation , Comm

    S. Schochet, The weak vorticity formulation of the 2-D Euler equations and concentration-cancellation , Comm. Partial Differential Equations 20 (1995), no. 5-6, 1077–1104

  56. [56]

    Struwe, Variational methods, Fourth Edition, Series of Modern Surveys in Mathematics, vol

    M. Struwe, Variational methods, Fourth Edition, Series of Modern Surveys in Mathematics, vol. 34, Springer- Verlag, Berlin, 2008. Applications to nonlinear partial differential equations and Hamiltonian systems

  57. [57]

    Vecchi and S

    I. Vecchi and S. Wu, On L1-vorticity for 2-D incompressible flow, manuscripta mathematica 78 (1993), 403–412

  58. [58]

    Instability and non-uniqueness in the Cauchy problem for the Euler equations of an ideal incompressible fluid. Part I

    M. Vishik, Instability and non-uniqueness in the Cauchy problem for the Euler equations of an ideal incompressible fluid. Part I (2018). Preprint available at arXiv:1805.09426

  59. [59]

    Instability and non-uniqueness in the Cauchy problem for the Euler equations of an ideal incompressible fluid. Part II

    , Instability and non-uniqueness in the Cauchy problem for the Euler equations of an ideal incompressible fluid. Part II (2018). Preprint available at arXiv:1805.09440. (L. De Rosa) Gran Sasso Science Institute, viale Francesco Crispi, 7, 67100 L’Aquila, Italy Email address: luigi.derosa@gssi.it (J. Park) Department of Mathematics, Yonsei university 50 Yo...