Conservation of energy for the Euler–Korteweg equations


In this article we study the principle of energy conservation for the Euler–Korteweg system. We formulate an Onsager-type sufficient regularity condition for weak solutions of the Euler–Korteweg system to conserve the total energy. The result applies to the system of Quantum Hydrodynamics.


It is known since the works of Scheffer [28] and Shnirelmann [29] that weak solutions of the incompressible Euler equations exhibit behaviour very different to that of classical solutions. These “wild solutions”, as they are called since the seminal works of DeLellis and Székelyhidi [10, 11], are often highly unphysical—for instance there is a lack of uniqueness and the principle of conservation of energy can be violated.

Dissipative solutions of incompressible Euler have been extensively studied in relation to the seminal Onsager conjecture [27]. It states that there is a threshold regularity, namely \(\frac{1}{3}\)-Hölder continuity, above which kinetic energy must be conserved, and below which anomalous dissipation might occur. This conjecture has been recently fully resolved, with non-conservative solutions of class \(\mathscr {C}([0,T];\mathscr {C}^{\frac{1}{3} -}(\mathbb {T}^3))\) constructed by Isett [23]. See also [5, 24] for further developments on the subject.

The positive direction of Onsager’s conjecture has been settled already in the 1990’s by Constantin et al. [9] (after a partial result of Eyink [17]). The method of mollification and estimation of commutator errors was employed to prove that, if a weak solution u of the incompressible Euler system belongs to \(L^3([0,T],B_3^{\alpha ,\infty }(\mathbb {T}^3))\cap \mathscr {C}([0,T],L^2(\mathbb {T}^3))\) with \(\alpha >\frac{1}{3}\), then the energy \(\Vert u\Vert _{L^2(\mathbb {T}^3)}\) is conserved in time. The method of proof as well as the observation that Besov spaces provide a suitable environment for this kind of problem were later used by several authors in the context of other systems of fluid dynamics: like inhomogeneous incompressible Euler and compressible Euler [18], incompressible and compressible Navier–Stokes (resp. [14, 15, 26, 31]), incompressible magnetohydrodynamics [8, 25], and general systems of first order conservation laws [22]. Onsager’s conjecture was recently studied for incompressible Euler equations in bounded domains, cf. [3]. An overview of these results can be found in [12].

In the present paper we adapt the strategy of Constantin et al. [9] and Feireisl et al. [18] to obtain an Onsager-type sufficient condition on the regularity of weak solutions to the Euler–Korteweg equations so that they conserve the total energy. We consider the isothermal Euler–Korteweg system in the from

$$\begin{aligned} \begin{aligned} \partial _t(\rho u)+{{\mathrm{div}}}(\rho u\otimes u)&=-\rho \nabla \left( h'(\rho )+\frac{\kappa '(\rho )}{2}|\nabla \rho |^{2}-{{\mathrm{div}}}(\kappa (\rho )\nabla \rho )\right) ,\\ \partial _t\rho +{{\mathrm{div}}}(\rho u)&=0,\\ \end{aligned} \end{aligned}$$

in the domain \((0,T)\times \mathbb {T}^d\) for some fixed time \(T>0\), where \(\mathbb {T}^d\) is the d-dimensional torus. Here \(\rho \ge 0\) is the scalar density of a fluid, u is its velocity, \(h=h(\rho )\) is the energy density and \(\kappa =\kappa (\rho )>0\) is the coefficient of capillarity. We place the assumption on the functions h and \(\kappa \):

$$\begin{aligned} h, \kappa \in \mathscr {C}^3(\mathscr {T}) \end{aligned}$$

where, depending on the actual form of h and \(\kappa \), the set \(\mathscr {T}\) can be chosen to be \([0,\infty )\) or \((0,\infty )\). For instance when \(\kappa (\rho ) = \frac{1}{\rho }\), as for the QHD system below, then \(\mathscr {T}=(0,\infty )\) and we have to be away from vacuum.

While the analysis of the above system dates back to the 19th century, when the mathematical theory of phase interfaces and capillary effects was introduced, it still attracts much attention. A modern derivation of the system can be found in [16]. Concerning smooth solutions: in [6, 7] local-in-time well-posedness and stability of special solutions are analysed, respectively. A relative energy identity is developed in [21], exploiting the variational structure of the system, and is used to show that solutions of (1.1) converge to smooth solutions of the compressible Euler system (before shock formation) in the vanishing capillarity limit \(\kappa \rightarrow 0\), see [20].

The situation with weak solutions is much less understood. Most results concern the Quantum Hydrodynamics system, obtained from (1.1) when \(\kappa (\rho ) = \frac{\varepsilon _{0}^{2}}{4\rho }\), with \(\varepsilon _0\) denoting the Planck constant. This takes the form

$$\begin{aligned} \begin{aligned} \partial _t\rho + {{\mathrm{div}}}(\rho u)&= 0,\\ \partial _t(\rho u) + {{\mathrm{div}}}(\rho u\otimes u) + \nabla p(\rho )&= \frac{\varepsilon _{0}^{2}}{2}\rho \nabla \left( \frac{\Delta \sqrt{\rho }}{\sqrt{\rho }}\right) . \end{aligned} \end{aligned}$$

The interesting connection between QHD and the Schrödinger equation is used in [19] to provide conservative weak solutions for the special case of zero pressure, \(p(\rho ) = 0\). Existence of weak solutions for a (relatively limited) class of pressure functions is provided in [1, 2]. The existence of wild solutions is possible for (1.1), as pointed out in the recent work of Donatelli et al. [13], where the method of “convex integration” is adapted to show non-uniqueness in the class of dissipative global weak solutions.

The possibility of both conservative and dissipative solutions raises the issue of studying the Onsager conjecture for the Euler–Korteweg system (1.1). We use Besov spaces \(B_p^{\alpha ,\infty }(\Omega )\), with \(1 \le p < \infty \), \(0< \alpha < 1\) (see Sect. 2.1 for the definition) and prove the following theorem:

Theorem 1.1

Suppose that (1.2) holds. Let \((\rho ,u)\) be a solution of (1.1) in the sense of distributions. Assume

$$\begin{aligned} u \in (B_3^{\alpha ,\infty }\cap L^\infty )((0,T)\times \mathbb {T}^d),\quad \rho , \nabla \rho , \Delta \rho \in (B_3^{\beta ,\infty }\cap L^\infty )((0,T)\times \mathbb {T}^d), \end{aligned}$$

where \(1>\alpha \ge \beta > 0\) such that \(\min (2\alpha +\beta ,\alpha +2\beta )>1.\)

Then the energy is locally conserved, i.e.

