Abstract
We consider a sequence of approximate solutions to the compressible Euler system admitting uniform energy bounds and/or satisfying the relevant field equations modulo an error vanishing in the asymptotic limit. We show that such a sequence either (i) converges strongly in the energy norm, or (ii) the limit is not a weak solution of the associated Euler system. This is in sharp contrast to the incompressible case, where (oscillatory) approximate solutions may converge weakly to solutions of the Euler system. Our approach leans on identifying a system of differential equations satisfied by the associated turbulent defect measure and showing that it only has a trivial solution.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [28, Section 4], Greengard and Thomann constructed a sequence \(\{ \mathbf{v}_n \}_{n=1}^\infty \) of exact solutions to the incompressible Euler system in \(R^2\), compactly supported in the space variable, and converging weakly to the velocity field \(\mathbf{v} = 0\). As \(\mathbf{v} = 0\) is obviously a solution of the Euler system, this is an example of a sequence of solutions to the incompressible Euler system defined on the whole space \(R^2\) and converging weakly to another solution of the same problem. We show that such a scenario is impossible in the context of compressible fluid flows.
We consider consider a sequence of approximate solutions to the compressible Euler system. Motivated by the numerical terminology we distinguish (i) stable approximation, where the approximate solutions satisfy the relevant uniform bounds, and (ii) consistent approximation, where the field equations of the Euler system are satisfied modulo an error vanishing in the asymptotic limit. A prominent example of consistent approximation is the vanishing viscosity limit, where the approximate solutions satisfy the Navier–Stokes system. In the light of the recent results [10,11,12,13] indicating essential ill–posedness of the compressible Euler system, the vanishing viscosity limit might be seen as a sound selection criterion to identify the physically relevant solutions of systems describing inviscid fluids, although this can be still arguable in view of the examples collected in the recent survey by Buckmaster and Vicol [6] and Constantin and Vicol [14]. The principal difficulties of this process, caused in particular by the presence of kinematic boundaries, are well understood in the case of incompressible fluids, see e.g. the survey of E [32]. However, much less is known in the compressible case. Leaving apart the boundary layer issue, Sueur [31] proved unconditional convergence in the barotropic case provided the Euler system admits a smooth solution. A similar result was obtained for the full Navier–Stokes/Euler systems in [20]. However, as many solutions of the Euler system are known to develop discontinuities in finite time, it is of essential interest to understand the inviscid limit provided the target solution is not smooth. Very recently, Basarić [3] identified the vanishing viscosity limit with a measure–valued solution to the Euler system on general, possibly unbounded, spatial domains, which can be seen as a “compressible” counterpart of the pioneering work of DiPerna and Majda [19] in the incompressible case. The incompressible setting was further studied in space dimension two and for vortex sheet initial data by DiPerna and Majda [17, 18] and Greengard and Thomann [28]. Their results show that the set, where the approximate solutions do not converge strongly is either empty or its projection on the time axis is of positive measure.
As the name suggests, numerous consistent approximations can be identified with sequences of numerical solutions, see e.g. [21, 22]. There is a strong piece of evidence, see e.g. Fjordholm et al. [24,25,26], that the numerical solutions to the compressible Euler system develop fast oscillations (wiggles) in the asymptotic limit. The resulting object is described by the associated Young measure and it is therefore of interest to know in which sense the limit Euler system is satisfied. In accordance with the seminal paper by DiPerna and Majda [19], the limit should be identified with a generalized measure–valued solution of the Euler system. The concept of measure–valued solution used also more recently in Basarić [3], however, follows the philosophy: the more general the better, while preserving a suitable weak (measure–valued)/strong uniqueness principle. Such an approach is typically beneficial for a number of applications in numerical analysis. As a matter of fact, a more refined description of the asymptotic limit can be obtained via Alibert–Bouchitté’s [1] framework employed by Gwiazda, Świerczewska–Gwiazda, and Wiedemann [29]. Here, similarly to the work by Chen and Glimm [9], the measure–valued solutions are defined for the density \(\varrho \) and the weighted velocity \(\sqrt{\varrho } \mathbf{u}\) yielding a rather awkward definition of a solution.
Our approach is based on estimating the distance between an approximate sequence and its limits by means of the so–called Bregman divergence
where \(\mathbf{U}\), \(\mathbf{V}\) are measurable functions on the fluid domain \(\Omega \subset R^d\) ranging in \(R^m\), and \(E: R^m \rightarrow [0, \infty ]\) is a strictly convex function, see e.g. Sprung [30]. In the context of the Euler system, the function E is the total energy; whence \(\mathcal {E}\) may be see as relative energy in the sense of Dafermos [15]. Strict convexity of E is then nothing other than a formulation of the principle of thermodynamic stability, where the relevant phase variables are the density \(\varrho \), the momentum \(\mathbf{m}\), and the total entropy S, cf. Bechtel, Rooney, and Forrest [4].
We consider both the full Euler system and its isentropic variant. In the former case, we show that any stable approximation either converges pointwise or its limit is not a weak solution of the Euler system. The proof is based mainly on the fact that the total energy is a conserved quantity for the limit system. The isentropic case is more delicate, as the energy conservation is in general violated by the weak solutions. Here, we consider consistent approximation and show that the energy defect, expressed through the asymptotic limit of the Bregman distance is intimately related to turbulent defect measure in the momentum equation. In fact, the defect in the momentum equation directly controls the defect in the energy. (The converse, meaning the defect in the energy controls the defect in the momentum equation, is also true and indispensable but not of direct use in the present setting). Furthermore, the turbulent defect measure \(\mathbb {D}(t)\) is for a.e. time given by a (symmetric) positive semidefinite matrix–valued finite Borel measure on the physical space \(\Omega \subset R^{d}\) in the sense that
and it can be identified along with a system of differential equations it obeys. In particular, we show below that the problem of convergence towards a weak solution reduces to solving a system of differential equations
The paper is organized as follows. In Section 2, we recall the concept of weak solution for both the complete Euler system and its isentropic variant. We introduce the notion of stable and consistent approximations and state the main results. In Section 3, we study convergence of stable approximations to the full Euler system. Section 4 is devoted to the same problem for the isentropic Euler system. Possible extensions of the results are discussed in Section 5.
2 Approximate solutions to the Euler system, main results
The complete Euler system governing the time evolution of the density \(\varrho = \varrho (t,x)\), the momentum \(\mathbf{m}= \mathbf{m}(t,x)\), and the energy \(E = E(t,x)\) of a compressible perfect fluid reads:
We suppose the fluid is confined to a domain \(\Omega \subset R^d\) with impermeable boundary,
Mostly we deal with the admissible weak solutions satisfying the Euler system (2.1) in the sense of distributions, together with the (renormalized) entropy inequality
for any \(Z \in BC(R)\), \(Z' \ge 0\), cf. e.g. Chen and Frid [8]. Here p is the pressure and s is the entropy related to the internal energy e through Gibbs’ equation
Introducing the total entropy \(S = \varrho s\), we write all thermodynamic functions in terms of the basic phase variables \([\varrho , \mathbf{m}, S]\),
The cornerstone of the forthcoming analysis is the thermodynamic stability hypothesis:
is a strictly convex l.s.c. function, where we set
cf. Bechtel, Rooney, Forrest [4]. To avoid further technicalities, we suppose the polytropic relation between the pressure and the internal energy
Accordingly, the total energy takes the form
for which the desired convexity has been verified in [5].
Remark 2.1
In what follows, we consider two particular settings, namely, the complete Euler system and the isentropic Euler system. We study the convergence of stable approximations of the complete Euler system and consistent approximations for the isentropic one. For both systems we are interested in fluids confined in a domain \(\Omega \subset R^{d}\). In addition, it turns out that for the isentropic Euler system a much stronger result can be obtained on the full space, while the counterpart on a bounded domain requires additional assumption concerning the behavior close to the boundary, cf. Theorem 2.7 and Theorem 5.1. For the complete Euler system this additional assumption is not necessary but on the other hand we require a stronger assumption on the approximate initial data, cf. Theorem 2.6.
2.1 Weak solutions to the complete Euler system
Definition 2.2
(Admissible weak solution to complete Euler system) Let \(\Omega \subset R^d\), \(d=1,2,3\), be a domain with Lipschitz boundary.
We say that \([\varrho , \mathbf{m}, S]\) is an admissible weak solution to the Euler system (2.1)–(2.3) in \((0,T) \times \Omega \) with the initial data \([\varrho _0, \mathbf{m}_0, S_0]\), if
-
$$\begin{aligned} \varrho \ge 0 \ \text{ a.a. } \text{ in }\ (0,T) \times \Omega ,\ S = 0 \ \text{ a.a. } \text{ in } \text{ the } \text{ set }\ \{ \varrho = 0 \}; \end{aligned}$$
-
$$\begin{aligned} \left[ \int _{\Omega } \varrho \varphi \ \,\mathrm{d} {x} \right] _{t = 0}^{t = \tau } = \int _0^\tau \int _{\Omega } \left[ \varrho \partial _t \varphi + \mathbf{m}\cdot \nabla _x\varphi \right] \ \,\mathrm{d} {x}\,\mathrm{d} t ,\ \varrho (0, \cdot ) = \varrho _0, \end{aligned}$$(2.7)
for any \(0 \le \tau < T\), \(\varphi \in C^1_c([0,T) \times \overline{\Omega })\);
-
$$\begin{aligned} \begin{aligned} \left[ \int _{\Omega } \mathbf{m}\cdot \varvec{\varphi } \ \,\mathrm{d} {x} \right] _{t = 0}^{t = \tau }&= \int _0^\tau \int _{\Omega } \left[ \mathbf{m}\cdot \partial _t \varvec{\varphi }+ \mathbf{1}_{\varrho > 0} \frac{\mathbf{m}\otimes \mathbf{m}}{\varrho } : \nabla _x\varvec{\varphi }+ p(\varrho , S) \mathrm{div}_x\varvec{\varphi }\right] \ \,\mathrm{d} {x}\,\mathrm{d} t ,\\ \mathbf{m}(0, \cdot )&= \mathbf{m}_0, \end{aligned} \end{aligned}$$(2.8)
for any \(0 \le \tau < T\), \(\varvec{\varphi }\in C^1_c([0,T) \times \overline{\Omega })\), \(\varvec{\varphi }\cdot \mathbf{n}|_{\partial \Omega } = 0\);
-
$$\begin{aligned} \begin{aligned}&\left[ \int _{\Omega } E(\varrho , \mathbf{m}, S) \varphi \ \,\mathrm{d} {x} \right] _{t = 0}^{t = \tau }\\&\quad = \int _0^\tau \int _{\Omega } \left[ E(\varrho , \mathbf{m}, S) \partial _t \varphi + \mathbf{1}_{\varrho > 0} \left[ \left( E(\varrho , \mathbf{m}, S) + p(\varrho , S) \right) \frac{\mathbf{m}}{\varrho } \right] \cdot \nabla _x\varphi \right] \ \,\mathrm{d} {x}\,\mathrm{d} t ,\\&\quad E(\varrho , \mathbf{m}, S)(0, \cdot ) = E(\varrho _0, \mathbf{m}_0, S_0), \end{aligned} \end{aligned}$$(2.9)
for any \(0 \le \tau < T\), \(\varphi \in C^1_c([0,T) \times \overline{\Omega })\);
-
$$\begin{aligned} \begin{aligned} \left[ \int _{\Omega } \varrho Z \left( \frac{S}{\varrho } \right) \varphi \ \,\mathrm{d} {x} \right] _{t = 0}^{t = \tau }&\ge \int _0^\tau \int _{\Omega } \left[ \varrho Z\left( \frac{S}{\varrho } \right) \partial _t \varphi + Z \left( \frac{S}{\varrho } \right) {\mathbf{m}} \cdot \nabla _x\varphi \right] \ \,\mathrm{d} {x}\,\mathrm{d} t ,\\ \varrho Z \left( \frac{S}{\varrho } \right) (0, \cdot )&= \varrho _0 Z \left( \frac{S_0}{\varrho _0} \right) , \end{aligned} \end{aligned}$$(2.10)
for a.a. \(0 \le \tau < T\), and any \(\varphi \in C^1_c([0,T) \times \overline{\Omega })\), \(\varphi \ge 0\), and \(Z \in BC(R) \cap C^1(R)\), \(Z' \ge 0\).
In Definition 2.2, we tacitly assume that all quantities under integrals are at least locally integrable in \([0,T) \times \overline{\Omega }\).
2.2 Weak solutions to the isentropic Euler system
The isentropic Euler system is formally obtained from (2.1) by requiring the entropy \(s = \overline{s}\) to be constant. The total energy given by (2.6) simplifies to
We consider the isentropic Euler system on the whole space \(R^d\), with the far field boundary conditions
where \(\varrho _\infty \) and \(\mathbf{u}_\infty \) are give constant fields. Consequently, it is more convenient to replace E by the relative energy
As pointed out in the introductory part, the relative energy is nothing other than the Bregman divergence associated to the convex function E, cf. (1.1).
Definition 2.3
(Weak solution to isentropic Euler system) We say that \([\varrho , \mathbf{m}]\) is a weak solution to the Euler system in \((0,T) \times R^d\), with the initial data \([\varrho _0, \mathbf{m}_0]\) and the far field conditions (2.12), if
-
$$\begin{aligned} \varrho \ge 0 \ \text{ a.a. } \text{ in }\ (0,T) \times R^d; \end{aligned}$$
-
$$\begin{aligned} \left[ \int _{R^d} \varrho \varphi \ \,\mathrm{d} {x} \right] _{t = 0}^{t = \tau } = \int _0^\tau \int _{R^d} \left[ \varrho \partial _t \varphi + \mathbf{m}\cdot \nabla _x\varphi \right] \ \,\mathrm{d} {x}\,\mathrm{d} t ,\ \varrho (0, \cdot ) = \varrho _0,\qquad \end{aligned}$$(2.13)
for any \(0 \le \tau < T\), \(\varphi \in C^1_c([0,T) \times R^d)\);
-
$$\begin{aligned} \begin{aligned} \left[ \int _{R^d} \mathbf{m}\cdot \varvec{\varphi } \ \,\mathrm{d} {x} \right] _{t = 0}^{t = \tau }&= \int _0^\tau \int _{R^d} \left[ \mathbf{m}\cdot \partial _t \varvec{\varphi }+\mathbf{1}_{\varrho > 0} \frac{\mathbf{m}\otimes \mathbf{m}}{\varrho } : \nabla _x\varvec{\varphi }+ p(\varrho ) \mathrm{div}_x\varvec{\varphi }\right] \ \,\mathrm{d} {x}\,\mathrm{d} t , \\ \mathbf{m}(0, \cdot ) = \mathbf{m}_0, \end{aligned} \end{aligned}$$(2.14)
for any \(0 \le \tau < T\), \(\varvec{\varphi }\in C^1_c([0,T) \times R^d, R^d)\).
We say that a weak solution is admissible, if, in addition, the energy inequality
holds for any \(0 \le \tau < T\).
Note that the total energy balance (2.9) that is an integral part of the weak formulation for the complete Euler system has been replaced by the integrated energy inequality (2.15) that plays the role of admissibility condition similar to the entropy inequality (2.10). In (2.15), we tacitly assume that the initial (relative) energy is finite, meaning that the initial data satisfy the far field conditions (2.12).
2.3 Stable and consistent approximations
The following two definitions are motivated by the terminology used in the numerical analysis.
Definition 2.4
(Stable approximation of the full Euler system) We say that a sequence
is a stable approximation of the full Euler system in \((0,T) \times \Omega \), with the initial data \([\varrho _0, \mathbf{m}_0, S_0]\), if:
uniformly for \(n \rightarrow \infty \);
where \(e_n \rightarrow 0\) as \(n \rightarrow \infty \).
Note that both (2.16) and (2.17) obviously hold for any admissible weak solution in the sense of Definition 2.2.
Next, we introduce the concept of consistent approximation of the isentropic Euler system in \((0,T) \times R^d\) supplemented with the far field conditions (2.12).
Definition 2.5
(Consistent approximation of isentropic Euler system) We say that a sequence \(\{ \varrho _n, \mathbf{m}_n \}_{n=1}^\infty \) is a consistent approximation of the isentropic Euler system in \((0,T) \times R^d\), with the far field conditions (2.12) if:
-
$$\begin{aligned} \varrho _n \ge 0 \ \text{ a.a. } \text{ in }\ (0,T) \times R^d; \end{aligned}$$
-
$$\begin{aligned} \int _0^\tau \int _{R^d} \left[ \varrho _n \partial _t \varphi + \mathbf{m}_n \cdot \nabla _x\varphi \right] \ \,\mathrm{d} {x} = e^1_n(\tau , \varphi ) \end{aligned}$$(2.18)
for any \(\varphi \in C^\infty _c((0,T) \times R^d)\), \(0 \le \tau \le T\);
-
$$\begin{aligned} \int _0^\tau \int _{R^d} \left[ \mathbf{m}_n \cdot \partial _t \varvec{\varphi }+ \mathbf{1}_{\varrho _{n} > 0} \frac{\mathbf{m}_n \otimes \mathbf{m}_n}{\varrho _n} : \nabla _x\varvec{\varphi }+ p(\varrho _n) \mathrm{div}_x\varvec{\varphi }\right] \ \,\mathrm{d} {x}\,\mathrm{d} t = e^2_n (\tau , \varvec{\varphi })\nonumber \\ \end{aligned}$$(2.19)
for any \(\varvec{\varphi }\in C^\infty _c((0,T) \times R^d, R^d)\), \(0 \le \tau \le T\);
-
$$\begin{aligned} \int _{R^d} E \left( \varrho _n, \mathbf{m}_n \ \Big | \ \varrho _\infty , \mathbf{m}_\infty \right) (\tau , \cdot ) \ \,\mathrm{d} {x} \le c \end{aligned}$$(2.20)
uniformly for \(0 \le \tau \le T\), \(n=1,2, \dots \);
-
$$\begin{aligned} e^1_n (\tau , \varphi ) \rightarrow 0,\ e^2_n (\tau , \varvec{\varphi }) \rightarrow 0 \ \text{ as }\ n \rightarrow \infty \end{aligned}$$(2.21)
for any fixed \(0 \le \tau \le T\), \(\varphi \in C^\infty _c((0,T) \times R^d)\), \(\varvec{\varphi }\in C^\infty _c((0,T) \times R^d; R^d)\).
Note carefully the difference between stable and consistent approximation. Stable approximation only satisfies the relevant a priori bounds and approaches the energy of the initial data in the asymptotic limit. Consistent approximation satisfies the weak formulation of the field equations modulo a small error vanishing in the asymptotic limit.
2.4 Main results
We start by the result concerning stable approximation to the complete Euler system. Recall that the only uniform bounds available result from the hypothesis (2.16), and the energy inequality (2.17). In particular, as we shall see below, the uniform bounds (2.16), (2.17) guarantee only \(L^1\)-integrability of the phase variables \((\varrho _n, \mathbf{m}_n, S_n)\) with respect to the x-variable. Accordingly, we consider the concept of biting limit in the sense of Ball and Murat [2] to describe the asymptotic behavior of a stable approximation to the complete Euler system. The result reads as follows.
Theorem 2.6
(Asymptotic limit of stable approximation) Let \(\Omega \subset R^d\) be a bounded Lipschitz domain. Let \(\{ \varrho _n, \mathbf{m}_n, S_n \}_{n=1}^\infty \) be a stable approximation of the complete Euler system in the sense of Definition 2.4, with the initial data
Then there exists a subsequence (not relabeled for simplicity) enjoying the following properties:
the sequence \(\{ \varrho _n, \mathbf{m}_n, S_n \}_{n=1}^\infty \) admits a biting limit \([\varrho , \mathbf{m}, S]\),
If, moreover, \([\varrho , \mathbf{m}, S]\) is an admissible weak solution to the complete Euler system specified in Definition 2.2, then
Our second result concerns the asymptotic behavior of a consistent approximation to the isentropic Euler system on \(R^d\). The corresponding result on a bounded domain \(\Omega \subset R^{d}\) is formulated in Theorem 5.1.
Theorem 2.7
(Asymptotic limit of consistent approximation) Let \(\{ \varrho _n, \mathbf{m}_n \}_{n=1}^\infty \) be a consistent approximation of the isentropic Euler system in \((0,T) \times R^d\) in the sense of Definition 2.5.
Then there exists a subsequence (not relabeled for simplicity) enjoying the following properties:
where
If, moreover, \([\varrho , \mathbf{m}]\) is a weak solution to the isentropic Euler system specified in Definition 2.3, then
in particular,
for any \(1 \le q < \infty \). Thus, for a suitable subsequence,
We point out that the results stated in Theorems 2.6, 2.7 require extracting a suitable subsequence. In both cases, the convergence is necessarily strong (pointwise a.a.) as soon as the limit is an admissible weak solution to the system.
3 Convergence of stable approximations to the full Euler system
Our goal is to prove Theorem 2.6. We start by establishing uniform bounds for the stable approximation.
3.1 Uniform bounds
We establish the uniform bounds claimed in (2.23). To see this, we choose an arbitrary point \([{\tilde{\varrho }}, 0, \widetilde{S}] \in R^{d + 2}\), \({\tilde{\varrho }}> 0\), and consider the quantity
Seeing that \(\frac{\partial E}{\partial S} = \vartheta > 0\), we conclude
As E is strictly convex at \([{\tilde{\varrho }}, 0, \widetilde{S}]\), we have
as soon as
Since \(\Omega \) is bounded, the estimates (2.23) follow.
3.2 Strong convergence
We shall systematically extract various subsequence keeping the labeling of the original sequence. In view of (2.17), (2.23), the sequence \(\{ \varrho _n, \mathbf{m}_n, S_n \}_{n = 1}^\infty \) generates a Young measure
Moreover, \(\mathcal {V}_{t,x}\) possesses finite first moments for a.a. (t, x) and we can set
As observed by Ball and Murat [2], the trio \([\varrho , \mathbf{m}, S]\) corresponds to the biting limit of the sequence \(\{ \varrho _n, \mathbf{m}_n, S_n \}_{n = 1}^\infty \). Finally, in view of the energy bound (2.17), we have
where the symbol \(\mathcal {M}^+\) denotes the set of non–negative Borel measures. In view of the hypothesis (2.17),
and
in the sense of non–negative measures on \(\overline{\Omega }\). Note that the first inequality in (3.2) follows from lower semi–continuity of the energy, while the second one follows from its convexity, see e.g. [23, Section 3.2]. In particular, the biting limit \([\varrho , \mathbf{m}, S]\) belongs to the class
Finally, suppose that \([\varrho , \mathbf{m}, S]\) is an admissible weak solution of the Euler system in the sense of Definition 2.2. In particular, the total energy balance (2.9) holds; whence
Moreover, as the entropy equation (2.10) is satisfied in the renormalized sense, we can deduce from the hypothesis (2.22) the entropy minimum principle,
see [7].
Going back to (3.2) we conclude
The second equality, specifically,
means that the concentration defect associated to the sequence \(\{ E(\varrho _n, \mathbf{m}_n, S_n) \}_{n=1}^\infty \) vanishes, specifically,
cf. [23].
The third equality, together with (3.4), implies the desired pointwise convergence. To see this, we need the following result that may be of independent interest.
Lemma 3.1
(Sharp form of Jensen’s inequality) Suppose that \(E: R^m \rightarrow [0, \infty ]\) is an l.s.c. convex function satisfying:
-
E is strictly convex on its domain of positivity, meaning for any \(y_1, y_2 \in R^m\) such that \(0< E(y_1) < \infty \), \(E(y_2) < \infty \), \(y_1 \ne y_2\), we have
$$\begin{aligned} E \left( \frac{y_1 + y_2}{2} \right) < \frac{1}{2} E(y_1) + \frac{1}{2} E(y_2). \end{aligned}$$ -
If \(y \in \partial \mathrm{Dom}[E]\), then either \(E(y) = \infty \) or \(E(y) = 0\), in other words,
$$\begin{aligned} E(y) = 0 \ \text{ whenever }\ y \in \mathrm{Dom}[E] \cap \partial \mathrm{Dom}[E]. \end{aligned}$$(3.6)Let \(\nu \in \mathcal {P}[R^m]\) be a (Borel) probability measure with finite first moment satisfying
$$\begin{aligned} E (\langle \nu ; \widetilde{y} \rangle ) = \langle \nu ; E (\widetilde{y}) \rangle < \infty . \end{aligned}$$(3.7)Then (i) either
$$\begin{aligned} \nu = \delta _Y, \ Y = \langle \nu ; \widetilde{y} \rangle \in \mathrm{Dom}[E], \ E(Y) > 0, \end{aligned}$$(ii) or
$$\begin{aligned} \mathrm{supp} [\nu ] \subset \left\{ y \in R^m \ \Big | \ E(y) = 0 \right\} . \end{aligned}$$
Proof
First observe that, obviously, \(\langle \nu ; \widetilde{u} \rangle \in \mathrm{Dom}[E]\), and, by virtue of (3.7) and positivity of E,
(i) Suppose first that \(Y \equiv \langle \nu ; \widetilde{y} \rangle \in \mathrm{int}[ \mathrm{Dom}[E]]\), \(E(Y) > 0\). Then there exists
such that
As E is strictly convex in \(\mathrm{Dom}[E] \cap \{ E > 0 \}\), however, we claim that the above inequality must be sharp:
Now it follows from (3.7) that
which yields the desired conclusion (i).
(ii) Suppose that \(Y = \langle \nu ; \widetilde{y} \rangle \in \mathrm{Dom}[E] \cap \partial \mathrm{Dom}[E]\) or \(E(Y) = 0\). In accordance with the hypothesis (3.6), we have in both cases
Consequently, we get from (3.7),
which implies that \(\nu \) is supported by zero points of E as \(E \ge 0\) which is the alternative (ii). \(\square \)
In accordance with (3.5),
Clearly, E satisfies the hypotheses of Lemma 3.1; whence either \(\mathcal {V}_{t,x}\) is a Dirac mass, specifically,
or
which, combined with (3.4), yields again (3.8). Indeed (3.4) means that the barycenter of \(\mathcal {V}_{t,x}\) is located above the line \(\widetilde{S}= {\tilde{\varrho }}{\underline{s}}\). As the Young measure is a Dirac mass, we conclude the sequence \(\{ \varrho _n, \mathbf{m}_n, S_n \}_{n=1}^\infty \) converges in measure; whence a suitable subsequence converges a.a. We have proved Theorem 2.6.
4 Convergence of consistent approximations to the isentropic Euler system
Our goal is to show Theorem 2.7. It turns out the proof is more complicated than that of Theorem 2.6 as the weak solution satisfies merely the field equations (2.13), (2.14).
4.1 Turbulent defect measures
In the following, we pass several times to suitable subsequences in the vanishing viscosity sequence without explicit relabeling. However, it is easy to see that it is enough to show the conclusion of Theorem 2.7 for a subsequence once the limit \([\varrho ,\mathbf{m}]\) has been fixed.
It follows from the bounds imposed by the energy inequality (2.20) that we may suppose
In particular, we get (2.24). Indeed, as the total energy \(E(\varrho , \mathbf{m})\) is a strictly convex function of \((\varrho , \mathbf{m})\), it is easy to check that
whence the desired bounds follow from the energy inequality (2.24).
4.1.1 Internal energy and pressure defect
Next, recall that the sequence
is bounded in \(L^\infty (0,T; L^1 (R^d))\) uniformly in n by (2.24). It holds
where the symbol \(\mathcal {M}(R^{d})\) denotes the set of finite Borel measures on \(R^d\) and \(L^{\infty }_{w^{*}}(0,T;\mathcal {M}(R^{d}))\) stands for the space of weak-(*)-measurable mappings \(\nu :[0,T]\rightarrow \mathcal {M}(R^{d})\) such that
In addition, \(L^{\infty }_{w^{*}} (0, T, \mathcal {M} (R^d))\) is the dual of \(L^1 (0, T, C_0 (R^d))\) hence passing to a suitable subsequence as the case may be, there is \(\mathcal {P}\in L^\infty _{w^{*}}(0,T; \mathcal {M}(R^d))\) such that
As the function P is convex and the approximate internal energies are non–negative, we deduce by weak lower semicontinuity that
where \(\mathcal {M}^+(R^d)\) denotes the set of non–negative finite Borel measures on \(R^{d}\). This defines the internal energy defect measure \(\mathfrak {R}_e\). It is important to note that
which will be used later.
4.1.2 Viscosity defect
Writing
we obtain the existence of \(\mathbb {C} \in L^\infty _{w^{*}} (0,T; \mathcal {M}^+(R^d; R^{d \times d}_\mathrm{sym}))\), where \(\mathcal {M}^+(R^d;R^{d \times d}_\mathrm{sym})\) is the set of finite symmetric positive semidefinite matrix–valued (signed) Borel measures, such that
More specifically, each component \(C_{i,j}\) is a finite signed measure on \(R^d\), \(C_{i,j} = C_{j,i}\), and
The viscosity defect measure is then defined by
Now, a simple but crucial observation is that the \(\mathfrak {R}_v\) is positive semidefinite. To see this, we compute
for any bounded ball \(B \subset R^d\); whence the desired conclusion follows from the weak lower semicontinuity of the convex function \([\varrho ,\mathbf{m}]\mapsto \frac{|\mathbf{m}\cdot \xi |^{2}}{\varrho }\), \(\xi \in R^{d}\). We conclude that
Finally, similarly to (4.3), we note that
4.1.3 Total defect
We introduce the total defect measure
which describes the defect in the momentum equation. Moreover, we get for the total energy
weakly-(*) in \(L^\infty _{w^{*}}(0,T; \mathcal {M}^+(R^d; R^{d \times d}_\mathrm{sym}))\). In other words, we have a precise relation of the defect in the momentum equation and the defect of the energy. Finally, we get from (4.7) that
for any \(\psi \in L^1(0,T)\) and any \(\varphi \in C_c(R^d)\).
4.1.4 Bounded domain
The above construction of the turbulent defect measure \(\mathbb {D}\) as well as the proof of its properties can be carried out the same way on a bounded domain \(\Omega \subset R^{d}\), while using the dualities
respectively, where \(\mathcal {M}({\overline{\Omega }})\) is the set of bounded Borel measures on \({\overline{\Omega }}\) (and similarly for the matrix–valued case).
4.2 Asymptotic limit
Using (4.3), (4.5) we may perform the asymptotic limit in the momentum equation (2.19) obtaining
Thus, if the limit is a weak solution of the Euler system, then the left hand side of (4.8) vanishes. Hence, in view of the definition of the total defect measure (4.6), we obtain
which is nothing else than (1.2).
4.2.1 Equation \(\mathrm{div}_x\mathbb {D} = 0\) in \(R^d\)
The following result, which can be regarded as a version of Liouville’s theorem, is crucial in the proof of Theorem 2.7.
Proposition 4.1
Let \(\mathbb {D} \in \mathcal {M}^+ (R^d; R^{d \times d}_\mathrm{sym})\) satisfy
Then \(\mathbb {D} \equiv 0\).
Remark 4.2
The assumption that the matrix \(\mathbb {D}\) is positive semidefinite (or alternatively negative semidefinite, as a matter of fact), is absolutely essential. Indeed, De Lellis and Székelyhidi in their proof of the so-called oscillatory lemma in [16] showed the existence of infinitely many smooth fields \(\mathbb {D} \in C^\infty _c(R^d; R^{d \times d}_\mathrm{sym})\) satisfying \(\mathrm{div}_x\mathbb {D} = 0\).
Proof of Proposition 4.1
The proof relies on the extension of (4.9) to all functions \(\varvec{\varphi }\in C^1(R^d; R^d)\) with \(\nabla _x\varvec{\varphi }\in L^\infty (R^d; R^{d \times d})\), which is possible since \(\mathbb {D}\) is a finite measure. This then permits to test (4.9) by linear functions \(\varvec{\varphi }\) and the conclusion follows from the positive semidefinitness of \(\mathbb {D}\).
To this end, let us consider a sequence of cut–off functions
uniformly for \(n \rightarrow \infty \).
For \(\varvec{\varphi }\in C^1(R^d; R^d)\), with \(\nabla _x\varvec{\varphi }\in L^\infty (R^d; R^{d \times d})\), we have
whence
Seeing that
we may use the fact that \(\mathbb {D}\) is a finite (signed) measure together with Lebesgue’s dominated convergence theorem to let \(n \rightarrow \infty \) and conclude that
Finally, given a vector \(\xi \in R^d\), we may use
as a test function in (4.10) to obtain
As \(\mathbb {D}\) is positive semidefinite in the sense of (4.4), i.e. \((\xi \otimes \xi ) : \mathbb {D}\) is a non–negative finite measure on \(R^{d}\), this yields \((\xi \otimes \xi ) : \mathbb {D} = 0\) for any \(\xi \in R^d\). Thus for any \(g \in C_b(R^d)\), \(g \ge 0\), and the matrix \( \int _{R^d} g \,\mathrm{d}\mathbb {D} \) is positive semidefinite and we may infer
As g was arbitrary, this yields the desired conclusion \(\mathbb {D} \equiv 0\). \(\square \)
4.2.2 Equation \(\mathrm{div}_x\mathbb {D} = 0\) in a bounded domain
A trivial example of a constant–valued matrix shows that Proposition 4.1 does not hold if \(R^d\) is replaced by a bounded domain \(\Omega \) unless some extra restrictions are imposed. In addition to the hypotheses of Proposition 4.1, we shall assume that \(\mathbb {D}\) vanishes sufficiently fast near the boundary \(\partial \Omega \).
Proposition 4.3
Let \(\Omega \subset R^d\) be a bounded domain. Let \(\mathbb {D} \in \mathcal {M}^+ (\overline{\Omega }; R^{d \times d}_\mathrm{sym})\) satisfying
and
Then \(\mathbb {D} \equiv 0\).
Proof
Similarly to the proof of Proposition 4.1, it is enough to show that (4.11) can be extended to a suitable function \(\varphi \in C^1(\overline{\Omega }; R^d)\), whose gradient is constant.
It is a routine matter, cf. e.g. Galdi [27], to construct a sequence of cut–off functions \(\psi _n\) enjoying the following properties:
Thus, plugging \(\psi _n \varvec{\varphi }\), \(\varvec{\varphi }\in C^1(\overline{\Omega }; R^d)\) in (4.11) we get
Now, we observe that
which due to (4.12) allows to pass to the limit as \(n\rightarrow \infty \) in the second and the third term on the right hand side. The convergence of the first term follows from the fact that by (4.12) the defect vanishes on the boundary, i.e.
and in the interior of \(\Omega \) we have pointwise convergence of the corresponding integrand. \(\square \)
4.3 Strong convergence
Applying Proposition 4.1 in the situation of Theorem 2.7 we obtain that \(\mathfrak {R}_v\equiv 0\) and \( \mathfrak {R}_e \equiv 0\). In accordance with (4.7), this yields
weakly-(*) in \(L^\infty _{w^{*}}(0,T; \mathcal {M}^+(R^d))\). We show that this implies the strong convergence claimed in Theorem 2.7.
First, we recall that both kinetic and internal energy are convex functions of the density and the momentum so from (4.13) we obtain
for every compact set \(B \subset [0,T] \times R^d\).
Accordingly, choosing \(B=[0,T]\times K\) for a compact set \(K\subset R^{d}\), we obtain the convergence of the norms of \(\varrho _{n}\) in \(L^{\gamma }([0,T]\times K)\), hence the strong convergence
Let us now establish the strong convergence of the momenta on \([0,T]\times {K}\). To this end, we recall that by the energy bounds it holds (up to a subsequence)
for some \(\varvec{h}\in L^{2}([0,T]\times {K}; R^d)\), and by (4.1)
We shall show that
Combining the weak convergence of \(\varvec{h}_{n}\) with the strong convergence of \(\varrho _{n}\) and the weak convergence of \(\mathbf{m}_{n}\) we obtain
whence it is enough to prove that \(\varvec{h} = 0\) whenever \(\varrho = 0\). By weak lower semicontinuity of the \(L^{2}\)-norm together with (4.14), we obtain
Now, it is enough to observe that in the limit \(\delta \rightarrow 0\), the left hand side converges to
whereas the right hand side vanishes, since due to the integrability of the kinetic energy \(\frac{|\mathbf{m}|^{2}}{\varrho }\) it holds that the set, where \(\varrho =0\) and \(\mathbf{m}\ne 0\), is of zero Lebesgue measure. Thus \(\varvec{h} = 0\) whenever \(\varrho = 0\).
To summarize, we have shown that
and hence strongly due to (4.14), which implies the strong convergence
Finally, a tightness argument as for the density above implies the desired strong convergence
The convergence of the energies in \(L^{1}\) is then a consequence of the strong convergence of \(\frac{|\mathbf{m}_{n}|}{\sqrt{\varrho _{n}}}\) and \(\varrho _{n}\) together with (3.2) and Vitali’s theorem. This completes the proof of Theorem 2.7.
5 Concluding remarks
We conclude the paper by a short discussion on possible extensions of Theorem 2.7. As indicated in Proposition 4.3, the conclusion of Theorem 2.7 remains valid on bounded Lipschitz domains provided some extra assumptions about the behavior of the consistent approximation near the boundary is assumed. The relevant result can be stated as follows.
Theorem 5.1
(Asymptotic limit of consistent approximation in bounded domains) Let \(\{ \varrho _n, \mathbf{m}_n \}_{n=1}^\infty \) be a consistent approximation of the isentropic Euler system in \((0,T) \times \Omega \) in the sense of Definition 2.5, where \(\Omega \subset R^d\) is a bounded Lipschitz domain, and where we have set \(\varrho _\infty = \mathbf{u}_\infty = 0\) in the relative energy.
Then there exists a subsequence (not relabeled for simplicity) enjoying the following properties:
Suppose, in addition, that
is of order \(o(\delta )\) as \(\delta \rightarrow 0\). Then if \([\varrho , \mathbf{m}]\) is an admissible weak solution to the isentropic Euler system, then
in particular,
for any \(1 \le q < \infty \). Thus, for a suitable subsequence,
The hypothesis (5.1) is satisfied if, for instance,
where \(\mathcal {U}\) is an open neighborhood of \(\partial \Omega \).
References
Alibert, J.J., Bouchitté, G.: Non-uniform integrability and generalized Young measures. J. Convex Anal. 4(1), 129–147 (1997)
Ball, J.M., Murat, F.: Remarks on Chacons biting lemma. Proc. Am. Math. Soc. 107, 655–663 (1989)
Basarić, D.: Vanishing viscosity limit for the compressible Navier-Stokes system via measure-valued solutions. Arxive Preprint Series, ArXiv:1903.05886, 2019 (1903)
Bechtel, S.E., Rooney, F.J., Forest, M.G.: Connection between stability, convexity of internal energy, and the second law for compressible Newtonian fuids. J. Appl. Mech. 72, 299–300 (2005)
Breit, D., Feireisl, E., Hofmanová, M.: Dissipative solutions and semiflow selection for the complete Euler system. Arxive Preprint Series, ArXiv:1904.00622: To appear in Commun. Math. Phys. (2019)
Buckmaster, T., Vicol, V.: Convex integration and phenomenologies in turbulence. Arxiv Preprint Series, 2019. ArXiv:1901.09023v2
Březina, J., Feireisl, E.: Measure-valued solutions to the complete Euler system. J. Math. Soc. Jpn. 70(4), 1227–1245 (2018)
Chen, G.-Q., Frid, H., Li, Y.: Uniqueness and stability of Riemann solutions with large oscillation in gas dynamics. Commun. Math. Phys. 228(2), 201–217 (2002)
Chen, G.Q., Glimm, J.: Kolmogorov-type theory of compressible turbulence and inviscid limit of the Navier-Stokes equations in \({R}^3\). Arxive Preprint Series, ArXiv:1809.09490, 2018 (1809)
Chiodaroli, E.: A counterexample to well-posedness of entropy solutions to the compressible Euler system. J. Hyperbolic Differ. Equ. 11(3), 493–519 (2014)
Chiodaroli, E., De Lellis, C., Kreml, O.: Global ill-posedness of the isentropic system of gas dynamics. Commun. Pure Appl. Math. 68(7), 1157–1190 (2015)
Chiodaroli, E., Kreml, O.: On the energy dissipation rate of solutions to the compressible isentropic Euler system. Arch. Ration. Mech. Anal. 214(3), 1019–1049 (2014)
Chiodaroli, E., Kreml, O., Mácha, V., Schwarzacher, S.: Non–uniqueness of admissible weak solutions to the compressible Euler equations with smooth initial data. Arxiv Preprint Series, ArXiv:1812.09917v1, 2019
Constantin, P., Vicol, V.: Remarks on high Reynolds numbers hydrodynamics and the inviscid limit. J. Nonlinear Sci. 28(2), 711–724 (2018)
Dafermos, C.M.: The second law of thermodynamics and stability. Arch. Rational Mech. Anal. 70, 167–179 (1979)
De Lellis, C., Székelyhidi Jr., L.: On admissibility criteria for weak solutions of the Euler equations. Arch. Ration. Mech. Anal. 195(1), 225–260 (2010)
DiPerna, R.J., Majda, A.: Reduced hausdorff dimension and concentration-cancellation for two dimensional incompressible flow. J. Am. Math. Soc. 1(1), 59–95 (1988)
DiPerna, R.J., Majda, A.J.: Concentrations in regularizations for 2-d incompressible flow. Commun. Pure Appl Math 40(3), 301–345 (1987)
DiPerna, R.J., Majda, A.: Reduced Hausdorff dimension and concentration cancellation for two-dimensional incompressible flow. J. Am. Math. Soc. 1, 59–95 (1988)
Feireisl, E.: Vanishing dissipation limit for the Navier-Stokes-Fourier system. Commun. Math. Sci. 14(6), 1535–1551 (2016)
Feireisl, E., Lukáčová-Medvidová, M.: Convergence of a mixed finite element finite volume scheme for the isentropic Navier–Stokes system via dissipative measure–valued solutions. 2017. arxiv preprint ArXiv:1608.06149
Feireisl, E., Lukáčová-Medvidová, M., Mizerová, H.: \({\cal{K}}-\)convergence as a new tool in numerical analysis. 2019. arxiv preprint ArXiv:1904.00297
Feireisl, E., Lukáčová-Medvidová, M., Mizerová, H., She, B., Wang, Y.: Computing oscillatory solutions to the Euler system via \({\cal{K}}\)-convergence. 2019. arxiv preprint ArXiv:1910.03161
Fjordholm, U.K., Käppeli, R., Mishra, S., Tadmor, E.: Construction of approximate entropy measure valued solutions for hyperbolic systems of conservation laws. Found. Comp. Math. 17(3), 1–65 (2015)
Fjordholm, U.S., Lye, K., Mishra, S., Weber, F.: Statistical solutions of hyperbolic systems of conservation laws: numerical approximation. Arxive Preprint Series, ArXiv:1906.02536, 2019 (1906)
Fjordholm, U.S., Mishra, S., Tadmor, E.: On the computation of measure-valued solutions. Acta Numer. 25, 567–679 (2016)
Galdi, G.P.: An introduction to the mathematical theory of the Navier–Stokes equations. I. Springer, New York (1994)
Greengard, C., Thomann, E.: On DiPerna-Majda concentration sets for two-dimensional incompressible flow. Commun. Pure Appl. Math. 41(3), 295–303 (1988)
Gwiazda, P., Świerczewska-Gwiazda, A., Wiedemann, E.: Weak-strong uniqueness for measure-valued solutions of some compressible fluid models. Nonlinearity 28(11), 3873–3890 (2015)
Sprung, B.: Upper and lower bounds for the Bregman divergence. J. Inequal. Appl. 12, 4 (2019)
Sueur, F.: On the inviscid limit for the compressible Navier–Stokes system in an impermeable bounded domain. J. Math. Fluid Mech. 16(1), 163–178 (2014)
Wienan, E.: Boundary layer theory and the zero-viscosity limit of the Navier-Stokes equation. Acta Math. Sin. 16(2), 207–218 (2000)
Acknowledgements
Open Access funding provided by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research of E.F. leading to these results has received funding from the Czech Sciences Foundation (GAČR), Grant Agreement 18–05974S. The Institute of Mathematics of the Academy of Sciences of the Czech Republic is supported by RVO:67985840. The stay of E.F. at TU Berlin is supported by Einstein Foundation, Berlin
M.H. gratefully acknowledges the financial support by the German Science Foundation DFG via the Collaborative Research Center SFB1283.
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
Feireisl, E., Hofmanová, M. On convergence of approximate solutions to the compressible Euler system. Ann. PDE 6, 11 (2020). https://doi.org/10.1007/s40818-020-00086-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40818-020-00086-8