Abstract
We prove the existence of a semiflow selection with range the space of càglàd, i.e. left-continuous and having right-hand limits functions defined on \([0,\infty )\) and taking values in a Hilbert space. Afterwards, we apply this abstract result to the system arising from a compressible viscous fluid with a barotropic pressure of the type \(a\varrho ^{\gamma }, \gamma \ge 1\), with a viscous stress tensor being a nonlinear function of the symmetric velocity gradient.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
First developed by Krylov [21] and later adapted by Flandoli and Romito [18], Breit et al. [8] in the context of the Navier–Stokes system, the semiflow selection is an important stochastic tool when studying systems that lack uniqueness: it allows to identify a solution satisfying at least the semigroup property.
Inspired by the deterministic adaptation of Cardona and Kapitanski [11], in the first part of this work we will prove the existence of a semiflow selection in an abstract setting. More precisely, denoting with H a Hilbert space and with \({\mathcal {T}}={\mathfrak {D}}([0,\infty ); H)\) the Skorokhod space of càglàd functions defined on \([0,\infty )\) and taking values in H, we will show the existence of a Borel measurable map \({\mathfrak {u}}: D\subseteq H \rightarrow {\mathcal {T}}\) such that for any \(x\in D\) and any \(t_1, t_2 \ge 0\)
One could think that a more natural choice for \({\mathcal {T}}\) would be the space \(C([0,\infty ); H)\) of continuous functions, as in [11]. However, this option can be too strong: if we want to apply this abstract setting to the typical systems arising from fluid dynamics, where \([0,\infty )\) is the set of times and \({\mathcal {T}}\) represents the trajectory space, then it is difficult to ensure the energy of the system to be continuous, since it is at most a non-increasing quantity with possible jumps. For the aforementioned reason, in the context of the compressible Euler system, Breit et al. [7, 9] considered the energy in the \(L^1\)-space. But the choice \({\mathcal {T}}=L^1([0,\infty ); H)\) is still not optimal as it is better to work with a space whose elements are well-defined at any point.
In the second part of this work, we will apply the abstract machinery previously achieved to a general model of compressible viscous fluids, described by the following pair of equations:
where the unknown variables are the density \(\varrho \) and the velocity \(\mathbf{u }\). In this context, the viscous stress tensor \({\mathbb {S}}\) is connected to the symmetric velocity gradient \({\mathbb {D}} \mathbf{u }\) through the relation
where F is a proper convex l.s.c. (lower semi-continuous) function and \(F^*\) denotes its conjugate; moreover, the barotropic pressure will be of the type \(p(\varrho )= a\varrho ^{\gamma }\), \(\gamma \ge 1\). We will deal with the concept of dissipative solutions, i.e. solutions that satisfy our problem in the weak sense but with an extra defect term in the balance of momentum, arising from possible concentrations and/or oscillations in the convective and pressure terms; for more details see Definition 4.1. It is interesting to note that for \(\gamma =1\), the defect in the momentum equation vanishes and the latter is satisfied in the sense of distributions. Thus our approach represents an alternative to the “standard” measure-valued framework applied in this context by Matuš\(\mathring{\mathrm{u}}\)-Nečasová and Novotný [23].
Denoting with \({\mathcal {P}}({\mathcal {T}})\) the family of all the subsets of a space \({\mathcal {T}}\) and introducing the set-valued mapping \({\mathcal {U}}: D \subseteq H \rightarrow {\mathcal {P}}({\mathcal {T}})\) that associates to every initial data \(x\in D\) the family of dissipative solutions \({\mathcal {U}}(x)\) arising from \(x \in D\), the key point in order to get the existence of semiflow selection will be to show that \({\mathcal {U}}\) satisfies five properties: non-emptiness, compactness, Borel-measurability, shift invariance and continuation.
As we will see, in order to verify the validity of the above mentioned properties, there are two main difficulties we have to overcome: the existence of dissipative solutions and the weak sequential stability of the family of dissipative solutions, arising from a fixed initial data. Luckily, the first problem was recently solved by Abbatiello et al. [2] for \(\gamma >1\); following the same strategy, the case \(\gamma =1\) can be done as well replacing Lemma 8.1 in [2] with Lemma 5.2 below. Conversely, larger part of this work will be dedicated to solve the second issue.
The present problem, at least for degenerate viscosity, seems closer to the inviscid Euler system rather than its Navier–Stokes (or general non-Newtonian) counterpart. There is a growing piece of evidence, see e.g. the survey paper by Buckmaster and Vicol [10], that uniqueness fails in the class of weak solutions while the (unique) strong solutions blow up in a finite time. The possibility to identify a solution semigroup seems therefore a tempting possibility to save well posedness. Note that this is in a sharp contrast to problems, where uniqueness can be established as a consequence of intrinsic stability, cf. e.g. DiPerna–Lions theory [13] and its extension to Ambrosio [3], or the theory of viscosity solutions for scalar parabolic equations, see Crandall et al. [12]. The main advantage of this approach is the possibility to identify the class of solutions that maximize the energy dissipation rate. They reflect many important properties with (hypothetical) smooth solutions in the long run: convergence to equilibria and/or certain stable waves, see Feireisl et al. [16], Feireisl and Novotný [17].
The paper is organized as follows.
-
In Sect. 2 we will define the Skorokhod space of càglàd functions, constructing a proper metric on it and giving a characterization of convergence.
-
In Sect. 3 we will prove the existence of a semiflow selection in the abstract setting, cf. Theorem 3.2.
-
In Sect. 4 we will focus on system (1.1), first clarifying the concept of dissipative solution (Sect. 4.1), fixing a proper setting (Sect. 4.2) and finally proving in Sect. 4.3 our main result, i.e., the existence of a semiflow selection, cf. Theorem 4.4.
-
Section 5 will be entirely dedicated to prove the weak sequential stability of the solution set of (1.1) for a fixed initial data.
2 Skorokhod Space
Given a separable Hilbert space H, we define the Skorokhod space \({\mathfrak {D}}([0,\infty ); H)\) as the space of the càglàd (an acronym for “continue à gauche, limites à droite”) functions defined on \([0,\infty )\) taking values in H. More precisely, \(\Phi \) belongs to the space \({\mathfrak {D}}([0,\infty ); H)\) if it is left-continuous and has right-hand limits:
-
(i)
for \(t>0\), \(\Phi (t-)=\lim _{s \uparrow t} \Phi (s)\) exists and \(\Phi (t-)=\Phi (t)\);
-
(ii)
for \(t\ge 0\), \(\Phi (t+)=\lim _{s\downarrow t} \Phi (s)\) exists.
Unlike in the case of continuous functions, the topology on the space of càglàd functions on an unbounded interval cannot be built up by simply considering functions being càglàd on any compact, see e.g. Jakubowski [20]. Instead, we proceed as follows.
For every \(\Phi \in {\mathfrak {D}}([0,\infty ); H)\) we define
and, fixing a basis \(\{ e_k \}_{k\in {\mathbb {N}}}\) of the Hilbert space H, for every \(\Phi , \Psi \in \widehat{{\mathfrak {D}}} ([0,\infty ); H)\) we define
where \(d_M\) denotes the Skorokhod metric on the space \({\mathfrak {D}}([-1,M+1]; {\mathbb {R}})\), for all \(M \in {\mathbb {N}}\); for the precise definition of \(d_M\) and further details on the Skorokhod space we refer to Whitt [25], Chapter 12. It is worth noticing that, even if in [25] the author considered càdlàg (“continue à droite, limites à gauche”) functions, the same construction works in our context as well: dealing with the completed graphs of the functions, which are obtained by adding segments joining the left and right limits at each discontinuity point to the graph, the actual value of the function at discontinuity points does not matter, provided that it falls appropriately between the left and right limits.
It is easy to verify that \(d_{\infty }\) is a metric on \({\mathfrak {D}}([0,\infty ); H)\). Moreover, we have the following result.
Proposition 2.1
Let \(\{ \Phi ^n \}_{n\in {\mathbb {N}}}\) be a sequence in \({\mathfrak {D}}([0,\infty ); H)\). If
then for all \(k\in {\mathbb {N}}\)
Moreover
-
(i)
if \(\Phi ^n\) are monotone for all \(n\in {\mathbb {N}}\), conditions (2.3) and (2.4) are equivalent;
-
(ii)
if \(\Phi ^n\) are continuous for all \(n\in {\mathbb {N}}\), condition (2.3) is equivalent to
$$\begin{aligned} \sup _{t\in [0,M]} \left| \left\langle \Phi ^n(t)- \Phi (t); e_k \right\rangle \right| \underset{n\rightarrow \infty }{\longrightarrow } 0 \end{aligned}$$for all \(k, M \in {\mathbb {N}}\).
Proof
First of all, we will show that (2.3) is equivalent to
for all \(k,M \in {\mathbb {N}}\). Indeed, if (2.3) holds, let \(\varepsilon >0\), \(k,M \in {\mathbb {N}}\) be fixed and choose a positive \({\tilde{\varepsilon }}={\tilde{\varepsilon }}(\varepsilon )\) such that
From (2.3), there exists \(n_0=n_0({\tilde{\varepsilon }})\) such that
which, combined with (2.6), implies
Vice versa, if (2.5) holds, let \(\varepsilon >0\) be fixed and choose \(N=N(\varepsilon )\ge 2\), such that \(1/2^N <\varepsilon /2\). From (2.5), there exists \(n_0=n_0(\varepsilon )\) such that
For every \(n\ge n_0\) we obtain
Let now (2.5) hold and let \(k\in {\mathbb {N}}\) be fixed. From Theorem 12.5.1. in [25], for each \(M \in {\mathbb {N}}\)
implying in particular from (2.1) the uniform convergence of \(\widehat{\Phi ^n}_M\) to \({\widehat{\Phi }}_M\) on \([-1,0]\) and \([M,M+1]\). We then recover that for all \(M \in {\mathbb {N}}\)
for all t in a dense subset of [0, M]. More precisely, denoting with \(Disc_M(\Phi )\) the set of discontinuities of \(\Phi \) on [0, M], specifically
then, by Lemma 12.5.1 in [25], (2.8) holds for all \(t\notin Disc_M(\Phi )\). Introducing the set
then trivially \(Disc_M(\Phi ) \subseteq Disc_{M+1}(\Phi )\) for all \(M\in {\mathbb {N}}\) and
since by Corollary 12.2.1 in [25] each \(Disc_M(\Phi )\) is either finite or countable, the set \(Disc(\Phi )\) is at most countable and thus we get (2.4).
Furthermore, conditions (i) and (ii) follow easily from the fact that
-
(i)
if \(\Phi ^n\) is monotone for every \(n\in {\mathbb {N}}\) then (2.5) is equivalent to (2.7) for all \(k, M \in {\mathbb {N}}\) by [25], Corollary 12.5.1;
-
(ii)
if \(\Phi ^n\) is continuous for every \(n\in {\mathbb {N}}\) then (2.5) reduces to uniform convergence on the interval \([-1, M+1]\) for all \(k, M \in {\mathbb {N}}\).
\(\square \)
3 Semiflow Selection
In this section we will focus on proving the existence of a semiflow selection. We start by fixing our setting; from now on, \({\mathcal {P}}(X)\) will denote the family of all subsets of a space X. Let
-
H be a separable Hilbert space with a basis \(\{e_k\}_{k\in {\mathbb {N}}}\);
-
D a closed convex subset of H;
-
\({\mathcal {T}}= {\mathfrak {D}}([0,\infty ); H)\);
-
\({\mathcal {U}}: D \rightarrow {\mathcal {P}}({\mathcal {T}})\) satisfy the following properties.
- (P1):
-
Non-emptiness: for every \(x \in D\), \({\mathcal {U}}(x)\) is a non-empty subset of \({\mathcal {T}}\).
- (P2):
-
Compactness: for every \(x\in D\), \({\mathcal {U}}(x)\) is a compact subset of \({\mathcal {T}}\).
- (P3):
-
Measurability: the map \({\mathcal {U}}: D \rightarrow {\mathcal {P}}({\mathcal {T}})\) is Borel measurable.
- (P4):
-
Shift invariance: introducing the positive shift operator \(S_T \circ \Phi \) for every \(T>0\) and \(\Phi \in {\mathcal {T}}\) as
$$\begin{aligned} S_T \circ \Phi (t) = \Phi (T+t), \quad \hbox {for all } t\ge 0, \end{aligned}$$then, for any \(T>0\), \(x\in D\) and \(\Phi \in {\mathcal {U}}(x)\), we have
$$\begin{aligned} S_T \circ \Phi \in {\mathcal {U}} (\Phi (T)). \end{aligned}$$ - (P5):
-
Continuation: introducing the continuation operator \(\Phi _1 \cup _T \Phi _2\) for every \(T>0\) and \(\Phi _1, \Phi _2 \in {\mathcal {T}}\) as
$$\begin{aligned} \Phi _1 \cup _T \Phi _2(t) ={\left\{ \begin{array}{ll} \Phi _1(t) &{}\hbox {for } 0\le t\le T, \\ \Phi _2(t-T) &{}\hbox {for } t>T, \end{array}\right. } \quad \hbox {for all }t\ge 0, \end{aligned}$$then, for any \(T>0\), \(x\in D\), \(\Phi _1 \in {\mathcal {U}}(x)\) and \(\Phi _2 \in {\mathcal {U}}(\Phi _1(T))\), we have
$$\begin{aligned} \Phi _1 \cup _T \Phi _2 \in {\mathcal {U}}(x). \end{aligned}$$
Remark 3.1
It is worth noticing that, in order to guarantee the validity of the shift invariance and continuation properties, it is necessary to verify that for any \(x \in D\) and any \(\Phi \in {\mathcal {U}}(x)\), \(\Phi \) evaluated at any \(t\ge 0\) also belongs to set D.
We are now ready to state and prove the following result.
Theorem 3.2
Let the mapping \({\mathcal {U}}: D\subseteq H \rightarrow {\mathcal {P}}({\mathcal {T}})\) satisfy properties (P1)–(P5) stated above. Then, there exists a Borel measurable map
satisfying the semigroup property: for any \(x\in D\) and any \(t_1, t_2 \ge 0\)
Proof
The idea of the proof is to reduce iteratively the set \({\mathcal {U}}(x)\) for a fixed \(x\in D\), selecting the minimum points of particular functionals in order to obtain finally a single point in \({\mathcal {T}}\), which will define \({\mathfrak {u}}(x)\). The procedure has been proposed by Cardona and Kapitanski [11] in the context of continuous trajectories and later adapted to more general setting in [9] and [4].
We introduce the functionals \(I_{\lambda , k}: {\mathcal {T}}\rightarrow {\mathbb {R}}\) defined for every \(\Phi \in {\mathcal {T}}\) as
where \(\lambda >0\), \(\{e_k\}_{k\in {\mathbb {N}}}\) is a basis in H and \(f: {\mathbb {R}} \rightarrow {\mathbb {R}}\) is a fixed smooth, bounded and strictly increasing function; this choice is justified by the fact that for a fixed \(k\in {\mathbb {N}}\) we can see \(I_{\lambda ,k}\) as the Laplace transform of the function \(f\left( \left\langle \Phi (\cdot ); e_k \right\rangle \right) \), an useful interpretation for the proof of the existence of the semiflow \({\mathfrak {u}}\).
Let us first show the continuity of \(I_{\lambda ,k}\) for every \(\lambda >0\) and \(k\in {\mathbb {N}}\) fixed. Let \(\{\Phi _n\}_{n\in {\mathbb {N}}}\) in \({\mathcal {T}}\) be such that
as \(n\rightarrow \infty \). By Proposition 2.1, (3.2) implies in particular that
as \(n\rightarrow \infty \). Due to continuity and boundedness of f, we get
i.e., what we wanted to prove.
We define the selection mapping for every \(x\in D\) as
Notice, in particular, that the minimum exists since \(I_{\lambda ,k}\) is continuous on \({\mathcal {T}}\) and the set \({\mathcal {U}}(x)\) is compact. From the fact that \({\mathcal {U}}\) satisfies properties (P1)–(P5), it is not difficult to show that the set-valued mapping
satisfies properties (P1)–(P5) as well, cf. Proposition 5.1 in [9].
We are now ready to prove the existence of the semiflow selection \({\mathfrak {u}}\). Fixing a countable set \(\{ \lambda _j \}_{j\in {\mathbb {N}}}\) dense in \((0,\infty )\), we can define the functionals
Choosing an enumeration \(\{ j(i), k(i) \}_{i=1}^{\infty }\) of the all involved combinations of indeces, we define the maps
and
It is easy to show that the set-valued map
satisfies properties (P1)–(P5) as well; for details, see [9], Theorem 2.5 and [4], Theorem 2.2.
We now claim that for every \(x\in D\) the set \({\mathcal {U}}^{\infty }(x)\) is a singleton. Indeed, if \(\Phi _1, \Phi _2 \in {\mathcal {U}}^{\infty }(x)\) for a fixed \(x\in D\), then
for all \(i=1,2,\ldots \). Since the integrals \(I_{j(i), k(i)}\) can be seen as Laplace transforms of the functions \(f\left( \left\langle \Phi (\cdot ); e_k \right\rangle \right) \), we can apply Lerch’s theorem to deduce that
for all \(k\in {\mathbb {N}}\) and a.e. \(t\in (0,\infty )\). Since the function f is strictly increasing, we obtain that
for all \(k\in {\mathbb {N}}\) and a.e. \(t\in (0,\infty )\); in particular, from (2.2) we get that \(d_{\infty }(\omega _1, \omega _2)=0\) and thus \(\omega _1=\omega _2\) in \({\mathcal {T}}\).
Finally, we define the semiflow selection \({\mathfrak {u}}\) for all \(x\in D\) as
mesurability follows from the property \((\mathbf{P3} )\) for \({\mathcal {U}}^{\infty }\), while the semigroup property follows from property (P4): for any \(x\in D\) and any \(t_1, t_2 \ge 0\)
\(\square \)
4 Semiflow Selection for Compressible Viscous Fluids
Let us consider a general mathematical model of compressible viscous fluids, represented by the following system
here \(\varrho =\varrho (t,x)\) denotes the density, \(\mathbf{u }=\mathbf{u }(t,x)\) the velocity, \(p=p(\varrho )\) the barotropic pressure and \({\mathbb {S}}\) the viscous stress tensor, which we suppose to be connected to the symmetric velocity gradient
through the Fenchel’s identity
where, denoting with \({\mathbb {R}}^{d\times d}_{sym}\) the space of d-dimensional real symmetric tensors,
and \(F^*\) is its conjugate, defined for every \({\mathbb {A}} \in {\mathbb {R}}^{d\times d}_{sym}\) as
Notice that conditions (4.4) guarantees that
Furthermore, we will suppose F to satisfy relation
for some \(\mu >0\) and \(q>1\). Notice that condition (4.3) is equivalent in requiring
where \(\partial \) denotes the subdifferential of a convex function.
Regarding pressure, we will consider the standard isentropic case
with a a positive constant; however, more general EOS preserving the essential features of (4.7) can be considered, cf. [2]. The pressure potential P, satisfying the ODE
will be of the form
in particular, this implies that
We will study the system on the set \((0,\infty )\times \Omega \), where the physical domain \(\Omega \subset {\mathbb {R}}^d\) is assumed to be bounded and Lipschitz, on the boundary of which we impose the no-slip condition
Finally, we fix the initial conditions
Our goal is to apply the abstract machinery introduced in the previous section in order to show the existence of a semiflow selection for system (4.1)–(4.11). More precisely, we aim to prove Theorem 4.4 below, clarifying first the concept of solution we will work with and fixing a proper setting.
4.1 Dissipative Solution
As already mentioned in the introduction, inspired by the recent work of Abbatiello, Feireisl and Novotný [2], we will refer to the concept of dissipative solutions. From now on, it is better to consider the density \(\varrho \) and the momentum \(\mathbf{m }=\varrho \mathbf{u }\) as state variables, since they are at least weakly continuous in time.
Definition 4.1
The pair of functions \([\varrho ,\mathbf{m }]\) constitutes a dissipative solution to the problem (4.1)–(4.11) with the total energy E and initial data
if the following holds:
-
(i)
\(\varrho \ge 0\) in \((0,\infty ) \times \Omega \) and
$$\begin{aligned}{}[\varrho , \mathbf{m }, E] \in C_\mathrm{weak,loc}([0,\infty ); L^{\gamma }(\Omega )) \times C_\mathrm{weak,loc}([0,\infty ); L^{\frac{2\gamma }{\gamma +1}}(\Omega ;{\mathbb {R}}^d)) \times {\mathfrak {D}}([0,\infty )); \end{aligned}$$ -
(ii)
the integral identity
$$\begin{aligned} \left[ \int _{\Omega } \varrho \varphi (t,\cdot ) \ \mathrm{d}x \right] _{t=0}^{t=\tau }= \int _{0}^{\tau } \int _{\Omega } [\varrho \partial _t \varphi + \mathbf{m }\cdot \nabla _x \varphi ] \ \mathrm{d}x \mathrm{d}t \end{aligned}$$(4.12)holds for any \(\tau >0\) and any \(\varphi \in C_c^1([0,\infty )\times {\overline{\Omega }})\), with \(\varrho (0,\cdot )=\varrho _0\);
-
(iii)
there exist
$$\begin{aligned} {\mathbb {S}} \in L^1_\mathrm{loc} (0,\infty ; L^1(\Omega ; {\mathbb {R}}^{d\times d}_\mathrm{sym})) \quad \hbox {and} \quad {\mathfrak {R}} \in L^{\infty }_\mathrm{weak}(0,\infty ; {\mathcal {M}}^+({\overline{\Omega }}; {\mathbb {R}}^{d\times d }_\mathrm{sym})) \end{aligned}$$such that the integral identity
$$\begin{aligned} \begin{aligned} \left[ \int _{\Omega } \mathbf{m }\cdot \varvec{\varphi }(t, \cdot ) \ \mathrm{d}x \right] _{t=0}^{t=\tau }&= \int _{0}^{\tau }\int _{\Omega } \left[ \mathbf{m } \cdot \partial _t \varvec{\varphi } + \mathbb {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 \\&- \int _{0}^{\tau } \int _{\Omega } {\mathbb {S}}: \nabla _x \varvec{\varphi } \ \mathrm{d}x \mathrm{d}t + \int _{0}^{\tau } \int _{{\overline{\Omega }}} \nabla _x \varvec{\varphi } : \mathrm{d}{\mathfrak {R}} \ \mathrm{d}t \end{aligned} \end{aligned}$$(4.13)holds for any \(\tau >0\) and any \(\varvec{\varphi } \in C^1_c([0,\infty )\times {\overline{\Omega }}; {\mathbb {R}}^d)\), \(\varvec{\varphi }|_{\partial \Omega }=0\), with \(\mathbf{m }(0,\cdot )=\mathbf{m }_0\);
-
(iv)
there exists
$$\begin{aligned} \mathbf{u } \in L^q_\mathrm{loc}(0,\infty ; W_0^{1,q}(\Omega ; {\mathbb {R}}^d)) \hbox { such that } \mathbf{m }=\varrho \mathbf{u } \hbox { a.e. in } (0,\infty )\times \Omega ; \end{aligned}$$ -
(v)
there exist a constant \(\lambda >0\) and a càglàd function E, non-increasing in \([0,\infty )\), satisfying
$$\begin{aligned} \int _{\Omega } \left[ \frac{1}{2} \frac{|\mathbf{m }|^2}{\varrho } + P(\varrho ) \right] (\tau ,\cdot ) \ \mathrm{d}x + \frac{1}{\lambda }\int _{{\overline{\Omega }}} \mathrm d {{\,\mathrm{Tr}\,}}[{\mathfrak {R}}(\tau )] = E(\tau ) \end{aligned}$$(4.14)for a.e. \(\tau >0\), such that the energy inequality
$$\begin{aligned} \left[ E(t)\psi (t) \right] _{t=\tau _1^-}^{t=\tau _2^+} -\int _{\tau _1}^{\tau _2} E \ \psi ' \ \mathrm{d}t+ \int _{\tau _1}^{\tau _2} \psi \int _{\Omega } \left[ F({\mathbb {D}}\mathbf{u })+ F^*({\mathbb {S}})\right] \ \mathrm{d}x \mathrm{d}t \le 0 \end{aligned}$$(4.15)holds for any \(0\le \tau _1 \le \tau _2\) and any \(\psi \in C_c^1[0,\infty )\), \(\psi \ge 0\), with \(E(0-)= E_0\ge E(0+)\).
Remark 4.2
In this context, \({\mathcal {M}}^+({\overline{\Omega }})\) represents the space of all the positive Borel measures on \({\overline{\Omega }}\), while \({\mathcal {M}}^+({\overline{\Omega }}; {\mathbb {R}}^{d\times d}_\mathrm{sym})\) denotes the space of tensor-valued (signed) Borel measures \({\mathfrak {R}}\) such that
for all \(\xi \in {\mathbb {R}}^d\), and with components \({\mathfrak {R}}_{i,j}={\mathfrak {R}}_{j,i}\). \(L^{\infty }_\mathrm{weak}(0,\infty ; {\mathcal {M}}({\overline{\Omega }}))\) denotes the space of all the weak-\(*\) measurable mapping \(\nu : [0,\infty ) \rightarrow {\mathcal {M}}({\overline{\Omega }})\) such that
which can also be identified as the dual space of \(L^1(0,\infty ; C({\overline{\Omega }}))\).
Remark 4.3
The notion of solution introduced in Definition 4.1 satisfies the weak-strong uniqueness principle: a dissipative solution of (4.1)–(4.11) coincides with the strong solution of the same problem emanating from the same initial data as long as the latter exists, cf. Theorem 6.3 in [2].
4.1.1 Short Remark on the Reynolds Stress
The concentration measure \({\mathfrak {R}}\), that we may call Reynolds stress, appearing in the weak formulation of the balance of momentum (4.13) arises from possible oscillations and/or concentrations in the convective and pressure terms
when \(\gamma >1\), while for \(\gamma =1\), i.e. when the pressure is a linear function of the density \(\varrho \), it is only the convective term that contributes to \({\mathfrak {R}}\).
By consistency, as clearly explained in [2], we should have introduced the dissipation defect \({\mathfrak {E}} \in L^{\infty }_\mathrm{weak}(0,\infty ; {\mathcal {M}}^+({\overline{\Omega }}))\) of the total energy arising from possible concentrations and/or oscillations in the kinetic and potential energy terms
Instead of (4.14) we would then have
satisfying the energy inequality (4.15). Choosing a positive constant \(\lambda >0\) such that
with
and adapting Lemma 1.6 in [5], we could recover the compatibility condition
In this sense, our choice of the energy (4.14) makes the problem more general and easier to handle with only one free quantity instead of two; however, it reduces to (4.16) simply choosing a dissipation defect \({\mathfrak {E}}\) of the type
4.2 Set-Up
First of all, we must fix the space H, the subset \(D\subseteq H\) and the map \({\mathcal {U}}\) introduced at the beginning of Sect. 3. In this context
-
\(H:= W^{-k, 2}(\Omega ) \times W^{-k, 2}(\Omega ; {\mathbb {R}}^d) \times {\mathbb {R}}\), where the natural number \(k> \frac{d}{2} +1\) is fixed;
-
D represents the space of initial data; it can be chosen as
$$\begin{aligned} D := \left\{ [\varrho _0, \mathbf{m }_0, E_0] \in H: \ \varrho _0 \in L^1(\Omega ), \ \varrho _0\ge 0, \ \mathbf{m }_0\in L^1(\Omega ;{\mathbb {R}}^d) \hbox { satisfying } (4.18) \right\} \end{aligned}$$where
$$\begin{aligned} \int _{\Omega } \left[ \frac{1}{2} \frac{|\mathbf{m }_0|^2}{\varrho _0} + P(\varrho _0)\right] \mathrm{d}x \le E_0; \end{aligned}$$(4.18) -
\({\mathcal {T}}={\mathfrak {D}}([0,\infty ); H)\) represents the trajectory space;
-
\({\mathcal {U}}: D\rightarrow {\mathcal {P}}({\mathcal {T}})\) represents the set-valued mapping that associate to every \([\varrho _0, \mathbf{m }_0, E_0] \in D\) the family of dissipative solutions in the sense of Definition 4.1 arising from the initial data \([\varrho _0, \mathbf{m }_0, E_0] \). More precisely, for every \([\varrho _0, \mathbf{m }_0, E_0] \in D\)
$$\begin{aligned} {\mathcal {U}}&[\varrho _0, \mathbf{m }_0, E_0]= \\&\{ [\varrho , \mathbf{m }, E] \in {\mathcal {T}}: \ [\varrho , \mathbf{m }, E] \hbox { is a dissipative solution with initial data } [\varrho _0, \mathbf{m }_0, E_0] \}. \end{aligned}$$
Notice that everything is well-defined; indeed, denoting with \(L^1_+(\Omega )\) the space of non-negative integrable functions on \(\Omega \), we can rewrite D as
so that it coincides with the epigraph of the function \(g: L^1_+(\Omega )\times L^1(\Omega ;{\mathbb {R}}^d) \rightarrow [0,+\infty ]\) defined as
From (4.9) and the fact that
we get that the function g is lower semi-continuous and convex and thus its epigraph is a closed convex subset of \(L^{\gamma }(\Omega )\times L^{\frac{2\gamma }{\gamma +1}}(\Omega ;{\mathbb {R}}^d)\times {\mathbb {R}}\) for all \(\gamma \ge 1\).
From our choice of k, we can use the Sobolev embedding
to conclude that
for every \(r\ge 1\). Furthermore, due to the weak continuity of the density \(\varrho \) and the momentum \(\mathbf{m }\), for every fixed \(T>0\) and every \(t\in [0,T]\), from the energy inequality we can deduce that
Finally, from condition (i) of Definition 4.1 we also have that \(\varrho (t,\cdot )\ge 0\) for all \(t\ge 0\), while relation
holds for all \(t\ge 0\) since the energy is convex and \(\varrho \) and \(\mathbf{m }\) are weakly continuous in time. In particular, we have that for every \(t\ge 0\)
4.3 Main Result
Keeping in mind the notation introduced in the previous section, we are now ready to state our main result.
Theorem 4.4
System (4.1)–(4.11) admits a semiflow selection U in the class of dissipative solutions, i.e., there exists a Borel measurable map \(U: D \rightarrow {\mathcal {T}}\) such that
satisfying the semigroup property: for any \([\varrho _0, \mathbf{m }_0, E_0] \in D\) and any \(t_1, t_2 \ge 0\)
where \([\varrho , \mathbf{m }, E]= U[\varrho _0, \mathbf{m }_0, E_0]\).
Theorem 4.4 is a consequence of Theorem 3.2 once we have verified that \({\mathcal {U}}\) satisfies properties (P1)–(P5). To this end, we emphasise the following points.
-
Property (P1) is equivalent in showing the existence of a dissipative solution in the sense of Definition 4.1 for any fixed initial data \([\varrho _0, \mathbf{m }_0, E_0] \in D\). For \(\gamma >1\), this is the main result achieved in [2], Sect. 3, while the case \(\gamma =1\) can be done as well applying Lemma 5.2 below instead of Lemma 8.1 in [2].
-
Properties (P2) and (P3) hold true if we manage to prove the weak sequential stability of the solution set \({\mathcal {U}}[\varrho _0, \mathbf{m }_0, E_0]\) for every \([\varrho _0, \mathbf{m }_0, E_0] \in D\) fixed, since it will in particular imply compactness and the closed-graph property of the mapping
$$\begin{aligned} D \ni [\varrho _0, \mathbf{m }_0, E_0] \rightarrow {\mathcal {U}}[\varrho _0, \mathbf{m }_0, E_0] \in {\mathcal {P}}({\mathcal {T}}), \end{aligned}$$and thus the Borel-measurality of \({\mathcal {U}}\), cf. Lemma 12.1.8 in [24].
-
Properties (P4) and (P5) can be easily checked following the same arguments done in [9], Lemma 4.2 and 4.3.
In conclusion, we are done if we show the weak sequential stability of the solution set \({\mathcal {U}}[\varrho _0, \mathbf{m }_0, E_0]\) for every \([\varrho _0, \mathbf{m }_0, E_0] \in D\) fixed. Being the proof quite elaborated, it is postponed to the next section.
Remark 4.5
As already done for the Euler and Navier–Stokes systems, cf. [4, 9], among all the dissipative solutions emanating from the same initial data it is possible to select only the admissible ones, i.e., satisfying the physical principal of minimizing the total energy or equivalently, that are minimal with respect to relation \(\prec \) defined as
where \([\varrho ^i, \mathbf{m }^i, E^i]\), \(i=1,2\) are two dissipative solutions sharing the same initial data. Indeed, it is sufficient to start the selection considering in (3.1) the functional \(I_{1,k}\) with the function f such that
where \(\Phi (t)= [\varrho (t), \mathbf{m }(t), E(t)]\); see [9], Lemma 5.2 for more details.
5 Weak Sequential Stability
This section will be entirely dedicated to the proof of the following result.
Proposition 5.1
Let \(\{ [\varrho _n, \mathbf{m }_n] \}_{n \in {\mathbb {N}}}\) be a family of dissipative solutions with the corresponding total energies \(\{ E_n\}_{n \in {\mathbb {N}}}\) and initial data \(\{ [\varrho _{0,n}, \mathbf{m }_{0,n}, E_{0,n}] \}_{n \in {\mathbb {N}}}\) in the sense of Definition 4.1. If
then, at least for suitable subsequences,
where \(H= W^{-k, 2}(\Omega ) \times W^{-k, 2}(\Omega ; {\mathbb {R}}^d) \times {\mathbb {R}}\) with the natural number \(k>\frac{d}{2}+1\) fixed, and \([\varrho , \mathbf{m }]\) is another dissipative solution of the same problem with total energy E.
The proof will be divided in four steps:
-
1.
in Sect. 5.1 we will first deduce a family of uniform bounds and convergences, including the limits \(\varrho \) of the densities, \(\mathbf{m }\) of the momenta and \(\mathbf{u }\) of the velocities;
-
2.
in Sect. 5.2 we will pass to the limit in the weak formulation of the continuity equation and the balance of momentum;
-
3.
in order to show that \(\mathbf{m }\) can be written as the product \(\varrho \mathbf{u }\), in Sect. 5.3 we will state and prove Lemma 5.2;
-
4.
finally, in Sect. 5.4 we will focus on finding the limit E of the energies.
5.1 Uniform Bounds and Limits Establishment
Our first goal is to show the following convergences, passing to suitable subsequences as the case may be:
From our hypothesis, all the initial energies are uniformly bounded by a positive constant \({\overline{E}}\) independent of n; specifically,
From (4.14) and the energy inequality (4.15) it is easy to deduce the following uniform bounds
5.1.1 Convergences of \(\varrho _n\) and \(\mathbf{m }_n\)
For \(\gamma >1\), from (4.8) and (5.10) we can easily deduce, passing to a suitable subsequence as the case may be,
Similarly, from (5.14), (5.9) and the fact that for a.e. \(t>0\)
passing to a suitable subsequence, we obtain
Since the \(L^1\)-space is not reflexive, for \(\gamma =1\) a more detailed analysis is needed. If we consider the Young function \(\Phi (z)=z\log ^+z\), the densities \(\{ \varrho _n \}_{n\in {\mathbb {N}}}\) can be seen as uniformly bounded in \(L^{\infty }(0,\infty ;L_{\Phi }(\Omega ))\), where \(L_{\Phi }(\Omega )\) is the Orlicz space associated to \(\Phi \); indeed, noticing that
from (5.10), for a.e. \(\tau >0\) we have
As the function \(\Phi \) satisfies the \(\Delta _2\)-condition, \(L_{\Phi }(\Omega )\) can be seen as the dual space of the Orlicz space \(L_{\Psi }(\Omega )\), where \(\Psi \) denotes the complementary Young function of \(\Phi \), and hence, passing to a suitable subsequence, we get
We are now able to prove the uniform integrability of the sequence \(\{\mathbf{m }_n(t,\cdot )\}_{n\in {\mathbb {N}}} \subset L^1(\Omega ; {\mathbb {R}}^d)\) for a.e. \(t>0\). More precisely, we want to show that for every \(\varepsilon >0\) there exists \(\delta =\delta (\varepsilon )\) such that for all \(n\in {\mathbb {N}}\) and a.e. \(t>0\)
Fix \(\varepsilon >0\) and choose \({\tilde{\varepsilon }}= {\tilde{\varepsilon }}(\varepsilon )\) such that \({\tilde{\varepsilon }} = (\varepsilon / c_1)^2\), with \(c_1\) as in (5.9). The superlinearity of P (4.9) combined with the uniform bound (5.10) guarantees that the sequence \(\{ \varrho _n(t,\cdot ) \}_{n\in {\mathbb {N}}} \subset L^1(\Omega )\) is uniformly integrable for a.e. \(t>0\), as a consequence of de la Vallée–Poussin criterion; thus, there exists \(\delta = \delta ({\tilde{\varepsilon }})\) such that for all \(n\in {\mathbb {N}}\) and a.e. \(t>0\),
Fix \(M \subset \Omega \) with \(|M|< \delta \); applying Hölder’s inequality, (5.9), (5.17) and writing
we get that for all \(n\in {\mathbb {N}}\) and a.e. \(t>0\)
Dunford–Pettis theorem ensures that for a.e. \(t>0\) the sequence \(\{\mathbf{m }_n(t,\cdot )\}_{n\in {\mathbb {N}}} \subset L^1(\Omega ; {\mathbb {R}}^d)\) is relatively compact with respect to the weak topology; in particular, we have that
Next, to get (5.2) from (5.14) and (5.16) we have to show that the family of t-dependent functions
converges strongly in C([a, b]) for any \(\phi \in C_c^{\infty }(\Omega )\) and any compact subset \([a,b]\subset (0,\infty )\). Recalling that the densities \(\varrho _n\) and the momenta \(\mathbf{m }_n\) are weakly continuous in time, the sequences \(\{ f_n \}_{n\in {\mathbb {N}}}\) and \(\{ f_n' \}_{n\in {\mathbb {N}}}\) are uniformly bounded in [a, b], since for all \(\gamma \ge 1\)
while from the uniform boundedness of the momenta \(\mathbf{m }_n\) in \(L^{\infty }(0,\infty ; L^p(\Omega ; {\mathbb {R}}^d))\) with \(p=\frac{2\gamma }{\gamma +1}\) and \(\gamma \ge 1\),
As a consequence of the Arzelà-Ascoli theorem, we get (5.2). A similar argument can be applied to get (5.3).
Finally, notice that, from the Sobolev embedding (4.19), \(\varrho _n: [0,\infty ) \rightarrow W^{-k,2}(\Omega )\) is a continuous function for all \(n\in {\mathbb {N}}\), and thus by Proposition 2.1 showing
is equivalent to
where \(\{ e_k \}_{k\in {\mathbb {N}}}\) is an orthonormal basis of \(L^2(\Omega )\); but this easily follows from convergence (5.2) and Parseval’s identity. The same argument can be applied to show that
5.1.2 Convergences of \(\mathbf{u }_n\) and \({\mathbb {S}}_n\)
From (4.6) and (5.12) we can also deduce that
Fixing a compact interval \([a,b] \subset (0,+\infty )\) and an open bounded interval I such that \([a,b] \subset I\), the previous inequality combined with the \(L^q\)-version of the trace-free Korn’s inequality (see for instance [6], Theorem 3.1) implies
the standard Poincaré inequality ensures then
and thus we get convergence (5.4).
The superlinearity of \(F^*\) (4.5) combined with (5.13), the de la Vallée–Poussin criterion and the Dunford–Pettis theorem, gives convergence (5.5).
5.1.3 Convergences of \(p(\varrho _n)\), \(\frac{\mathbf{m }_n \otimes \mathbf{m }_n}{\varrho _n}\) and \({\mathfrak {R}}_n\)
Notice that in (5.7) we don’t consider the case \(\gamma =1\) because it reduces to (5.2). On the other side, when \(\gamma >1\), estimates (5.9) and (5.10), combined with the fact that
for some positive constants c, imply that the pressures \(\{ p(\varrho _n(t,\cdot )) \}_{n\in {\mathbb {N}}}\) and the convective terms \(\left\{ \frac{\mathbf{m }_n \otimes \mathbf{m }_n}{\varrho _n}(t,\cdot ) \right\} _{n\in {\mathbb {N}}}\) are uniformly bounded in the non-reflexive \(L^1\)-space for a.e. \(t>0\). The idea is then to see the \(L^1\)-space as embedded in the space of bounded Radon measures \({\mathcal {M}}({\overline{\Omega }})\), which in turn can be identified as the dual space of the separable space \(C({\overline{\Omega }})\). Accordingly, introducing the space \(L^{\infty }_\mathrm{weak}(0,\infty ; {\mathcal {M}}({\overline{\Omega }}))\), cf. Remark 4.2, we obtain convergences (5.6) and (5.7). Finally, estimate (5.11) guarantees convergence (5.8).
5.2 Limit Passage
We are now ready to pass to the limit in the weak formulation of the continuity equation and the balance of momentum, obtaining that
holds \(\tau >0\) and any \(\varphi \in C_c^1([0,\infty )\times {\overline{\Omega }})\), with \(\varrho (0,\cdot )=\varrho _0\), and
holds for any \(\tau >0\) and any \(\varvec{\varphi } \in C^1_c([0,\infty )\times {\overline{\Omega }}; {\mathbb {R}}^d)\), \(\varvec{\varphi }|_{\partial \Omega }=0\) with \(\mathbf{m }(0,\cdot )=\mathbf{m }_0\). The last integral identity can be rewritten as
where \(\check{{\mathfrak {R}}} \in L^{\infty }_\mathrm{weak}(0,\infty ; {\mathcal {M}}({\overline{\Omega }}; {\mathbb {R}}^{d\times d}_\mathrm{sym}))\) is such that
with
We can prove the stronger condition
more precisely, we want to show that for all \(\xi \in {\mathbb {R}}^d\), all open sets \({\mathcal {B}}\subset \Omega \) and a.e. \(\tau >0\)
we can rewrite the term on the left-hand side as
Since the indicator function \(\mathbb {1}_{[\tau -d,\tau +d]\times {\mathcal {B}}}\) can be approximated by some non-negative test functions, it is enough to show that
holds for all \(\varphi \in C_c^{\infty }((0,T)\times \Omega )\), \(\varphi \ge 0\). We can notice that the first term on the right-hand side of (5.18) will obviously satisfy the above inequality since \(\widetilde{{\mathfrak {R}}}\) belongs to \(L^{\infty }_\mathrm{weak}(0,\infty ; {\mathcal {M}}^+({\overline{\Omega }}; {\mathbb {R}}^{d\times d}_\mathrm{sym}))\), and
since \(\varrho \mapsto p(\varrho )\) is convex and weakly lower semi-continuous in \(L^1\), which implies \(\overline{p(\varrho )} \ge p(\varrho )\), see for instance [14], Theorem 2.11. Finally, following the same idea developed in [15], Section 3.2, as a consequence of (5.6) we can write
The Cauchy–Schwarz inequality allows to write \(|\mathbf{m } \cdot \xi |^2 \le |\mathbf{m }|^2 |\xi |^2\), and thus by (5.9) we obtain
it is possible then to find the limit
and rewrite the first line in (5.20) as
as in the previous passage, (5.19) will now follow from the weak lower semi-continuity on D of the convex function \([\varrho , \mathbf{m }] \mapsto \frac{|\mathbf{m }\cdot \xi |^2 }{\varrho }\). We proved in particular that the pair of functions \([\varrho , \mathbf{m }]\) satisfies conditions (ii) and (iii) of Definition 4.1. However, \(\check{{\mathfrak {R}}}\) has to be slightly modified in order to get the energy (4.14), as we will see in Sect. 5.4.
5.3 Auxiliary Lemma
In order to prove that
and in particular to show that \([\varrho , \mathbf{m }]\) satisfy condition (iv) of Definition 4.1, we need the following result.
Lemma 5.2
Let \(\Omega \subset {\mathbb {R}}^d\) be a bounded domain. Suppose
where \(L_{\Phi }(\Omega )\) is the Orlicz space associated to the Young function \(\Phi \) satisfying the \(\Delta _2\)-condition, with \(\varrho _n \ge 0\) for all \(n\in {\mathbb {N}}\). Suppose also that
where
for some \(p\ge 1\). Moreover, let
Finally, let the sequence \(\{\varrho _n \mathbf{u }_n\}_{n\in {\mathbb {N}}}\) be equi-integrable in \(L^1_\mathrm{loc}(0,\infty ; L^1( \Omega ;{\mathbb {R}}^d))\).
Then, if
and
we have
Proof
-
1.
Truncation. Following the same strategy developed in [1], Lemma 8.1, it is enough to suppose that
$$\begin{aligned} \{ \mathbf{u }_n \}_{n\in {\mathbb {N}}} \hbox { is uniformly bounded in } L^{\infty }_\mathrm{loc}(0,\infty ; L^{\infty }( \Omega ; {\mathbb {R}}^d)). \end{aligned}$$(5.26)Considering the truncation \(T_k(\mathbf{u }_n)\), notice that in this case we have
$$\begin{aligned} \int _{a}^{b} \int _{\Omega } \varrho _n |\mathbf{u }_n - T_k(\mathbf{u }_n)| \ dxdt \le 2 \int \int _{\{|\mathbf{u }_n| \ge k\}} \varrho _n |\mathbf{u }_n| \ dxdt \rightarrow 0 \quad \hbox {as } k\rightarrow \infty , \hbox { uniformly in }n, \end{aligned}$$for every \([a,b]\subset (0,\infty )\), in view of the equi-integrability of \(\{ \varrho _n \mathbf{u }_n \}_{n\in {\mathbb {N}}}\).
-
2.
Regularization. We claim that it is sufficient to suppose
$$\begin{aligned} \{ \mathbf{u }_n \}_{n\in {\mathbb {N}}} \hbox { to be uniformly bounded in } L^q_\mathrm{loc}(0,\infty ; W^{m,r}(\Omega ;{\mathbb {R}}^d)) \end{aligned}$$(5.27)with \(q>1\) and m, r arbitrarily large. Seeing all the quantities involved as embedded in \({\mathbb {R}}^d\) with compact support, we consider regularization in the spatial variable by convolution with a family of regularizing kernels \(\{ \theta _{\delta } \}_{\delta >0}\),
$$\begin{aligned} \theta _{\delta }(x)= \frac{1}{\delta ^d} \ \theta \left( \frac{x}{\delta } \right) , \end{aligned}$$where \(\theta \) is a bell-shaped function such that
$$\begin{aligned} \theta \in C^{\infty }_c ({\mathbb {R}}^d), \quad \theta \ge 0, \quad \theta (x)=\theta (|x|), \quad \int _{{\mathbb {R}}^d} \theta (x) dx=1. \end{aligned}$$As in the previous step, writing
$$\begin{aligned} \varrho _n \mathbf{u }_n = \varrho _n \ \theta _{\delta } * \mathbf{u }_n + \varrho _n (\mathbf{u }_n - \theta _{\delta } * \mathbf{u }_n), \end{aligned}$$our goal is tho show that for every \([a,b]\subset (0,\infty )\)
$$\begin{aligned} \int _{a}^{b} \int _{\Omega } \varrho _n |\mathbf{u }_n - \theta _{\delta } * \mathbf{u }_n | dxdt \rightarrow 0 \quad \hbox {as } \delta \rightarrow 0, \hbox { uniformly in }n. \end{aligned}$$To this end, we introduce the Banach space
$$\begin{aligned} X= W_0^{1,q} \cap L^{\infty } (\Omega ;{\mathbb {R}}^d) \end{aligned}$$and observe that, in view of (5.23) and (5.26),
$$\begin{aligned} \{ \Vert \mathbf{u }_n \Vert _X \}_{n\in {\mathbb {N}}} \hbox { is uniformly bounded in } L^q_\mathrm{loc}(0,\infty ). \end{aligned}$$(5.28)Consequently, we may write
$$\begin{aligned} \int _{a}^{b} \int _{\Omega } \varrho _n |\mathbf{u }_n - \theta _{\delta } * \mathbf{u }_n | dxdt = I_1^M + I_2^M \end{aligned}$$with
$$\begin{aligned} I_1^M&= \int _{\{ \Vert \mathbf{u }_n(t, \cdot )\Vert _X \le M \}} \int _{\Omega } \varrho _n |\mathbf{u }_n - \theta _{\delta } * \mathbf{u }_n | dxdt, \\ I_2^M&= \int _{\{ \Vert \mathbf{u }_n(t, \cdot )\Vert _X > M \}} \int _{\Omega } \varrho _n |\mathbf{u }_n - \theta _{\delta } * \mathbf{u }_n | dxdt, \end{aligned}$$where, in view of (5.28)—recall that the functions \(\varrho _n\) are weakly continuous in time
$$\begin{aligned} I_2^M \le c \sup _{t\in [a,b]}\Vert \varrho _n(t,\cdot )\Vert _{L^1(\Omega )} \Vert \mathbf{u }_n\Vert _{L^{\infty }((a,b)\times \Omega ; {\mathbb {R}}^d)} \ |\{ \Vert \mathbf{u }_n(t, \cdot )\Vert _X > M \}| \rightarrow 0 \quad \hbox {as } M\rightarrow \infty , \end{aligned}$$uniformly in n and independently of \(\delta \). It remains to show smallness of the first integral for fixed M. To this end, denoting with \(\Psi \) the complementary Young function of \(\Phi \), we consider the Orlicz space \(L_{\Psi }(\Omega )\) that can be identified with the dual of \(L_{\Phi }(\Omega )\) as \(\Phi \) satisfies the \(\Delta _2\)-condition. By Proposition 5.3 below, we recover the compact embedding
$$\begin{aligned} X \hookrightarrow \hookrightarrow L_{\Psi }(\Omega ;{\mathbb {R}}^d) \end{aligned}$$which, combined with boundedness of convolution on \(L_{\Psi }(\Omega )\) (see [19], Lemma 4.4.3), gives
$$\begin{aligned} I_1^M \le \sup _{t\in [a,b]} \Vert \varrho _n(t,\cdot )\Vert _{ L_{\Phi }(\Omega )} \sup _{\Vert \mathbf{u }\Vert _X\le M} \Vert \mathbf{u } -\theta _{\delta } * \mathbf{u }\Vert _{L_{\Psi }(\Omega ;{\mathbb {R}}^d)}\rightarrow 0 \quad \hbox {as } \delta \rightarrow 0. \end{aligned}$$ -
3.
Conclusion. Using the Sobolev embedding
$$\begin{aligned} L^1(\Omega ) \hookrightarrow \hookrightarrow W^{-1, s'} \quad \hbox {for any } s>d, \end{aligned}$$from (5.24) we get that
$$\begin{aligned} \varrho _n \rightarrow \varrho \quad \hbox {in } C_\mathrm{loc}([0,\infty ); W^{-1, s'}(\Omega )) \quad \hbox {for any } s>d, \end{aligned}$$and thus, to conclude the proof of the Lemma it is sufficient to choose \(m=1\) and \(r=s\) in (5.27).
\(\square \)
Proposition 5.3
Let \(\Omega \subset {\mathbb {R}}^d\) be a bounded domain. Then, for a fixed \(q\ge 1\)
where \(L_{\Phi }\) is the Orlicz space associated to the Young function \(\Phi \).
Proof
Let K be a bounded set of X and let \(\Phi _1\) be a Young function such that \(\Phi \prec \prec \Phi _1\), i.e.
for all \(\lambda >0\). Then, in particular, K is bounded in the Orlicz space \(L_{\Phi _1}(\Omega )\); indeed, denoting with \(\Psi \) the complementary Young function of \(\Phi \), we have that for every \(u\in K\) and every v belonging to the Orlicz class \({\widetilde{L}}_{\Psi }(\Omega )\)
and thus
where \(\Vert u\Vert _X =\max \{ \Vert u\Vert _{W^{1,q}(\Omega )}, \Vert u\Vert _{L^{\infty }(\Omega )} \}\) and the constant c is independent of the choice \(u\in K\). Applying [22], Theorems 3.17.7 and 3.17.8 we get that
where \(E_{\Phi }(\Omega )\) is the closure of the set of all bounded measurable functions defined on \(\Omega \) with respect to the Orlicz norm \(\Vert \cdot \Vert _{L_{\Phi }}\), and that the functions in K have uniformly continuous \(L_{\Phi }\)-norms, i.e., for every \(\varepsilon >0\) there exists a \(\delta =\delta (\varepsilon )>0\) such that
provided \(M\in \Omega \) is measurable, \(|M|<\delta \) and \(u\in K\).
Furthermore, since
the set K is relatively compact in \(L^1(\Omega )\) and consequently it is relatively compact with respect to the convergence in measure.
Finally, it is sufficient to apply [22], Theorem 3.14.11, which we report for reader’s convenience.
Theorem 5.4
Let K be a subset of \(E_{\Phi }(\Omega )\) which is relatively compact in the sense of convergence in measure and such that the functions in K have uniformly continuous \(L_{\Phi }\)-norms. Then K is relatively compact in \(L_{\Phi }\).
\(\square \)
5.4 Limit of the Energies
From (4.14) we can notice that the energies \(E_n(\tau )\) are non-increasing and for \(\gamma >1\) they are also non-negative, while for \(\gamma =1\) we have
for a.e. \(\tau >0\). Hence, for every \([a,b]\subset (0,\infty )\) and every \(n\in {\mathbb {N}}\)
so that \(\{E_n\}_{n\in {\mathbb {N}}}\) is locally of bounded variation. We can then use Helly’s selection theorem (compactness theorem for \(BV_\mathrm{loc}\)): a sequence of functions that is locally of total bounded variation and uniformly bounded at a point has a convergent subsequence, pointwise and in \(L^1_\mathrm{loc}\). Passing to a suitable subsequence as the case may be, we obtain
which in particular implies
since \(E_n: [0,\infty ) \rightarrow {\mathbb {R}}\) is a monotone function for all \(n\in {\mathbb {N}}\) and thus, by Proposition 2.1, showing (5.30) is equivalent to show almost everywhere convergence.
On the other side, from (5.9), (5.10) and (5.11) we get
We can then write
for a.e. \(\tau >0\), with
where, once again, from the convexity of the function P and of the superposition \([\varrho , \mathbf{m }]\mapsto \frac{|\mathbf{m }|^2}{\varrho }\), we get
As pointed out in Sect. 4.1.1, we can choose constant \(\lambda >0\) such that
for a.e. \(\tau \in (0,T)\); however, with this choice we only get
for a.e. \(\tau \in (0,T)\). To obtain (4.14), it is sufficient to define a new defect
where the function \(\psi \ge 0\) of time only can be chosen in such a way that
for a.e. \(\tau \in (0,T)\). Clearly,
for any \(\varvec{\varphi } \in C_c^{\infty }([0,\infty ) \times {\overline{\Omega }}; {\mathbb {R}}^d)\), \(\varvec{\varphi }|_{\partial \Omega }=0\), and therefore, the weak formulation of the balance of momentum (4.13) remains valid.
Finally, notice that the couple \([\varrho , \mathbf{m }]\) satisfies the energy inequality (4.15) due to lower semi-continuity of the functions F and \(F^*\): for a.e. \(\tau >0\)
in particular, \([\varrho , \mathbf{m }]\) satisfies condition (iv) of Definition 4.1.
References
Abbatiello, A., Feireisl, E.: On a class of generalized solutions to equations describing incompressible viscous fluids. Annali di Matematica Pura e Applicata (1923); 2019
Abbatiello, A., Feireisl, E., Novotný, A.: Generalized solutions to mathematical models of compressible viscous fluids, arXiv:1912.12896 (2019)
Ambrosio, L.: Transport equation and Cauchy problem for BV vector fields. Inventiones Mathematicae 158, 227–260 (2004)
Basarić, D.: Semiflow selection for the compressible Navier-Stokes system. J. Evol. Equ. (2020). https://doi.org/10.1007/s00028-020-00578-x
Basarić, D.: Vanishing viscosity limit for the compressible Navier–Stokes system via measure—valued solutions, arXiv:1903.05886 (2019)
Breit, D., Cianchi, A., Diening, L.: Trace-free Korn inequality in Orlicz spaces. SIAM J. Math. Anal. 49(4), 2496–2516 (2017)
Breit, D., Feireisl, E., Hofmanová, M.: Dissipative solutions and semiflow selection for the complete Euler system. Commun. Math. Phys. 376, 1471–1497 (2020). https://doi.org/10.1007/s00220-019-03662-7
Breit, D., Feireisl, E., Hofmanová, M.: Markov selection for the stochastic compressible Navier–Stokes system, arXiv:1809.07265 (2018)
Breit, D., Feireisl, E., Hofmanová, M.: Solution semiflow to the isentropic Euler system. Arch. Ration. Mech. Anal. 235, 167–194 (2020). https://doi.org/10.1007/s00205-019-01420-6
Buckmaster, T., Vicol, V.: Convex integration and phenomenologies in turbulence, arXiv:1901.09023 (2019)
Cardona, J.E., Kapitanski, L.: Semiflow selection and Markov selection theorems, arXiv:1707.04778 (2017)
Crandall, M.G., Ishii, H., Lions, P.-L.: User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. 27(1), 1–67 (1992)
DiPerna, R.J., Lions, P.-L.: Ordinary differential equations, transport theory and Sobolev spaces. Inventiones Mathematicae 98, 511–547 (1989)
Feireisl, E.: Dynamics of Viscous Compressible Fluids. Oxford University Press, Oxford (2003)
Feireisl, E., Hofmanová, M.: On the vanishing viscosity limit of the isentropic Navier–Stokes system, arXiv:1905.02548 (2019)
Feireisl, E., Kwon, Y.-S., Novotný, A.: On the long-time behaviour of dissipative solutions to models of non-Newtonian compressible fluids, arXiv:2001.03313 (2020)
Feireisl, E., Novotný, A.: Stability of Planar Rarefaction Waves Under General Viscosity Perturbation of the Isentropic Euler System, Preprint No. 12-2020 of the Institute of Mathematics of the Czech Academy of Sciences (2020)
Flandoli, F., Romito, M.: Markov selections for the 3D stochastics Navier–Stokes equations. Probab. Theory Rel. Fields 140(3–4), 407–458 (2008)
Harjulehto, P., Hästö, P.: Orlicz Spaces and Generalized Orlicz Spaces. Lecture Notes in Mathematics, vol. 2236. Springer, Berlin (2019)
Jakubowski, A.: On the Skorokhod topology. Annales de l’I. H. P. Sect. B 22(3), 263–285 (1986)
Krylov, N.V.: The selection of a Markov process from a Markov system of processes, and the construction of quasidiffusion processes. Izv. Akad. Nauk SSSR Ser. Mat. 37, 691–708 (1973)
Kufner, A., John, O., Fučík, S.: Function Spaces. Springer, Prague (1977)
Measure-valued solution for non-Newtonian compressible isothermal monopolar fluid: Matuš\(\mathring{{\rm u}}\)-Nečasová, Š., Novotný, A. Acta Applicandae Mathematica 37, 109–128 (1994)
Stroock, D.W., Varadhan, S.R.S.: Multidimensional Diffusion Processes, Classics in Mathematics. Springer, Berlin (2006)
Whitt, W.: Stochastic-Process Limits: An Introduction to Stochastic-Process Limits and Their Applications to Queues, Springer Series In Operation Research (2002)
Acknowledgements
This work was supported by the Einstein Foundation, Berlin. The author wishes to thank Prof. Eduard Feireisl for the helpful advice and discussions.
Funding
Open Access funding provided by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that there is no conflict of interest.
Additional information
Communicated by F. Flandoli
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
Basarić, D. Semiflow Selection to Models of General Compressible Viscous Fluids. J. Math. Fluid Mech. 23, 2 (2021). https://doi.org/10.1007/s00021-020-00527-1
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-020-00527-1