$$\begin{aligned} \begin{aligned} \int _0^T\int _{\mathbb {T}^d}&\left( \frac{1}{2}\rho |u|^{2} + h(\rho ) +\frac{1}{2}\kappa (\rho )|\nabla \rho |^{2}\right) \partial _t\varphi \ dx dt\\&\quad +\,\int _0^T\int _{\mathbb {T}^d}\left( \rho u\left( \frac{1}{2}|u|^{2} + h'(\rho )+ \frac{1}{2}\kappa '(\rho )|\nabla \rho |^2 -{{\mathrm{div}}}(\kappa (\rho )\nabla \rho )\right) \right. \\&\quad \left. +\, \kappa (\rho )\nabla \rho {{\mathrm{div}}}(\rho u)\right) \cdot \nabla \varphi \ dx dt= 0 \end{aligned} \end{aligned}$$

holds for every \(\varphi \in \mathscr {C}_c^1((0,T)\times \mathbb {T}^d)\).

Remark 1.2

  1. (1)

    Notice that if \(\alpha \ge \beta \), then \(3\alpha \ge \alpha +2\beta >1\) and so we must have \(\alpha >\frac{1}{3}\).

  2. (2)

    If in addition we assume the following conditions on u and \(\rho \)

    $$\begin{aligned} \lim \limits _{|\xi |,\tau \rightarrow 0}\frac{1}{\tau }\int _0^T\frac{1}{|\xi |}\int _{\mathbb {T}^d} |u(t+\tau ,x+\xi )-u(t,x)|^3 dx dt= 0,\\ \lim \limits _{|\xi |,\tau \rightarrow 0}\frac{1}{\tau }\int _0^T\frac{1}{|\xi |}\int _{\mathbb {T}^d} |\rho (t+\tau ,x+\xi )-\rho (t,x)|^3 dx dt= 0, \end{aligned}$$

    then, as pointed out by Shvydkoy [30], see also Duchon and Robert [15], one can allow for the case \(\alpha =\beta =\frac{1}{3}\). For details see e.g. Proposition 3 in [15].

The short proof of the main theorem is presented in the following section: it is preceded by an outline of Besov spaces and their basic relevant properties, some preliminary material on the structure of the Euler–Korteweg system, followed by he main part of the proof in Sect. 2.3.

Proof of the main theorem

Besov spaces

Let \(\Omega = (0,T)\times \mathbb {T}^d\). The Besov space \(B_p^{\alpha ,\infty }(\Omega )\), with \(1 \le p < \infty \), \(0< \alpha < 1\), is the space of functions \(w\in L^{p}\) for which the norm

$$\begin{aligned} \Vert w\Vert _{B_p^{\alpha ,\infty }(\Omega )}:=\Vert w\Vert _{L^p(\Omega )}+\sup _{r>0}\left\{ r^{-\alpha }\sup \limits _{|\xi |\le r}\Vert w(\cdot +\xi )-w\Vert _{L^p(\Omega \cap (\Omega -\xi ))}\right\} \end{aligned}$$

is finite, cf. [4]. In fact, we can replace the semi-norm in (2.1) with the following one

$$\begin{aligned} \sup _{\xi \in \Omega }\left\{ |\xi |^{-\alpha }\Vert w(\cdot +\xi )-w\Vert _{L^p(\Omega \cap (\Omega -\xi ))}\right\} . \end{aligned}$$

Indeed, if \(\xi ^*\) and \(r^*\) realize the suprema in (2.1) with \(|\xi ^*|<r^*\), then taking \(|\xi ^*|<r<r^*\) would contradict the supremality of \(r^*\). Therefore neccesarily \(|\xi ^*|=r^*\), thus producing (2.2). We choose to think of the Besov norm in terms of (2.2), as it is more convienient for our purposes.

We observe that if \(\alpha \ge \beta \), then there is an inclusion \(B_p^{\alpha ,\infty }(\Omega )\subset B_p^{\beta ,\infty }(\Omega )\).

Let \(\eta \in C_c^\infty (\mathbb {R}^{d+1})\) be a standard mollification kernel and we denote

$$\begin{aligned} \eta ^\varepsilon (x)=\frac{1}{\varepsilon ^{d+1}}\eta \left( \frac{x}{\varepsilon }\right) , \quad w^\varepsilon =\eta ^\varepsilon *w \quad \text {and} \quad f^\varepsilon (w) = f(w)*\eta ^\varepsilon . \end{aligned}$$

Note that the function \(w^\varepsilon \) is well-defined on \(\Omega ^\varepsilon =\{x\in \Omega : {{\mathrm{dist}}}(x,\partial \Omega )>\varepsilon \}\). The following inequalities will be extensively used in the proof of the main theorem.

Lemma 2.1

For any function \(u\in B_p^{\alpha ,\infty }(\Omega )\) we have

$$\begin{aligned} \Vert u(\cdot +\xi )-u(\cdot )\Vert _{L^p(\Omega \cap (\Omega -\xi ))}&\le |\xi |^\alpha \Vert u\Vert _{B_p^{\alpha ,\infty }(\Omega )} \end{aligned}$$
$$\begin{aligned} \Vert u^\varepsilon -u\Vert _{L^p(\Omega )}&\le \varepsilon ^\alpha \Vert u\Vert _{B_p^{\alpha ,\infty }(\Omega )} \end{aligned}$$
$$\begin{aligned} \Vert \nabla u^\varepsilon \Vert _{L^p(\Omega )}&\le C\varepsilon ^{\alpha -1}\Vert u\Vert _{B_p^{\alpha ,\infty }(\Omega )} \end{aligned}$$

where \(\nabla \) stands here for the space-time gradient.


Inequality (2.3) follows directly from the definition of the norm in the space \(B_p^{\alpha ,\infty }(\Omega )\). To show (2.4) we write

$$\begin{aligned} \begin{aligned} |u^\varepsilon (x) - u(x)|&\le \int _{{{\mathrm{supp}}}\eta ^\varepsilon }\eta ^\varepsilon (y)|u(x-y)-u(x)|\ d y\\&\le \left( \int _{{{\mathrm{supp}}}\eta ^\varepsilon }\eta ^\varepsilon (y)|u(x-y)-u(x)|^p\ d y\right) ^{\frac{1}{p}}. \end{aligned} \end{aligned}$$

Therefore, by virtue of Fubini and (2.3)

$$\begin{aligned} \begin{aligned} \int _{\Omega }|u^\varepsilon (x) - u(x)|^p\ dx&\le \int _{{{\mathrm{supp}}}\eta ^\varepsilon }\eta ^\varepsilon (y)\int _{\Omega }|u(x-y)-u(x)|^p\ dx\ d y\\&\le \int _{{{\mathrm{supp}}}\eta ^\varepsilon }\eta ^\varepsilon (y)|y|^{p\alpha }\Vert u\Vert ^p_{B_p^{\alpha ,\infty }(\Omega )}\ dy \le \varepsilon ^{p\alpha }\Vert u\Vert ^p_{B_p^{\alpha ,\infty }(\Omega )}. \end{aligned} \end{aligned}$$

For the last of the claimed inequalities we consider the convolution \(\nabla u^\varepsilon = \nabla \eta ^\varepsilon *u\) as a bounded linear operator \(T:L^p(\Omega )\rightarrow L^p(\Omega )\). Then

$$\begin{aligned} \Vert Tu\Vert _{L^p}\le C\varepsilon ^{-1}\Vert u\Vert _{L^p}. \end{aligned}$$

