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\subset {\mathcal {M}}_{x,t}\), 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.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \subset {\mathbb {R}}^d\) be any domain with Lipschitz boundary, if any. We consider the incompressible Euler equations
in \(\Omega \times (0,T)\). When \(\partial \Omega \ne \emptyset \), the system (1.1) has to be coupled with the boundary condition \(u\cdot n|_{\partial \Omega }=0\), the latter to be interpreted in a suitable trace sense depending on the a priori regularity of u.
1.1 A brief background
Classical computations show that regular solutions of (1.1) conserve the kinetic energy, that is
One of the possibilities to interpret the Euler system is as a model for turbulent flows in the infinite Reynolds number regime. Thus, since the celebrated work of Kolmogorov [28], later on discussed by Onsager [31], it has been clear that, at first approximation, a good understanding of incompressible turbulence is subject to the study of Euler solutions violating energy conservation. After the first works by Scheffer [33] and Shnirelman [34], the construction of non-conservative (in some cases truly dissipative) solutions has been put into a rigorous mathematical framework by the convex integration methods, introduced in the context of the incompressible Euler equations by De Lellis and Székelyhidi [7, 16, 26]. The latter, together with the rigidity part proved by Constantin, E and Titi [14], soon after Eyink [21], provided an almost complete proof of the Onsager prediction about
being the sharp threshold determining energy conservation for (1.1) in the class of Hölder continuous weak solutions. See also [30] for an intermittency-based convex integration construction in Besov spaces. In view of observable turbulence, considering Besov regularity, thus not restricting to measure spatial increments in
\(L^\infty \), sounds more appropriate. We refer to Frisch [23] for an extensive discussion on the mathematical theory of fully developed turbulence.
We remark that the proof of the Onsager’s theorem is “almost complete” since the Hölder critical case
, as well as any critical Besov, is still open. Here, the term “critical” refers to any function space which makes the energy flux bounded and not vanishing. A precise definition of energy flux can be given by means of the Duchon–Robert measure from [19], which will be introduced below. Proving that a solution in a critical class conserves or dissipates energy is in general quite hard. The convex integration constructions available at the moment fail to provide Onsager’s critical solutions because of infinitesimal losses along the iterations, while the energy conservation proof fails because of having non-vanishing energy flux. However, at least from a physical point of view, considering solutions having bounded energy flux is of main importance in the understanding of fully developed turbulence, since incompressible flows in the infinite Reynolds number limit inherit such property directly from Navier–Stokes. A rigorous mathematical counterpart of that has been given in [19], proving that anomalous Euler dissipation arise, for instance, as the limit of
\(D^\nu :=\nu |\nabla u^\nu |^2\) for a
\(L^3_{x,t}\)-compact sequence of sufficiently regular vanishing viscosity solutions to the incompressible Navier–Stokes equations. The sequence
\(D^\nu \) stays bounded in
\(L^1_{x,t}\) in the natural class of solutions introduced by Leray [29]. On the opposite side, it has been also proved by the first author and Tione [17] that energy dissipation for solutions in the supercritical class is highly unstable with respect to small perturbations. More precisely, [17] proves that solutions of Euler having supercritical regularity generically exhibit infinite energy flux, as opposed to what physics predicts. The emergence of this phenomenon was previously conjectured by Isett and Oh [27]. This gives further reasons to investigate Euler flows with critical regularity, thus not simply inheriting the finiteness of the energy flux from being vanishing viscosity limits.
To the best of our knowledge, the only known Onsager’s critical class for which a complete understanding is currently available is that of classical Vortex-Sheets solutions to (1.1), that is solutions (in 2 or 3 dimensions) whose vorticity is concentrated on a regular surface (or a curve when \(d=2\)). Shvydkoy [35] proved energy conservation for Vortex-Sheets, provided the regular evolution in time of the sheet. Indeed their energy flux is a priori non-vanishing, but the fact that they solve (1.1) forces the normal component of the velocity to be continuous across the sheet, together with having a continuous Bernoulli’s pressure \(\frac{|u|^2}{2}+p\). This is sufficient to prove that there is no energy dissipation in any space-time region. An additional folklore point of view is the following: in Onsager’s critical classes, if singularities happen to be “organized”, then there is no possibility for energy gaps.
In view of the aforementioned issues, this paper proves two main results. The first is to provide a formula for the energy flux of Onsager’s critical vector fields, not necessarily solving the incompressible Euler equations, in which the convolution kernel used to define the flux appears explicitly. In our second result, by optimizing the choice of the kernel, we prove local interior energy conservation for \(L^1_t BV_x\cap L^\infty _{x,t}\) solutions to (1.1). Moreover, we analyse the role of physical boundaries, introducing a notion a normal boundary trace and studying how it is linked to the conservation of the total kinetic energy. The precise statements are given here below.
1.2 Main results
Recall from Duchon and Robert [19] that, whenever
, there exists a space-time distribution
\(D[u]\in {\mathcal {D}}'_{x,t}\) such that
where
with
and where \(\delta _{\xi } u (x,t):= u(x+\xi ,t)-u(x,t)\), for any \(\xi \in {\mathbb {R}}^d\). In (1.3) every
is allowed, but nonetheless the limiting D[u] does not depend on the choice of
\(\rho \). Note that when
\(\Omega \) is a bounded open set, (1.3) makes sense if
and
\(\varepsilon <\textrm{dist}({\overline{O}},\partial \Omega )\). The latter restriction is enough to define the distributional limit of
\(D_\varepsilon [u]\), since we only need
It makes sense to define \(D_\varepsilon [u]\) for every vector field u, thus not necessarily restricting to solutions of Euler. In this setting, the local energy flux of u can be defined as
![](http://media.springernature.com/lw334/springer-static/image/art%3A10.1007%2Fs00220-023-04922-3/MediaObjects/220_2023_4922_Equ5_HTML.png)
It is then natural to define Onsager’s critical class any space X in which \(D_\varepsilon [u]\) stays bounded in \(L^1_{\textrm{loc}}\) if \(u\in X\), without having the limit in (1.5) equal to zero. Note that having \(D_\varepsilon [u]\) bounded in \(L^1_{\textrm{loc}}\) guarantees, possibly passing to subsequences, that D[u] belongs to the space of (signed) Radon measures, the latter denoted by \({\mathcal {M}}_\textrm{loc}\). In view of the mathematical theory of fully developed turbulence, the most natural critical class is (see Sect. 2 for a precise definition), but more general spaces can be considered. Indeed, requiring more than
of a derivative in \(L^3\) forces the limit (1.5) to be zero [14, 19]. See also [13] for sharper, still subcritical, results.
Our first result provides a formula for the limit measure D[u] when u has critical regularity, in which the dependence on the kernel \(\rho \) is explicit. For \(p\in [1,\infty ]\) we will denote by \(p'\in [1,\infty ]\) its conjugate exponent, by \(B_1\) the unit ball centered at the origin and by \(\Vert \mu \Vert _{{\mathcal {M}}(K)}\) the total variation of a measure \(\mu \) over the set K (see Sect. 2 for the precise definition).
Theorem 1.1
(Onsager’s critical measure). Let \(u:\Omega \times (0,T)\rightarrow {\mathbb {R}}^d\) be a vector field such that
![](http://media.springernature.com/lw452/springer-static/image/art%3A10.1007%2Fs00220-023-04922-3/MediaObjects/220_2023_4922_Equ6_HTML.png)
or
![](http://media.springernature.com/lw242/springer-static/image/art%3A10.1007%2Fs00220-023-04922-3/MediaObjects/220_2023_4922_Equ7_HTML.png)
or
for all and
open sets. Let D[u] be any weak limit, in the sense of measures, of the sequence \(D_\varepsilon [u]\) defined in (1.3), with \(\rho \in {\mathcal {K}}\). There exists a map \(\mu \in C^{0}({\overline{B}}_1; {\mathcal {M}}_{\textrm{loc}}(\Omega \times (0,T); {\mathbb {R}}^d ) ) \) independent of \(\rho \) such that
In particular, if D[u] does not depend on the convolution kernel, we have that
Moreover, \(\mu \) enjoys the following properties.
-
(i)
Hölder continuity: for any compact set \(K\subset \Omega \times (0,T)\) there exists a constant \(C=C(u,K)>0\) such that
$$\begin{aligned} (1.6)\, \Longrightarrow \,\left\| \mu _{z_1} - \mu _{z_2}\right\| _{{\mathcal {M}}(K)}&\le C \left| z_1-z_2\right| ^{\alpha _p}\left( |z_1|^{\beta _p}+ |z_2|^{\beta _p}\right) , \end{aligned}$$(1.11)$$\begin{aligned} (1.7)\, \Longrightarrow \,\left\| \mu _{z_1} - \mu _{z_2}\right\| _{{\mathcal {M}}(K)}&\le C \left| z_1-z_2\right| ^\frac{1}{2}\left( |z_1|^\frac{1}{2}+|z_2|^\frac{1}{2} \right) , \end{aligned}$$(1.12)$$\begin{aligned} (1.8)\, \Longrightarrow \,\left\| \mu _{z_1} - \mu _{z_2}\right\| _{{\mathcal {M}}(K)}&\le C \left| z_1-z_2\right| , \end{aligned}$$(1.13)for all \(z_1,z_2\in {\overline{B}}_1\), where
$$\begin{aligned} \alpha _p:=\max \left( \frac{1}{p},\frac{1}{2p'} \right) \quad \text {and}\quad \beta _p:=\min \left( \frac{1}{p'},\frac{p+1}{2p}\right) ; \end{aligned}$$ -
(ii)
Vanishing at the origin: \( \mu _0 \equiv 0 \) as an element of \({\mathcal {M}}_{\textrm{loc}} (\Omega \times (0,T);{\mathbb {R}}^d)\);
-
(iii)
Odd: for any \(\rho \in {\mathcal {K}}\) it holds
$$\begin{aligned} \int _{B_1}\nabla \rho (z)\cdot \langle \mu _{-z},\varphi \rangle \,dz=-\int _{B_1}\nabla \rho (z)\cdot \langle \mu _{z},\varphi \rangle \,dz \qquad \forall \varphi \in C_c(\Omega \times (0,T)). \end{aligned}$$
The critical spaces (1.6)–(1.8) identified in the above theorem are just particular choices, perhaps in view of relevant regularities in the mathematical theory of fully developed turbulence and structure function exponents, but more general critical classes exist. See for instance the recent works [5, 6] which identify sharper relations between time integrability and spatial fractional regularity.
We prove Theorem 1.1 in Sect. 3, where we also present some results on the support of the dissipation measure as well as the case of vector fields with “bounded deformation”. It will be clear from the proof that the constant C in the above statement can be written explicitly in terms of the corresponding local norms of u. We remark that \(p=3\) is the critical value that determines the expression of \(\alpha _p\) and \(\beta _p\), that is Hölder regularity of the measures \(\mu _z\) in the direction z. Indeed
The proof of Theorem 1.1 is based on an Ascoli–Arzelá argument on the cubic expression appearing in the sequence \(D_\varepsilon [u]\). Indeed, we show that having any critical Besov regularity guarantees equi-continuity with respect to z of the operator in (1.3), being trilinear with respect to the displacements \(\delta _{\varepsilon z} u\). This allows us to define the family of vector-valued measures \(\mu _z\), having Hölder continuity with respect to z. We emphasize that we are not able to prove that the measure \(\mu _z\) is unique, not even if u solves Euler, since it is obtained by compactness and up to subsequences. Further formulas for specific choices of \(\rho \) are discussed in Sect. 3.
Having an explicit dependence on \(\rho \) makes possible to optimize its choice whenever D[u] does not depend on the kernel, that is, for instance, the case in which u solves (1.1). Then, it is natural to wonder whether the infimum in (1.10) can be shown to be zero in some Onsager’s critical class. We prove that this is the case for incompressible vector fields \(u\in L^1_t BV_x\cap L^\infty _{x,t}\).
Theorem 1.2
Let \(u:\Omega \times (0,T)\rightarrow {\mathbb {R}}^d\) be a divergence-free vector field such that
for all and
open sets. Let D[u] be any weak limit, in the sense of measures, of the sequence \(D_\varepsilon [u]\). If D[u] is independent on the choice of \(\rho \), then
In the statement above we used the notation \(|\mu |\) to denote the variation of a signed Radon measure \(\mu \) (see Sect. 2). Since from [19] we know that the sequence \(D_\varepsilon [u]\) has a unique limit which does not depend on the kernel \(\rho \) when u solves the incompressible Euler system, we deduce local energy conservation for solutions to (1.1) in the class (1.14).
The proof of Theorem 1.2 is based on Ambrosio’s anisotropic optimization of the kernel that has been introduced in [2] to prove the renormalization property for weak solutions to the transport equations with BV vector fields, and it heavily relies on the fact that u is divergence-free. In particular, the same approach would fail, and it has to do so, in the compressible context. For instance, Burgers shocks enjoy the same critical regularity \(L^\infty \cap BV\), and they enjoy an analogous version of the formulas given in Theorem 1.1, while having non-trivial dissipation measure. Thus, the approach we use here is quite different than the usual ones, since they all simultaneously apply to both compressible and incompressible models, with the exception of [35] at the price of imposing geometric constraints on singularities. More precisely, as opposite as it is usually done in the context of fluid equations, Theorem 1.2 does not follow from the strong \(L^1_\textrm{loc}\) convergence of the approximating energy fluxes, that would be \(\lim _{\varepsilon \rightarrow 0^+} \Vert D_\varepsilon [u]\Vert _{L^1_{\textrm{loc}}}=0\), but instead its proof shows that any weak limit (in the sense of measures) of \(D_\varepsilon [u]\) can be made arbitrarily small by optimizing on the choice of the kernel \(\rho \). The incompressiblity of u plays a key role in the optimization. Indeed, following Ambrosio’s argument, we prove that
for a positive measure \(\nu \) and a matrix \(M_{x,t}\) such that \(\textrm{Tr}M_{x,t}=0\) for \(\nu \)-a.e. \((x,t)\in \Omega \times (0,T)\). The measure \(\nu \) is basically given by the variation of the gradient of u, while the matrix \(M_{x,t}\) is the polar part of the Radon–Nikodym decomposition of \(\nabla u\) with respect to \(|\nabla u|\), which then has to be trace-free by the constraint \(\textrm{div}\,u=0\). Then, Alberti’s lemma (see for instance [15, Lemma 2.13]) concludes the proof by showing that
Strictly speaking, here we use a variation of Alberti’s Lemma 2.7. Indeed, instead of Mz, we consider any odd (or even), Lipschitz continuous, divergence-free vector field. This shows that having the linear structure Mz is not necessary to achieve zero in the infimum, but any incompressible vector field would suffice. We believe this generalization to be useful to investigate further Onsager’s critical classes in which the increments \(\delta _z u\), when measured in an integral sense, may not behave linearly in z as it happens in the BV case, see (2.4).
Although there are different approximations for D[u], the one proposed by Duchon and Robert (1.3) seems to be necessary in order to achieve the structure (1.15), as opposite to the one following the Constantin, E and Titi approach [14]. Details are given in Remark 4.1.
It is important to emphasise that, even if Theorem 1.2 does not require any a priori “organization of singularities”, BV functions roughly behave, at small scales, like codimension-1 singularities on rectifiable sets. This is a consequence of the celebrated Rank-one theorem by Alberti [1], which shows that the polar matrix of the singular part of the distributional gradient \(\nabla u\) has rank 1 almost everywhere with respect to its variation. However, both the fact that rectifiable sets might not look “organized” at large scales and the matrix-valued measure \(\nabla u\) having in general a non-trivial Cantor part (see for instance [3, Section 3.9]), make the above intuition a bit looser, at least globally.
Having established interior local energy conservation, we also address the case in which a physical boundary \(\partial \Omega \) is present. In this context we define the total kinetic energy by
As previously noted in [4, 18], if \(D[u]\equiv 0\) in \({\mathcal {D}}'_{x,t}\), then by (1.2) kinetic energy conservation, for instance in the sense of Definition 5.1, follows as soon as the quantity
vanishes when we let \(\varphi \in C^\infty _c(\Omega )\) converge to the indicator function of \(\Omega \). Assuming that \(P:=\frac{|u|^2}{2}+p \in L^\infty _{x,t}\), this amounts to
As emphasised in [4, 18], an assumption on the normal component of u when approaching \(\partial \Omega \) is enough to have (1.16). For instance, the continuity of the normal velocity in a neighbourhood of the boundary has been shown to be sufficient, consistently with the possible formation of a Prandtl-type boundary layer in the vanishing viscosity limit. To this end, we give a notion of “normal Lebesgue trace” on \(\partial \Omega \) (see Definition 5.2), which we will denote by \(u^{\partial \Omega }_n\). It turns out, see Proposition 5.3, that having such a notion of normal boundary trace vanishing on a portion of \(\partial \Omega \) of \({\mathcal {H}}^{d-1}\)-full measure is basically equivalent to (1.16). Differently from the previous works [4, 18] where a \(C^2\) assumption on \(\partial \Omega \) was required, our analysis applies to any domain with Lipschitz boundary. In particular, when \(\partial \Omega \) is piece-wise \(C^2\), our approach shows that no assumption on the behaviour of the normal component of u around boundary corner points is required, since they would form a \({\mathcal {H}}^{d-1}\)-negligible subset of \(\partial \Omega \).
For any set \(A\subset {\mathbb {R}}^d\) we will denote by \((A)_\varepsilon \) its \(\varepsilon \) tubular neighbourhood (see the formula (2.2)).
Theorem 1.3
(Energy conservation on bounded domains). Let u be a solution to (1.1) on a Lipschitz bounded domain \(\Omega \subset {\mathbb {R}}^d\) such that
-
(i)
\(u\in L^1(I;BV (O))\cap L^\infty (I;L^\infty (\Omega ))\) and \(p\in L^1(O\times I)\), for all
and
open;
-
(ii)
for all
there exists \(\varepsilon _0>0\) such that \(p\in L^1(I;L^\infty ((\partial \Omega )_{\varepsilon _0}\cap \Omega ))\);
-
(iii)
for almost every \(t\in (0,T)\), \(u(\cdot ,t)\) has zero Lebesgue normal boundary trace according to Definition 5.2, i.e. \(u(\cdot ,t)^{\partial \Omega }_n\equiv 0\).
Then u conserves the total kinetic energy in the sense of Definition 5.1.
Some more effective conditions which imply \(u^{\partial \Omega }_n\equiv 0\) are given in Proposition 5.5. We emphasise that, differently from [4, 18], our theorem provides kinetic energy conservation in an Onsager’s critical class. Working on general Lipschitz domains introduces several technicalities in the proof, such as the study of the Minkowski content of closed rectifiable sets, the regularity of the distance function from a Lipschitz domain and covering arguments. We collect them in Sect. 2. To conclude, in Theorem 5.6 we also state a result in which the Bernoulli’s pressure \(P=\frac{|u|^2}{2}+p\) is not necessarily bounded in a neighbourhood of the boundary. Thus P is allowed to blow-up approaching \(\partial \Omega \), provided that the normal Lebesgue boundary trace is achieved in a quantitative (in terms on how P blows-up) fast enough way.
1.3 Organization of the paper
In Sect. 2 we collect the technical results needed in the paper, such as definitions and basic properties of Besov, BV and BD spaces, properties of the distance functions from Lipschitz sets, Minkowski content of closed rectifiable sets and Ambrosio–Alberti types lemmas. Section 3 is devoted to the proof, and the analysis of some consequences, of Theorem 1.1. In Sect. 4 we discuss the proof of Theorem 1.2. Finally, in Sect. 5 we introduce the notion of “normal Lebesgue trace” and we prove Theorem 1.3, together with its generalized version Theorem 5.6. In Proposition 5.5 we discuss some effective conditions to have vanishing normal Lebesgue boundary trace, and thus energy conservation on bounded domains.
2 Notations and Technical Tools
In this section, we recall the main definitions and list the tools used throughout the manuscript. Here \(\Omega \) is any open set in \({\mathbb {R}}^d\). We will specify when we will restrict to consider bounded domains only. Moreover, we use the standard notation \(v\cdot w\) to denote the Euclidean scalar product between the two vectors v and w.
2.1 Radon measures
We denote by \({\mathcal {M}}_{\textrm{loc}}(\Omega ;{\mathbb {R}}^m)\) the space of Radon measures with values in \({\mathbb {R}}^m\), that is Borel measures, finite on compact subsets of \(\Omega \). When \(m =1\), we use the shorter notation \({\mathcal {M}}_{\textrm{loc}}(\Omega )\). Moreover, for a vector-valued measure \(\mu \) we denote by \(|\mu |\in {\mathcal {M}}_\textrm{loc}(\Omega )\) its variation, namely the positive (scalar-valued) measure defined as
We denote by \({\mathcal {M}}(\Omega ;{\mathbb {R}}^m)\) the space of finite vector-valued Radon measures on \(\Omega \), i.e. Radon vector valued-measures on \(\Omega \) such that \(|\mu |(\Omega )<\infty \). \({\mathcal {M}}(\Omega ; {\mathbb {R}}^m)\) is a Banach space, with the norm
Then, the weak convergence in \({\mathcal {M}}_{\textrm{loc}}(\Omega ;{\mathbb {R}}^m)\) of \(\mu _k\) to \(\mu \) is given by
Since \({\mathcal {M}}_{\textrm{loc}}(\Omega ;{\mathbb {R}}^m)\) is the dual of \(C^0_c(\Omega ;{\mathbb {R}}^m)\) that is a separable space, we have sequential weak-star compactness for equi-bounded sequences. See for instance [20].
We denote by \(\mu \llcorner C\) the restriction of the measure \(\mu \) to the set C, that is \(\mu \llcorner C (A):=\mu (A\cap C)\) for every Borel set A.
2.2 Besov, bounded variation and bounded deformation spaces
For \(\theta \in (0,1)\) and \(p\in [1,\infty )\) we denote by \(B^\theta _{p,\infty }({\mathbb {R}}^d)\) the space of \(L^p({\mathbb {R}}^d)\) functions, with
The full norm is then given by
With a slight abuse of notation, we define Besov functions on a bounded domain \(\Omega \) as follows: for any , define \(B^\theta _{p,\infty }(O)\) by replacing \({\mathbb {R}}^d\) in (2.1) with O, and compute the supremum all over \(|h|\le \textrm{dist}({\overline{O}},\partial \Omega )\), so that \(f(x+h)\) is well defined. For \(p=\infty \) we identify \(B^\theta _{\infty ,\infty }(\Omega )\) with \(C^\theta (\Omega )\), the space of Hölder continuous functions.
We denote by \(BV(\Omega )\) the space of functions with bounded variations, that is functions f whose distributional gradient is a finite Radon measure on \(\Omega \), i.e.
The latter definition generalises to vector fields \(f:\Omega \rightarrow {\mathbb {R}}^d\). The space of functions with bounded deformation is given by vector fields whose symmetric gradient is a finite measure, i.e.
Throughout the paper, we will denote the symmetric part of the gradient by
Recall from [3, Theorem 3.87] that functions in \(BV(\Omega )\) admit a notion of trace, on any domain \(\Omega \) with Lipschitz boundary.
Theorem 2.1
(Boundary trace). Let \(\Omega \subset {\mathbb {R}}^d\) be an open set with bounded Lipschitz boundary and \(f\in BV(\Omega ;{\mathbb {R}}^m)\). There exists a function \(f^\Omega \in L^1(\partial \Omega ;{\mathcal {H}}^{d-1})\) such that
Moreover, the extension \({\tilde{f}}\) of f to zero outside \(\Omega \) belongs to \(BV({\mathbb {R}}^d;{\mathbb {R}}^m)\) and
being \(n:\partial \Omega \rightarrow {\mathbb {S}}^{d-1}\) the inward unit normal.
In the lemma below we make use of the notation
for the \(\varepsilon \) tubular neighbourhood of a Borel set , with the implicit restriction \(2\varepsilon <\textrm{dist}( A, \partial \Omega )\) whenever \(\Omega \) has a boundary.
Lemma 2.2
(BV and BD increment estimates). Let \(\Omega \subset {\mathbb {R}}^d\), \(d\ge 2\). Suppose that \(f:\Omega \rightarrow {\mathbb {R}}^d\) belongs to \(BD_{\textrm{loc}}(\Omega ;{\mathbb {R}}^d)\). For any Borel set, and any \(z\in B_1\), we have
Moreover, if \(f\in BV_{\textrm{loc}}(\Omega ;{\mathbb {R}}^m)\), \(m\ge 1\), we have
where \(z\cdot \nabla f\) is the m-dimensional measure, whose m-th component is given by \((z\cdot \nabla f)_m:=z_i \partial _i f_m\), summing over repeated indexes as usual.
Proof
We start by proving the validity of (2.3) and (2.4) for smooth functions. The general case follows by density.
Let \(f:\Omega \rightarrow {\mathbb {R}}^d\) be smooth, and \(2\varepsilon <\textrm{dist}( A, \partial \Omega )\). For any \(x\in A\) and \(z\in B_1\) we have
Thus
If \(f\in BD_{\textrm{loc}}(\Omega )\), we consider its mollification \(f_\delta :=f*\rho _\delta \), for any \(2\delta <\textrm{dist}( A,\partial \Omega )\). Since \(f_\delta \) is smooth, by writing (2.3) for \(f_\delta \) we have
Since \(f_\delta \rightarrow f\) strongly in \(L^1_{\textrm{loc}}(\Omega )\) and \(\bigcap _{\delta >0} ((A)_\varepsilon )_\delta =\overline{(A)_\varepsilon }\), the latter inequality implies (2.3) for f,
The proof of (2.4) follows by very similar considerations, by first showing that
whenever f is smooth, and then by considering the mollification \(f_\delta \) in the general case. \(\square \)
2.3 Lipschitz sets and properties of the distance function
For a bounded open Lipschitz set \(\Omega \subset {\mathbb {R}}^d\), we denote by \(d_{\partial \Omega }:\Omega \rightarrow [0,\infty )\) the interior distance to the boundary, i.e.
The distance function \(d_{\partial \Omega }\) satisfies the properties listed in the following classical lemma, which is proved for the reader’s convenience.
Lemma 2.3
(Distance function). The function \(d_{\partial \Omega }\) is Lipschitz, thus differentiable a.e. in \(\Omega \), with \(|\nabla d_{\partial \Omega } (x)|=1\) for a.e. \(x\in \Omega \). Moreover, for almost every \(x\in \Omega \), if \(y\in \partial \Omega \) is any point such that \(d_{\partial \Omega } (x)=|x-y|\), then
It will be clear from the proof that Lemma 2.3 holds whenever one considers \(d_C (x)=\textrm{dist}(x,C)\), where \(C\subset {\mathbb {R}}^d\) is a closed set.
Proof
From the straightforward inequality
we deduce that \(d_{\partial \Omega } \in \textrm{Lip}(\Omega )\). Thus by Rademacher’s theorem \(d_{\partial \Omega }\) is differentiable a.e. in \(\Omega \), with \(|\nabla d_{\partial \Omega } |\le 1\). Let \(x\in \Omega \) be any point of differentiability. Since \(\partial \Omega \) is closed and non-empty, we can find \(y\in \partial \Omega \) such that \(d_{\partial \Omega } (x)=|x-y|\). Define \(f(t):=d_{\partial \Omega } (x+t(y-x))\), for \(t\in [0,1]\). By (2.6) we have \(f\in \textrm{Lip}([0,1])\) with \(|f'(t)|\le |y-x|\) for a.e. \(t\in [0,1]\). In addition
which forces \(f'(t)=-|x-y|\) for a.e. \(t\in [0,1]\), since \(-f'\le |y-x|\). This gives
and since we assumed x to be a differentiability point for \(d_{\partial \Omega }\), by letting \(t\rightarrow 0^+\), we deduce
By Cauchy–Schwartz we get \(1\le |\nabla d_{\partial \Omega } (x)|\), which together with (2.6) proves \(|\nabla d_{\partial \Omega }|=1\) a.e. in \(\Omega \).
Thus, let x be any point of differentiability such that \(|\nabla d_{\partial \Omega }(x)|=1\). Then (2.7), again by Cauchy-Schwartz, implies that \((y-x)\) and \(\nabla d_{\partial \Omega }(x)\) are parallel, giving (2.5). \(\square \)
We state and prove a result which will be used in the proof of Proposition 5.5 to show that any divergence-free vector field \(u\in BV(\Omega ;{\mathbb {R}}^d)\), tangent to the boundary, has zero normal Lebesgue trace according to Definition 5.2. To the best of the authors knowledge the theorem below is not standard in the literature. We thank Camillo De Lellis for the argument of the proof.
Theorem 2.4
(Distance function and normal vector). Let \(\Omega \subset {\mathbb {R}}^d\) be a bounded and Lipschitz domain. Then
where \(n:\partial \Omega \rightarrow {\mathbb {S}}^{d-1}\) denotes the inward unit normal to \(\partial \Omega \).
Let us notice that when \(\Omega \) is piece-wise \(C^2\) there is a shorter and quite classical argument to prove (2.8). Indeed in this case, up to a \({\mathcal {H}}^{d-1}\)-negligible set, \(\partial \Omega \) is locally \(C^2\), and thus \(d_{\partial \Omega }\in C^2\) (locally) by the classical theory (see for instance [24, Lemma 14.16]). Then, a straightforward computation shows that every point \(x\in \partial \Omega \) in the corresponding local neighbourhood is a Lebesgue point for \(\nabla d_{\partial \Omega }\). As we will see, the proof for general Lipschitz domains is more delicate. Differently from Lemma 2.3, here the Lipschitz regularity of \(\partial \Omega \) plays a crucial role.
Proof
For sake of clarity, let us divide the proof into steps.
-
1.
Rewriting of (2.8). Since \(\Omega \) is a Lipschitz domain, for \({\mathcal {H}}^{d-1}\)-a.e. point \(p=(p_1,\dots ,p_{d-1},p_d)=:({\overline{p}}, p_d)\in \partial \Omega \), there exists \(r>0\), a Lipschitz map \(\psi \) and a coordinate system such that \(\partial \Omega \cap B_r(p)\) is the graph of \(\psi \), with \({\overline{p}}\) a point of differentiability for \(\psi \). After rotating the coordinates and possibly taking a smaller radius \(r'<r\), we can assume \(\nabla \psi ({\overline{p}})=0\). In such a case we define the interior normal to \(\partial \Omega \) in \(p=(\overline{p}, p_d)\) as \(n(p)=(0,\dots ,0,1)=e_d\). Moreover, we can further assume that \({\overline{p}}=0\) and \(p_d=\psi ({\overline{p}})=0\), that is \(p=0\). Thus, in the above notation, we have to prove that
$$\begin{aligned} \lim _{r\rightarrow 0^+}\frac{1}{r^d}\int _{\Omega \cap B_r(0)} |\nabla d_{\partial \Omega }(x)-e_d|\,dx=0. \end{aligned}$$(2.9) -
2.
Main claim. We claim that \(\forall \eta ,\varepsilon >0\) there exists \(r_0=r_0(\eta ,\varepsilon )>0\) such that the following property holds. If \(r<r_0\), \(x\in B_r(0)\cap \left\{ |x_d|\ge \eta r\right\} \) and \(y\in \partial \Omega \) is such that \(d_{\partial \Omega }(x)=|x-y|\), then
$$\begin{aligned} \left| \frac{x-y}{|x-y|}-e_d\right| < \varepsilon . \end{aligned}$$Let us show how the claim gives (2.9). We postpone the proof of the claim soon after.
-
3.
Proof of (2.9) assuming the claim. Fix \(\eta =\varepsilon >0\). From Lemma 2.3 together with the above claim we have
$$\begin{aligned} \int _{\Omega \cap B_r(0)} |\nabla d_{\partial \Omega } (x)-e_d|\,dx&\le 2 {\mathcal {H}}^d\left( B_r(0)\cap \left\{ |x_d|\le \varepsilon r \right\} \right) \\&\quad + \int _{ B_r(0)\cap \left\{ |x_d|\ge \varepsilon r \right\} }\left| \frac{x-y(x)}{|x-y(x)|}-e_d\right| \,dx\\&\le C \varepsilon r^d, \end{aligned}$$where y(x) is any point on \(\partial \Omega \) such that \(d_{\partial \Omega } (x)=|x-y(x)|\). This proves that
$$\begin{aligned} \limsup _{r\rightarrow 0^+}\frac{1}{r^d}\int _{\Omega \cap B_r(0)} |\nabla d_{\partial \Omega }(x)-e_d|\,dx\le C\varepsilon , \end{aligned}$$from which (2.9) directly follows by the arbitrariness of \(\varepsilon >0\).
-
4.
Proof of the claim. We run the proof by contradiction. If the conclusion would be false, we could find \(\varepsilon ,\eta >0\) and \(x_k,y_k, r_k\) such that
-
(i)
\(x_k=({\overline{x}}_k, (x_k)_d)\in \Omega \cap B_{r_k}(0)\), with \(r_k\rightarrow 0^+\) as \(k\rightarrow \infty \);
-
(ii)
\(|( x_k)_d|\ge \eta r_k\);
-
(iii)
\(y_k=({\overline{y}}_k,(y_k)_d)\in \partial \Omega \) such that \(d_{\partial \Omega }(x_k)=|y_k-x_k|\);
-
(iv)
\(\left| \frac{x_k-y_k}{|x_k-y_k|}-e_d\right| \ge \varepsilon \).
-
(i)
Since \(0\in \partial \Omega \), then \(|y_k-x_k|\le |x_k|\le r_k\). Moreover, \((y_k)_d=\psi ( {\overline{y}}_k)\), and from \(\nabla \psi (0)=0\), \(\psi (0)=0\) and \(|{\overline{y}}_k|\le |y_k|\le |y_k-x_k|+|x_k|\le 2r_k\), we have
Thus, by (ii) we obtain
if k is chosen large enough. Moreover, by (ii) and (2.10), we also have
In particular, (2.10) and (2.11) imply that
Then, together with (2.12), we infer the expansion
Thus
Then (iv) implies that necessarily
for some \(\tilde{\varepsilon }=\tilde{\varepsilon }(\eta ,\varepsilon )>0\). But (2.13) contradicts the minimality of \(y_k\). Indeed, letting \(z_k:=({\overline{x}}_k,\psi ({\overline{x}}_k))\), since \(\nabla \psi (0)=0\) and \(\psi (0)=0\), we have
On the other hand, (2.13) implies
where in the first equality we have also used (2.12). It is clear that (2.14), together with (2.15), yields to a contradiction, since
\(\square \)
2.4 Minkowski content and rectifiable sets
For all \(m\ge 1\), we let \(\omega _m:={\mathcal {H}}^m (B_1)\) to be the m-dimensional volume of the unit ball \(B_1\subset {\mathbb {R}}^m\). We also keep the notation \((A)_\varepsilon \) introduced in (2.2) for the \(\varepsilon \)-tubular neighbourhood.
Proposition 2.5
(Minkowski content of rectifiable sets). Let \(\Omega \subset {\mathbb {R}}^d\) be a bounded domain with Lipschitz boundary \(\partial \Omega \). If \(C\subset \partial \Omega \) is closed in the induced topology of \(\partial \Omega \), then
Moreover, there exists a dimensional constant \(c>0\) such that
Proof
Since \(\partial \Omega \) is \((d-1)\)-rectifiable and C is closed in \({\mathbb {R}}^d\), (2.16) follows by [22, Theorem 3.2.39].
Let \(\varepsilon _k\rightarrow 0^+\) be any sequence. Since \(\partial \Omega \) is Lipschitz, by [3, Theorem 3.61] there exists , with
, such that
![](http://media.springernature.com/lw369/springer-static/image/art%3A10.1007%2Fs00220-023-04922-3/MediaObjects/220_2023_4922_Equ191_HTML.png)
Pick any \(\delta >0\), which will be fixed at the end of the proof. By Egorov’s theorem we can find , closed in the induced topology of \(\partial \Omega \), such that
and
Consider the covering
and extract a disjoint Vitali subcovering \(\left\{ B_\varepsilon (x_i)\right\} _{i=1}^{N_\varepsilon }\) such that
Thus, since \(A_\delta \subset {\mathbb {R}}^d\) is closed and \((d-1)\)-rectifiable, by (2.16) we obtain
for some dimensional constant \(c>0\). By (2.18) and since the family \(\left\{ B_\varepsilon (x_i)\right\} _{i=1}^{N_\varepsilon }\) is disjoint, we find \(k_0\in {\mathbb {N}}\) sufficiently large (recall that \(\varepsilon _k\rightarrow 0^+\)) such that, for all \(k\ge k_0\), we bound from below
In particular, by (2.19) we obtain
Hence, since the sequence \(\varepsilon _k\rightarrow 0^+\) was arbitrary, we obtain (2.17) by choosing \(2\delta ={\mathcal {H}}^{d-1}(C)\). \(\square \)
2.5 A one-sided Egorov lemma
We have the following “one-sided” Egorov-type convergence result.
Lemma 2.6
(One-sided Egorov). Let \((X,\mu )\) be a finite measure space, \(L\in {\mathbb {R}}\) and \(f_n\) a sequence of measurable functions such that \(\liminf _{n\rightarrow \infty } f_n (x) \ge L\) for \(\mu \)-a.e. \(x\in X\). For every \(\delta >0\) there exists \(A_\delta \subset X\) such that \(\mu (A_\delta ^c)<\delta \) and
Proof
Since \(\liminf _{n\rightarrow \infty } f_n \ge L\) \(\mu \)-a.e. in X, for every \(k\in {\mathbb {N}}\), the set
has full measure in X. For every k fixed, the sets
form an increasing family with respect to \(N\ge 1\), and since \(\mu (X)<\infty \), we deduce that
Fix \(\delta >0\). For every \(k\in {\mathbb {N}}\) we can find \(N_k=N_k(\delta )\in {\mathbb {N}}\) such that \(\mu (A_{N_k,k}^c)<\delta 2^{-k}\), from which
Thus define \(A_\delta := \bigcap _{k=1}^\infty A_{N_k,k}\). Clearly \(A_\delta \subset A_{N_m,m}\) for every \(m\in {\mathbb {N}}\). Thus let \(x\in A_\delta \) and \(m\in {\mathbb {N}}\) be arbitrary. In particular \(x\in A_{N_m,m}\), that is
Since \(N_m\) does not depend on x, we deduce
which implies
The proof is concluded since \(m\in {\mathbb {N}}\) was arbitrary. \(\square \)
2.6 Alberti–Ambrosio anisotropic kernel optimization
Here we prove a variation of the so called Alberti’s lemma, which was introduced to prove the renormalization property of weak solutions to the transport equations with BV vector fields, first established by Ambrosio [2]. Actually, in the original proof, Ambrosio performed the optimization of the kernel by exploiting the rank-one structure of the singular part of the gradient of BV function, a deep result in Geometric Measure Theory also due to Alberti [1]. Alberti’s lemma provides a shortcut to optimize the choice of the kernel without relying on too deep theories.
Note that the kernels used in the next lemma are compactly supported, but not necessarily in \(B_1\), and not smooth.
Lemma 2.7
(Alberti). Let \(\eta : {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d\) be a Lipschitz vector field. Assume that \(\eta \) is either odd or even and \(\textrm{div}\,\eta \) is a constant. Let
Then, we have that
Usually Alberti’s lemma (see for instance [15, Lemma 2.13]) assumes that \(\eta (z)=Mz\), for a given matrix M, and proves that the infimum equals \(|\textrm{Tr}M|\). Here we preferred to state the version with a general Lipschitz vector field \(\eta \) since it might be of better use in contexts in which the linearity in z is missing. For instance, this might be the case in proving energy conservation for incompressible Euler in an Onsager’s critical class different from \(BV\cap L^\infty \).
Proof
Letting \(X: [0,+\infty ) \times {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d\) be the flow generated by the vector field \(\eta \), by the classical Cauchy–Lipschitz theory we have that \(X_t\) is a bi-Lipschitz transformation with Lipschitz constants proportional to \(e^{Lt}\), where L is the Lipschitz constant of \(\eta \). Since \(\eta \) is odd (or even), we infer that \(X_t, X_t^{-1}\) are odd (or even) for any time slice \(t \in [0, +\infty )\). We split the proof in the two cases \(\textrm{div}\,\eta =0\) and \(\textrm{div}\,\eta \ne 0\).
-
1.
Case \(\textrm{div}\,\eta =0\). Since \(\eta \) is incompressible, then \(X_t, X_t^{-1}\) are measure preserving. Fix a convolution kernel \(\theta \in {\mathcal {K}}\) (see (1.4)) and, for any \(T>0\), define
$$\begin{aligned} \rho _T(z) := \frac{1}{T} \int _0^T \theta (X_t^{-1}(z))\, dt. \end{aligned}$$(2.21)It is immediate to see that \(\rho _T\) is even, non-negative and Lipschitz, with Lipschitz constant proportional to \(e^{LT}\) and \(\rho _T\) has compact support. Moreover, we have that
$$\begin{aligned} \int _{{\mathbb {R}}^d} \rho _T(z) \, dz = \frac{1}{T} \int _0^T \int _{{\mathbb {R}}^d} \theta (X_t^{-1}(z))\, dz \, dt = \frac{1}{T} \int _0^T \int _{{\mathbb {R}}^d} \theta (z)\, dz \, dt = 1. \end{aligned}$$Therefore, we have that \(\rho _T \in {\mathcal {K}}_c\). Since X is the flow generated by \(\eta \), we have that
$$\begin{aligned} \nabla \rho _T(z) \cdot \eta (z)&= \frac{1}{T} \int _0^T \nabla (\theta \circ X_t^{-1}) (z) \cdot \eta (z) \, dt\\&= \frac{1}{T} \int _0^T \nabla \theta (X_t^{-1}(z)) \nabla X_t^{-1}(z) \cdot \eta (z) \, dt\\&= \frac{1}{T} \int _0^T \nabla \theta (X_t^{-1}(z)) \nabla X_t^{-1}(z) \cdot \partial _t X_t(X_t^{-1}(z)) \, dt. \end{aligned}$$Moreover
$$\begin{aligned} 0= \frac{d}{dt} (X_t \circ X_t^{-1})(z) = \partial _t X_t(X_t^{-1}(z)) + \nabla X_t(X_t^{-1}(z)) \partial _t X_t^{-1}(z). \end{aligned}$$Hence, we infer that
$$\begin{aligned} \nabla \rho _T(z)\cdot \eta (z)&= - \frac{1}{T} \int _0^T \nabla \theta (X_t^{-1}(z)) \nabla X_t^{-1}(z) \cdot \nabla X_t (X_t^{-1}(z)) \partial _t X_t^{-1}(z) \, dt\nonumber \\&= - \frac{1}{T} \int _0^T \nabla \theta (X_t^{-1}(z))\cdot \partial _t X_t^{-1}(z) \, dt\nonumber \\&= -\frac{1}{T} \int _0^T \frac{d}{dt} (\theta \circ X_t^{-1}(z)) \, dt \nonumber \\&= \frac{1}{T} \left[ \theta (z) -\theta (X_T^{-1}(z)) \right] . \end{aligned}$$(2.22)Therefore, we conclude that
$$\begin{aligned} \int _{{\mathbb {R}}^d} \left| \nabla \rho _T(z) \cdot \eta (z) \right| \, dz \le \frac{1}{T} \int _{{\mathbb {R}}^d} \left[ \theta (z) + \theta (X_T^{-1}(z)) \right] \,dz = \frac{2}{T}. \end{aligned}$$(2.23)Letting \(T \rightarrow +\infty \), we conclude the proof.
-
2.
Case \(\textrm{div}\,\eta \ne 0\). Denote \(\textrm{div}\,\eta =a\in {\mathbb {R}}\). The Jacobian \(J_t(z):=\det (\nabla X_t (z))\) solves
$$\begin{aligned} \left\{ \begin{array}{l} \frac{d}{dt} J_t(z) = a J_t (z)\\ J_0(z)= 1, \end{array}\right. \end{aligned}$$which gives \(J_t(z) = e^{at}\) for any z. Thus, for a fixed convolution kernel \(\theta \in {\mathcal {K}}\), for any \(T>0\), we define
$$\begin{aligned} \rho _T (z):= \frac{a}{e^{aT}-1} \int _0^T \theta (X_t^{-1}(z))\,dt. \end{aligned}$$
We have \(\rho _T\ge 0\) and
Therefore \(\rho _T\in {\mathcal {K}}_c\). The same computations (2.22) lead to
In both cases \(a>0\) and \(a<0\) the right hand side in the above estimate converges to |a| as \(T\rightarrow +\infty \), which together with the trivial lower bound
concludes the proof. \(\square \)
Following the idea used in [2], a consequence of Lemma 2.7 is the following result, which will be used in Sect. 4 to prove the energy conservation in \(L^1_tBV_x\cap L^\infty _{x,t}\) of Theorem 1.2. The set \({\mathcal {K}}\) denotes kernels supported in the unit ball as introduced in (1.4).
Proposition 2.8
Let \(U\subset {\mathbb {R}}^m\) be an open set. Take \(\lambda \in {\mathcal {M}}_{\textrm{loc}}(U)\) a signed measure, \(\nu \in {\mathcal {M}}_\textrm{loc}(U)\) a positive measure and \(\eta :U\times B_1\rightarrow {\mathbb {R}}^d\) a vector field with the following properties.
-
(i)
Lipschitz continuity: \(\eta _{x}\in \textrm{Lip}(B_1)\) for \(\nu \)-a.e. \(x\in U\);
-
(ii)
Odd and 1-homogeneous: \(\eta _{x} (a z)=a\eta _{x}( z)\) for all \(a\in (-|z|^{-1},|z|^{-1})\) and all \(z\in {\overline{B}}_1\), for \(\nu \)-a.e. \(x\in U\);
-
(iii)
Divergence-free: \(\textrm{div}\,_z \eta _{x}=0\) for \(\nu \)-a.e. \(x\in U\);
-
(iv)
Uniformly \(\nu \)-integrable: \(\Vert \eta _{x}(\cdot )\Vert _{L^\infty (B_1)}\in L^1_{\textrm{loc}} (U;\nu )\).
If for any , O open and K compact, there exists a constant \(C=C(K)>0\) such that
then
![](http://media.springernature.com/lw220/springer-static/image/art%3A10.1007%2Fs00220-023-04922-3/MediaObjects/220_2023_4922_Equ41_HTML.png)
Proof
The proof is an application of Lemma 2.7. Fix any and \(\rho \in {\mathcal {K}}\). First, having (2.24) for all \(\varphi \in C^0_c(O) \), for any open set
, it implies the inequality (in the compact set K, which fixes the constant C) in the sense of measures
In particular \(|\lambda |\ll \nu \) and, denoting by \(D_\nu |\lambda |\) the Radon–Nikodym derivative of \(|\lambda |\) with respect to \(\nu \), we have
Set
We claim that
Indeed, for any \(\rho \in {\mathcal {K}}_W\) there exists a sequence \(\{\rho _n\}_n \subset {\mathcal {K}}\) such that \(\rho _n\rightarrow \rho \) in \(W^{1,1}_0(B_1)\). Thus, (2.26) remains valid for every \(\rho \in {\mathcal {K}}_W\). Then, pick \(\tilde{\mathcal K}_W\subset {\mathcal {K}}_W\) a countable dense subset (with respect to the \(W^{1,1}\) topology). For any \(\rho \in \tilde{{\mathcal {K}}}_W\), we find a \(\nu \)-negligible set \(A_\rho \subset K\) such that (2.26) is satisfied for any \(x \in A_\rho ^c\). Since \(\tilde{{\mathcal {K}}}_W\) is countable, we have that \(A = \bigcup _{\rho \in \tilde{{\mathcal {K}}}_W} A_\rho \) is \(\nu \)-negligible and for any \(x \in A^c\) we have that
Moreover, since the functional \(\rho \mapsto \int _{B_1} \left| \nabla \rho (z)\cdot \eta _x(z)\right| \, dz\) is continuous with respect to the \(W^{1,1}\) topology, by density we have that
Thus, (2.27) is proved.
From now on, fix \(x \in K\) such that (2.27) is satisfied. For any \(\varepsilon >0\), Lemma 2.7 provides a \(\rho _\varepsilon \in {\mathcal {K}}_c\) such that
Since \(\textrm{Spt}\rho _\varepsilon \) is not necessarily contained in \(B_1\), that is \(\rho \not \in {\mathcal {K}}_W\), we have to consider a rescaling, which, together with the 1-homogeneity of \(\eta _{x}\), will conclude the proof. Indeed, if \(B_{R_\varepsilon }\) is a ball containing the support of \(\rho _\varepsilon \), we define
Clearly \( \tilde{\rho }_\varepsilon \in {\mathcal {K}}_W\), and moreover by (ii)
Together with (2.27), and being \(\varepsilon >0\) arbitrary, this proves that
and the arbitrariness of concludes the proof. \(\square \)
3 Duchon–Robert Measure in Critical Onsager’s Classes
This section is devoted to the proof of Theorem 1.1 and discuss some of its consequences.
Proof of Theorem 1.1
By looking at the expression of \(D_\varepsilon [u]\) in (1.3), it is natural to define the trilinear operator \(T(u,v,w):= u (v\cdot w)\). Then, we define
Pick any . By Hölder inequality it is clear that under any of the assumptions (1.6)–(1.8) we have
Moreover, by the trilinear structure of \(T_{\varepsilon ,z}\) we can deduce equicontinuity of the sequence with respect to z. Indeed we have
The three terms in the above formula have to be estimated in a different, although quite similar, way depending on which is the assumption on u among (1.6)–(1.8). Thus let us divide the cases.
Assuming (1.6) for \(p\le 3\): Note that \(\delta _{\varepsilon z_1} u - \delta _{\varepsilon z_2} u= u(x+\varepsilon z_1,t)-u(x+\varepsilon z_2,t)\). By the definition of Besov seminorm (2.1), we estimate each term in the right hand side of (3.2) by Hölder inequality, always taking \(\delta _{\varepsilon z_1} u - \delta _{\varepsilon z_2} u\) in \(L^p\) and each \(\delta _{\varepsilon z_i} u\) in \(L^{2p'}\), getting
where in the last line we used Young’s inequality \(2ab\le a^2+b^2\).
Assuming (1.6) for \(p> 3\): In this case we always take \(\delta _{\varepsilon z_1} u - \delta _{\varepsilon z_2} u\) in \(L^{2p'}\), one of the \(\delta _{\varepsilon z_i} u\) in \(L^{2p'}\) and the other in \(L^p\). Thus, by the definition of Besov seminorm (2.1), we have
The last inequality follows by Young’s inequality \(ab\le \frac{a^r}{r}+\frac{b^s}{s}\), with \(r=\frac{p+1}{2}\) and \(s=\frac{p+1}{p-1}\).
Assuming (1.7): In this case we always put \(\delta _{\varepsilon z_1} u - \delta _{\varepsilon z_2} u\) in \(L^{2}\), one of the \(\delta _{\varepsilon z_i} u\) in \(L^{2}\) and the other in \(L^\infty \). Hence, using again the definition of Besov seminorm (2.1), we have
Assuming (1.8): In this case we estimate \(\delta _{\varepsilon z_1} u - \delta _{\varepsilon z_2} u\) in \(L^{1}\) by Lemma 2.2, and both of the \(\delta _{\varepsilon z_i} u\) in \(L^{\infty }\), getting
To summarize, under any of the assumption of the theorem, we have that
for some \(\gamma \in (0,1]\) depending on the regularity of u, where the implicit constant depends on K, u and it is uniform with respect to \(\varepsilon \).
We are ready to apply an Ascoli–Arzelà argument. Pick \(\{z_k\}_k\subset B_1\) dense. By (3.1) we have \(T_{\varepsilon ,z_1}\) bounded in \(L^1_{\textrm{loc}}(\Omega \times (0,T);{\mathbb {R}}^d)\), thus we can find a subsequence \(T_{j,z_1}\rightharpoonup \mu _{z_1}\) for some \(\mu _{z_1}\in {\mathcal {M}}_{\textrm{loc}} (\Omega \times (0,T);{\mathbb {R}}^d)\). Evaluating the above subsequence on \(z_2\), i.e. \(T_{j,z_2}\), we can extract a further (non relabelled) subsequence such that \(T_{j,z_2}\rightharpoonup \mu _{z_2}\) for some \(\mu _{z_2}\in {\mathcal {M}}_{\textrm{loc}} (\Omega \times (0,T);{\mathbb {R}}^d)\). Hence, by a diagonal argument, we find a subsequence \(\{T_{n,z}\}_{n}\) and measures \(\mu _{z_k} \in {\mathcal {M}}_\textrm{loc}(\Omega \times (0,T); {\mathbb {R}}^d)\), such that
We aim to extend \(\{\mu _{z_k}\}_k\) to a map \(\mu \in C^0(\overline{B}_1; {\mathcal {M}}_{\textrm{loc}}(\Omega \times (0,T); {\mathbb {R}}^d))\) such that \(T_{n,z} \rightharpoonup \mu _z\) for any \(z \in B_1\). Given any test function \(\varphi \in C^0_c(\Omega \times (0,T))\), by a standard argument we check that \(\langle T_{n,z},\varphi \rangle \) is a Cauchy sequence in \(C^0(\overline{B}_1;{\mathbb {R}}^d)\). Indeed, fix \(\varepsilon >0\) and by the equicontinuity estimate (3.7) find \(\delta >0\) such that
Clearly the family \(\{B_\delta (z_k)\}_k\) covers \({\overline{B}}_1\). By compactness we find \(N \in {\mathbb {N}}\) such that \({\overline{B}}_1 \subset \bigcup _{i=1}^N B_{\delta }(z_i)\). Then, by the weak convergence on \(\{z_k\}_k\), we find \(M \in {\mathbb {N}}\) such that
Hence, for any \(z \in \overline{B}_1\), pick \(j \in \{1, \dots , N\}\) such that \(\left| z-z_j\right| < \delta \). Thus, for \(n_1, n_2 \ge M\) we have that
Thus, there exists a vector \(V_\varphi \in C^0({\overline{B}}_1;{\mathbb {R}}^d)\) such that
The map \(\varphi \mapsto V_\varphi (z)\) is linear and satisfies
By Riesz theorem we find \(\mu _z\in {\mathcal {M}}_{\textrm{loc}} (\Omega \times (0,T);{\mathbb {R}}^d)\) such that
It is immediate to see that \(\mu _z\) is an extension of \(\{\mu _{z_k}\}_k\). Then, (3.8) proves that \(\langle T_{n,z},\varphi \rangle \rightarrow \langle \mu _z,\varphi \rangle \) in \(C^0({\overline{B}}_1;{\mathbb {R}}^d)\), from which
proving (1.9). Again by (3.8) we have \(T_{n,z}\rightharpoonup \mu _z\), for every \(z\in {\overline{B}}_1\), and since \(T_{n,z}\) enjoys (3.3)–(3.6) if u is assumed to satisfy (1.6)–(1.8) respectively, the very same estimate transfers to \(\mu _z\) by lower semicontinuity of the total variation with respect to the weak convergence of measures. This proves (i). Since \(T_{n,0}\equiv 0\) for all n, we also get (ii). Finally, (iii) directly follows by the change of variable \(z\mapsto -z\), together with the fact that the kernel \(\rho \) is chosen to be even. \(\square \)
Theorem 1.1 shows that, given any scalar-valued test function \(\varphi \in C^0_c(\Omega \times (0,T))\), the dissipation measure in Onsager’s critical spaces is characterized as
for some vector \(V_\varphi \in C^0({\overline{B}}_1;{\mathbb {R}}^d)\), which is moreover \(\gamma \)-Hölder continuous in z, \(\gamma \) depending on the Besov regularity of u. This leads to the following definition.
Definition 3.1
(Local averaged directional flux). Let \(\mu \in C^{0}({\overline{B}}_1; {\mathcal {M}}_{\textrm{loc}}(\Omega \times (0,T); {\mathbb {R}}^d ) )\) be any map given by Theorem 1.1 and \(\varphi \in C^0_c(\Omega \times (0,T))\). Given \(z\in B_1\), we say that
is the local energy flux of u, averaged on the \(\textrm{Spt}\varphi \), in the direction z.
Note that here we are slightly abusing terminology, since z, being any element in the unit ball, is not normalized to \(|z|=1\).
Assume that D[u] does not depend on \(\rho \). Duchon and Robert [19] investigated the case in which the kernel is chosen to be radial. With this choice, our formula (1.10) gives and additional equivalent expression. Indeed, letting \(\rho (z)=\rho _\textrm{rad} (|z|)\), by direct computations we deduce
n being the inward unit normal. Alternatively, one could let
to get
As a byproduct of the formula (1.10) we get the following result.
Corollary 3.2
(Support restriction). Denote by \({\mathcal {U}}_{x,t}\subset \Omega \times (0,T)\) any open set containing the point (x, t), and assume that D[u] does not depend on \(\rho \). It holds
It is clear that under any of the assumptions (1.6)–(1.8), since \(\{D_\varepsilon [u]\}_\varepsilon \) turns out to be a bounded sequence in \(L^1_{\textrm{loc}}(\Omega \times (0,T))\), then \(D[u]\in {\mathcal {M}}_{\textrm{loc}}(\Omega \times (0,T))\). Indeed, under the \(BV\cap L^\infty \) assumption (1.8), we have that
However, we remark that \(D_\varepsilon [u]\) is bounded in \(L^1_{\textrm{loc}}\) provided that
If we restrict the kernels \(\rho \) to be radial, i.e.
an assumption on the symmetric part of \(\nabla u\) is enough to deduce (3.9), as opposite to the one on the full gradient in (1.8). Thus, instead of BV, it is enough to consider BD, the space of “bounded deformation” vector fields. However, the assumption on the symmetric gradient does not seem enough to get equicontinuity with respect to z of the trilinear expression which is used to generate the measure \(\mu _z\). For this reason, in this case, we can only conclude that \(D[u]\in {\mathcal {M}}_{\textrm{loc}} (\Omega \times (0,T))\). Indeed, building on (2.3) from Lemma 2.2, we have the following result.
Proposition 3.3
(Dissipation measure in BD). Let \(u:\Omega \times (0,T)\rightarrow {\mathbb {R}}^d\) be a vector field such that
for all and
open sets. Then, \(\{D_\varepsilon [u]\}_\varepsilon \) is a bounded sequence in \(L^1_{\textrm{loc}}(\Omega \times (0,T))\), whenever \(\rho \in \mathcal K_{\textrm{rad}}\). In particular \(D[u]\in {\mathcal {M}}_{\textrm{loc}} (\Omega \times (0,T))\).
Proof
Pick any \(\rho (z)=\rho _{\textrm{rad}}(|z|)\in {\mathcal {K}}_{\textrm{rad}}\). Then \(\nabla \rho (z)=\frac{z}{|z|}\rho '_{\textrm{rad}} (|z|)\), from which, for any and
, by (2.3) we get
for all \(2\varepsilon <\textrm{dist}( O,\partial \Omega )\) and some dimensional constant \(C>0\). The right hand side of the previous estimate stays bounded as \(\varepsilon \rightarrow 0^+\), and the proof is concluded. \(\square \)
4 Interior Energy Conservation in \(BV\cap L^\infty \)
Here we prove Theorem 1.2. By Proposition 2.8 it is enough to prove that that D[u] satisfies (2.24) under the assumption (1.8).
Proof of Theorem 1.2
We prove that D[u] satisfies (2.24). Fix any , O open, K compact. Pick \(\varphi \in C^\infty _c(O)\) and set \(S:=\textrm{Spt}\varphi \). Then, for any convolution kernel \(\rho \in {\mathcal {K}}\), we have
where in the last inequality we have used Fatou’s lemma. For any \(z \in B_1\), define the scalar function \(v_z:= u\cdot \nabla _z\rho (z)\), \(v_z:\Omega \times (0,T)\rightarrow {\mathbb {R}}\). Note that the distributional derivative of \(v_z\) is given by
for a.e. \(t\in (0,T)\), where in the last equality we have used the Radon–Nikodym theorem to decompose the matrix-valued measure \(\nabla u(\cdot , t)\) with respect to its variation \(|\nabla u(\cdot , t)|\). Since \(\textrm{div}\,u=0\) we deduce that
By (2.4) applied on \(v_z\) we get
where the measure \(\nu \) is defined by
![](http://media.springernature.com/lw432/springer-static/image/art%3A10.1007%2Fs00220-023-04922-3/MediaObjects/220_2023_4922_Equ192_HTML.png)
The vector \(\eta _{x,t}(z):=M(x,t) z\) is divergence-free for \(\nu \)-a.e. (x, t) by (4.1) and, together with \(\nu \), it satisfies the assumptions of Proposition 2.8 with \(m=d+1\) and \(U=\Omega \times (0,T)\). \(\square \)
We remark that if \(u\in L^1_t BD_x\cap L^\infty _{x,t}\), by using (2.3), one can prove an estimate similar to (2.24) restricting to radial kernels. However, considering \(\rho \in {\mathcal {K}}_{\textrm{rad}}\) prevents the use of the Alberti’s optimization of Lemma 2.7, being the latter anisotropic. Details are left to the reader.
Remark 4.1
(Necessity of the Duchon–Robert formula). The formula (1.3) proposed by Duchon and Robert [19] is not the only way to approximate the distribution D[u]. Indeed, following the original Constantin, E and Titi approach, it has been proved in [25] that also \(R_\varepsilon :\nabla u_\varepsilon \) has the same distributional limit D[u], being \(R_\varepsilon =u_\varepsilon \otimes u_\varepsilon -(u\otimes u)_\varepsilon \) the quadratic Reynolds stress tensor arising from mollifying in space the equation at scale \(\varepsilon \). However, from such approximation does not seem possible to achieve the bound (1.15), which then prevents the optimization of the kernel based on the incompressibility.
5 Energy Conservation on Lipschitz Bounded Domains
This section aims to prove global energy conservation on bounded domains \(\Omega \subset {\mathbb {R}}^d\), with Lipschitz boundary, that is Theorem 1.3 together with its more general version Theorem 5.6. To begin, we clarify on the precise meaning of kinetic energy conservation in this setting.
Definition 5.1
(Kinetic energy conservation). Given \(u:\Omega \times (0,T)\rightarrow {\mathbb {R}}^d\) such that \(u\in L^2(\Omega \times (0,T))\) we define its kinetic energy as
Moreover, we say that the kinetic energy of u is conserved if
It is clear that if \(u\in C^0([0,T];L^2(\Omega ))\), then kinetic energy conservation is equivalent to \(e_u(t)=e_u(0)\) for all \(t\in [0,T]\).
5.1 Normal Lebesgue boundary trace
In the spirit of traces for BV function given in Theorem 2.1, we now introduce a notion of trace for the normal component of a vector field \(u:\Omega \rightarrow {\mathbb {R}}^d\), that we call “normal Lebesgue trace”. Such quantity will play a major role in the boundary analysis. Recall our notation
Definition 5.2
(Normal Lebesgue boundary trace). Let \(\Omega \subset {\mathbb {R}}^d\) be a Lipschitz domain and \(u\in L^1(\Omega ;{\mathbb {R}}^d)\) a vector field. We say that u has a Lebesgue normal trace on \(\partial \Omega \) if there exists a function \(u_n^{\partial \Omega }\in L^1(\partial \Omega ;{\mathcal {H}}^{d-1})\) such that, for every sequence \(r_k\rightarrow 0^+\), it holds
The choice of taking sequence \(r_k\rightarrow 0^+\) instead of continuous radii \(r\rightarrow 0^+\) as in Theorem 2.1 is made for convenience. It is easy to see that Definition 5.2 is a slightly weaker notion with respect to that using continuous radii, i.e.
Indeed, letting
Equation (5.1) implies that
But clearly, if \(r_j\rightarrow 0^+\) is any sequence, we have
which implies
Whenever it exists, the normal Lebesgue trace is unique. Indeed, since \(\Omega \) has Lipschitz boundary, see for instance [3, Theorem 3.61], we have
Thus, if \((u_n^{\partial \Omega })_1,(u_n^{\partial \Omega })_2\in L^1(\partial \Omega ;{\mathcal {H}}^{d-1})\) are two Lebesgue normal traces of u in the sense of Definition 5.2, then, for \({\mathcal {H}}^{d-1}\)-a.e. \(x\in \partial \Omega \), we have
In the computations above we have used that \(\mathcal H^d(B_r(x))=\omega _d r^d\).
We refer the interested reader to the works [8,9,10,11,12, 32] which build a notion of normal trace for “measure divergence” vector fields, together with several applications to systems of conservation laws, in setting with very low regularity.
In the next proposition we prove that having zero normal Lebesgue trace implies that the term appearing in the proof of the energy conservation on bounded domains vanishes. In fact, modulo considering subsequences, the two properties are substantially equivalent.
Proposition 5.3
Suppose \(u\in L^\infty (\Omega ;{\mathbb {R}}^d)\) has zero Lebesgue normal boundary trace, that is \(u_n^{\partial \Omega }\equiv 0\). Then
where
Moreover, if (5.2) is true, then, for every sequence \(r_k\rightarrow 0^+\), it must hold
Remark 5.4
We remark that as soon as \(u\in L^\infty (\Omega ;{\mathbb {R}}^d)\) and it admits a Lebesgue normal trace in the sense of Definition 5.2, then necessarily \(u_n^{\partial \Omega }\in L^\infty (\partial \Omega ;{\mathcal {H}}^{d-1})\). Indeed, \(u_n^{\partial \Omega }\) is the point-wise limit, as \(k\rightarrow \infty \), of the sequence
which is bounded in \(L^\infty (\partial \Omega ;{\mathcal {H}}^{d-1})\) if \(u\in L^\infty (\Omega ;{\mathbb {R}}^d)\).
Proof
We prove the first implication. We fix a sequence \(\varepsilon _k\rightarrow 0^+\). We have to show that
Define the sequence of functions \(f_{\varepsilon _k}:\partial \Omega \rightarrow {\mathbb {R}}\) as
By assumption, \(f_{5\varepsilon _k}(x)\rightarrow 0\) for \(\mathcal H^{d-1}\)-a.e. \(x\in \partial \Omega \). Fix any \(\delta >0\). By Egorov’s theorem we find \(A_\delta \subset \partial \Omega \), closed in the induced topology on \(\partial \Omega \), such that \({\mathcal {H}}^{d-1}(\partial \Omega {\setminus } A_\delta )<\delta \) and \(f_{5\varepsilon _k}\rightarrow 0\) uniformly on \(A_\delta \). By the uniform convergence on \(A_\delta \), we can find \(k_0=k_0(\delta )>0\) such that, for all \(k\ge k_0\) it holds
For any fixed \(k\ge k_0\) consider the family of balls \(\left\{ B_{\varepsilon _k} (x)\right\} _{x\in A_\delta }\). By Vitali’s covering theorem we find a finite and disjoint sub-family of balls \(\mathcal F:=\{B_{\varepsilon _k} (x_j)\}_{j\in J_{\varepsilon _k}}\), such that
Here, and throughout this whole section, we will use the notation \((A)_\varepsilon \) to denote the \(\varepsilon \)-tubular neighbourhood of a set A, as already introduced in Sect. 2. Since \({\mathcal {F}}\) is a disjoint family and \(\partial \Omega \) has Minkowski dimension \(d-1\), by possibly choosing \(k_0\) even larger, it must hold
for some constant \(c>0\) which depends only on \(\Omega \). Thus we split
Moreover, since \(u\in L^\infty (\Omega ;{\mathbb {R}}^d)\), we can bound
Since both \(\partial \Omega , A_\delta \subset {\mathbb {R}}^d\) are closed \((d-1)\)-rectifiable sets, by (2.16) from Proposition 2.5 we have
for some purely dimensional constant \(c>0\). Thus, since \((\partial \Omega )_\varepsilon =(A_\delta )_\varepsilon \cup \left( (\partial \Omega )_\varepsilon {{\setminus }} (A_\delta )_\varepsilon \right) \), we deduce
Since \({\mathcal {H}}^{d-1} (\partial \Omega {\setminus } A_\delta )<\delta \), by possibly choosing \(k_0\) larger, we deduce that \(I_{\varepsilon _k}^2\le C \delta \), for all \(k\ge k_0\). Summing up, we have proved that for any \(\delta >0\), we can find a \(k_0\in {\mathbb {N}}\) large enough such that \(I_{\varepsilon _k}\le C\delta \) for all \(k\ge k_0\), for some constant \(C>0\) depending only on the domain \(\Omega \). This gives (5.5) and concludes the proof of the first part.
Let us now prove the second implication by contradiction. If (5.4) does not hold, then we find a sequence of radii \(r_k\rightarrow 0^+\) such that
on a set \(C\subset \partial \Omega \) with \({\mathcal {H}}^{d-1} (C)>0\). We have \(C=\bigcup _{m=1}^\infty C_m\), where
Since \(C_m \nearrow C\), we find m large enough so that
Apply Lemma 2.6 with \((X,\mu )=(C_m,{\mathcal {H}}^{d-1})\) and \(L=\frac{1}{m}\), to find \({\tilde{C}}_m\subset C_m\) with
and
Moreover, by interior approximation of Radon measures, we can also find a set \(M\subset {\tilde{C}}_m\), closed in the induced topology on \(\partial \Omega \), such that
Then, cover \((M)_\varepsilon \) with \(\{B_\varepsilon (x)\}_{x\in M}\) and extract a finite and disjoint Vitali subcovering such that
From (5.10) and (2.16), if \(\varepsilon \) is sufficiently small, we obtain
from which
for some dimensional constant \(c>0\). But then, if \(r_k\) is the original sequence we have chosen in (5.8), we can bound from below
Letting \(k\rightarrow \infty \), by (5.9) and (5.11) we deduce
which shows that (5.2) cannot hold. \(\square \)
Recall that solutions of Euler, say \(u\in L^2(\Omega \times (0,T))\), on a Lipschitz bounded domain \(\Omega \) satisfy
for a.e. \(t\in (0,T)\). The latter condition is indeed a way to define, in a weak sense, \(L^2\) divergence-free vector fields tangent to \(\partial \Omega \). However, this does not automatically imply that the Lebesgue normal boundary trace of u, in the sense of Definition 5.2, vanishes. In fact, it is not even clear in general whether such a notion of trace exists. We give some conditions which make this true.
Proposition 5.5
Let \(\Omega \subset {\mathbb {R}}^d\) be a bounded Lipschitz domain and let \(u\in L^\infty (\Omega ;{\mathbb {R}}^d)\) be a divergence-free vector field, tangent to the boundary, that is
Then \(u_n^{\partial \Omega }\equiv 0\) if one of the following conditions holds:
-
(i)
For \({\mathcal {H}}^{d-1}\)-a.e. \(x\in \partial \Omega \), \(\exists \varepsilon _0>0\) such that \(u\cdot \nabla d_{\partial \Omega }\in C^0\left( B_{\varepsilon _0}(x)\cap {\overline{\Omega }}\right) \);
-
(ii)
\(u\in BV(\Omega ;{\mathbb {R}}^d)\).
In particular, we emphasise that the assumption (i) relaxes the usual one in which \(u\cdot \nabla d_{\partial \Omega }\) is continuous in a full open neighbourhood of \(\partial \Omega \). For instance, when the domain is piece-wise \(C^2\), this allows us to deduce kinetic energy conservation on Lipschitz domains, without imposing anything in neighbourhoods of corner points of \(\partial \Omega \).
Proof
Given \(\varepsilon >0\), in the same notation of (5.3), we define
Then, by (5.12), for any test function \(g \in C^1({\mathbb {R}}^d)\), we have that
For \(\varepsilon \rightarrow 0\), \(\varphi _\varepsilon \rightarrow \mathbbm {1}_{\Omega }\) in \(L^1(\Omega )\), from which
Take \(x\in \partial \Omega \) such that \(u\cdot \nabla d_{\partial \Omega }\in C^0(B_{\varepsilon _0}(x)\cap {\overline{\Omega }})\), for some \(\varepsilon _0>0\). It is clear that if
then, by the uniform continuity of \(u\cdot \nabla d_{\partial \Omega }\) in \(B_r(x)\cap {\overline{\Omega }}\), for all \(r<\varepsilon _0\), we get that
that is, the Lebesgue normal boundary trace of u is zero. Thus we are left to prove (5.15). By contradiction, suppose that \(\exists z\in B_{\varepsilon _0}(x)\cap \partial \Omega \) such that \((u\cdot \nabla d_{\partial \Omega })(z)=c\ne 0\). To fix the ideas, assume \(c>0\). The proof in the case \(c<0\) follows by straightforward modifications. Since \(u\cdot \nabla d_{\partial \Omega }\in C^0(B_{\varepsilon _0}(x)\cap {\overline{\Omega }})\), we can find an \(\varepsilon _1=\varepsilon _1(c)>0\) such that and
Pick \(g\in C^1_c(B_{2\varepsilon _1}(z))\) such that \(g\ge 0\) and \(g\big |_{B_{\varepsilon _1}(z)}\equiv 1\). Then, for \(\varepsilon >0\) sufficiently small, we get
![](http://media.springernature.com/lw315/springer-static/image/art%3A10.1007%2Fs00220-023-04922-3/MediaObjects/220_2023_4922_Equ193_HTML.png)
where in the last inequality we have applied (2.17) with . This is in contradiction with (5.14), and concludes the proof of (i).
Assume that \(u \in BV(\Omega ;{\mathbb {R}}^d)\). Letting \(\tilde{u}\) be the zero extension of u outside \(\Omega \), by Theorem 2.1, we get that \(\tilde{u} \in BV({\mathbb {R}}^d;{\mathbb {R}}^d)\) and the distributional gradient is given by
where n is the inward unit normal to \(\partial \Omega \). Note that (5.12) is equivalent to the fact that \(\tilde{u}\) is divergence-free in \({\mathbb {R}}^d\). Hence, we have that
yielding \(u^\Omega (x)\cdot n(x) = 0\) for \({\mathcal {H}}^{d-1}\)-a.e. \(x \in \partial \Omega \). It remains to check that \(u^\Omega \cdot n\) is the Lebesgue normal trace of u on \(\partial \Omega \) in the sense of Definition 5.2. Indeed, for \({\mathcal {H}}^{d-1}\)-a.e. \(x \in \partial \Omega \), we have that
The first term goes to 0 as \(r_k \rightarrow 0\), by the definition of the trace for BV functions (see Theorem 2.1) and the fact that \(\left| \nabla d_{\partial \Omega }(y)\right| \le 1\) a.e. in \(\Omega \). Similarly to Remark 5.4, from \(u\in L^\infty (\Omega ;{\mathbb {R}}^d)\) we deduce \(u^\Omega \in L^\infty (\partial \Omega ;{\mathcal {H}}^{d-1})\). Thus, Theorem 2.4 concludes the proof. \(\square \)
5.2 Kinetic energy conservation on bounded domains
We are ready to prove energy conservation on bounded domains.
Proof of Theorem 1.3
Being u a solution of (1.1), we get that D[u] does not depend on the choice of the kernel \(\rho \). Thus, by Theorem 1.2 we get \(|D[u]|(K)=0\) for every compact. In particular, recalling that \(u\in L^\infty _{\textrm{loc}}\) and \(p\in L^1_{\textrm{loc}}\) by assumption, the following identity holds in \(\mathcal D'(\Omega \times (0,T))\)
Fix any \(\phi \in C^1_c((0,T))\) and let be any time interval such that \(\textrm{Spt}\phi \subset I\). Then, take the corresponding \(\varepsilon _0>0\) as in the assumption (ii). For every \(\varphi \in C^\infty _c(\Omega )\) such that \(\varphi \big |_{\Omega ^{\varepsilon _0}} \equiv 1\) (here we are using the notation \(\Omega ^{\varepsilon _0}\) introduced in (5.3)) we have that
where
Since \(u\in L^\infty (I;L^\infty (\Omega ))\), by a standard density argument the previous inequality remains true for all \(\varphi \in W^{1,1}_0(\Omega )\). Thus, for every \(0<\varepsilon <\varepsilon _0(I)\), we can choose \(\varphi =\varphi _\varepsilon \) as in (5.3). Letting \(\varepsilon \rightarrow 0^+\) and recalling that \(\varphi _\varepsilon \rightarrow \mathbbm {1}_{\Omega }\) in \(L^1(\Omega )\), by Fatou’s lemma and Proposition 5.3, we have that
In other words, since \(\phi \in C^1_c((0,T))\) was arbitrary, the total kinetic energy is conserved in the sense of Definition 5.1. \(\square \)
Although Theorem 1.3 provides kinetic energy conservation under quite explicit assumptions, such as the conditions given in Proposition 5.5, it is clear from the proof that the global \(L^\infty \) assumption on u and p can be relaxed. Indeed, in the spirit of [4], we have the following result.
Theorem 5.6
Let \(u\in L^2(\Omega \times (0,T))\) be a solution to (1.1) on a Lipschitz bounded domain \(\Omega \subset {\mathbb {R}}^d\), such that \(u\in L^1(I;BV (O))\cap L^\infty (O\times I)\) and \(p\in L^1(O\times I)\), for all and
open sets. Suppose that
![](http://media.springernature.com/lw424/springer-static/image/art%3A10.1007%2Fs00220-023-04922-3/MediaObjects/220_2023_4922_Equ71_HTML.png)
where
Then, u conserves the kinetic energy in the sense of Definition 5.1.
Differently from [4], our result provides energy conservation in a critical Onsager class. Being the same argument already used above in the proof of Theorem 1.3, we omit the details.
It is clear that Theorem 5.6 assumes a more general condition with respect to Theorem 1.3 where both u and p are assumed to be bounded in a neighbourhood of \(\partial \Omega \). Indeed, one can estimate
where \(P:=\frac{|u|^2}{2}+p\) denotes the Bernoulli pressure. In particular, \(\Vert P\Vert _{L^\infty ((\Omega ^\varepsilon {{\setminus }} \Omega ^{2\varepsilon }) \times I)}\) is also allowed to blow-up in the limit as \(\varepsilon \rightarrow 0^+\), provided that the last term \(\int _0^T\int _{\Omega } \left| u\cdot \nabla \varphi _\varepsilon \right| \) compensates. This happens, for instance, if u achieves its Lebesgue normal boundary trace in a fast enough way.
References
Alberti, G.: Rank one property for derivatives of functions with bounded variation. Proc. Roy. Soc. Edinb. Sect. A 123(2), 239–274 (1993). https://doi.org/10.1017/S030821050002566X
Ambrosio, L.: Transport equation and Cauchy problem for \(BV\) vector fields. Invent. Math. 158(2), 227–260 (2004). https://doi.org/10.1007/s00222-004-0367-2
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York (2000)
Bardos, C., Titi, E.S., Wiedemann, E.: Onsager’s conjecture with physical boundaries and an application to the vanishing viscosity limit. Commun. Math. Phys. 370(1), 291–310 (2019). https://doi.org/10.1007/s00220-019-03493-6
Berselli, L.C.: Energy conservation for weak solutions of incompressible fluid equations: the Hölder case and connections with Onsager’s conjecture. J. Differ. Equ. 368, 350–375 (2023). https://doi.org/10.1016/j.jde.2023.06.002
Berselli, L.C., Georgiadis, S.: Three results on the energy conservation for the 3D Euler equations. Preprint available at arXiv:2307.04410 (2023)
Buckmaster, T., De Lellis, C., Székelyhidi, L., Jr., Vicol, V.: Onsager’s conjecture for admissible weak solutions. Commun. Pure Appl. Math. 72(2), 229–274 (2019). https://doi.org/10.1002/cpa.21781
Chen, G.-Q., Frid, H.: Divergence-measure fields and hyperbolic conservation laws. Arch. Ration. Mech. Anal. 147(2), 89–118 (1999). https://doi.org/10.1007/s002050050146
Chen, G.-Q., Torres, M.: Divergence-measure fields, sets of finite perimeter, and conservation laws. Arch. Ration. Mech. Anal. 175(2), 245–267 (2005). https://doi.org/10.1007/s00205-004-0346-1
Chen, G.-Q., Torres, M.: On the structure of solutions of nonlinear hyperbolic systems of conservation laws. Commun. Pure Appl. Anal. 10(4), 1011–1036 (2011). https://doi.org/10.3934/cpaa.2011.10.1011
Chen, G.-Q., Torres, M., Ziemer, W.P.: Measure-theoretic analysis and nonlinear conservation laws. Pure Appl. Math. Q. 3(3), 841–879 (2007). https://doi.org/10.4310/PAMQ.2007.v3.n3.a9. (Special Issue: In honor of Leon Simon. Part 2)
Chen, G.-Q., Torres, M., Ziemer, W.P.: Gauss-Green theorem for weakly differentiable vector fields, sets of finite perimeter, and balance laws. Commun. Pure Appl. Math. 62(2), 242–304 (2009). https://doi.org/10.1002/cpa.20262
Cheskidov, A., Constantin, P., Friedlander, S., Shvydkoy, R.: Energy conservation and Onsager’s conjecture for the Euler equations. Nonlinearity 21(6), 1233–1252 (2008). https://doi.org/10.1088/0951-7715/21/6/005
Constantin, P., E, W., Titi, E.S.: Onsager’s conjecture on the energy conservation for solutions of Euler’s equation. Commun. Math. Phys. 165(1), 207–209 (1994). http://projecteuclid.org/euclid.cmp/1104271041
Crippa, G.: 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)
De Lellis, C., Székelyhidi, L., Jr.: Dissipative continuous Euler flows. Invent. Math. 193(2), 377–407 (2013). https://doi.org/10.1007/s00222-012-0429-9
De Rosa, L., Tione, R.: Sharp energy regularity and typicality results for Hölder solutions of incompressible Euler equations. Anal. PDE 15(2), 405–428 (2022). https://doi.org/10.2140/apde.2022.15.405
Drivas, T.D., Nguyen, H.Q.: Onsager’s conjecture and anomalous dissipation on domains with boundary. SIAM J. Math. Anal. 50(5), 4785–4811 (2018). https://doi.org/10.1137/18M1178864
Duchon, J., Robert, R.: Inertial energy dissipation for weak solutions of incompressible Euler and Navier–Stokes equations. Nonlinearity 13(1), 249–255 (2000). https://doi.org/10.1088/0951-7715/13/1/312
Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions. Chapman & Hall/CRC (2015)
Eyink, Gregory L.: Energy dissipation without viscosity in ideal hydrodynamics. I. Fourier analysis and local energy transfer. Phys. D 78(3–4), 222–240 (1994). https://doi.org/10.1016/0167-2789(94)90117-1
Federer, H.: Geometric Measure Theory, Die Grundlehren der mathematischen Wissenschaften, Band, vol. 153. Springer-Verlag New York, Inc., New York (1969)
Frisch, U.: Turbulence. Cambridge University Press, Cambridge (1995). (The legacy of A. N. Kolmogorov)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, Second, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 224. Springer, Berlin (1983). https://doi.org/10.1007/978-3-642-61798-0
Isett, P.: On the endpoint regularity in Onsager’s conjecture. Preprint available at arXiv:1706.01549 (2017)
Isett, P.: A proof of Onsager’s conjecture. Ann. Math. (2) 188(3), 871–963 (2018). https://doi.org/10.4007/annals.2018.188.3.4
Isett, P., Oh, S.-J.: On the kinetic energy profile of Hölder continuous Euler flows. Ann. Inst. H. Poincaré C Anal. Non Linéaire 34(3), 711–730 (2017). https://doi.org/10.1016/j.anihpc.2016.05.002
Kolmogoroff, A.N.: Dissipation of energy in the locally isotropic turbulence. C. R. (Doklady) Acad. Sci. URSS (N.S.) 32, 16–18 (1941)
Leray, J.: Sur le mouvement d’un liquide visqueux emplissant l’espace. Acta Math. 63(1), 193–248 (1934). https://doi.org/10.1007/BF02547354
Novack, M., Vicol, V.: An intermittent Onsager theorem. Invent. Math. 233(1), 223–323 (2023). https://doi.org/10.1007/s00222-023-01185-6
Onsager, L.: Statistical hydrodynamics. Nuovo Cimento (9) 6(Supplemento, 2), 279–287 (1949). (Convegno Internazionale di Meccanica Statistica)
Phuc, N.C., Torres, M.: Characterizations of the existence and removable singularities of divergence-measure vector fields. Indiana Univ. Math. J. 57(4), 1573–1597 (2008). https://doi.org/10.1512/iumj.2008.57.3312
Scheffer, V.: An inviscid flow with compact support in space-time. J. Geom. Anal. 3(4), 343–401 (1993). https://doi.org/10.1007/BF02921318
Shnirelman, A.: Weak solutions with decreasing energy of incompressible Euler equations. Commun. Math. Phys. 210(3), 541–603 (2000). https://doi.org/10.1007/s002200050791
Shvydkoy, R.: On the energy of inviscid singular flows. J. Math. Anal. Appl. 349(2), 583–595 (2009). https://doi.org/10.1016/j.jmaa.2008.09.007
Acknowledgements
The two authors have been partially funded by the SNF grant FLUTURA: Fluids, Turbulence, Advection No. 212573. We would like to thank Camillo De Lellis for sharing the argument for the proof of Theorem 2.4 and Theodore D. Drivas for fruitful conversations. The first author is indebted to Riccardo Tione for a careful reading of a preliminary version of the current paper and for his constant interest in discussing/sharing mathematics with him, which has been extremely valuable to the author’s mathematical training.
Funding
Open access funding provided by University of Basel.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Ionescu.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
De Rosa, L., Inversi, M. Dissipation in Onsager’s Critical Classes and Energy Conservation in \(BV\cap L^\infty \) with and Without Boundary. Commun. Math. Phys. 405, 6 (2024). https://doi.org/10.1007/s00220-023-04922-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00220-023-04922-3