[go: up one dir, main page]

PaperThe following article is Open access

Dissipation for codimension 1 singular structures in the incompressible Euler equations

, and

Published 4 February 2026 © 2026 The Author(s). Published by IOP Publishing Ltd and the London Mathematical Society.
, , Citation Luigi De Rosa et al 2026 Nonlinearity 39 025002DOI 10.1088/1361-6544/ae3c51

0951-7715/39/2/025002

Abstract

We consider weak solutions to the incompressible Euler equations. It is shown that energy conservation holds in any Onsager critical class in which smooth functions are dense. The argument is independent of the specific critical regularity and the underlying PDE. This groups several energy conservation results and it suggests that critical spaces where smooth functions are dense are not at all different from subcritical ones, although possessing the ‘minimal’ regularity index. Then, we study properties of the dissipation D in the case of bounded solutions that are allowed to jump on $\mathcal H^d$-rectifiable space-time sets Σ, which are the natural dissipative regions in the compressible setting. As soon as both the velocity and the pressure possess traces on Σ, it is shown that Σ is D-negligible. The argument makes the role of the incompressibility very apparent, and it prevents dissipation on codimension 1 sets even if they happen to be densely distributed. As a corollary, we deduce energy conservation for bounded solutions of ‘special bounded deformation’, providing the first energy conservation criterion in a critical class where only an assumption on the ‘longitudinal’ increment is made, while the energy flux does not vanish for kinematic reasons.

Export citation and abstractBibTeXRIS

Original content from this work may be used under the terms of the Creative Commons Attribution 4.0 license. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.

Footnotes

  • More generally, given u in a certain class, any assumption on the external force which makes $f\cdot u$ well-defined suffices.

  • Here we are tacitly assuming that x is picked in any compact subset of Ω and $\ell$ is sufficiently small so that $x+\ell z\in \Omega$.

  • Here we are using that $R_\ell : \nabla u_\ell = R_\ell: E u_\ell$ since $R_\ell$ is a symmetric matrix.

  • More generally, $\text{div}\,\,u$ must be a measure absolutely continuous with respect to Lebesgue [1].

  • Here $\triangle$ denotes the symmetric difference between two sets, i.e. $A\triangle B = (A\setminus B) \cup (B\setminus A)$.

  • Since $(E u)_\ell, (E^a u)_\ell \in L^1_{x,t}$, also $(E^s u)_\ell \in L^1_{x,t}$.

  • Here we adopt the usual convention that u is a column vector.

  • 10 

    $E^s_{x,t} U$ is the singular part of $E_{x,t} U$ with respect to $\mathcal L^{d+1}$.

Please wait… references are loading.