On the other hand, writing \(\nabla u^\varepsilon = \eta ^\varepsilon *\nabla u\), we can think of T as mapping \(W^{1,p}(\Omega )\) into \(L^p(\Omega )\). It then has unit norm.

Therefore, as the Besov space \(B_p^{\alpha ,\infty }\) is an interpolation space of exponent \(\alpha \) for \(L^p\) and \(W^{1,p}\) (cf. [4, Corollary 4.13]), T is bounded as an operator \(B_p^{\alpha ,\infty }(\Omega )\rightarrow L^p(\Omega )\) with

$$\begin{aligned} \Vert Tu\Vert _{L^p}\le C\varepsilon ^{-(1-\alpha )}\Vert u\Vert _{B_p^{\alpha ,\infty }}. \end{aligned}$$

\(\square \)

Lemma 2.2

Let \(v\in B_p^{\alpha ,\infty }(\Omega ,\mathbb {R}^m)\). Suppose \(f:\mathbb {R}^m\rightarrow \mathbb {R}\) is a \(C^1\) function with \(\frac{\partial f}{\partial v_i}\in L^\infty \) for each \(i=1,\dots ,m\). Then

$$\begin{aligned} \Vert \nabla f(v^\varepsilon )\Vert _{L^p}\le C\varepsilon ^{\alpha -1}\Vert v\Vert _{B_p^{\alpha ,\infty }} \end{aligned}$$


Since \(\nabla f(v^\varepsilon ) = \sum \limits _{i=1}^m\frac{\partial f}{\partial v_i}(v^\varepsilon )\nabla v^\varepsilon _i\), we have

$$\begin{aligned} \Vert \nabla f(v^\varepsilon )\Vert _{L^p}\le & {} \sum \limits _{i=1}^m\Vert \frac{\partial f}{\partial v_i}(v^\varepsilon )\Vert _{L^\infty }\Vert \nabla v^\varepsilon _i\Vert _{L^p}\le \max _{1\le i\le m}\Vert \frac{\partial f}{\partial v_i}\Vert _{L^\infty }\sum \limits _{i=1}^m\Vert \nabla v^\varepsilon _i\Vert _{L^p}\\\le & {} C\varepsilon ^{\alpha -1}\sum \limits _{i=1}^m\Vert v_i\Vert _{B_p^{\alpha ,\infty }} \end{aligned}$$

where the last inequality follows from Lemma 2.1. \(\square \)


System (1.1) can be written in conservative form

$$\begin{aligned} \begin{aligned} \partial _t(\rho u)+{{\mathrm{div}}}(\rho u\otimes u)&={{\mathrm{div}}}\mathbb {S},\\ \partial _t\rho +{{\mathrm{div}}}(\rho u)&=0,\\ \end{aligned} \end{aligned}$$

where \(\mathbb {S}\) is the Korteweg stress tensor

