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
-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.
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.
Recommended by Dr Theodore Dimitrios Drivas
Footnotes
- 3
More generally, given u in a certain class, any assumption on the external force which makes
well-defined suffices. - 4
Here we are tacitly assuming that x is picked in any compact subset of Ω and
is sufficiently small so that
. - 5
Here we are using that
since
is a symmetric matrix. - 6
More generally,
must be a measure absolutely continuous with respect to Lebesgue [1]. - 7
Here
denotes the symmetric difference between two sets, i.e.
. - 8
Since
, also
. - 9
Here we adopt the usual convention that u is a column vector.
- 10
is the singular part of
with respect to
.












