Abstract:This paper is concerned with the incompressible Euler equations. In Onsager's critical classes we provide explicit formulas for the Duchon-Robert measure in terms of the regularization kernel and a family of vector-valued measures $\{\mu_z\}_z$, having some Hölder regularity with respect to the direction $z\in B_1$. Then, we prove energy conservation for $L^\infty_{x,t}\cap L^1_t BV_x$ solutions, in both the absence or presence of a physical boundary. This result generalises the previously known case of Vortex Sheets, showing that energy conservation follows from the structure of $L^\infty\cap BV$ incompressible vector fields rather than the flow having "organized singularities". The interior energy conservation features the use of Ambrosio's anisotropic optimization of the convolution kernel and it differs from the usual energy conservation arguments by heavily relying on the incompressibility of the vector field. This is the first energy conservation proof, for a given class of solutions, which fails to simultaneously apply to both compressible and incompressible models, coherently with compressible shocks having non-trivial entropy production. To run the boundary analysis we introduce a notion of "normal Lebesgue trace" for general vector fields, very reminiscent of the one for $BV$ functions. We show that having such a null normal trace is basically equivalent to have vanishing boundary energy flux. This goes beyond the previous approaches, laying down a setup which applies to every Lipschitz bounded domain. Allowing any Lipschitz boundary introduces several technicalities to the proof, with a quite geometrical/measure-theoretical flavour.

Compensated Integrability in bounded domains: Applications to gases

Integrability Propagation for a Boltzmann System Describing Polyatomic Gas Mixtures

Bilinear embedding for perturbed divergence-form operator with complex coefficients on irregular domains

Inequalities on Tent Spaces and Closed Range Integration Operators on spaces of Average Radial Integrability

Dissipation in Onsager's critical classes and energy conservation in $BV\cap L^\infty$ with and without boundary

Critical domains for certain Dirichlet integrals in weighted manifolds

Some Symmetry Results for Integral Equations Involving Wolff Potential on Bounded Domains

Functional Brunn-Minkowski Inequalities Induced by Polarity

On the gradient of the Green tensor in two-dimensional elastodynamic problems, and related integrals: Distributional approach and regularization, with application to nonuniformly moving sources

Global bounded solutions to the Boltzmann equation for a polyatomic gas

Orlicz-Lorentz Gauge Functional Inequalities for Positive Integral Operators. Revised Version

New conserved integrals and invariants of radial compressible flow in $n>1$ dimensions

Integral theorems for the gradient of a vector field, with a fluid dynamical application

Full double Hölder regularity of the pressure in bounded domains

BV regularity of the adapted entropy solutions for conservation laws with infinitely many spatial discontinuities

An elementary proof of the continuity from $L_0^2(Ω)$ to $H^1_0(Ω)^n$ of Bogovskii's right inverse of the divergence

The Baire category method for intermittent convex integration

Harnack inequalities for kinetic integral equations

Invariant weighted Bergman metrics on domains

Commutator estimates for vector fields on Besov spaces with variable smoothness and integrability