$$\begin{aligned} \mathbb {S} = \left( -p(\rho ) - \frac{\rho \kappa '(\rho )+\kappa (\rho )}{2}|\nabla \rho |^{2} + {{\mathrm{div}}}(\rho \kappa (\rho )\nabla \rho ) \right) \mathbb {I} - \kappa (\rho )\nabla \rho \otimes \nabla \rho \end{aligned}$$

with \(\mathbb {I}\) denoting the d-dimensional identity matrix and the local pressure defined as

$$\begin{aligned} p(\rho ) = \rho h'(\rho ) - h(\rho ). \end{aligned}$$

It is routine to show that a strong solution \((\rho , u)\) of the above system will satisfy the following local balance of total (kinetic and internal) energy

$$\begin{aligned} \begin{aligned}&\partial _t\left( \frac{1}{2}\rho |u|^{2} + h(\rho ) +\frac{1}{2}\kappa (\rho )|\nabla \rho |^{2}\right) \\&\quad + {{\mathrm{div}}}\left( \rho u\left( \frac{1}{2}|u|^{2} + h'(\rho )+ \frac{1}{2}\kappa '(\rho )|\nabla \rho |^2 -{{\mathrm{div}}}(\kappa (\rho )\nabla \rho )\right) + \kappa (\rho )\nabla \rho {{\mathrm{div}}}(\rho u)\right) = 0. \end{aligned} \end{aligned}$$

Theorem 1.1 gives sufficient conditions for regularity of weak solutions so that they obey the above energy equality in the sense of distributions. To prove the theorem we employ the strategy of [9], which was used in many works in the subject, including [18, 22], where variants of the following lemma are an important ingredient.

Lemma 2.3

Let \(1\le q<\infty \) and suppose \(v\in L^{2q}((0,T)\times \mathbb {T}^d;\mathbb {R}^k)\) and \(f\in \mathscr {C}^2(\mathbb {R}^k,\mathbb {R}^N)\). If

$$\begin{aligned} \sup \limits _{i,j}\Vert \frac{\partial ^2 f}{\partial v_i\partial v_j}\Vert _{L^\infty } < \infty , \end{aligned}$$

then there exists a constant \(C>0\) such that

$$\begin{aligned} \Vert f(v^\varepsilon )-f^\varepsilon (v)\Vert _{L^q}\le C\left( \Vert v^\varepsilon -v\Vert ^2_{L^{2q}} + \sup \limits _{(s,y)\in {{\mathrm{supp}}}\eta _\varepsilon }\Vert v(\cdot ,\cdot )-v(\cdot -s,\cdot -y)\Vert ^2_{L^{2q}}\right) .\nonumber \\ \end{aligned}$$


We observe that by Taylor’s theorem we have

$$\begin{aligned}&\left| f(v^\varepsilon (t,x))-f(v(t,x)))-Df(v(t,x))(v^\varepsilon (t,x)-v(t,x))\right| \nonumber \\&\quad \le C|v^\varepsilon (t,x)-v(t,x)|^2 \end{aligned}$$

where the constant C does not depend on the choice of x and t. Similarly

$$\begin{aligned}&\left| f(v(s,y))-f(v(t,x))-Df(v(t,x))(v(s,y)-v(t,x))\right| \nonumber \\&\quad \le C|v(s,y)-v(t,x)|^2. \end{aligned}$$

Mollification of the last inequality with respect to (sy) yields, by virtue of Jensen’s inequality

$$\begin{aligned}&\left| f^\varepsilon (v(t,x))-f(v(t,x)-Df(v(t,x))(v^\varepsilon (t,x)-v(t,x))\right| \nonumber \\&\quad \le C|v(\cdot ,\cdot )-v(t,x)|^2*_{(s,y)}\eta ^\varepsilon . \end{aligned}$$

Combining (2.9) and (2.11) and using the triangle inequality we deduce the estimate

$$\begin{aligned}&\left| f(v^\varepsilon (t,x))-f^\varepsilon (v(t,x))\right| \le C\left( |v^\varepsilon (t,x)-v(t,x)|^2 \right. \nonumber \\&\quad \left. + |v(\cdot ,\cdot )-v(t,x)|^2*_{(s,y)}\eta ^\varepsilon \right) . \end{aligned}$$

Finally, we observe that

$$\begin{aligned} \begin{aligned} \int _{(0,T)\times \mathbb {T}^d}&\left| |v(\cdot ,\cdot )-v(t,x)|^2*_{(s,y)}\eta ^\varepsilon \right| ^q\ dx dt\\&\le \int _{{{\mathrm{supp}}}\eta ^\varepsilon }\eta ^\varepsilon (s,y)\int _{(0,T)\times \mathbb {T}^d}|v(t-s,x-y)-v(t,x)|^{2q}\ dx dt\ d y d s\\&\le \sup \limits _{(s,y)\in {{\mathrm{supp}}}\eta _\varepsilon }\Vert v(\cdot ,\cdot )-v(\cdot -s,\cdot -y)\Vert ^{2q}_{L^{2q}}. \end{aligned} \end{aligned}$$

\(\square \)

Energy equality

We begin the proof of the theorem by mollifying the momentum equation in both space and time with kernel and notation as in Sect. 2.1 to obtain

$$\begin{aligned} \partial _t(\rho u)^\varepsilon + {{\mathrm{div}}}(\rho u\otimes u)^\varepsilon = -\nabla p^\varepsilon (\rho ) + {{\mathrm{div}}}{S^\varepsilon (\rho ,\nabla \rho , \Delta \rho )}, \end{aligned}$$

where we define

$$\begin{aligned} S(\rho ,q,r) = \left( \frac{1}{2}( \rho \kappa '(\rho )+\kappa (\rho ))|q|^2+\rho \kappa (\rho )r\right) \mathbb {I} - \kappa (\rho )q\otimes q, \end{aligned}$$

and \(S^\varepsilon (\rho ,\nabla \rho ,\Delta \rho ) = S(\rho ,\nabla \rho ,\Delta \rho )*\eta ^\varepsilon \). We note that

$$\begin{aligned} S(\rho ,\nabla \rho ,\Delta \rho )= \left( - \frac{1}{2}( \rho \kappa '(\rho )+\kappa (\rho ))|\nabla \rho |^2+{{\mathrm{div}}}(\rho \kappa (\rho )\nabla \rho )\right) \mathbb {I} - \kappa (\rho )\nabla \rho \otimes \nabla \rho , \end{aligned}$$

cf. the definition of \(\mathbb {S}\).

Equation (2.13) can be rewritten in terms of appropriate commutators to give

$$\begin{aligned} \begin{aligned} \partial _t&(\rho ^\varepsilon u^\varepsilon )+{{\mathrm{div}}}((\rho u)^\varepsilon \otimes u^\varepsilon )+\nabla p(\rho ^{\varepsilon })-{{\mathrm{div}}}(S(\rho ^\varepsilon ,\nabla \rho ^\varepsilon ,\Delta \rho ^\varepsilon ))\\&=\partial _t(\rho ^\varepsilon u^\varepsilon - (\rho u)^\varepsilon ) + {{\mathrm{div}}}((\rho u)^\varepsilon \otimes u^\varepsilon - (\rho u\otimes u)^\varepsilon ) + \nabla \left( p(\rho ^\varepsilon ) - p^\varepsilon (\rho )\right) \qquad \\&\quad -{{\mathrm{div}}}{\left( S(\rho ^\varepsilon ,\nabla \rho ^\varepsilon , \Delta \rho ^\varepsilon ) - S^\varepsilon (\rho ,\nabla \rho , \Delta \rho )\right) }. \end{aligned} \end{aligned}$$

We observe the following identities

$$\begin{aligned} {{\mathrm{div}}}((\rho u)^\varepsilon \otimes u^\varepsilon ) = u^\varepsilon {{\mathrm{div}}}{(\rho u)^\varepsilon } + ((\rho u)^\varepsilon \cdot \nabla )u^\varepsilon \end{aligned}$$


$$\begin{aligned} -\rho ^\varepsilon \;\nabla \left( \frac{1}{2}\kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2-{{\mathrm{div}}}(\kappa (\rho ^\varepsilon )\nabla \rho ^\varepsilon )\right) = {{\mathrm{div}}}S(\rho ^\varepsilon ,\nabla \rho ^\varepsilon , \Delta \rho ^\varepsilon ). \end{aligned}$$

Thus the left-hand side of Eq. (2.15) can be written as

$$\begin{aligned} \begin{aligned} (\partial _t\rho ^\varepsilon )u^\varepsilon&+ \rho ^\varepsilon \partial _t u^\varepsilon + u^\varepsilon {{\mathrm{div}}}(\rho u)^\varepsilon + ((\rho u)^\varepsilon \cdot \nabla )u^\varepsilon \\&+ \rho ^\varepsilon \;\nabla \left( h'(\rho ^\varepsilon )-\frac{1}{2}\kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2-\kappa (\rho ^\varepsilon )\Delta \rho ^\varepsilon \right) . \end{aligned} \end{aligned}$$

Hence, upon multiplying with \(u^\varepsilon \), Eq. (2.15) becomes

$$\begin{aligned} \begin{aligned}&\rho ^\varepsilon \partial _t\left( \frac{1}{2}|u^\varepsilon |^2\right) +\left( (\rho u)^\varepsilon \cdot \nabla \right) \frac{1}{2}|u^\varepsilon |^2 \\&\qquad + \rho ^\varepsilon u^\varepsilon \;\nabla \left( h'(\rho ^\varepsilon )-\frac{1}{2}\kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2-\kappa (\rho ^\varepsilon )\Delta \rho ^\varepsilon \right) \\&\quad =r_1^\varepsilon + r_2^\varepsilon + r_3^\varepsilon + r_4^\varepsilon , \end{aligned} \end{aligned}$$


$$\begin{aligned} \begin{aligned} r_1^\varepsilon&= \partial _t(\rho ^\varepsilon u^\varepsilon - (\rho u)^\varepsilon )\cdot u^\varepsilon ,\\ r_2^\varepsilon&= {{\mathrm{div}}}((\rho u)^\varepsilon \otimes u^\varepsilon - (\rho u\otimes u)^\varepsilon )\cdot u^\varepsilon ,\\ r_3^\varepsilon&= \nabla \left( p(\rho ^\varepsilon ) - p^\varepsilon (\rho )\right) \cdot u^\varepsilon ,\\ r_4^\varepsilon&= -{{\mathrm{div}}}{\left( S(\rho ^\varepsilon ,\nabla \rho ^\varepsilon , \Delta \rho ^\varepsilon ) - S^\varepsilon (\rho ,\nabla \rho , \Delta \rho )\right) }\cdot u^\varepsilon , \end{aligned} \end{aligned}$$

and we have used the mollified continuity equation

$$\begin{aligned} \partial _t\rho ^\varepsilon +{{\mathrm{div}}}(\rho u)^\varepsilon =0. \end{aligned}$$

Using (2.17) we can write the first two terms of (2.16) as

$$\begin{aligned} \begin{aligned} \rho ^\varepsilon&\partial _t\left( \frac{1}{2}|u^\varepsilon |^2\right) +\left( (\rho u)^\varepsilon \cdot \nabla \right) \frac{1}{2}|u^\varepsilon |^2 + \left( \partial _t\rho ^\varepsilon +{{\mathrm{div}}}(\rho u)^\varepsilon \right) \frac{1}{2}|u^\varepsilon |^2 \\&=\partial _t\left( \frac{1}{2}\rho ^\varepsilon |u^\varepsilon |^2\right) + {{\mathrm{div}}}\left( (\rho u)^\varepsilon \;\frac{1}{2}|u^\varepsilon |^2\right) . \end{aligned} \end{aligned}$$

Combining Eqs. (2.16) and (2.18) we obtain

$$\begin{aligned} \begin{aligned}&\partial _t\left( \frac{1}{2}\rho ^\varepsilon |u^\varepsilon |^2\right) + {{\mathrm{div}}}\left( (\rho u)^\varepsilon \;\frac{1}{2}|u^\varepsilon |^2\right) \\&\qquad + \rho ^\varepsilon u^\varepsilon \;\nabla \left( h'(\rho ^\varepsilon )-\frac{1}{2}\kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2-\kappa (\rho ^\varepsilon )\Delta \rho ^\varepsilon \right) \\&\quad =r_1^\varepsilon + r_2^\varepsilon + r_3^\varepsilon + r_4^\varepsilon . \end{aligned} \end{aligned}$$

We now rewrite the mollified continuity Eq. (2.17) in the form

$$\begin{aligned} \partial _t\rho ^\varepsilon +{{\mathrm{div}}}(\rho ^\varepsilon u^\varepsilon )={{\mathrm{div}}}(\rho ^\varepsilon u^\varepsilon -(\rho u)^\varepsilon ). \end{aligned}$$

After multiplying this equation with

$$\begin{aligned} h'(\rho ^\varepsilon ) - \frac{1}{2}\kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2 - \kappa (\rho ^\varepsilon )\Delta \rho ^\varepsilon \end{aligned}$$

and rearranging, we obtain

$$\begin{aligned} \begin{aligned}&\partial _t\left( h(\rho ^\varepsilon ) + \frac{1}{2}\kappa (\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2\right) - {{\mathrm{div}}}\left( \kappa (\rho ^\varepsilon )\nabla \rho ^\varepsilon \partial _t\rho ^\varepsilon \right) \\&\quad +{{\mathrm{div}}}(\rho ^\varepsilon u^\varepsilon )\left( h'(\rho ^\varepsilon ) - \frac{1}{2}\kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2 - \kappa (\rho ^\varepsilon )\Delta \rho ^\varepsilon \right) \\&=r_5^\varepsilon + r_6^\varepsilon + r_7^\varepsilon , \end{aligned} \end{aligned}$$


$$\begin{aligned} \begin{aligned} r_5^\varepsilon&= {{\mathrm{div}}}(\rho ^\varepsilon u^\varepsilon - (\rho u)^\varepsilon )\;h'(\rho ^\varepsilon ),\\ r_6^\varepsilon&= -{{\mathrm{div}}}(\rho ^\varepsilon u^\varepsilon - (\rho u)^\varepsilon )\;\frac{1}{2}\kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2,\\ r_7^\varepsilon&= -{{\mathrm{div}}}(\rho ^\varepsilon u^\varepsilon - (\rho u)^\varepsilon )\kappa (\rho ^\varepsilon )\Delta \rho ^\varepsilon . \end{aligned} \end{aligned}$$

Combining Eqs. (2.19) and (2.20) we obtain

$$\begin{aligned} \begin{aligned}&\partial _t\left( \frac{1}{2}\rho ^\varepsilon |u^\varepsilon |^2 + h(\rho ^\varepsilon ) + \frac{1}{2}\kappa (\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2\right) + {{\mathrm{div}}}{\left( (\rho u)^\varepsilon \;\frac{1}{2}|u^\varepsilon |^2\right) }\\&\qquad +{{\mathrm{div}}}\left( \rho ^\varepsilon u^\varepsilon \left( h'(\rho ^\varepsilon ) - \frac{1}{2}\kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2 - \kappa (\rho ^\varepsilon )\Delta \rho ^\varepsilon \right) + \kappa (\rho ^\varepsilon )\nabla \rho ^\varepsilon {{\mathrm{div}}}(\rho ^\varepsilon u^\varepsilon ) \right) \qquad \quad \\&\quad =r_1^\varepsilon + r_2^\varepsilon + r_3^\varepsilon + r_4^\varepsilon + r_5^\varepsilon + r_6^\varepsilon + r_7^\varepsilon . \end{aligned} \end{aligned}$$

It follows that to prove the theorem it is sufficient to show that each commutator error term converges to zero in the distributional sense on \((0,T)\times \mathbb {T}^d\) as \(\varepsilon \rightarrow 0\).

Commutator estimates

Let \(\varphi \in \mathscr {C}_{c}^{1}((0,T)\times \mathbb {T}^{d})\) and take \(\varepsilon >0\) small enough so that \({{\mathrm{supp}}}\varphi \subset (\varepsilon ,T-\varepsilon )\times \mathbb {T}^d\). We will show that for each \(1\le i\le 7\) we have

$$\begin{aligned} R_i^\varepsilon :=\int _0^T\int _{\mathbb {T}^d} r_i^\varepsilon \varphi \ dx dt\xrightarrow {\varepsilon \rightarrow 0^+} 0. \end{aligned}$$

The terms \(R_1^\varepsilon \) and \(R_2^\varepsilon \) are dealt with in the same way as in [18]. We recall these estimates for the reader’s convenience. For \(R_1^\varepsilon \) we observe that

$$\begin{aligned} \begin{aligned} \rho ^\varepsilon u^\varepsilon -(\rho u)^\varepsilon&= (\rho ^\varepsilon -\rho )(u^\varepsilon -u)\\&\quad -\int _{-\varepsilon }^\varepsilon \int _{\mathbb {T}^d} \eta ^\varepsilon (\tau ,\xi )(\rho (t-\tau ,x-\xi )\\&\quad -\rho (t,x))(u(t-\tau ,x-\xi )-u(t,x)) d\xi d\tau . \end{aligned} \end{aligned}$$

The first part of \(R_1^\varepsilon \) therefore can be estimated by virtue of an integration by parts, Hölder inequality and estimates (2.4) and (2.5) as

$$\begin{aligned} \begin{aligned}&\left| \int _0^T\int _{\mathbb {T}^d} \varphi \partial _t\left( (\rho ^\varepsilon -\rho )(u^\varepsilon -u)\right) \cdot u^\varepsilon \ dx dt\right| \\&\quad \le \int _0^T\int _{\mathbb {T}^d} |(\rho ^\varepsilon -\rho )(u^\varepsilon -u)|(|\partial _t\varphi \; u^\varepsilon | + |\varphi \partial _t u^\varepsilon |)\ dx dt\\&\quad \le \Vert \varphi \Vert _{\mathscr {C}^1}\Vert \rho ^\varepsilon -\rho \Vert _{L^3}\Vert u^\varepsilon -u\Vert _{L^3}\Vert u^\varepsilon \Vert _{L^3} + \Vert \varphi \Vert _{\mathscr {C}^0}\Vert \rho ^\varepsilon -\rho \Vert _{L^3}\Vert u^\varepsilon -u\Vert _{L^3}\Vert \partial _t u^\varepsilon \Vert _{L^3}\\&\quad \le C\varepsilon ^\beta \varepsilon ^\alpha \Vert \rho \Vert _{B_3^{\beta ,\infty }}\Vert u\Vert ^2_{B_3^{\alpha ,\infty }}+ C\varepsilon ^\beta \varepsilon ^\alpha \varepsilon ^{\alpha -1}\Vert \rho \Vert _{B_3^{\beta ,\infty }}\Vert u\Vert ^2_{B_3^{\alpha ,\infty }}. \end{aligned} \end{aligned}$$

Note that since we assume Besov regularity of u also in time, in the above we can estimate the \(L^3\)-norm of \(\partial _t u^\varepsilon \) according to (2.5).

For the second part of \(R_1^\varepsilon \) according to (2.22), we estimate (using integration by parts, Fubini (2.3) and (2.5))

$$\begin{aligned} \begin{aligned}&\left| \int _0^T\int _{\mathbb {T}^d} \varphi \partial _t\left( \int _{-\varepsilon }^\varepsilon \int _{\mathbb {T}^d} \eta ^\varepsilon (\tau ,\xi )(\rho (t-\tau ,x-\xi )\right. \right. \\&\qquad \left. \left. -\rho (t,x))(u(t-\tau ,x-\xi )-u(t,x)) d\xi d\tau \right) \cdot u^\varepsilon dx dt\right| \\&\quad \le C\Vert \varphi \Vert _{\mathscr {C}^1}\varepsilon ^\beta \varepsilon ^\alpha \Vert \rho \Vert _{B_3^{\beta ,\infty }}\Vert u\Vert ^2_{B_3^{\alpha ,\infty }}+C\Vert \varphi \Vert _{\mathscr {C}^0}\varepsilon ^\beta \varepsilon ^\alpha \varepsilon ^{\alpha -1}\Vert \rho \Vert _{B_3^{\beta ,\infty }}\Vert u\Vert ^2_{B_3^{\alpha ,\infty }}. \end{aligned} \end{aligned}$$

A similar estimation can be carried out for \(R_2^\varepsilon \). We write

$$\begin{aligned} \begin{aligned}&(\rho u)^\varepsilon \otimes u^\varepsilon -(\rho u\otimes u)^\varepsilon =((\rho u)^\varepsilon -\rho u)\otimes (u^\varepsilon -u)\\&\quad -\int _{-\varepsilon }^\varepsilon \int _{\mathbb {T}^d} \eta ^\varepsilon (\tau ,\xi )(\rho u(t-\tau ,x-\xi )-\rho u(t,x))\\&\quad \otimes (u(t-\tau ,x-\xi )-u(t,x))d\xi d\tau . \end{aligned} \end{aligned}$$

To use the above decomposition to estimate \(R_2^\varepsilon \) we require that the product \(\rho u\) belongs to the space \(B_3^{\beta ,\infty }((0,T)\times \mathbb {T}^d)\). To provide this regularity we needed to assume not only that \(\rho \) and u are in appropriate Besov spaces, but also belong to \(L^\infty \). Indeed, observe that since \(\alpha \ge \beta \), we have \(u\in B_3^{\beta ,\infty }\) and

$$\begin{aligned} \begin{aligned} \frac{\Vert (\rho u)(\cdot +\xi )-\rho u\Vert _{L^3}}{|\xi |^\beta }&\le \frac{\Vert \rho (u(\cdot +\xi )-u)\Vert _{L^3}}{|\xi |^\beta }+\frac{\Vert (\rho (\cdot +\xi )-\rho ) u(\cdot +\xi )\Vert _{L^3}}{|\xi |^\beta }\\&\le \Vert \rho \Vert _{L^\infty }\Vert u\Vert _{B_3^{\beta ,\infty }} + \Vert u\Vert _{L^\infty }\Vert \rho \Vert _{B_3^{\beta ,\infty }} \end{aligned} \end{aligned}$$

Thus the first part of \(R_2^\varepsilon \) can be estimated as

$$\begin{aligned} \begin{aligned}&\left| \int _0^T\int _{\mathbb {T}^d} {{\mathrm{div}}}\left( ((\rho u)^\varepsilon -\rho u)\otimes (u^\varepsilon -u)\right) \cdot \varphi u^\varepsilon \ dx dt\right| \\&\quad \le \Vert \varphi \Vert _{C^1}\Vert (\rho u)^\varepsilon -\rho u\Vert _{L^3}\Vert u^\varepsilon -u\Vert _{L^3}\Vert u^\varepsilon \Vert _{L^3}\\&\qquad +\Vert \varphi \Vert _{C^0}\Vert (\rho u)^\varepsilon -\rho u\Vert _{L^3}\Vert u^\varepsilon -u\Vert _{L^3}\Vert \nabla u^\varepsilon \Vert _{L^3} \\&\quad \le C\varepsilon ^\beta \varepsilon ^\alpha \Vert \rho \Vert _{B_3^{\beta ,\infty }}\Vert u\Vert ^2_{B_3^{\alpha ,\infty }} + C\varepsilon ^\beta \varepsilon ^\alpha \varepsilon ^{\alpha -1}\Vert \rho u\Vert _{B_3^{\beta ,\infty }}\Vert u\Vert ^2_{B_3^{\alpha ,\infty }}. \end{aligned} \end{aligned}$$

Likewise, for the second part of \(R_2^\varepsilon \) we get

$$\begin{aligned} \begin{aligned}&\left| \int _0^T\int _{\mathbb {T}^d} {{\mathrm{div}}}\left\{ \int _{-\varepsilon }^\varepsilon \int _{\mathbb {T}^d} \eta ^\varepsilon (\tau ,\xi )(\rho u(t-\tau ,x-\xi )-\rho u(t,x))\right. \right. \\&\quad \left. \left. \otimes (u(t-\tau ,x-\xi )-u(t,x))d\xi d\tau \right\} \cdot \varphi u^\varepsilon dx dt\right| \\&\quad \le C\Vert \varphi \Vert _{\mathscr {C}^0}\varepsilon ^\beta \varepsilon ^\alpha \varepsilon ^{\alpha -1}\Vert \rho u\Vert _{B_3^{\beta ,\infty }}\Vert u\Vert ^2_{B_3^{\alpha ,\infty }}+C\Vert \varphi \Vert _{\mathscr {C}^1}\varepsilon ^\beta \varepsilon ^\alpha \Vert \rho \Vert _{B_3^{\beta ,\infty }}\Vert u\Vert ^2_{B_3^{\alpha ,\infty }}. \end{aligned} \end{aligned}$$

These estimates show that \(R_1^\varepsilon \) and \(R_2^\varepsilon \) vanish as \(\varepsilon \rightarrow 0\).

To estimate terms \(R_3^\varepsilon \) and \(R_4^\varepsilon \) we integrate by parts and apply Lemma 2.3 to get the following

$$\begin{aligned} \begin{aligned} |R_3^\varepsilon |&\le \Vert \varphi \Vert _{\mathscr {C}^1}\int _0^T\int _{\mathbb {T}^d} |p(\rho ^\varepsilon )-p^\varepsilon (\rho )||u^\varepsilon |\ dx dt+\Vert \varphi \Vert _{\mathscr {C}^0}\int _0^T\int _{\mathbb {T}^d} |p(\rho ^\varepsilon )\\&\quad -p^\varepsilon (\rho )||\nabla u^\varepsilon |\ dx dt\\&\le C\Vert p(\rho ^\varepsilon )-p^\varepsilon (\rho )\Vert _{L^{3/2}}\left( \Vert u^\varepsilon \Vert _{L^3}+\Vert \nabla u^\varepsilon \Vert _{L^3}\right) \\&\le C\left( \Vert \rho ^\varepsilon -\rho \Vert _{L^3}^2+ \sup \limits _{y\in {{\mathrm{supp}}}\eta ^\varepsilon }\Vert \rho (\cdot )-\rho (\cdot -y)\Vert _{L^3}^2 \right) \left( 1+\varepsilon ^{\alpha -1}\right) \Vert u\Vert _{B_3^{\alpha ,\infty }}\\&\le C\left( \varepsilon ^{2\beta }\Vert \rho \Vert _{B_3^{\beta ,\infty }}^2+ \sup \limits _{|y|\le \varepsilon }|y|^{2\beta }\Vert \rho \Vert _{B_3^{\beta ,\infty }}^2 \right) \left( 1+\varepsilon ^{\alpha -1}\right) \Vert u\Vert _{B_3^{\alpha ,\infty }}\\&\le C(\varepsilon ^{2\beta }+\varepsilon ^{2\beta +\alpha -1})\Vert u\Vert _{B_3^{\alpha ,\infty }}\Vert \rho \Vert ^2_{B_3^{\beta ,\infty }} \end{aligned} \end{aligned}$$

and similarly

$$\begin{aligned} \begin{aligned} |R_4^\varepsilon |&\le C\Vert S(\rho ^\varepsilon , \nabla \rho ^\varepsilon , \Delta \rho ^\varepsilon )-S^\varepsilon (\rho ,\nabla \rho , \Delta \rho )\Vert _{L^{3/2}}(\Vert u^\varepsilon \Vert _{L^3}+\Vert \nabla u^\varepsilon \Vert _{L^3})\\&\le C(\varepsilon ^{2\beta }+\varepsilon ^{2\beta +\alpha -1})\Vert u\Vert _{B_3^{\alpha ,\infty }}(\Vert \rho \Vert ^2_{B_3^{\beta ,\infty }}+\Vert \nabla \rho \Vert ^2_{B_3^{\beta ,\infty }}+\Vert \Delta \rho \Vert ^2_{B_3^{\beta ,\infty }}). \end{aligned} \end{aligned}$$

It now remains to estimate the last three commutator errors \(R_5^\varepsilon \), \(R_6^\varepsilon \) and \(R_7^\varepsilon \). To this end we employ Lemma 2.2 with function f being \(h'(\rho )\), \(\kappa '(\rho )|\nabla \rho |^2\), and \(\kappa (\rho )\Delta \rho \), respectively. We observe that by assumptions (1.2) and (1.4) these functions belong to \(L^\infty \). Using again equality (2.22) we can estimate as follows.

$$\begin{aligned} \begin{aligned} |R_5^\varepsilon |&\le \int _0^T\int _{\mathbb {T}^d} |(\rho ^\varepsilon -\rho )(u^\varepsilon -u)|(|h'(\rho ^\varepsilon )\nabla \varphi |+|\varphi \nabla h'(\rho ^\varepsilon )|)\ dx dt\\&\le \Vert \varphi \Vert _{\mathscr {C}^1}\Vert \rho ^\varepsilon -\rho \Vert _{L^3}\Vert u^\varepsilon -u\Vert _{L^3}\Vert h'(\rho ^\varepsilon )\Vert _{L^3}\\&\quad + \Vert \varphi \Vert _{\mathscr {C}^0}\Vert \rho ^\varepsilon -\rho \Vert _{L^3}\Vert u^\varepsilon -u\Vert _{L^3}\Vert \nabla h'(\rho ^\varepsilon )\Vert _{L^3}\\&\le C\varepsilon ^\beta \varepsilon ^\alpha \Vert \rho \Vert _{B_3^{\beta ,\infty }}\Vert u\Vert _{B_3^{\alpha ,\infty }} + C\varepsilon ^\beta \varepsilon ^\alpha \varepsilon ^{\beta -1}\Vert \rho \Vert ^2_{B_3^{\beta ,\infty }}\Vert u\Vert _{B_3^{\alpha ,\infty }},\\ |R_6^\varepsilon |&\le C (\Vert \kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2\Vert _{L^3}+\Vert \nabla (\kappa '(\rho ^\varepsilon )|\nabla \rho ^\varepsilon |^2)\Vert _{L^3})\Vert \rho ^\varepsilon -\rho \Vert _{L^3}\Vert u^\varepsilon -u\Vert _{L^3}\\&\le C\varepsilon ^\beta \varepsilon ^\alpha \Vert \rho \Vert _{B_3^{\beta ,\infty }}\Vert u\Vert _{B_3^{\alpha ,\infty }} + C\varepsilon ^\beta \varepsilon ^\alpha \varepsilon ^{\beta -1}\Vert \rho \Vert ^2_{B_3^{\beta ,\infty }}\Vert u\Vert _{B_3^{\alpha ,\infty }}, \end{aligned} \end{aligned}$$


$$\begin{aligned} \begin{aligned} |R_7^\varepsilon |&\le C (\Vert \kappa (\rho ^\varepsilon )\Delta \rho ^\varepsilon \Vert _{L^3}+\Vert \nabla (\kappa (\rho ^\varepsilon )\Delta \rho ^\varepsilon )\Vert _{L^3})\Vert \rho ^\varepsilon -\rho \Vert _{L^3}\Vert u^\varepsilon -u\Vert _{L^3}\\&\le C\varepsilon ^\beta \varepsilon ^\alpha \Vert \rho \Vert _{B_3^{\beta ,\infty }}\Vert u\Vert _{B_3^{\alpha ,\infty }} + C\varepsilon ^\beta \varepsilon ^\alpha \varepsilon ^{\beta -1}\Vert \rho \Vert ^2_{B_3^{\beta ,\infty }}\Vert u\Vert _{B_3^{\alpha ,\infty }}. \end{aligned} \end{aligned}$$

For brevity the above calculations include only the first term coming from (2.22), with the second term easily seen to produce estimates of the same order.

Thus the proof of the theorem is complete.


  1. 1.

    Antonelli, P., Marcati, P.: On the finite energy weak solutions to a system in quantum fluid dynamics. Commun. Math. Phys. 287(2), 657–686 (2009)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Antonelli, P., Marcati, P.: The quantum hydrodynamics system in two space dimensions. Arch. Ration. Mech. Anal. 203(2), 499–527 (2012)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Bardos, C., Titi, E.: Onsager’s conjecture for the incompressible Euler equations in bounded domains. Arch. Ration. Mech. Anal. 228, 197 (2017).

    MathSciNet  Article  MATH  Google Scholar 

  4. 4.

    Bennett, C., Sharpley, R.: Interpolation of Operators. Pure and Applied Mathematics, vol. 129. Academic Press Inc., Boston (1988)

    MATH  Google Scholar 

  5. 5.

    Buckmaster, T., De Lellis, C., Székelyhidi Jr., L., Vicol, V.: Onsager’s conjecture for admissible weak solutions. Commun. Pure Appl. Math. (2018).

  6. 6.

    Benzoni-Gavage, S., Danchin, R., Descombes, S.: On the well-posedness for the Euler–Korteweg model in several space dimensions. Indiana Univ. Math. J. 56, 1499–1579 (2007)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Benzoni-Gavage, S., Danchin, R., Descombes, S., Jamet, D.: Structure of Korteweg models and stability of diffuse interfaces. Interfaces Free Bound. 7(4), 371–414 (2005)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Caflisch, R.E., Klapper, I., Steele, G.: Remarks on singularities, dimension and energy dissipation for ideal hydrodynamics and MHD. Commun. Math. Phys. 184(2), 443–455 (1997)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Constantin, P., W, E., Titi, E.S.: Onsager’s conjecture on the energy conservation for solutions of Euler’s equation. Commun. Math. Phys. 165(1), 207–209 (1994)

    MathSciNet  Article  Google Scholar 

  10. 10.

    De Lellis, C., Székelyhidi Jr., L.: The Euler equations as a differential inclusion. Ann. Math. (2) 170(3), 1417–1436 (2009)

    MathSciNet  Article  Google Scholar 

  11. 11.

    De Lellis, C., Székelyhidi Jr., L.: On admissibility criteria for weak solutions of the Euler equations. Arch. Ration. Mech. Anal. 195, 225–260 (2010)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Dębiec, T., Gwiazda, P., Świerczewska-Gwiazda, A.: A tribute to energy conservation for weak solutions. arXiv:1707.09794 (2017)

  13. 13.

    Donatelli, D., Feireisl, E., Marcati, P.: Well/ill posedness for the Euler–Korteweg–Poisson system and related problems. Commun. Partial Differ. Equ. 40(7), 1314–1335 (2015)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Drivas, T.D., Eyink, G.L.: An Onsager singularity theorem for turbulent solutions of compressible Euler equations. Commun. Math. Phys. 359, 733 (2017)

    MathSciNet  Article  Google Scholar 

  15. 15.

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

    MathSciNet  Article  Google Scholar 

  16. 16.

    Dunn, J.E., Serrin, J.: On the thermomechanics of interstitial working. Arch. Ration. Mech. Anal. 88, 95–133 (1985)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Eyink, G.L.: Energy dissipation without viscosity in ideal hydrodynamics. I. Fourier analysis and local energy transfer. Physica D 78(3–4), 222–240 (1994)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Feireisl, E., Gwiazda, P., Świerczewska-Gwiazda, A., Wiedemann, E.: Regularity and energy conservation for the compressible Euler equations. Arch. Ration. Mech. Anal. 223(3), 1–21 (2017)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Gasser, I., Markowich, P.: Quantum hydrodynamics, Wigner transforms and the classical limit. Asymptot. Anal. 14, 97–116 (1997)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    Giesselmann, J., Tzavaras, A.: Stability properties of the Euler–Korteweg system with nonmonotone pressures. Appl. Anal. 96(9), 1528–1546 (2017)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Giesselman, J., Lattanzio, C., Tzavaras, A.: Relative energy for the Korteweg theory and related hamiltonian flows in gas dynamics. Arch. Ration. Mech. Anal. 223(3), 1427–1484 (2017)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Gwiazda, P., Michálek, M., Świerczewska-Gwiazda, A.: A note on weak solutions of conservation laws and energy/entropy conservation. Arch. Ration. Mech. Anal. 229(3), 1223–1238 (2018)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Isett, P.: A proof of Onsager’s conjecture. Ann. Math. (2018, to appear)

  24. 24.

    Isett, P.: On the endpoint regularity in Onsager’s conjecture. arXiv:1706.0154 (2017)

  25. 25.

    Kang, E., Lee, J.: Remarks on the magnetic helicity and energy conservation for ideal magneto-hydrodynamics. Nonlinearity 20(11), 2681–2689 (2007)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Leslie, T.M., Shvydkoy, R.: The energy balance relation for weak solutions of the density-dependent Navier–Stokes equations. J. Differ. Equ. 261(6), 3719–3733 (2016)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Onsager, L.: Statistical hydrodynamics. Nuovo Cimento (9) 6, 279–287 (1949). (Convegno Internazionale di Meccanica Statistica)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Scheffer, V.: An inviscid flow with compact support in space–time. J. Geom. Anal. 3(4), 343–401 (1993)

    MathSciNet  Article  Google Scholar 

  29. 29.

    Shnirelman, A.: Weak solutions with decreasing energy of incompressible Euler equations. Commun. Math. Phys. 210(3), 541–603 (2000)

    MathSciNet  Article  Google Scholar 

  30. 30.

    Shvydkoy, R.: On the energy of inviscid singular flows. J. Math. Anal. Appl. 349, 583–595 (2009)

    MathSciNet  Article  Google Scholar 

  31. 31.

    Yu, C.: Energy conservation for the weak solutions of the compressible Navier–Stokes equations. Arch. Ration. Mech. Anal. 225(2), 1073–1087 (2017)

    MathSciNet  Article  Google Scholar 

Download references


This work was partially supported by the Simons - Foundation Grant 346300 and the Polish Government MNiSW 2015-2019 matching fund; AET thanks the Institute of Mathematics of the Polish Academy of Sciences, Warsaw, for their hospitality during his stay as a Simons Visiting Professor, while P.G. and A.Ś-G thank KAUST for its hospitality during their stay. P.G. and A.Ś-G. received support from the National Science Centre (Poland), 2015/18/M/ST1/00075. T.D acknowledges the support of the National Science Centre (Poland), 2012/05/E/ST1/02218.

Author information



Corresponding author

Correspondence to Agnieszka Świerczewska-Gwiazda.

Additional information

Communicated by C. De Lellis.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Dębiec, T., Gwiazda, P., Świerczewska-Gwiazda, A. et al. Conservation of energy for the Euler–Korteweg equations. Calc. Var. 57, 160 (2018).

Download citation

Mathematics Subject Classification

  • 76D45
  • 35G50