Abstract
We consider a class of viscous fluids with a general monotone dependence of the viscous stress on the symmetric velocity gradient. We introduce the concept of dissipative solution to the associated initial boundary value problem inspired by the measure-valued solutions for the inviscid (Euler) system. We show the existence as well as the weak–strong uniqueness property in the class of dissipative solutions. Finally, the dissipative solution enjoying certain extra regularity coincides with a strong solution of the same problem.
Similar content being viewed by others
1 Introduction
The main goal of the present paper is to develop a mathematical theory of viscous fluids in the case of very low regularity of solutions of the underlying evolutionary equations, similar to the Euler system describing the inviscid fluids. In particular, we allow the viscous stress tensor to be merely bounded function of the velocity gradient, where the corresponding energy estimate provides only bounds of the total variation (in fact total “deformation”) of the velocity. We refer to the recent survey by Málek, Blechta, and Rajagopal [1] for the relevant physical background of the equations and systems studied below.
The motion of a general viscous incompressible fluid is described in terms of its velocity\(\mathbf{v}= \mathbf{v}(t,x)\) satisfying the following system of equations:
Here \(\Pi \) is the associated pressure and \({{\mathbb {S}}}\) denotes the viscous stress tensor related to the symmetric velocity gradient
through a general “implicit” rheological law
where
is a convex function, \(F^*\) denotes its conjugate, while \( R^{d \times d}_{\mathrm{sym}}\) is the space of real symmetric tensors and \(d=2,3\) is the dimension. Note that (1.3) means
in particular, the mapping
is monotone. Here and hereafter, the symbol \(\partial \) denotes the subdifferential of a convex function. To avoid technicalities connected with the kinematic boundary, we restrict ourselves to the spatially periodic solutions defined on the flat torus
The problem is formally closed by imposing the initial data
1.1 Weak and strong solutions
Problem (1.1)–(1.6) is essentially well posed locally in time in the class of strong (classical) solutions for non-degenerate F, see, e.g., Bothe and Prüss [2]. They consider a generalized Newtonian fluid
which possesses the additional restriction to be non-degenerate compared to (1.3)–(1.4). By non-degenerate, we mean that \(\mu \) is twice continuously differentiable function, such that
An iconic example is the power law fluid, for which
Note that the above example becomes non-degenerate when \(\mu _1>0\). It is known that if \(p \ge \frac{11}{5}\), and \(d=3\), the system (1.1)–(1.6) possesses global in time strong solutions, see, e.g., Málek, Nečas, R\(\mathring{u}\)žička [12]. The existence of weak solutions has been established in several cases, see, e.g., the monograph by Málek et al. [11]. The best result dealing with the limit case \(d = 3\), \(p > \frac{6}{5}\) was obtained by Diening, R\(\mathring{u}\)žička, and Wolf [8]. More general rheological laws have been studied by Bulíček et al. [5], see also [1] for the analysis of incompressible non-Newtonian fluids. The hypothesis \(p > \frac{6}{5}\) represents a threshold in the 3D case. Indeed, the energy balance (inequality) associated with (1.1), (1.2) reads
In view of the standard Sobolev embedding \(W^{1,p} \hookrightarrow L^q\), \(1 \le q \le \frac{3p}{3 - p}\), the solutions are a priori bounded in the space \(L^q\), \(q > 2\) only if \(p > \frac{6}{5}\). In the opposite case, the convective term \(\mathbf{v}\otimes \mathbf{v}\) is only bounded in \(L^\infty (0,T; L^1({\mathbb {T}}^d; R^{d \times d}_\mathrm{sym}))\), which makes the analysis rather delicate. The theory of dissipative solutions proposed in this paper goes beyond this threshold considering the class of velocities for which \({{\mathbb {D}}} \mathbf{v}\) is merely a measure. Possible concentrations that may be produced by the convective term are captured by a Reynolds viscous stress \({\mathfrak {R}}_v\) introduced below.
1.2 Dissipative solutions
Inspired by [3], we introduce the concept of dissipative solution to problem (1.1)–(1.6). The essential features of the approach are (i) augmenting the family of unknowns by quantities that account for possible oscillations/concentrations, (ii) considering the energy balance as an integral part of the definition of generalized solutions.
Accordingly, we shall deal with the following quantities:
The velocity \(\mathbf{v}\in C_{\mathrm{weak}}([0,T]; L^2({\mathbb {T}}^d; R^d))\);
The viscous stress tensor \({{\mathbb {S}}} \in L^1(0,T; L^1({\mathbb {T}}^d; R^{d \times d}_{\mathrm{sym}}))\);
The Reynolds viscous stress \({\mathfrak {R}}_v\) that accounts for possible concentrations in the convective term,
$$\begin{aligned} {\mathfrak {R}}_v \in L^\infty (0,T; {\mathcal {M}}^+({\mathbb {T}}^d; R^{d \times d}_{\mathrm{sym}})). \end{aligned}$$
Remark 1.1
The symbol \({\mathcal {M}}^+({\mathbb {T}}^d; R^{d \times d}_{\mathrm{sym}})\) denotes the space of finite vector valued signed measures on \({\mathbb {T}}^d\) ranging in the cone of positively definite symmetric matrices. Specifically,
The dissipative solutions, introduced in detail in Sect. 2, solve the following system of equations
in the sense of distributions.
Remark 1.2
Strictly speaking, the symmetric gradient \({{\mathbb {D}}} \mathbf{v}\) will be merely a measure on \((0,T) \times {\mathbb {T}}^d\). Accordingly, its composition \(F({{\mathbb {D}}} \mathbf{v})\) with a convex function F must be interpreted in a generalized sense proposed by Demengel and Temam [6, 7].
Although formally underdetermined, the problem (1.10) enjoys the weak–strong uniqueness property. The velocity \(\mathbf{v}\) associated with the dissipative solutions coincides with the velocity satisfying (1.1), (1.2) in the classical sense as long as the latter exists. In such a case, the measure \({\mathfrak {R}}_v\) vanishes, while
The rest of the paper is organized as follows:
In Sect. 2, we introduce the dissipative solutions and state our main results.
In Sect. 3, we show existence of a dissipative solution for a fairly general class of initial data.
In Sect. 4, we establish the relative energy inequality associated with system (1.10), which represents a basic tool for proving stability results. In particular, we establish the weak–strong uniqueness property in Sect. 5.
In Sect. 6, we show that dissipative solutions that are sufficiently regular coincide with the standard strong solutions of the same problem.
Finally, we discuss possible extensions of the method in Sect. 7.
2 Preliminaries, main results
We start by introducing the basic hypotheses imposed on the rheological relation (1.3) between the viscous stress \({{\mathbb {S}}}\) and the symmetric part of the velocity gradient \({{\mathbb {D}}} \mathbf{v}\). We recall Fenchel–Young inequality
yielding
Moreover, in view of hypothesis (1.4), the domain of F is the whole space \(R^{d \times d}_{\mathrm{sym}}\) which implies that \({\mathbb {F}}^*\) is superlinear, specifically,
For technical reasons specified below, we will assume that the domain of \(F^*\) contains a ball in \(R^{d \times d}_{\mathrm{sym}}\): there is \(r > 0\) such that
This implies that F grows at least linearly for large \({{\mathbb {D}}}\),
In view of the constitutive relation (1.3), we may anticipate that generalized solutions of (1.1), (1.2), satisfying some form of the energy balance (1.9), will be fields \(\mathbf{v}\in C_{\mathrm{weak}}([0,T]; L^2({\mathbb {T}}^d; R^d))\) with bounded deformation
where \({\mathcal {M}}((0,T) \times {\mathbb {T}}^d; R^{d \times d}_{\mathrm{sym}})\) denotes the set of finite tensor-valued Radon measures.
Now, we may use the machinery developed by Demengel and Temam [7] to define
To this end, a few technical hypotheses are needed. Let
be the asymptotic function of F. Following Demengel and Temam [7], we further suppose that there is \(r > 0\) such that
Here \(B(r, {\mathbb {O}})\) is the ball of radius r centered at zero in \(R^{d \times d}_{\mathrm{sym}}\), while \(\Lambda ^0\) is the polar set of \(\Lambda \) and \(\mathrm{Dom}(\cdot )\) denotes the domain of a function. In view of [7, Proposition 1.2], hypothesis (2.6) is equivalent to
Under these circumstances, one can define
see [7, Section 2].
Remark 2.1
The hypotheses (2.4), (2.6) may seem rather awkward at first glance. We claim they are automatically satisfied if \(\mathrm{Dom}(F^*) = R^{d \times d}_{\mathrm{sym}}\), in which case F is superlinear in \({{\mathbb {D}}}\). We refer to [6, 7] for other interesting examples.
2.1 Dissipative solutions
As already pointed out, the dissipative solutions are defined in terms of the velocity field \(\mathbf{v}\), the viscous stress \({{\mathbb {S}}}\), and the Reynolds viscous stress tensor \({\mathfrak {R}}_v\).
Definition 2.2
We say that \(\mathbf{v}\in C_{\mathrm{weak}}([0,T]; L^2({\mathbb {T}}^d; R^d))\) is a dissipative solution of the problem (1.1)–(1.6) if
and there exist
such that the following holds:
Incompressibility
$$\begin{aligned} \int _0^T \int _{{{\mathbb {T}}^d}} \mathbf{v}\cdot \nabla _x\varphi \ \,\mathrm{d} {x} \,\mathrm{d} t = 0 \end{aligned}$$(2.8)for any \(\varphi \in C^1([0,T] \times {\mathbb {T}}^d)\).
Momentum equation
$$\begin{aligned}&\int _{{{\mathbb {T}}^d}} \mathbf{v}\cdot \varvec{\varphi }(\tau , \cdot ) \ \,\mathrm{d} {x} - \int _{{{\mathbb {T}}^d}} \mathbf{v}_0 \cdot \varvec{\varphi }(0, \cdot ) \ \,\mathrm{d} {x} \nonumber \\&\quad =\int _0^\tau \int _{{{\mathbb {T}}^d}} \left[ \mathbf{v}\cdot \partial _t \varvec{\varphi }+ (\mathbf{v}\otimes \mathbf{v}): \nabla _x\varvec{\varphi }\right] \ \,\mathrm{d} {x} \,\mathrm{d} t - \int _0^\tau \int _{{{\mathbb {T}}^d}} {{\mathbb {S}}} : \nabla _x\varvec{\varphi } \ \,\mathrm{d} {x} \,\mathrm{d} t + \int _0^\tau \int _{{\mathbb {T}}^d} \nabla _x\varvec{\varphi }: \mathrm{d}{\mathfrak {R}}_v \,\mathrm{d} t \nonumber \\ \end{aligned}$$(2.9)for any \(0 \le \tau \le T\), and \(\varvec{\varphi }\in C^1([0,T] \times {\mathbb {T}}^d; R^d)\), \(\mathrm{div}_x\varvec{\varphi }= 0\).
Energy inequality
$$\begin{aligned}&\int _{{{\mathbb {T}}^d}} \frac{1}{2} |\mathbf{v}|^2 (\tau , \cdot ) \ \,\mathrm{d} {x} + \int _{{\mathbb {T}}^d} \mathrm{d}\frac{1}{2}\mathrm{trace}[{\mathfrak {R}}_v (\tau )] + \int _0^\tau \int _{{{\mathbb {T}}^d}} \Big [ F({{\mathbb {D}}} \mathbf{v}) + F^*({{\mathbb {S}}}) \Big ] \ \,\mathrm{d} {x} \,\mathrm{d} t \nonumber \\&\quad \le \int _{{{\mathbb {T}}^d}} \frac{1}{2} |\mathbf{v}_0|^2 \ \,\mathrm{d} {x} \end{aligned}$$(2.10)for a.a. \(\tau \in (0,T)\).
Remark 2.3
The integral \(\int _0^\tau \int _{{{\mathbb {T}}^d}} F({{\mathbb {D}}} \mathbf{v}) \ \,\mathrm{d} {x}\) should be understood as
in the sense of Demengel and Temam [7]. Note that this extended definition is only necessary if \(\mathrm{Dom}(F^*)\) is not the whole space \(R^{d \times d}_{\mathrm{sym}}\), because in such case one can prove that F is superlinear and \({{\mathbb {D}}} \mathbf{v}\in L^1((0,T);L^1({\mathbb {T}}^d, R^{d\times d}))\).
2.2 Main results
As the first result, we state the existence of dissipative solutions proved in Sect. 3.
Theorem 2.4
Let \(\mathbf{v}_0 \in L^2({\mathbb {T}}^d; R^d)\), \(\mathrm{div}_x\mathbf{v}_0 = 0\), \(d=2,3\), and \(T > 0\) be given. Suppose that F satisfies (1.4), together with (2.4), (2.6).
Then the problem (1.1)–(1.6) admits a dissipative solution \(\mathbf{v}\in C_{\mathrm{weak}}([0,T]; L^2({\mathbb {T}}^d; R^d))\) in the sense of Definition 2.2.
Remark 2.5
To simplify presentation, we deliberately omitted the issue of boundary conditions. However, the proof can be easily adapted to include some of the standard boundary conditions, in particular the complete slip or the no-slip boundary conditions. Note that in the latter case, the viscous stress \({{\mathbb {S}}}\) must be non-degenerate so that the trace of \(\mathbf{v}\) is well-defined. We refer to Blechta, Málek and Rajagopal [1] for a detailed discussion of various boundary conditions.
The second result concerns the weak–strong uniqueness property. In view of the theory developed by Bothe and Prüss [2], we state it in the \(L^p\)-framework.
Theorem 2.6
Let F satisfy the hypotheses (1.4), (2.4), (2.6). Let \(p > d + 2\), \(d=2,3\). Suppose that the system (1.1)–(1.6) admits a strong solution \({\widehat{\mathbf{v}}}\) in the class
defined on a time interval [0, T], with the viscous stress
and with the initial datum
Let \(\mathbf{v}\), together with \({{\mathbb {S}}}\) and \({\mathfrak {R}}_v\), be a dissipative solution in the sense of Definition 2.2 of the same problem starting from the same initial data
Then
and
Remark 2.7
Note that for \(p > d + 2\), we have the embedding relation \(W^{2 - \frac{2}{p},p}({\mathbb {T}}^d) \hookrightarrow C^1({\mathbb {T}}^d)\).
The proof of Theorem 2.6 will be given in Sects. 4, 5. Note that existence of local-in-time strong solutions in the class specified in Theorem 2.6 was proved by Bothe and Prüss [2] for smooth non-degenerate viscous stress tensor satisfying (1.7), (1.8). In this case, (2.12) follows from (2.11).
Finally, we claim that dissipative solutions enjoying certain regularity are in fact strong solutions.
Theorem 2.8
Let F satisfy the hypotheses (1.4), (2.4), (2.6). Let \(p > d + 2\), \(d=2,3\). Let
be given. Suppose that \(\mathbf{v}\) is a dissipative solution of the system (1.1)–(1.6) on the time interval [0, T] belonging to the regularity class
Then \({\mathfrak {R}}_v = 0\) and
meaning \(\mathbf{v}\) is a strong solution of the system (1.1)–(1.6).
3 Existence
For any \(n\in {\mathbb {N}}\), we look for approximations \(\mathbf{v}^n\) and \({{\mathbb {S}}}^n\) that are solutions of the following system
such that they satisfy
and the following energy balance holds
Here, the sequence \(\{\varvec{\varphi }_i\}_{i \in {\mathbb {N}}}\) denotes the eigenfunctions of the Stokes operator, while \(P^n\) is the projection onto the finite-dimensional space \([\varvec{\varphi }_1,\ldots ,\varvec{\varphi }_n]\) for any \(n\in {\mathbb {N}}\). The existence of such \(\mathbf{v}^n\) and \({{\mathbb {S}}}^n\) can be achieved regularizing \({{\mathbb {S}}}^n\) by the introduction of a convolution kernel depending on \({{\mathbb {D}}}\mathbf{v}^n\). With this approximation scheme, the Galerkin method can be applied and then \(\mathbf{v}^n\) and \({{\mathbb {S}}}^n\) are obtained as limit in the finite-dimensional spaces. A detailed proof was carried over in [5, Section 3.1].
The energy inequality (3.3) together with (3.2) implies the following
at least for suitable subsequences, which we do not relabel. Note that (3.5) follows from the superlinearity of \(F^*\) and de la Vallé-Poussin criterion, while for (3.6), we use the assumption (2.5) and the embedding \(L^1((0,T) \times {\mathbb {T}}^d; R^{d \times d}_{\mathrm{sym}})\hookrightarrow {\mathcal {M}}((0,T) \times {\mathbb {T}}^d; R^{d \times d}_{\mathrm{sym}})\).
As a consequence of (3.4), we have
for any \(\varphi \in C^1([0,T] \times {\mathbb {T}}^d)\), and thus the incompressibility condition (2.8) is satisfied.
Now, consider \(\mathbf{v}^n\otimes \mathbf{v}^n-\mathbf{v}\otimes \mathbf{v}\). In view of the energy inequality (3.3), the sequence is uniformly bounded in the space \(L^\infty (0,T; L^1({\mathbb {T}}^d; R^{d\times d}))\), which is embedded into \(L^\infty (0,T; {\mathcal {M}}({\mathbb {T}}^d; R^{d\times d}))\). Therefore, there exists \({\mathfrak {R}}_v \in L^\infty (0,T; {\mathcal {M}}({\mathbb {T}}^d; R^{d \times d}_{\mathrm{sym}}))\) such that
Now, through the same computations as in [9, Section 3.2] it can be shown that \({\mathfrak {R}}_v\) is positive semidefinite, thus
For the reader’s convenience, we repeat the computations here. For any \(\xi \in R^d,\)\( \varphi \in C^\infty _c({\mathbb {T}}^d),\ \varphi \ge 0\) and \(\psi \in L^1(0,T)\), \(\psi \ge 0\), it holds
and
then the weak lower semicontinuity of the convex function \(\mathbf{v}\rightarrow |\xi \cdot \mathbf{v}|^2\), with \(\xi \in R^d\), implies the desired conclusion. Finally, from (3.1a) fixing \(\varvec{\varphi }\in [\varvec{\varphi }_1,\ldots , \varvec{\varphi }_k]\) with \(k\le n\), multiplying by \(\eta \in C^1(0,T)\), adding and subtracting \(\int _0^t\int _{{{\mathbb {T}}^d}} \mathbf{v}\otimes \mathbf{v}:\nabla _x\varvec{\varphi } \ \,\mathrm{d} {x}\ \eta (\tau )\,\mathrm{d} t \), taking the limit as \(n\rightarrow +\infty \) and collecting the established convergences, using also a standard density argument, one gets (2.9).
In order to prove (2.10), we rewrite (3.3) in the weak “differential” form:
for any \(\psi \in C^\infty _c[0, T)\), \(\psi (0) = 1\), \(\partial _t \psi \le 0\). Next, we write
Employing [7, Lemma 3.1], we obtain
for any \({\widetilde{\psi }} \in C^\infty _c(0,T)\), \(0 \le {{\widetilde{\psi }}} \le \psi \), where the measure \(F({{\mathbb {D}}} \mathbf{v})\) is understood in the sense of Demengel and Temam [7]. Moreover, since \(F^*\) is a lower semicontinuous convex function, then
Consequently, using (3.7), (3.9), and (3.10) we may perform the limit \(n\rightarrow +\infty \) in (3.8) to obtain (2.10). This completes the proof of Theorem 2.4.
4 Relative energy and weak–strong uniqueness
We show the relative energy inequality that is a crucial tool for proving the weak strong uniqueness property claimed in Theorem 2.6.
4.1 Relative energy inequality
Let \(\mathbf{U}\) be a continuously differentiable vector field, \(\mathrm{div}_x\mathbf{U}= 0\). It follows considering \(\varvec{\varphi }=- \mathbf{U}\) as test function in the momentum balance (2.9), adding to both sides \(\int _0^\tau \int _{{{\mathbb {T}}^d}} \partial _t \mathbf{U}\cdot \mathbf{U} \ \,\mathrm{d} {x} \,\mathrm{d} t \) and summing up the resulting expression with the energy inequality (2.10) that
Thus, regrouping some terms, we get
Finally,
where we have used that
thanks to the incompressibility constraint (2.8).
Accordingly, relation (4.1) reduces to
Relation (4.2) is called relative energy inequality. Its validity can be easily extended by density argument to any vector field \(\mathbf{U}\) belonging to the regularity class (2.11) from Theorem 2.6.
5 Weak strong uniqueness property
The weak strong uniqueness follows immediately from the relative energy inequality (4.2) applied to \(\mathbf{U}= {\widehat{\mathbf{v}}}\) - the strong solution emanating from the initial data \(\mathbf{v}_0\). Indeed, we have
where, in accordance with (1.3),
Consequently, the relative energy inequality (4.2) yields
for a.a. \(\tau \in (0,T)\).
Strictly speaking, \(F({{\mathbb {D}}}\mathbf{v})\) is a measure defined on an open set \((0, \tau )\times {\mathbb {T}}^d\). Accordingly, we should interpret
where \(\psi _n\in C_c^\infty (0,\tau ]\), \(\psi _n \nearrow 1_{(0, \tau )}\), \(0\le \psi _n\le 1\).
Similarly, we have
Thus, the integrals on the left-hand side of (5.1) can be handled by means of Fenchel–Young inequality:
Note that strictly speaking as \({{\mathbb {D}}}\mathbf{v}\) is only a measure we should interpret
Moreover, as \(\widehat{{{\mathbb {S}}}} \in \partial F({{\mathbb {D}}} {\widehat{\mathbf{v}}})\), we may infer that
Indeed, the inequality
can be derived by regularizing \({{\mathbb {D}}} \mathbf{v}\) similarly to [7, Lemma 3.2].
Thus, by virtue of the regularity of \({\widehat{\mathbf{v}}}\), we derive from (5.1)
for a.a. \(\tau \in (0,T)\). Finally, as \({\mathfrak {R}}_v\) is positively semidefinite, we have \(|{\mathfrak {R}}_v| {\mathop {\sim }\limits ^{<}}\mathrm{trace}[{\mathfrak {R}}_v]\), and , applying Gronwall’s lemma to (5.2), we obtain the desired conclusion \(\mathbf{v}= {\widehat{\mathbf{v}}}\), \({\mathfrak {R}}_v = 0\), and, finally, \({{\mathbb {S}}} = \widehat{{{\mathbb {S}}}}\). We have proved Theorem 2.6.
6 Conditional regularity
Our ultimate goal is to show Theorem 2.8. To this end, observe that \(\mathbf{v}\) belonging to the regularity class (2.13) can be used as a test function in the momentum balance (2.9). After a routine manipulation, we obtain the energy balance in the form
Relation (6.1) subtracted from the energy inequality (2.10) gives rise to
for a.a. \(\tau \in (0,T)\). Consequently, similarly to (5.2), by the standard Gronwall’s argument, we first deduce \({\mathfrak {R}}_v = 0\) and then
We have proved Theorem 2.8.
7 Concluding remarks
The existence of local-in-time strong solutions has been shown by Bothe and Prüss [2] in the case of non-degenerate positive viscosity coefficient \(\mu \). Similar result can be shown for the degenerate case \({{\mathbb {S}}} \equiv 0\) corresponding to the Euler system. (Note also that solutions of the Euler system are regular for regular initial data if \(d = 2\).) However, strictly speaking, the Euler system is excluded by hypothesis (2.4). Obviously, the same approach works in this case as well, cf. Brenier, De Lellis, and Székelyhidi [4], Gwiazda et al. [10], and Székelyhidi and Wiedemann [13]. Although we could not find any relevant existence result in the degenerate mixed case (the fluid with activated viscosity according to Blechta, Málek, and Rajagopal [1]), we believe the local-in-time existence of strong solution is in reach of the available analytic methods as soon as the viscosity coefficient \(\mu \) is a sufficiently smooth function of \({{\mathbb {D}}}\).
For the sake of simplicity, we have also omitted the effect of external bulk force. It is easy to see that the latter can be accommodated in a straightforward manner.
Finally, we propose an extension of the method that accommodates both the inviscid (Euler) system and some viscous fluids with anisotropic viscous stress. Let
For a convex function F satisfying the hypotheses of Theorem 2.4, we consider
which is again a convex function with \(\mathrm{Dom} (F_L) = R^{d \times d}_{\mathrm{sym}}\). The associated conjugate function reads
The dissipative solutions are now defined exactly in Definition 2.2, where (2.7) is replaced by
and with \(F_L\), \(F^*_L\) in (2.10). Note that the choice \(L \equiv 0\) gives rise to the Euler system, while \(L = P\), where P is a projection on a subspace of \(R^{d \times d}_{\mathrm{sym}}\), corresponds to the anisotropic viscosity acting only in certain directions. The proofs of Theorems 2.4, 2.6, 2.8 can be adapted in a direct manner.
References
Blechta, J., Málek, J., Rajagopal, K. R.: On the classification of incompressible fluids and a mathematical analysis of the equations that govern their motion, Arxive Preprint Series arXiv:1902.04853v1 (2019)
Bothe, D., Prüss, J.: \(L_P\)-theory for a class of non-Newtonian fluids. SIAM J. Math. Anal. 39(2), 379–421 (2007)
Breit, D., Feireisl, E., Hofmanová, M.: Solution semiflow to the isentropic Euler system, Arxive Preprint Series arXiv:1901.04798 (2019)
Brenier, Y., De Lellis, C., Székelyhidi Jr., L.: Weak–strong uniqueness for measure-valued solutions. Commun. Math. Phys. 305(2), 351–361 (2011)
Bulíček, M., Gwiazda, P., Málek, J., Świerczewska Gwiazda, A.: On unsteady flows of implicitly constituted incompressible fluids. SIAM J. Math. Anal. 44(4), 2756–2801 (2012)
Demengel, F., Temam, R.: Convex functions of a measure and applications. Indiana Univ. Math. J. 33(5), 673–709 (1984)
Demengel, F., Temam, R.: Convex function of a measure: the unbounded case, FERMAT days 85: mathematics for optimization (Toulouse, 1985) North-Holland Math. Stud. vol. 129, pp. 103–134. North-Holland, Amsterdam (1986)
Diening, L., Růžička, M., Wolf, J.: Existence of weak solutions for unsteady motions of generalized Newtonian fluids. Ann. Sc. Norm. Super. Pisa Cl. Sci. 9(1), 1–46 (2010)
Feireisl, E., Hofmanová, M.: On the vanishing viscosity limit of the isentropic Navier–Stokes system, Arxive Preprint Series arXiv:1905.02548 (2019)
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)
Málek, J., Nečas, J., Rokyta, M., Růžička, M.: Weak and Measure-Valued Solutions to Evolutionary PDE’s. Chapman and Hall, London (1996)
Málek, J., Nečas, J., Růžička, M.: On the non-Newtonian incompressible fluids. Math. Models Methods Appl. Sci. 3(1), 35–63 (1993)
Székelyhidi, L., Wiedemann, E.: Young measures generated by ideal incompressible fluid flows. Arch. Ration. Mech. Anal. 206, 333–366 (2012)
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.
Anna Abbatiello: The research of A.A. is supported by Einstein Foundation, Berlin.
Eduard Feireisl: The research of E.F. leading to these results has received funding from the Czech Sciences Foundation (GAČR), Grant Agreement 18-12719S. The stay of E.F. at TU Berlin is supported by Einstein Foundation, Berlin.
Rights and permissions
About this article
Cite this article
Abbatiello, A., Feireisl, E. On a class of generalized solutions to equations describing incompressible viscous fluids. Annali di Matematica 199, 1183–1195 (2020). https://doi.org/10.1007/s10231-019-00917-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-019-00917-x