Abstract
Long-time and large-data existence of weak solutions for initial- and boundary-value problems concerning three-dimensional flows of incompressible fluids is nowadays available not only for Navier–Stokes fluids but also for various fluid models where the relation between the Cauchy stress tensor and the symmetric part of the velocity gradient is nonlinear. The majority of such studies however concerns models where such a dependence is explicit (the stress is a function of the velocity gradient), which makes the class of studied models unduly restrictive. The same concerns boundary conditions, or more precisely the slipping mechanisms on the boundary, where the no-slip is still the most preferred condition considered in the literature. Our main objective is to develop a robust mathematical theory for unsteady internal flows of implicitly constituted incompressible fluids with implicit relations between the tangential projections of the velocity and the normal traction on the boundary. The theory covers numerous rheological models used in chemistry, biorheology, polymer and food industry as well as in geomechanics. It also includes, as special cases, nonlinear slip as well as stick–slip boundary conditions. Unlike earlier studies, the conditions characterizing admissible classes of constitutive equations are expressed by means of tools of elementary calculus. In addition, a fully constructive proof (approximation scheme) is incorporated. Finally, we focus on the question of uniqueness of such weak solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Dedication
This article is written as a contribution to the celebration of the 100th anniversary of the birth of Olga Aleksandrovna Ladyzhenskaya (March 7, 1922–January 12, 2004) and to honor her scientific achievements.
Olga Ladyzhenskya seems to have been the first to initiate interest in the mathematical community to study incompressible fluid models that go beyond the Navier–Stokes equations. At the International Congress of Mathematicians in Moscow 1966, she presented arguments (see [73] and [75]), based on the kinetic formulationFootnote 1, indicating that the macroscopic relation between the stress and the symmetric part of the velocity gradient should be polynomial. Ladyzhenskaya’s model belongs to the class of power-law fluid models (sometimes also called modified or generalized Navier–Stokes fluids) characterized by a power-law index r, where the value \(r=2\) corresponds to the Navier–Stokes fluid. Ladyzhenskaya was interested in the rigorous analysis of models with \(r>2\): she has found that for those with \(r\ge \tfrac{5}{2}\) one could prove that the weak solution corresponding to the relevant initial- and boundary-value problem (in the sense of Leray and Hopf [64, 78]) not only exists for long-time and large-data but it is unique. This uniqueness result should be contrasted with her counterexample to uniqueness of a weak solution of the Navier–Stokes equations in special time-dependent domains, see [74]. She also addressed, particularly in her subsequent studies, other aspects of weak solutions of these equations such as higher temporal and spatial differentiability and long-time behavior (the existence of a global attractor and estimates of its dimension).
Rajagopal together with the second author of this study reviewed Olga Ladyzhenskaya’s foundational results concerning the analysis of modified Navier–Stokes equationsFootnote 2, achieved during the period 1967–2003, in the second part of their handbook article [86]. One of the objectives of this study is to provide a brief review of the results obtained in the mathematical analysis of fluids with nonlinear algebraic relation between the Cauchy stress and the velocity gradient achieved after 2003. The main objective is however to present a novel existence theory.
2 Formulation of the Problem and of the Main Result
Materials are incompressible if the volume of any measurable subpart of the body remains unchanged during a deformation process. For fluids flowing in a d-dimensional domainFootnote 3\(\Omega \), the condition of incompressibility expressed in the terms of the velocity \(\varvec{v}= (v_1, \dots , v_d)\) takes the form
Incompressibility, which should be considered as a useful idealization, implies that the Cauchy stress tensor \(\varvec{T}\) is of the form
where only the part \(\varvec{S}\) can be determined experimentally. Homogeneous incompressible fluids are characterized as incompressible fluids in which the density remains unchanged and is equal to a positive constant \(\rho _*\). Such fluids automatically fulfil the balance of mass equation.
To conclude, setting \(Q=(0,T)\times \Omega \) and \(\Gamma = (0,T) \times \partial \Omega \) with \(T>0\), the governing equations for unsteady flows of any homogeneous incompressible fluid flowing in a fixed domain \(\Omega \) with no outflows and inflows and with initial velocity \(\varvec{v}_0\) take the form
Here \(\varvec{b}\) stands for the density of external body forces. The second equation in (2.3) comes from the balance of linear momentum once (2.2) is incorporated. The third equation says that the tensor \(\varvec{S}\) is symmetric; this implies that the balance of angular momentum is fulfilled. The fourth equation states that all considered flows are internal: the fluid cannot enter or leave \(\Omega \).
The system (2.3) is incomplete as, in Q, we have \(d+1 + d(d+1)/2\) unknowns \(\varvec{v},p\) and \(\varvec{S}\), but merely \(d+1\) equations. Also on \(\Gamma \), we only have one scalar equation, but in fact d boundary conditions are expected.
Taking the scalar product of the second equation in (2.3) and \(\varvec{v}\), integrating the result over \(\Omega \) and using the remaining equations in (2.3), one obtains, after the integration over (0, t) for any \(t\in (0,T]\), the energy identity in the form (see [83, Sect. 4.6] for details)
where \(\varvec{Dv}:=( (\nabla \varvec{v}) + (\nabla \varvec{v})^T )/2\) and \(\varvec{s}\) stands for the projection of the normal traction \(\varvec{T}\varvec{n}\) to the tangent plane, i.e.,
\(\varvec{n}:\partial \Omega \rightarrow {\mathbb {R}}^d\) being the outer normal to \(\partial \Omega \). Note that \((\varvec{T}\varvec{n})_\tau = (\varvec{S}\varvec{n})_\tau \).
The second and third terms on the left-hand side of (2.4) represent two independent dissipation mechanisms: the former is associated with the internal friction inside the fluid, the latter corresponds to the interaction of the flowing fluid with (the inner part of) the boundary. Both terms should be, in accordance with the second law of thermodynamics, non-negative. For the Euler fluid, when \(\varvec{S}= {0}\) and also \(\varvec{s}={0}\), both terms vanish. The first term will also vanish if all admissible flows are rigid (i.e. \(\varvec{Dv}= {0}\)), while the second term is equal to zero if all considered flows are subject to the no slip boundary condition, i.e. \(\varvec{v}_{\tau } = {0}\) on \(\Gamma \). For the Navier–Stokes fluid characterized by the constitutive equation
we conclude thatFootnote 4
This in conjuction with the energy identity (2.4) guarantees control of \(\nabla \varvec{v}\) in \(L^2(Q)\), which happens to be a key piece of information to establish long-time existence of a weak solution for any domain \(\Omega \), \(T>0\), \(\nu _*>0\), \(\varvec{b}\in L^2(Q)\) and \(\varvec{v}_0\in L^2(\Omega )\). This is what Leray and Hopf proved, see [78] and [64].
The above constitutive equations (2.5) and (2.6) are linear. There are however many fluids (as is also illustrated in more detail in the next section) exhibiting nonlinear relationship between \(\varvec{S}\) and \(\varvec{Dv}\). The same concerns slipping boundary conditions. Following Rajagopal [101,102,103], it is tempting to include all these equations under the umbrella of implicit equations relating \(\varvec{S}\) and \(\varvec{Dv}\) on the one hand and \(\varvec{s}\) and \(\varvec{v}_{\tau }\) on the other hand. Hence, as nonlinear generalizations of (2.5) and (2.6), we add to the problem (2.3) the following equations
where \(\varvec{G}: {\mathbb {R}}^{d\times d} \times {\mathbb {R}}^{d\times d} \rightarrow {\mathbb {R}}^{d\times d}\) and \(\varvec{g}:{\mathbb {R}}^d \times {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d\) are given continuous functions. Adding (2.9) to the first three equations in (2.3) we obtain a closed system of partial differential equations consisting of \(d+1 + d(d+1)/2\) equations for \(d+1 + d(d+1)/2\) unknowns \(\varvec{v}\), p and \(\varvec{S}\). Adding (2.10) to the fourth equation in (2.3) we get d equations on the boundary: one in the normal direction and \((d-1)\) of them are formulated at the tangent plane to \(\partial \Omega \). Stated differently, the problem (2.3) together with (2.9) and (2.10) is well-formulated. Motivated by Leray–Hopf’s theory for the Navier–Stokes equations, it is natural to ask:
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00021-023-00803-w/MediaObjects/21_2023_803_Figc_HTML.png)
This study provides positive answers to these questions. Before formulating the main result, we give the admissibility conditions on \(\varvec{G}\) and \(\varvec{g}\). Here, we closely follow our preceding study [21] focused however on a simpler problem (a “mixed” formulation for problems of parabolic type).
Regarding the tensorial function \(\varvec{G}\) which determines the material response inside the domain Q, we assume that
-
(G1)
\(\varvec{G}\) is Lipschitz continuous, i.e. \(\varvec{G}\in {\mathcal {C}}^{0,1}({\mathbb {R}}^{{d\times d}} \times {\mathbb {R}}^{{d\times d}})^{{d\times d}}\) and \(\varvec{G}({0},{0})={0}\);
-
(G2)
for almost all \((\varvec{S}, \varvec{D}) \in {\mathbb {R}}^{{d\times d}} \times {\mathbb {R}}^{{d\times d}}\):
$$\begin{aligned} \begin{aligned}&\frac{\partial \varvec{G}(\varvec{S},\varvec{D})}{\partial \varvec{S}}\ge 0, \quad \frac{\partial \varvec{G}(\varvec{S},\varvec{D})}{\partial \varvec{D}}\le 0, \quad \frac{\partial \varvec{G}(\varvec{S},\varvec{D})}{\partial \varvec{S}}-\frac{\partial \varvec{G}(\varvec{S},\varvec{D})}{\partial \varvec{D}}>0, \\&\quad \text {and } \quad \frac{\partial \varvec{G}(\varvec{S},\varvec{D})}{\partial \varvec{D}}\left( \frac{\partial \varvec{G}(\varvec{S},\varvec{D})}{\partial \varvec{S}}\right) ^T\le 0; \end{aligned} \end{aligned}$$ -
(G3)
one of the following holds:
$$\begin{aligned} \begin{aligned}&\text {either}{} & {} \forall \varvec{D}\in {\mathbb {R}}^{{d\times d}} \quad \liminf _{|\varvec{S}|\rightarrow +\infty } \varvec{G}(\varvec{S}, \varvec{D}): \varvec{S}> 0\\&\text {or}{} & {} \forall \varvec{S}\in {\mathbb {R}}^{{d\times d}}\quad \limsup _{|\varvec{D}|\rightarrow +\infty } \varvec{G}(\varvec{S}, \varvec{D}): \varvec{D}< 0; \end{aligned} \end{aligned}$$ -
(G4)
there exist \(C_1, C_2>0\) such that for all \((\varvec{S},\varvec{D})\in {\mathbb {R}}^{{d\times d}} \times {\mathbb {R}}^{{d\times d}}\) fulfilling \(\varvec{G}(\varvec{S},\varvec{D})={0}\) we have
$$\begin{aligned} \varvec{S}:\varvec{D}\ge C_1 (|\varvec{S}|^{r'} + |\varvec{D}|^r) -C_2, \qquad r' := {r}/({r-1}). \end{aligned}$$
In (G2), we used the following notation for \((\varvec{G})_{ij}=G_{ij}\) and \((\varvec{S})_{ij}= S_{ij}\):
Further, \(\varvec{A}^T\) denotes the transpose tensor to \(\varvec{A}\), i.e. \((\varvec{A}^T)^{ij}_{kl}={A}_{ij}^{kl}\) and \(\varvec{A}\varvec{B}^T\) is the standard tensor multiplication, i.e. \((\varvec{A}\varvec{B}^T)^{ij}_{kl}=\sum _{m,n=1}^{d}{A}^{ij}_{mn}{B}^{kl}_{mn}\). Also, for any tensor \(\varvec{A}\in {\mathbb {R}}^{d\times d}\times {\mathbb {R}}^{d\times d}\), the expression \(\varvec{A}\ge 0\) means that for any \(\varvec{X}\in {\mathbb {R}}^{d\times d}\) there holds
In addition, if we write \(\varvec{A}>0\) then we mean that the above inequality is strict for all \(\varvec{X}\ne {0}\).
Before formulating similar conditions on \(\varvec{g}\), some comments are in order. First, note that the constitutive equation \(\varvec{G}(\varvec{S},\varvec{Dv})={0}\) can be replaced by \(-\varvec{G}(\varvec{S},\varvec{Dv})={0}\). Then all inequalities in (G2) and (G3) have the opposite signs except the last inequality in (G2). This ambiguity could be fixed for example by requiring that \(\varvec{G}\) is such that the first condition in (G2) holds (compare it with the special case of the Navier–Stokes fluids, see (2.5), when one would consider \(\varvec{G}(\varvec{S},\varvec{Dv})=\varvec{S}- 2\nu _*\varvec{Dv}\) and not \(\varvec{G}(\varvec{S},\varvec{Dv})= 2\nu _*\varvec{Dv}- \varvec{S}\)). Second, as the null points of \(\varvec{G}\) are of our interest, we can require the validity of (G2) only in the neighbourhood \(\varvec{G}(\varvec{S},\varvec{Dv}) = {0}\). Also, the Lipschitz continuity in (G1) is required only to guarantee the existence of the partial derivatives in (G2) almost everywhere. Alternatively, one can assume merely the continuity of \(\varvec{G}\) in (G1) and substitute (G2) by
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00021-023-00803-w/MediaObjects/21_2023_803_Figd_HTML.png)
See also the statement of Lemma 4.2 below. Finally, the conditions (G1)–(G4) are formulated using elementary tools of calculus (limes superior, partial derivatives). As proved in [21], these conditions are almost equivalent to the statement that the set of null points of \(\varvec{G}\) is a maximal monotone r-coercive graph that passes through the origin, see [21, Definition 3.1 and Lemma 3.2] for details.
Regarding the vectorial function \(\varvec{g}\) which determines the relation between the shear stress \(\varvec{s}\) and the tangential velocity \(\varvec{v}_\tau \) on the boundary, we assume (in a similar way as above) that
-
(g1)
\(\varvec{g}\in {\mathcal {C}}^{0,1}({\mathbb {R}}^d \times {\mathbb {R}}^d)^d\), and \(\varvec{g}({0},{0})={0}\);
-
(g2)
for almost all \((\varvec{s}, \varvec{v}) \in {\mathbb {R}}^d \times {\mathbb {R}}^d\):
$$\begin{aligned} \begin{aligned}&\frac{\partial \varvec{g}(\varvec{s},\varvec{v})}{\partial \varvec{s}}\ge 0, \quad \frac{\partial \varvec{g}(\varvec{s},\varvec{v})}{\partial \varvec{v}}\le 0, \quad \frac{\partial \varvec{g}(\varvec{s},\varvec{v})}{\partial \varvec{s}}-\frac{\partial \varvec{g}(\varvec{s},\varvec{v})}{\partial \varvec{v}}>0,\\&\quad \text {and } \quad \frac{\partial \varvec{g}(\varvec{s},\varvec{v})}{\partial \varvec{v}}\left( \frac{\partial \varvec{g}(\varvec{s},\varvec{v})}{\partial \varvec{s}}\right) ^T\le 0; \end{aligned} \end{aligned}$$ -
(g3)
one of the following conditions holds:
$$\begin{aligned} \text {either} \quad \forall \varvec{v}\in {\mathbb {R}}^d \quad \liminf _{|\varvec{s}|\rightarrow +\infty } \varvec{g}(\varvec{s}, \varvec{v}) \cdot \varvec{s}> 0 \quad \text {or} \quad \forall \varvec{s}\in {\mathbb {R}}^{d}\quad \limsup _{|\varvec{v}|\rightarrow +\infty } \varvec{g}(\varvec{s}, \varvec{v}) \cdot \varvec{v}< 0; \end{aligned}$$ -
(g4)
there exist \(c_1, c_2>0\) such that, for all \((\varvec{s},\varvec{v})\in {\mathbb {R}}^d \times {\mathbb {R}}^d\) fulfilling \(\varvec{g}(\varvec{s},\varvec{v})={0}\), the following condition holds:
$$\begin{aligned} \varvec{s}\cdot \varvec{v}\ge c_1 (|\varvec{s}|^{q'} + |\varvec{v}|^q) -c_2, \qquad q':= {q}/({q-1}). \end{aligned}$$
The above comments related to \(\varvec{G}\) are applicable to \(\varvec{g}\) as well.
Now, we are ready to formulate our main result (in a vague way):
![figure e](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00021-023-00803-w/MediaObjects/21_2023_803_Fige_HTML.png)
Overview of the existence theory for \(\varvec{G}(\varvec{S},\varvec{Dv})={0}\) after 2003. We restrict our discussion to the most interesting case \(d=3\). In the first period, prior 2011, the focus of research were models of the type \(\varvec{S}= (1 + |\varvec{Dv}|^2)^{\frac{r-2}{2}}\varvec{Dv}\) following the goal to establish global-in-time existence theory for large data for models with low values of r. (Note that the local-in-time existence of smooth solutions to models of power-law type is addressed in [9].) Let us recall that the problems studied by Olga Ladyzhenskaya concerned the subcritical regime when the velocity itself is an admissible test function in the weak formulation of the balance of linear momentum. This corresponds to the case when \(r\ge \frac{11}{5}\). The method of Lipschitz truncation developed in [53] (see also [44]) for time-independent (stationary) problems covers the case \(r>\frac{6}{5}\) but was left open for the evolutionary case. For the evolutionary case, the “best” result known around the year 2005, see [52], covered the case \(r\ge \frac{8}{5}\) using the \(L^{\infty }\)-truncation technique; the approach is restricted to the spatially periodic problem. The extension for flows in general bounded domains subject to Navier’s slip boundary was established in [22], while the no-slip boundary conditions were successfully treated in [120], still for \(r\ge \frac{8}{5}\). Finally, Diening, R\(\mathring{\textrm{u}}\)žička and Wolf, see [45], inspired by the works of Kinnunen and Lewis [70], extended the method of Lipschitz truncation to the evolutionary case and proved the existence of a weak solution to the evolutionary problem with no-slip boundary condition for \(r> \frac{6}{5}\). The remaining case \(r\in [1, \frac{2d}{d+2}]\) is covered by two somehow contradictory recent results, see [2] and [27], which can be interpreted in the way that the range of possible r’s in Theorem 5.1 is optimal. In fact, Abbatiello and Feireisl [2] introduce a novel generalized concept of solution (dissipative solution) and establish its existence theory for \(r\in (1, \frac{2d}{d+2}]\). The theory is developed for a smaller class of possible constitutive relations than considered here. More importantly, their concept of solution does not imply either the validity of weak formulation of balance of linear momentum (see (5.5) in Sect. 5) or the validity of \(\varvec{G}(\varvec{S},\varvec{Dv}) = {0}\) almost everywhere in Q. On the other hand, in [27], Burczak, Modena and Székelyhidi show the non-uniqueness of even Leray–Hopf solutions for \(r<\frac{2d}{d+2}\). From this perspective, it seems also to be reasonable to consider only the case \(r\ge \frac{2d}{d+2}\). Note that even for this range of r’s Burczak et al. [27] prove the result concerning non-uniqueness of a very weakFootnote 5 solution. As we are dealing with weak solutions, their result is not applicable to our setting.
Inspired by the foundational works on implicit constitutive relations, see [101, 102], the question to develop a robust theory covering the whole class of implicitly constituted incompressible fluids arose. Following initial attempts (see [13, 82]), a successful theory covering both polynomial and activated fluids was established in [12, 14], even in a broader context than considered here: the r-coercivity condition is generalized in terms of Young’s functions in the setting of Orlicz spaces and the constitutive equation (2.9) was allowed to vary with time and space, i.e. \(\varvec{G}(t,\varvec{x},\varvec{S},\varvec{Dv}) = {0}\) in Q. As discussed in length in [21, pp 2048–2049], there are two shortcomings of the results proved in [12, 14] (a non-constructive proof and an a priori assumption concerning the existence of a Borel measurable selection). These shortcomings motivated the development of an alternative approach, see [21]. The extension of the approach developed in [21] for problems of parabolic type to problems involving flows of incompressible fluids is one of the main objections of this study.
Note that the assumption (g4) eliminates no-slip and perfect-slip boundary conditions from the analysis presented here. However, as indicated in the above discussion of available results one can incorporate both conditions into the analysis. The case of \(\varvec{s}= {0}\) on \(\Gamma \) is in fact easy as the boundary term just vanishes. For no-slip boundary conditions, one needs to change the function space for the velocity and pay attention to differences associated with the reconstruction of the pressure (see [120] and [8] for details).
Numerical analysis of finite-element based discretizations of problems of the type (2.3), (2.9) and (2.10), completed with computational experiments, is addressed in [43, 47, 48, 61, 72, 113].
Structure of the paper. In Sect. 3, we illustrate how rich the classes of fluids under consideration are by providing a list of models used in various areas of science (completed by a list of references). In Sect. 4, we introduce, in a constructive way, \(\varepsilon \)-approximations of the constitutive equations and provide a summary of their properties (proved in [21]). In particular, at this approximate level the term \(-\mathop {{\textrm{div}}}\nolimits \varvec{S}\) leads to Lipschitz continuous uniformly monotone elliptic operator (the nicest nonlinear operator one can wish to deal with). After introducing basic function spaces in Sect. 5 we give a precise formulation of the main theorem including also the precise definition of weak solution to (2.3), (2.9) and (2.10). Here we also recall properties of the Lipschitz approximations of Bochner functions needed in the proof of the main theorem. This forms the content of Sect. 6. As this article aims at surveying the results in the field, we give, in Sect. 7, a summary of the results that concern similar problems including an additional component that makes the whole problem more complicated. Finally, we comment on the available uniqueness results regarding the studied problem in Sect. 8.
3 Examples of Implicit Constitutive Equations
The purpose of this section is to provide an illustrative list of models and boundary conditions covered by the implicit equations (2.9) and (2.10). The aim is to show that these classes of fluids and boundary conditions are rich and particular models appear in various areas of science and engineering. We first focus on the constitutive equations in the bulk, then we discuss the boundary conditions.
Constitutive equations covered by (2.9). The fact that various fluids exhibit a nonlinear rheological relation between the shear stress and the shear rate was known already at the end of the 19th century, see Schwedoff [108], Troutan [115] and further references in books on non-Newtonian fluids, such as Bird, Amstrong, Hassager [6], Huilgol [65], Schowalter [107], or in the survey paper [87]. There are hundreds of models belonging to this framework used in chemistry, biofluid rheology, geomechanics, food industry, etc. A discussion of various aspects of these models can be found in [87], with references to the chemical engineering and colloidal mechanics literature ([28, 35, 99, 106, 114, 116]), ice-mechanics and glaciology ([71, 91, 119]), blood rheology ([29, 30, 33, 34, 37, 40, 41, 55, 94, 99, 100, 111, 118, 122] and [49]).
These models fit to the setting characterized by the form
As the fluid is incompressible, and consequently the trace of \(\varvec{Dv}\) vanishes, one observes that within the class (3.1) one has \(p = - \frac{1}{3}{\text {tr}}\varvec{T}\).
In Table 1, we distinguish two special subclasses of (3.1), namely \(\varvec{S}= 2\nu (|\varvec{Dv}|^2)\varvec{Dv}\) and \(\varvec{S}= 2\nu (|\varvec{S}|^2)\varvec{Dv}\). The simplest deviation from the Navier–Stokes fluid model represents the power-law model that can be described in two equivalent ways as follows:
where \(r\in (1,\infty )\) and \(\nu _0>0\). Referring to Table 1, we thus observe that the same model is called Ostwald-de Waele’s model in chemistry, while it is named Glen’s model in geomechanics. Denoting \(r' := r/(r-1)\) we also have
which reduces to (2.8) if \(r=2\). It also serves as the main motivation for the \((r,r')\)-coercivity assumption (G4). All the models listed in Table 1 describe, for suitable range of parameters, a non-Newtonian phenomenon called shear thinning/shear thickening (the generalized viscosity is decreasing/increasing function of the shear rate).
The constitutive equations of the form (2.9) are also suitable to describe fluids with the activation criteria. Bingham and Herschel–Bulkey fluids [5, 62] can be written in the form
where \(\nu \) is a positive constant in the case of Bingham fluids and is a polynomial function of \(\varvec{Dv}\) in the case of Herschel–Bulkley fluids. It is proved in [21, Appendix, Example A.3] that Bingham fluids satisfy (G1)–(G4) with \(r=2\). Following the same lines of argument, one can check that Herschel–Bulkley fluids with \(v(|\varvec{Dv}|^2) = (1 + |\varvec{Dv}|^2)^{\frac{r-2}{2}}\) also satisfy (G1)–(G4).
Activated Euler fluids, see [8], are described by the formula
If \(\nu \) is a positive constant, then the fluid behaves as the Navier–Stokes fluid once \(|\varvec{Dv}|\) exceeds the activation parameter \(\delta _*\). It is straightforward to check that these models fulfil (G1)–(G4). (A large-data analysis of activated Euler fluids, for steady and unsteady flows and for various boundary conditions including complete slip as well as no-slip is developed in [8].)
The examples discussed above are summed up in the following Table 2, where for brevity we set all physical constants to be 1, except the exponent r related to the \((r,r')\)-coercivity condition (G4). If r does not appear in the equation, then the model leads to (G4) with \(r=2\).
In conclusion, constitutive equation (2.9) covers models designed to describe two non-Newtonian phenomena: shear thinning/shear thickening and the presence of activation criteria in a simple shear flow. (A detailed description of non-Newtonian phenomena is given for example in [86].) Interestingly, (2.9) covers one additional phenomenon, called normal stress differences, which is usually attributed to viscoelastic nature of the fluid; see Perlácová and Pr\(\mathring{\textrm{u}}\)ša [97] for more details.
Constitutive equations (boundary conditions) covered by (2.10). The boundary equations are of the same importance as the constitutive equations in the bulk. This assertion can be supported by a recent study [31], where flows are shown to change quantitatively in an essential manner in dependence of the boundary conditions (only linear Navier’s slip boundary conditions were tested with their limiting cases (no slip vs complete slip).
Navier proposed a linear constitutive relation (2.5) as the proper boundary condition in [95]. Stokes [112] discusses the boundary conditions at length and one variant that he considers concerns a nearly quadratic relation between wall shear stress and the velocity. He states: “...when the velocity is not small the tangential force called into action by the sliding of water over the inner surface of the pipe varies nearly as the square of the velocity”. Mooney [93] proposed a more general form of slip and introduced a technique that evaluates this relationship. Comprehensive overviews concerning general boundary conditions and slipping mechanisms can be found for example in [58] or [105]. More detailed discussions concerning the boundary conditions, their importance, including references to earlier studies are available in [86, A.4] and [85, Sect. 4.6]. An overview of basic models of the type (2.10) is given in Table 3.
Measurements for molten polymers clearly document that there are nonlinear responses between \(\varvec{s}\) and \(\varvec{v}_\tau \) including various activations. For example, Hatzikiriakos in [58] considers models of power-law type, i.e.,
referring to [104] for the value \(q'=3\), to [59] for \(q'=4\) and to [63, 67] for \(q'=7\). Nonlinear responses (3.6) include the material parameter \(\gamma \) that can be a function of other relevant quantities. Besides [58], models of the type (3.6) were studied also in [32, 36, 60, 76].
Stick–slip boundary conditions were added to large-data and long-time existence analysis in [18, 19]. A treatment of complex nonlinear (non-monotone) boundary conditions of stick–slip type is presented within the context of analysis of Kolmogorov’s two-equation model of turbulence in [20]. How the choice of boundary conditions influences the definition of proper function spaces and the subsequent analysis is studied for different boundary conditions within the context of activated Euler’s fluids in [8].
4 \(\varepsilon \)-approximations of Implicit Constitutive Equations
In our preceding study [21], while studying problems of parabolic type (think of a nonlinear heat equation), we found the structural assumptions on the implicit function that characterizes the relation between the (heat) flux and the (temperature) gradient which allows us to built a theory parallel (“equivalent” - in the sense specified in [21]) to that of the maximal monotone r-coercive (potentially multi-valued) graphs. Here, we intentionally prefer to avoid using the concept of maximal monotone graphs and we wish to present a theory based only on the assumptions on \(\varvec{G}\) and \(\varvec{g}\) that require only the knowledge of basic tools of calculus.
The intention of this section is to introduce \(\varepsilon \)-approximations of the functions \(\varvec{G}\) and \(\varvec{g}\) and summarize their nice properties: the approximations always lead to \(L^2\)-coercivity of \(\varvec{S}\) and \(\varvec{Dv}\) (and similarly for \(\varvec{s}\) and \(\varvec{v}_{\tau }\)), on the \(\varepsilon \)-approximation level, \(\varvec{S}\) is always a function of \(\varvec{Dv}\) and upon inserting it into \(-\mathop {{\textrm{div}}}\nolimits \varvec{S}\) one obtains a Lipschitz continuous uniformly monotone operator. Also here, we follow closely the approach developed in Sect. 4 in [21].
Lemma 4.1
Let \(\varvec{G}\) satisfy (G1)–(G4) for any \(r>1\), let \(\varvec{g}\) satisfy (g1)–(g4) for any \(q>1\) and let \(\varepsilon \in (0,1)\). Then the approximating functions defined by
satisfy (G1)–(G4) and (g1)–(g4) with \(r=q=2\). Also, there exist \({\tilde{C}}_1, {\tilde{C}}_2, {\tilde{c}}_1, {\tilde{c}}_2 >0\) independent of \(\varepsilon \) such that
Moreover, there exist two unique functions (single-valued mappings)
satisfying
and both \(\varvec{S}^*_{\!\varepsilon }\), \(\varvec{s}^*_\varepsilon \) are Lipschitz continuous and uniformly monotone, i.e. there exist positive constants \(C_1(\varepsilon )\), \(C_2(\varepsilon )\), \(c_1(\varepsilon )\), \(c_2(\varepsilon )>0\) such that, for any \(\varvec{D}_1, \varvec{D}_2 \in {\mathbb {R}}^{d\times d}\) and any \(\varvec{v}_1, \varvec{v}_2 \in {\mathbb {R}}^d\),
If, in addition, for any bounded measurable \(U\subset Q\) and for \(\varvec{S}^\varepsilon , \varvec{D}^\varepsilon : U\rightarrow {\mathbb {R}}^{d \times d}\)
then there exist \(\varvec{S}\in L^{r'}(U)\) and \(\varvec{D}\in L^r(U)\) so that (for subsequences)
Moreover, if
then
Analogously, if for a bounded and measurable \(V\subset \Gamma \) and for \(\varvec{s}^\varepsilon ,\varvec{v}^\varepsilon : V \rightarrow {\mathbb {R}}^d\)
then there exist \(\varvec{s}\in L^{q'}(V)\) and \(\varvec{v}\in L^q(V)\) so that (for subsequences)
moreover, if
then
Proof
See [21, Lemma 4.1, Lemma 4.2 and Lemma 4.4]. \(\square \)
Lemma 4.2
Let \(\varvec{G}\) satisfy (G1)–(G4) with \(r\in (1,\infty )\). For every \(\varvec{D}\in L^r(Q)\) there exists an \(\varvec{S}\in L^{r'}(Q)\) such that \(\varvec{G}(\varvec{S}, \varvec{D})={0}\) a.e. in Q. Moreover, (G2\(^*\)) holds.
Proof
See [21, Lemma 4.5 and Lemma 4.3]. Property (G2\(^*\)) follows from the fact that the null points of \(\varvec{G}\) generate a maximal monotone graph, see [21, Lemma 3.2]. \(\square \)
5 Notation, Function Spaces and Precise Formulation of the Main Result
Notation. Let \(\Omega \subset {\mathbb {R}}^d\) be a domain. We say that \(\Omega \) is a Lipschitz domain/\({\mathcal {C}}^{1,1}\)-domain and we write \(\Omega \in {\mathcal {C}}^{0,1}\)/\(\Omega \in {\mathcal {C}}^{1,1}\) if, roughly speaking, the boundary \(\partial \Omega \) can be covered by finite number of overlapping \({\mathcal {C}}^{0,1}\)/\({\mathcal {C}}^{1,1}\) mappings. For \(t \in (0,T]\), we denote \(Q^t := [0,t) \times \Omega \) and \(\Gamma ^t := [0,t) \times \Gamma \), and we recall that \(Q := Q^T\) and \(\Gamma := \Gamma ^T\). The abbreviation a.a. stands for almost all, while a.e. stands for almost everywhere. Generic constants, that depend only on the data but are independent of any approximation parameter, are denoted by C and may vary from line to line.
For a Banach space \((X,\Vert \!\cdot \!\Vert _X)\), its dual is denoted by \(X^*\). For \(x \in X\) and \(x^*\in X^*\), the duality is denoted by \(\langle x^*, x \rangle _X\). For \(r \in [1,\infty ]\), we denote \((L^r(\Omega ), \Vert \!\cdot \!\Vert _{r})\) and \((W^{1,r}(\Omega ),\Vert \!\cdot \!\Vert _{W^{1,r}(\Omega )})\) the corresponding Lebesgue and Sobolev spaces with the norms defined in the standard way. Bochner spaces are denoted by \(L^r(0,T;X)\). We use the notation \(L^r(\Omega ;{\mathbb {R}}^d)\) and \(L^r(\Omega ;{\mathbb {R}}^{{d\times d}})\) for Lebesgue spaces of vector- or matrix-valued functions, respectively. \({\mathcal {C}}^{\infty }_0(U)\) stands for smooth functions with compact support in an open set U.
Next, we define the function spaces of divergenceless functions with the normal component vanishing on the boundary that are relevant to our setting. For \(r>1\), we set
Here, \(E(\Omega ):=\{\varvec{u}\in L^2(\Omega ;{\mathbb {R}}^d);~\mathop {{\textrm{div}}}\nolimits \varvec{u}\in L^2(\Omega )\}\), for which it is known that the trace operator has well defined normal component (in the sense of distributions) and there holds \((\varvec{u}\cdot \varvec{n})\in (W^{1/2,2}(\partial \Omega ))^*\), see e.g. [39]. Referring back to (5.1), for any \(r\in [\frac{2d}{d+2},\infty )\) and \(z>r\), one has
where all the embeddings are continuous and dense.
Also, we define
and similarly, for \(r\in [\frac{2d}{d+2},\infty )\), we have
Finally, we define
We are now in a position to precisely formulate our main result.
Theorem 5.1
Let \(\Omega \in {\mathcal {C}}^{0,1}\), \(T>0\), \(\varvec{b}\in L^{r'}(0,T;V^*_r)\) and \(\varvec{v}_0 \in H\) be arbitrary. Let \(\varvec{G}\) and \(\varvec{g}\) be arbitrary functions satisfying (G1) - (G4) with \(r\in (\frac{2d}{d+2},\infty )\) and (g1)–(g4) with \(q\in (1,\infty )\). Then there exists a weak solution to (2.3), (2.9) and (2.10) in the following sense: there exist \((\varvec{v}, \varvec{S}, \varvec{s})\) such that for \(z:= \max \{r, q, \frac{(d+2)r}{(d+2)r -2d}\}\),
the balance of linear momentum is satisfied in a weak sense, i.e. for a.a. \(t\in (0,T)\) and for all \(\varvec{\varphi }\in V_z\)
the constitutive equations (2.9) and (2.10) hold a.e. in Q and \(\Gamma \), i.e.,
and the initial condition is attained in the strong sense, i.e.,
Also, for all \(t\in (0,T)\) the energy inequality holds, i.e.,
In addition, if \(\Omega \in {\mathcal {C}}^{1,1}\) and \(\varvec{b}\in L^{r'}(0,T; {\mathcal {V}}_r^*)\), then there exists a pressure \(p\in L^{z'}(0,T; L^{z'}(\Omega ))\) such that
holds for all \(\varvec{\varphi }\in {\mathcal {V}}_z\) and a.a. \(t \in (0,T)\).
As stated in Sect. 2, the assumption (g4) eliminates no-slip and perfect-slip boundary conditions from the analysis presented here. However, one can incorporate both conditions into the analysis. The case of \(\varvec{s}= {0}\) on \(\Gamma \) is in fact easy as the boundary term just vanishes. For no-slip boundary conditions, one needs to change the function space for the velocity and pay attention to differences associated with the reconstruction of the pressure (see [120] and [8] for details).
In the proof of Theorem 5.1, we use the following powerful convergence result that is a consequence of the properties of the suitably constructed Lipschitz approximations of Bochner functions, see [10]. Here, we provide a simplified version (omitting the discussion concerning Lipschitz approximations) suited to the analysis in Sect. 6.
Lemma 5.2
For any interval \(I_0\subset (0,T)\) and any ball \(B_0\subset \Omega \), set \(Q_0:= I_0 \times B_0\), \(0< \varepsilon \ll 1\). Assume that for \(\delta \rightarrow 0+\) the following convergences hold:
whereas \(\varvec{u}^{\delta }\), \(\varvec{H}^{\delta }_1\) and \(\varvec{H}^{\delta }_2\) satisfy
which is a weak formulation of
Then there exists \(\xi \in {\mathcal {C}}^{\infty }_0(Q_0)\) such that
and for every \(k \in {\mathbb {N}}\) there exists a family \(\{Q_{\delta ,k} \}_{\delta \in (0,1)}\) fulfilling
such that for every \({\overline{\varvec{S}}}\in L^{r'}(Q_0)\),
Proof
See [10, Theorem 2.2 and Corollary 2.4], which is adapted to our setting. Compare also with [14, 45]. \(\square \)
6 Proof of the Main Result
We take any \(\Omega \in {\mathcal {C}}^{0,1}\), \(T>0\), \(\varvec{b}\in L^{r'}(0,T;V^*_r)\) and \(\varvec{v}_0 \in H\) and fix them for the rest of the proof. Similarly, we consider arbitrary but fixed functions \(\varvec{G}\) and \(\varvec{g}\) satisfying (G1)–(G4) with \(r\in (\frac{2d}{d+2},\infty )\) and (g1)–(g4) with \(q\in (1,\infty )\). We prove Theorem 5.1 by means of a two-level approximation.
6.1 \((\varepsilon ,\delta )\)-approximations
We take two parameters \(\varepsilon \) and \(\delta \) satisfying \(\varepsilon ,\delta \in (0,1)\).
The parameter \(\varepsilon \) is used to approximate the constitutive equations (2.9) and (2.10) in the same way as presented in Sect. 4, see formulas (4.1a) and (4.1b). The motivation for such a choice is that the approximations \(\varvec{G}_{\varepsilon }\) and \(\varvec{g}_{\varepsilon }\) possess much better properties in comparison with the properties of \(\varvec{G}\) and \(\varvec{g}\), as summarized in Lemma 4.1. In particular, for \(\varepsilon \)-approximation, we can use (4.5) and thus stay on the level of nonlinear yet uniformly Lipschitz continuous and uniformly monotone operators. Consequently, we come from the \((r,r')\)-coercivity for \(\varvec{Dv}\) and \(\varvec{S}\) to the \(L^2\)-coercivity for the \(\varepsilon \)-approximations \(\varvec{D}\varvec{v}^\varepsilon \) and \(\varvec{S}^\varepsilon \). The mathematical theory for problems of parabolic type with such nonlinear operators is well known, see [21, Appendix C] for example. Since this type of \(\varepsilon \)-approximation changes the r-structure to 2-structure, it is suitable to define the following auxiliary numbers
The purpose of introducing another approximation parameter \(\delta \) is twofold. First, we need to regularize the right-hand side \(\varvec{b}\). Using a density argument, we approximate \(\varvec{b}\in L^{r'}(0,T;V_r^*)\) by a sequence of \(\varvec{b}^\delta \in L^{\mu '}(0,T; V_{\mu }^*)\) such that
Second, \(\delta \) will be used in the definition of the cut-off function \(\phi _{\delta }\) used to control (bound) the convective term and the influence of the boundary condition. More precisely, \(\phi _{\delta }\) is defined through
Note that, for all \(s\ge 0\), \(\phi _\delta (s) \rightarrow 1\) as \(\delta \rightarrow 0_+\).
Thus, the role of such a \(\delta \)-approximation is to avoid possible singularities in lower order terms. This together with the \(\varepsilon \)-approximation turns the problem into one in the classical setting of monotone operators with compact lower order terms. Consequently, we state without proof the following theorem concerning the existence of a weak solution to the \((\varepsilon ,\delta )\)-approximating problem.
Lemma 6.1
Let \(\varepsilon ,\delta \in (0,1)\) be arbitrary but fixed. There exist \((\varvec{v}^{\varepsilon ,\delta }, \varvec{S}^{\varepsilon ,\delta },\varvec{s}^{\varepsilon ,\delta })\) solving the \((\varepsilon ,\delta )\)-approximation of the problem (2.3), (2.9) and (2.10) in the following sense:
the balance of linear momentum is satisfied in a weak sense, i.e.
the constitutive equations (4.1a) and (4.1b) are fulfilled pointwise, i.e.,
and \(\varvec{v}^{\varepsilon ,\delta }(0,\cdot ) = \varvec{v}_0\) in \(\Omega \); as \(\varvec{v}^{\varepsilon ,\delta }\in {\mathcal {C}}([0,T];H)\), this means that \(\varvec{v}_0\) is attained strongly.
6.2 Limit \(\varepsilon \rightarrow 0_+\)
In this part, we keep \(\delta \in (0,1)\) fixed and we let \(\varepsilon \rightarrow 0_+\). We also write \((\varvec{v}^\varepsilon ,\varvec{S}^\varepsilon ,\varvec{s}^\varepsilon )\) instead of \((\varvec{v}^{\varepsilon ,\delta }, \varvec{S}^{\varepsilon ,\delta },\varvec{s}^{\varepsilon ,\delta })\).
6.2.1 Uniform \(\varepsilon \)-independent Estimates
To obtain a priori estimates which are uniform with respect to \(\varepsilon \) (but may depend on \(\delta \)), we set \(\varvec{\varphi }\,{:=}\, \varvec{v}^\varepsilon \) in (6.3), integrate the result over (0, t), and use the facts that \(\partial _t\varvec{v}^\varepsilon \in L^2(0,T;V_2^*)\) and \(\int _\Omega \phi _{\delta }(|\varvec{v}^\varepsilon |^2)(\varvec{v}^\varepsilon \otimes \varvec{v}^\varepsilon ): \nabla \varvec{v}^\varepsilon \, \text {d}\varvec{x}= 0\)Footnote 6. This gives
As \((\varvec{S}^\varepsilon ,\varvec{D}\varvec{v}^\varepsilon )\) are the null points of \(\varvec{G}_{\varepsilon }\) and \((\varvec{s}^\varepsilon ,\varvec{v}^\varepsilon _\tau )\) are the null points of \(\varvec{g}_{\varepsilon }\), by applying (4.2a) and (4.2b) from Lemma 4.1 with one simple estimation applied to (4.2b), we obtain
Hence
To estimate the term with \(\varvec{b}^{\delta }\), we incorporate Korn’s and Young’s inequalities and conclude that
Inserting this estimate into (6.8) and applying Gronwall’s lemma we obtain
With this information we look at (6.8) and (6.9) again and conclude that
which gives
Also, again from (6.8) and (6.9),
Finally, applying Young’s inequality to the left-hand side of (6.7) we get
which gives
Multiplying this inequality by \([\phi _{\delta }(|\varvec{v}^\varepsilon |^2)]^{\min \{q, q'\}}\) and using then the truncation properties of \(\phi _{\delta }(|\varvec{v}^\varepsilon |^2)\) introduced in (6.2) we get
Hence, (6.15) imply that
To estimate the time derivative of \(\varvec{v}^\varepsilon \), we set \({\mathcal {W}}\,{:=}\, \{ \varvec{w}\in V_r \cap V_2; \Vert \varvec{w}\Vert _{V_{\nu '}} \le 1\}\). Since \({\mathcal {W}}\subset V_2\) we can set \(\varvec{\varphi }\,{:=}\, \varvec{w}\in {\mathcal {W}}\) in the equation (6.3) and conclude that (using (6.15))
As \(V_{\mu } \subset V_{\nu '}\), raising the last inequality to the power \(\nu \) and integrating the result over (0, T) we obtain, using also (6.11),
6.2.2 Limit Passage \(\varepsilon \rightarrow 0_+\)
The estimates (6.10), (6.11), (6.12), (6.16) and (6.17) imply the existence of subsequences (that we label again as the original sequences) and the limiting objects such that as \(\varepsilon \rightarrow 0_+\)
By the Aubin–Lions Compactness Lemma and the Trace Theorem we also observe
Consequently,
Furthermore, from (6.19), for any \(\sigma >0\) there exists \(\Gamma _\sigma \subset \Gamma \) such that \(|\Gamma {\setminus } \Gamma _\sigma |\le \sigma \) and
As a consequence of (6.21) and (6.14), we get
Moreover, (6.13) in combination with Lemma 4.1 implies that
Now, we integrate (6.3) over (0, T) and study the limit \(\varepsilon \rightarrow 0_+\) using the convergence results (6.18)–(6.22). For any \(\varvec{w}\in L^{\nu '}(0,T;V_{\nu '})\) we end up with
Thanks to the dense embedding \(V_r \cap V_2 \hookrightarrow V_r\), we directly obtain
where the last inequality follows from the properties of \(\phi _{\delta }(|\varvec{v}|^2)\), (6.23) and (6.16).
Moreover, thanks to \(\varvec{v}\in L^r(0,T;V_r)\), \(\partial _t\varvec{v}\in L^{r'}(0,T;V_r^*)\), and the Gelfand triple (5.2), there holds \(\varvec{v}\in {\mathcal {C}}([0,T];H)\). In addition, in a standard way we can show that \(\varvec{v}(0,\cdot ) = \varvec{v}_0\).
6.2.3 Identification of Nonlinearities
To complete the limit \(\varepsilon \rightarrow 0_+\), we need to verify that \(\varvec{G}(\varvec{S}(t,\varvec{x}),\varvec{Dv}(t,\varvec{x}))={0}\) for a.a. \((t,\varvec{x})\in Q\), \(\varvec{g}(\varvec{s}(t,\varvec{x}),\varvec{v}_{\tau }(t,\varvec{x}))={0}\) for a.a. \((t,\varvec{x})\in \Gamma \) and \(\overline{\phi _{\delta }(|\varvec{v}|^2)\varvec{s}}= \phi _{\delta }(|\varvec{v}|^2)\varvec{s}\) on \(\Gamma \).
We first observe that for all \(t \in (0,T)\),
Indeed, setting \(\varvec{\varphi }\,{:=}\,\varvec{v}^\varepsilon \) in (6.3) and integrating the result over (0, t) for \(t\in (0,T)\), we get
Taking the \(\limsup _{\varepsilon \rightarrow 0_+}\) and using the weak lower semicontinuity of the \(L^2\)-norm w.r.t. weakly* converging sequence in \(L^{\infty }(0,T;H)\), we obtain for a.a. t that
On the other hand, we can set \(\varvec{w}:=\varvec{v}\chi _{(0,t)}\) in (6.24) (we already have the right duality pairings to do so) and integrate the result over (0, t). We conclude that
Comparing (6.27) and (6.26) we see that (6.25) holds true.
Finally, using (6.25) we want to prove that for a.a. \(t \in (0,T)\),
where \(\Gamma _\sigma \) is introduced around (6.21). However, (6.29) directly follows from (6.21) and (6.22) (in fact, with the equality sign in (6.29)). Recalling (4.8) in Lemma 4.1, (6.29) implies that \(\varvec{g}(\varvec{s},\varvec{v}_{\tau })={0}\) a.e. in \(\Gamma _\sigma \). However, since \(\sigma >0\) can be made arbitrarily small, the statement \(\varvec{g}(\varvec{s},\varvec{v}_{\tau })={0}\) holds true a.e. on \(\Gamma \) (again considering a suitably chosen subsequence).
Next, we show that
First, from (6.21) and (6.22) it follows that \( \overline{\phi _{\delta }(|\varvec{v}|^2)\varvec{s}}= \phi _{\delta }(|\varvec{v}|^2)\varvec{s}\) on \(\Gamma _\sigma \). Then thanks to (4.4d) it follows that
Letting \(\sigma \rightarrow 0_+\) in the above inequality we obtain (6.30).
Using (6.30) in (6.25) we obtain (6.28), which is the assumption (4.6) in Lemma 4.1. Consequently, \(\varvec{G}(\varvec{S},\varvec{Dv})={0}\) a.e. in \(Q^t\) for a.a. t.
We summarize the results proved above (in Subsection 6.2) in the following lemma.
Lemma 6.2
For any \(\delta \in (0,1)\) there exists a triplet \((\varvec{v}^\delta , \varvec{S}^\delta , \varvec{s}^\delta )\) such that
and the initial condition \(\varvec{v}_0\) is attained in the strong sense.
6.3 Limit \(\delta \rightarrow 0_+\)
We recall that \(\varvec{b}^\delta \) satisfies (6.1).
6.3.1 Uniform (\(\delta \)-independent) Estimates and Their Consequences
Setting \(\varvec{\varphi }:= \varvec{v}^\delta \) in (6.31) (the convective term vanishes, see Sect. 6.2.1 for details) we get for a.a. \(t\in (0,T)\)
Integrating (6.34) over (0, t), using (G4) and (g4), the assumptions on \(\varvec{v}_0\) and on the right-hand sides \(\varvec{b}^\delta \) and \(\varvec{b}\) (see (6.1)), Hölder’s, Young’s and Gronwall’s inequalities, we obtain
Using (G4) and (g4) and proceeding as in Sect. 6.2.1, we conclude that
Thanks to the fact that \(0\le \phi _{\delta }(|\varvec{v}^\delta |^2)\le 1\), it directly follows from the above estimates that
Next, we explain the definition of z in Theorem 5.1, which is related to the uniform estimate for \(\partial _t \varvec{v}^\delta \). First, it follows from the definition that \(z':= \min \{r', q', \frac{(d+2)r}{2d}\}\) and each number in the bracket is the dual exponent to the integrability exponent of the terms on the left-hand side of (6.31). We start with the convective term. Thanks to the assumption \(r > \frac{2d}{d+2}\), we have \(\frac{(d+2)r}{2d}>1\) and we obtain that
where for the first inequality we used the fact that \(\phi _{\delta }(|\varvec{v}^\delta |^2)\le 1\), for the second inequality we used the standard interpolation in Lebesgue and Sobolev spaces and for the last inequality we used (6.35a). Then using (6.35e), (6.35b), (6.35d) and the assumption on \(\varvec{b}^{\delta }\) we deduce from (6.31) the following estimate
Finally, from the uniform estimates (6.35), the Aubin–Lions lemma and the Trace Theorem we conclude that there are subsequences of \(\{\varvec{v}^\delta ,\varvec{S}^\delta ,\varvec{s}^\delta \}\) denoted again by \(\{\varvec{v}^\delta ,\varvec{S}^\delta ,\varvec{s}^\delta \}\) such that
Then, we consider \(\varvec{\varphi }\in L^z(0,T;V_z)\) in (6.31), integrate the result over (0, T), and apply the convergence results from (6.36). We obtain
Therefore, the weak formulation (5.5) holds for a.a. \(t \in (0,T)\). Moreover, the results (6.36a), (6.36b), and (6.36d) imply that \(\varvec{v}\in {\mathcal {C}}_w([0,T];H)\).
Next, we need show that \(\varvec{G}(\varvec{S},\varvec{Dv})=\textbf{0}\) a.e. in Q and \(\varvec{g}(\varvec{s},\varvec{v}_{\tau })=\textbf{0}\) a.e. on \(\Gamma \). Here, we have several possibilities. First, if \(z=r\), i.e. if \(q\le r\) and \(r\ge \frac{3d+2}{d+2}\), one can simply use \(\varvec{\varphi }:=\varvec{v}\) in (6.37) and therefore, one might mimic the theory developed in [21]. Next, if \(r\ge \frac{3d+2}{d+2}\) but \(q>r\), one may observe that the choice \(\varvec{\varphi }:=\varvec{v}\) is admissible in the second and third integral on the left-hand side and also in the term on the right-hand side. Consequently, one might try to generalize the concept of the Gelfand triple and define properly a duality pairing \(\langle \partial _t\varvec{v}, \varvec{\varphi }\rangle \) and again to mimic the theory from [21]. Finally, in the case \(r<\frac{3d+2}{d+2}\) we cannot set \(\varvec{\varphi }:=\varvec{v}\) in the second term and therefore the theory from [21] cannot be adapted directly to our case. As the novel method developed here, which is based also on the use of Lemma 5.2, covers also the simple cases discussed above, we just present a unified procedure for all values of \(r>\frac{2d}{d+2}\).
6.3.2 Identification of Nonlinearities on the Boundary
By virtue of (6.36j) and Egoroff’s theorem, for every \(\eta >0\) there exists \(\Gamma _{\eta }\) so that \(|\Gamma {\setminus } \Gamma _{\eta }|<\eta \) and
It follows from (g4) and Young’s inequality that
This together with (6.38) implies that \(\{\varvec{s}^\delta \}\) is a bounded sequence on \(\Gamma _\eta \). By (6.36h) and Lebesgue’s Dominated Convergence Theorem, we conclude that, as \(\delta \rightarrow 0_+\),
Then from Lemma 4.1, \(\varvec{g}(\varvec{s},\varvec{v})={0}\) a.e. on \(\Gamma _{\eta }\), and letting \(\eta \rightarrow 0_+\), we obtain that \(\varvec{g}(\varvec{s},\varvec{v})={0}\) a.e. on \(\Gamma \), and also that for all \(\eta \),
6.3.3 Identification of Nonlinearities Inside the Domain
Identification in Q is not so straightforward, especially due to the lack of proper duality pairing in the convective term and consequently potential failure of the energy equality for the limiting equation. We start with subtracting the weak formulation for \(\varvec{v}^\delta \) (6.31) from the one for \(\varvec{v}\) (5.5) and integrate the difference over (0, T). We deduce that, for all \(\varvec{\varphi }\in L^z(0,T;V_z)\),
Next, we localize the above formulation and also omit writing the duality pairing in \(V_r\). Indeed, by using the classical theory for r-Stokes problems, we can findFootnote 7\(\varvec{F}^{\delta }\) and \(\varvec{F}\) such that
that fulfils
for all \(\varvec{\varphi }\in L^r(0,T; V_r)\). Thus, for \(Q_0=I_0 \times B_0\) introduced in Lemma 5.2, we consider (6.40) with \(\varvec{\varphi }\in {\mathcal {C}}^\infty (Q)\) satisfying \(\mathop {{\textrm{div}}}\nolimits \varvec{\varphi }=0\) in \(Q_0\) and having the compact support in \(Q_0\). Then the boundary term vanishes and we obtain
For the sake of ease of exposition, let us denote
Then the triplet \((\varvec{u}^\delta , \varvec{H}^\delta _1, \varvec{H}^\delta _2)\) defined in (6.42) satisfies the assumptions of Lemma 5.2. Recall also that, due to Lemma 4.2, for \(\varvec{Dv}\in L^r(Q)\) there is an \({\hat{\varvec{S}}}\in L^{r'}(Q)\) such that \(\varvec{G}({\hat{\varvec{S}}}, \varvec{Dv})={0}\) a.e. in Q (and, in particular, also in \(Q_0\)). Referring back to Lemma 5.2, we set \({\overline{\varvec{S}}}:=\varvec{S}-{\hat{\varvec{S}}}\) in (5.13) and conclude that
Due to (5.11), \(\xi \ge \chi _{\frac{1}{8}Q_0}\); since \(\varvec{G}({\hat{\varvec{S}}},\varvec{Dv})={0}\) and \(\varvec{G}(\varvec{S}^\delta , \varvec{D}\varvec{v}^\delta )={0}\) a.e. in Q, the product in the first integral of (6.43) is non-negative thanks to (G2\(^*\)) (see Lemma 4.2), and we have
Then for any \(a\in (0,1)\), the following holds:
Then, as \(k \rightarrow \infty \), using (5.12) and (6.44), we conclude
However, then also
Due to Egoroff’s theorem, for every \(\eta \) there exists \(Q_{\eta }\) such that \(|\frac{1}{8}Q_0 \setminus Q_{\eta }|\le \eta \), and
Consequently,
Since \(\lim _{\delta \rightarrow 0_+} \int _{Q_{\eta }} {\hat{\varvec{S}}}: (\varvec{D}\varvec{v}^\delta - \varvec{Dv})\, \text {d}\varvec{x}\, \text {d}t = 0 \), which follows from (6.36b), we obtain from (6.45) that
which finally implies (using the weak convergence result for \(\varvec{S}^\delta \), see (6.36g)), that
According to Lemma 4.1, \(\varvec{G}(\varvec{S}, \varvec{Dv})={0}\) a.e. in \(Q_{\eta }\), and we can proceed with \(\eta \rightarrow 0_+\) to obtain the identification a.e. in \(\frac{1}{8} Q_0\). Also, we have that for all \(\eta \)
6.3.4 Energy Inequality
Next, we show that (5.9) holds true. For \(0<\epsilon \ll 1\) and \(t \in (0,T-\epsilon )\), let \(\zeta \in {\mathcal {C}}^{0,1}([0,T])\) be defined as a piece-wise linear function of three parameters, such that
We multiply (6.34) by \(\zeta \), and integrate the result over (0, T) to deduce, after integrating by parts, that
The next step is to take the limit as \(\delta \rightarrow 0_+\). We know that \((\varvec{S}^\delta :\varvec{D}\varvec{v}^\delta )\ge 0\) and \((\varvec{s}^\delta \cdot \varvec{v}^\delta )\ge 0\) because \(\varvec{G}(\varvec{S}^\delta ,\varvec{D}\varvec{v}^\delta )={0}\) in Q, \(\varvec{g}(\varvec{s}^\delta , \varvec{v}^\delta )={0}\) on \(\Gamma \) and we have (G2\(^*\)) from Lemma 4.2 and an analogous result holds for the function \(\varvec{g}\) as well. Therefore, from the above identity we deduce
For the first term, we can use the weak lower semicontinuity of the norm. For the products \(\varvec{S}^\delta :\varvec{D}\varvec{v}^\delta \) and \(\phi _{\delta }(|\varvec{v}^\delta |^2)\varvec{s}^\delta \cdot \varvec{v}^\delta \), we use (6.46), (6.39) and the weak convergence of \(\varvec{v}^\delta \) on \(\Gamma _{\eta }\). For the duality term, we use (6.1) and (6.36b), and get that
Next, we proceed with \(\epsilon , \eta \rightarrow 0_+\), then \(Q^t\cap Q_{\eta } \rightarrow Q^t\) and \(\Gamma ^t \cap \Gamma _{\eta } \rightarrow \Gamma ^t\), and finally, thanks to \(\varvec{v}\in {\mathcal {C}}_w([0,T];H)\) and the fact that the other terms are well-defined, we obtain the energy inequality (5.9) for any \(t \in (0,T)\).
6.4 Attainment of the Initial Condition
Considering \(\zeta \) introduced in (6.47), we multiply (6.31) by \(\varvec{\varphi }\zeta \), where \(\varvec{\varphi }\in V_z\) is arbitrary. Integrating the result over (0, T), we get
Next, we apply integration by parts in the first term (using the properties of \(\zeta \) and the fact that \(\varvec{\varphi }\) is independent of t). Then we take the limit \(\delta \rightarrow 0_+\). Using arguments from Sect. 6.3, in particular the convergence result (6.36c) to take the limit in the convective term, we conclude that
Since \(\varvec{v}\in {\mathcal {C}}_w([0,T];H)\) and \(\varvec{\varphi }\) is independent of time, we can let \(\epsilon \rightarrow 0_+\) to conclude
Now, standard density arguments imply that
Also, taking the limes superior for \(t\rightarrow 0_+\) in the energy inequality (5.9), we obtain that \(\limsup _{t \rightarrow 0_+} \Vert \varvec{v}(t)\Vert _2^2 \le \Vert \varvec{v}_0\Vert _2^2\). The last two pieces of information imply the strong convergence in H as claimed in (5.8).
6.4.1 Existence of an Integrable Pressure
In order to reconstruct the pressure, we need to assume that \(\Omega \in {\mathcal {C}}^{1,1}\). The procedure to obtain an integrable pressure for problems with slipping boundary conditions is explained in [14] in detail. This is why we merely show here a formal estimate concerning the “best” integrability of p. To do so, we assume that there exists an integrable pressure p such that (5.10) holds. Moreover, we may assume that \(\int _{\Omega } \!p(t) \, \text {d}\varvec{x}=0\) for a.a. t. Next, we find \(\phi \) solving the equation
Using classical theory we know that such a \(\phi \) exists and satisfies the estimate
Setting \(\varvec{\varphi }:= \nabla \phi \) in (5.10), we have (note that \(\varvec{\varphi }\in {\mathcal {V}}_z\) and also that the term with the time derivative vanishes)
By use of (6.49), the Hölder inequality and the Trace Theorem we can deduce that
After integrating it over (0, T), thanks to the definition of \(z'\) and a stronger assumption on \(\varvec{b}\in L^{z'}(0,T;{\mathcal {V}}_z^*)\), all terms on the right-hand side are bounded and we conclude that \(p\in L^{z'}(0,T;L^{z'}(\Omega ))\).
7 Extensions: Existence Results for Related Problems (a Summary)
The above established result concerns isothermal homogeneous and incompressible fluids; these properties can be seen as limitations and one may wish to develop a theory in the similar spirit as above for heat-conducting or inhomogeneous or compressible fluids or for fluids that share more of these properties. Also the constitutive equation (2.9) does not cover viscoelastic rate-type or integral models. Similarly, the boundary condition (2.10) does not include dynamic boundary conditions. Below, we provide references that can be relevant to anyone who would like to extend the study in the directions indicated.
When one wishes to include the dependence of the viscosity on the temperature, the system of governing equations has to be completed by the formulations of the balance of energy and the second law of thermodynamics. One also needs to specify the constitutive equation relating the heat flux to the temperature gradient, boundary conditions for the temperature etc. These extensions give rise, within the context of weak solutions, to several concepts of solution. A sound long-time and large-data existence theory for heat-conducting fluids described by incompressible Navier–Stokes–Fourier equations goes back to [11, 50]. The first existence result for nonlinear models of the power-law type is due to Consiglieri [38] for \(r\ge \frac{3d+2}{d+2}\). Then, a very similar theory was obtained for smaller r’s in [24] but merely for explicit models of the type \(\varvec{S}= 2\nu (\theta , |\varvec{Dv}|^2)\varvec{Dv}\), where \(\theta \) is the temperature. The first fully implicit approach with material parameters depending on the temperature was developed in [88], where the authors dealt with a specific activated model with the activation depending on the temperature that also allowed the model to range from activated Euler through the Navier–Stokes regime to a Bingham-type response.
The mathematical theory for unsteady flows of inhomogeneous Navier–Stokes fluids is developed in the book by Lions [80]. Inhomogeneous isothermal fluids of power-law type are analyzed in [54], while heat-conducting processes for such fluids are treated in [51]. Compressible non-Newtonian fluids of power-law type represent a completely open field from the point of view of the large-data analysis of relevant initial- and boundary-value problems (see [3] for one of the first attempts and further references).
Regarding viscoelastic rate-type fluids, where for a part of the Cauchy stress one has an additional evolutionary (nonlinear) equation, we distinguish two basic classes: without stress diffusion and with stress diffusion. The first class includes the standard Maxwell, Oldroyd-B or Giesekus models, and the additional equation is of transport type. The long-time and large-data mathematical theory goes back to [81], where Oldroyd-B type models with a corotational time derivative are studied. The type of derivative is however non-physical and simplifies the analysis tremendously. For Giesekus type of models with more general objective derivatives the idea of existence proof is presented in [89] and rigorously proven in the planar case in [17]. Regarding the analysis of viescoelastic rate-type fluids with stress diffusion, we refer to [4] where a very robust theory is developed and other relevant studies are cited.
Finally, dynamic boundary conditions (see [58] for their relevance to observations connected with the experiments regarding molten polymers) are the subject of a recent investigation from the point of view of analysis of partial differential equations. The theory for the Stokes system with such dynamic boundary conditions is developed in [1].
Extensions in other directions are possible. Examples include the analysis of rapidly shear-thickening fluids (see [57]) or fluids with a priori bounded velocity gradient (see [15, 92]). Also, one can consider instead of (2.9) a more general class of incompressible fluids given by the relation \(\varvec{G}(\varvec{T},\varvec{Dv}) = {0}\), which allows one to naturally include fluids with pressure and shear-rate dependent viscosity; here we refer to [22,23,24, 26] for further details.
8 Uniqueness, Smoothness, Open Problems and Concluding Remarks
We have studied long-time and large-data mathematical properties of unsteady internal flows of incompressible fluids with frictional properties characterized by implicit constitutive equations in the bulk and on the boundary. The developed theory that has origin in the seminal works of O. A. Ladyzhenskaya addresses positively the question concerning existence of weak solutions to large classes of fluids as well as boundary conditions. The structural assumptions characterizing the admissible class of fluids and boundary conditions are expressed in terms of basic tools of calculus and can be checked directly for a given constitutive equation without any deeper knowledge of concepts of the operator theory. Despite broad applicability of the developed theory to many models in different scientific areas, the analysis for fluids satisfying (G1) and (G4) but having non-monotone response (as for example the model computationally tested in [66]) is an open problem. (Note however that non-monotone responses in the boundary conditions can be included, see [20] for details.)
The main achievement of this study lies in a novel existence theory. Ladyzhenskaya’s interest in these fluids was however motivated by the uniqueness and smoothness of these solutions. Concerning the uniqueness of weak solution, one can easily observe that for models fulfilling (G1)–(G4) we automatically/easily obtain the uniqueness of the velocity field for all \(r>1\) provided that we neglect the convective term \(\mathop {{\textrm{div}}}\nolimits (\varvec{v}\otimes \varvec{v})\); compare with [21]. For the complete model, i.e. for model with the convective term, already Ladyzhenskaya was able to show the uniqueness of a weak solution for the models of the form
provided that \(r\ge \frac{d+2}{2}\). To date the most general uniqueness result is due to [16], where the authors prove uniqueness of a weak solution in three dimensions (for sufficiently regular data) and a class of models having the r-growth with \(r\ge \frac{11}{5}\) and satisfying, for a certain \(C_* >0\)
which is fulfilled by the models given in (8.1) above, but it is much more restrictive in comparison with the condition (G2*) (or its equivalent form (G2)) needed in the existence theory.
We can slightly strengthen these uniqueness results by considering fluids that behave as the Navier–Stokes fluid prior the activation, i.e. for \(|\varvec{Dv}|\le \delta _*\), where \(\delta _*>0\) can be arbitrary, and behave as a power-law fluid with \(r\ge \frac{3d+2}{d+2}\) once the activation takes place, i.e. \(|\varvec{Dv}|> \delta _*\). Mathematically, such a model is described by the constitutive equation of the form
For this model, one can then establish both the existence and the uniqueness of a weak solution for r sufficiently large (\(r\ge \frac{3d+2}{d+2}\)). We wish to emphasize that the constant \(\delta _*\) can be chosen arbitrarily large. On the other hand, for \(r<\frac{3d+2}{d+2}\) we have a counterexample to uniqueness thanks to [27] in the class of very weak solutions. Hence, a natural open problem is the (non)uniqueness of a weak solution for smooth data in natural function spaces also for \(r<\frac{11}{5}\) in dimension three.
Finally, concerning smoothness of weak solutions to nonlinear models studied in this paper, there is one striking open problem. Independently of whether one excludes or includes the convective term and independently of the value of the parameter r, it is not clear (even in the situation when we know that there is a unique weak solution) whether, for smooth but large data, there exists a global-in-time \(C^{1,\alpha }\)-solution for any special case of the problem (2.3), (2.9) and (2.10) in three dimensional setting. The regularity theory in two dimensions is available, see e.g. [16, 25, 42, 68, 69], the theory in dimension three is however basically untouched.
Notes
The authors would be thankful for precise reference or notes confirming this.
See also chapters in the book by J.-L. Lions [79].
Throughout the whole study, the term domain stands for an open bounded connected set in \({\mathbb {R}}^d\).
Analogously, for Navier’s slip boundary condition
we conclude that
Very weak solutions are those that do not belong to the natural energy function space.
Let \(\Phi _\delta \) denote the primitive function to \(\phi _\delta \). Using integration by parts we observe that
$$\begin{aligned} 2\int _{\Omega } \!\phi _{\delta }(|\varvec{v}^\varepsilon |^2)(\varvec{v}^\varepsilon \otimes \varvec{v}^\varepsilon ): \nabla \varvec{v}^\varepsilon \, \text {d}\varvec{x}= \int _{\Omega } \!\phi _{\delta }(|\varvec{v}^\varepsilon |^2)\varvec{v}^\varepsilon \cdot \nabla |\varvec{v}^\varepsilon |^2\, \text {d}\varvec{x}= \int _{\Omega } \!\varvec{v}^\varepsilon \cdot \nabla \Phi _\delta (|\varvec{v}^\varepsilon |^2)\, \text {d}\varvec{x}= \int _{\Omega } \!\mathop {{\textrm{div}}}\nolimits \left( \Phi _\delta (|\varvec{v}^\varepsilon |^2) \varvec{v}^\varepsilon \right) \, \text {d}\varvec{x}=0, \end{aligned}$$referring to Gauss’ theorem and the boundary condition \(\varvec{v}^\varepsilon \cdot \varvec{n}= 0\) on \(\partial \Omega \) in the last identity.
We can set \(\varvec{F}\) as \(\varvec{F}\,{:=}\,|\nabla \varvec{w}|^{r-2}\nabla \varvec{w}\), where \(\varvec{w}\) solves the homogeneous Dirichlet problem
$$\begin{aligned} -\mathop {{\textrm{div}}}\nolimits (|\nabla \varvec{w}|^{r-2}\nabla \varvec{w}) = -\nabla \pi +\varvec{b}, \quad \mathop {{\textrm{div}}}\nolimits \varvec{w}=0 \qquad \text { in } \Omega . \end{aligned}$$Similarly from \(\varvec{b}^{\delta }\) we come to \(\varvec{F}^{\delta }\).
References
Abbatiello, A., Bulíček, M., Maringová, E.: On the dynamic slip boundary condition for Navier–Stokes-like problems. Math. Models Methods Appl. Sci. 31(11), 2165–2212 (2021)
Abbatiello, A., Feireisl, E.: On a class of generalized solutions to equations describing incompressible viscous fluids. Ann. Mat. Pura Appl. (4) 199(3), 1183–1195 (2020)
Abbatiello, A., Feireisl, E., Novotný, A.: Generalized solutions to models of compressible viscous fluids. Discrete Contin. Dyn. Syst. 41(1), 1–28 (2021)
Bathory, M., Bulíček, M., Málek, J.: Large data existence theory for three-dimensional unsteady flows of rate-type viscoelastic fluids with stress diffusion. Adv. Nonlinear Anal. 10(1), 501–521 (2021)
Bingham, E.C.: Fluidity and Plasticity. McGraw-Hill, International chemical series (1922)
Bird, R. B., Amstrong, R. C., Hassager, O.: Dynamics of polymeric liquids, vol. 1, Fluid mechanics, Wiley, New York, (1977)
Blatter, H.: Velocity and stress fields in grounded glaciers: a simple algorithm for including deviatoric stress gradients. J. Glaciol. 41(138), 333–344 (1995)
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. SIAM J. Math. Anal. 52(2), 1232–1289 (2020)
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., Diening, L., Schwarzacher, S.: Solenoidal Lipschitz truncation for parabolic PDEs. Math. Models Methods Appl. Sci. 23(14), 2671–2700 (2013)
Bulíček, M., Feireisl, E., Málek, J.: A Navier–Stokes–Fourier system for incompressible fluids with temperature dependent material coefficients. Nonlinear Anal. Real World Appl. 10(2), 992–1015 (2009)
Bulíček, M., Gwiazda, P., Málek, J., Rajagopal, K. R., Świerczewska Gwiazda, A.: On flows of fluids described by an implicit constitutive equation characterized by a maximal monotone graph, Mathematical aspects of fluid mechanics, London Math. Soc. Lecture Note Ser., vol. 402, Cambridge Univ. Press, Cambridge, pp. 23–51 (2012)
Bulíček, M., Gwiazda, P., Málek, J., Świerczewska Gwiazda, A.: On steady flows of incompressible fluids with implicit power-law-like rheology. Adv. Calc. Var. 2(2), 109–136 (2009)
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)
Bulíček, M., Hruška, D., Málek, J.: On evolutionary problems with a-priori bounded gradients. Calc. Var. 62, 188 (2023). https://doi.org/10.1007/s00526-023-02524-4
Bulíček, M., Kaplický, P., Pražák, D.: Uniqueness and regularity of flows of non-Newtonian fluids with critical power-law growth. Math. Models Methods Appl. Sci. 29(6), 1207–1225 (2019)
Bulíček, M., Los, T., Lu, Y., Málek, J.: On planar flows of viscoelastic fluids of Giesekus type. Nonlinearity 35(12), 6557 (2022)
Bulíček, M., Málek, J.: On unsteady internal flows of Bingham fluids subject to threshold slip on the impermeable boundary, Recent developments of mathematical fluid mechanics, Adv. Math. Fluid Mech., pp. 135–156. Birkhäuser/Springer, Basel (2016)
Bulíček, M., Málek, J.: Internal flows of incompressible fluids subject to stick-slip boundary conditions. Vietnam J. Math. 45(1–2), 207–220 (2017)
Bulíček, M., Málek, J.: Large data analysis for Kolmogorov’s two-equation model of turbulence. Nonlinear Anal. Real World Appl. 50, 104–143 (2019)
Bulíček, M., Málek, J., Maringová, E.: On nonlinear problems of parabolic type with implicit constitutive equations involving flux. M3AS 31(10), 2039–2090 (2021)
Bulíček, M., Málek, J., Rajagopal, K.R.: Navier’s slip and evolutionary Navier-Stokes-like systems with pressure and shear-rate dependent viscosity. Indiana Univ. Math. J. 56(1), 51–85 (2007)
Bulíček, M., Málek, J., Rajagopal, K.R.: Analysis of the flows of incompressible fluids with pressure dependent viscosity fulfilling \(\nu (p,\cdot )\rightarrow +\infty \) as \(p\rightarrow +\infty \). Czechoslovak Math. J. 59(134)(2), 503–528 (2009)
Bulíček, M., Málek, J., Rajagopal, K.R.: Mathematical analysis of unsteady flows of fluids with pressure, shear-rate, and temperature dependent material moduli that slip at solid boundaries. SIAM J. Math. Anal. 41(2), 665–707 (2009)
Bulíček, M., Málek, J., Shilkin, T.N.: On the regularity of two-dimensional unsteady flows of heat-conducting generalized Newtonian fluids. Nonlinear Anal. Real World Appl. 19, 89–104 (2014)
Bulíček, M., Žabenský, J.: Large data existence theory for unsteady flows of fluids with pressure- and shear-dependent viscosities. Nonlinear Anal. 127, 94–127 (2015)
Burczak, J., Modena, S., Székelyhidi, L.: Non uniqueness of power-law flows. Comm. Math. Phys. 388(1), 199–243 (2021)
Carreau, P.J.: Rheological equations from molecular network theories. Trans. Soc. Rheol. 16(1), 99–127 (1972)
Casson, N.: A flow equation for pigment-oil suspensions of the printing ink type. Rheology of Disperse Systems. Pergamon Press, Oxford (1959)
Cebral, J.R., Castro, M.A., Appanaboyina, S., Putman, C.M., Millan, D., Frangi, A.F.: Efficient pipeline for image-based patient-specific analysis of cerebral aneurysm hemodynamics: technique and sensitivity. IEEE Trans. Med. Imaging 24(4), 457–467 (2005)
Chabiniok, R., Hron, J., Jarolímová, A., Málek, J., Rajagopal, K. R., Rajagopal, K., Švihlová, H., T\(\mathring{{\rm u}}\)ma, K.: Three-dimensional flows of incompressible Navier-Stokes fluids in tubes containing a sinus, with varying slip conditions at the wall, Internat. J. Engrg. Sci. 180, Paper No. 103749, 22 (2022)
Chauffoureaux, J.C., Dehennau, C., van Rijckevorsel, J.: Flow and thermal stability of rigid PVC. J. Rheol. 23(1), 1–24 (1979)
Cho, Y., Kensey, K.R.: Effects of the non-Newtonian viscosity of blood on hemodynamics of diseased arterial flows. Adv. Bioeng. 15, 147–148 (1989)
Cho, Y., Kensey, K.R.: Effects of the non-Newtonian viscosity of blood on flows in a diseased arterial vessel. Part 1: Steady flows. Biorheology 28, 241–62 (1991)
Christiansen, E.B., Kelsey, S.J.: Isothermal and nonisothermal, laminar, inelastic, non-Newtonian tube-entrance flow following a contraction. Chem. Eng. Sci. 28(4), 1099–1113 (1973)
Cohen, Y., Metzner, A.B.: Apparent slip flow of polymer solutions. J. Rheol. 29(1), 67–102 (1985)
Cokelet, G.R.: The rheology of human blood, Biomechanics: Its Function and Objectives, vol. 63, pp. 63–103. Prentice Hall, Englewood Cliffs (1972)
Consiglieri, L.: Weak solutions for a class of non-Newtonian fluids with energy transfer. J. Math. Fluid Mech. 2(3), 267–293 (2000)
Constantin, P., Foias, C.: Navier-Stokes equations, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, (1988)
Cross, M.M.: Rheology of non-Newtonian fluids: a new flow equation for pseudoplastic systems. J. Colloid Sci. 20, 417–437 (1965)
Davies, P. H., Mazher, A. H. K., Giddens, D. P., Zarins, C. K., Glagov, S.: Effects of non-Newtonian fluid behavior on wall shear in a separated flow region, Proc. 1st World Conf. of Biomech, vol. 1, p. 301 (1990)
Diening, L., Kaplický, P., Schwarzacher, S.: Campanato estimates for the generalized Stokes system. Ann. Mat. Pura Appl. (4) 193(6), 1779–1794 (2014)
Diening, L., Kreuzer, C., Süli, E.: Finite element approximation of steady flows of incompressible fluids with implicit power-law-like rheology. SIAM J. Numer. Anal. 51(2), 984–1015 (2013)
Diening, L., Málek, J., Steinhauer, M.: On Lipschitz truncations of Sobolev functions (with variable exponent) and their selected applications, ESAIM: Control. Optim. Calc. Var. 14, 211–232 (2008)
Diening, L., R\(\mathring{{\rm u}}\)žička, M., Wolf, J.: Existence of weak solutions for unsteady motions of generalized Newtonian fluids. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze IX(1), 1–46 (2010)
Eyring, Henry: Viscosity, plasticity, and diffusion as examples of absolute reaction rates. J. Chem. Phys. 4(4), 283–291 (1936)
Farrell, P., Gazca Orozco, P.A., Süli, E.: Finite element approximation and preconditioning for anisothermal flow of implicitly-constituted non-Newtonian fluids. Math. Comp. 91(334), 659–697 (2022)
Farrell, P.E., Gazca-Orozco, P.A., Süli, E.: Numerical analysis of unsteady implicitly constituted incompressible fluids: 3-field formulation. SIAM J. Numer. Anal. 58(1), 757–787 (2020)
Fasano, A., Sequeira, A.: Hemomath. The mathematics of blood., MS &A. Modeling, Simulation and Applications, vol. 18, Springer, Cham, (2017)
Feireisl, E., Málek, J.: On the Navier-Stokes equations with temperature-dependent transport coefficients. Differ. Equ. Nonlinear Mech. 2006, 90616 (2006)
Frehse, J., Málek, J., R\(\mathring{{\rm u}}\)žička, M.: Large data existence result for unsteady flows of inhomogeneous shear-thickening heat-conducting incompressible fluids, Comm. Partial Differential Equations 35(10), 1891–1919 (2010)
Frehse, J., Málek, J., Steinhauer, M., On existence results for fluids with shear dependent viscosity—unsteady flows, Partial differential equations (Praha, 1998), Chapman & Hall/CRC Res. Notes Math., vol. 406, Chapman & Hall/CRC, Boca Raton, FL, pp. 121–129 (2000)
Frehse, J., Málek, J., Steinhauer, M.: On analysis of steady flows of fluids with shear-dependent viscosity based on the Lipschitz truncation method. SIAM J. Math. Anal. 34(5), 1064–1083 (2003)
Frehse, J., Ružička, M.: Existence of a regular periodic solution to the Rothe approximation of the Navier-Stokes equation in arbitrary dimension, New directions in mathematical fluid mechanics, Adv. Math. Fluid Mech. pp. 181–192. Birkhäuser Verlag, Basel (2010)
Galdi, G. P., Rannacher, R., Robertson, A. M., Turek, S.: Hemodynamical flows, Oberwolfach Seminars, vol. 37, Birkhäuser Verlag, Basel, 2008, Modeling, analysis and simulation, Lectures from the seminar held in Oberwolfach, November 20–26, (2005)
Glen, J.W.: The creep of polycrystalline ice. Proc. R. Soc. London Series Math. Phys. Sci. 228, 519–538 (1955)
Gwiazda, P., Świerczewska-Gwiazda, A.: On non-Newtonian fluids with a property of rapid thickening under different stimulus. Math. Models Methods Appl. Sci. 18(7), 1073–1092 (2008)
Hatzikiriakos, S.G.: Wall slip of molten polymers. Prog. Polym. Sci. 37(4), 624–643 (2012). (Topical Issue on Polymer Physics)
Hatzikiriakos, S.G., Dealy, J.M.: Wall slip of molten high density polyethylene. i. sliding plate rheometer studies. J. Rheol. 35(4), 497–523 (1991)
Hatzikiriakos, S.G., Dealy, J.M.: Wall slip of molten high density polyethylenes. ii. Capillary rheometer studies. J. Rheol. 36(4), 703–741 (1992)
Heid, P., Süli, E.: An adaptive iterative linearised finite element method for implicitly constituted incompressible fluid flow problems and its application to Bingham fluids. Appl. Numer. Math. 181, 364–387 (2022)
Herschel, W.H., Bulkley, R.: Konsistenzmessungen von gummi-benzollösungen. Kolloid-Zeitschrift 39, 291–300 (1926)
Hill, D.A., Hasegawa, T., Denn, M.M.: On the apparent relation between adhesive failure and melt fracture. J. Rheol. 34, 891–918 (1990)
Hopf, E.: Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen. Math. Nachr. 4, 213–231 (1951)
Huilgol, R.R.: Continuum Mechanics of Viscoelastic Liquids. Hindusthan Publishing Corporation, Delhi (1975)
Janečka, A., Málek, J., Pr\(\mathring{{\rm u}}\)ša, V., Tierra, G.: Numerical scheme for simulation of transient flows of non-Newtonian fluids characterised by a non-monotone relation between the symmetric part of the velocity gradient and the Cauchy stress tensor, Acta Mech. 230(3), 729–747 (2019)
Kalika, D.S., Denn, M.M.: Wall slip and extrudate distortion in linear low-density polyethylene. J. Rheol. 31, 815–834 (1987)
Kaplický, P., Málek, J., Stará, J.: \(C^{1,\alpha }\)-solutions to a class of nonlinear fluids in two dimensions—stationary Dirichlet problem, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 259 (1999), no. Kraev. Zadachi Mat. Fiz. i Smezh. Vopr. Teor. Funkts. 30, 89–121, 297
Kaplický, P., Málek, J., Stará, J.: Global-in-time Hölder continuity of the velocity gradients for fluids with shear-dependent viscosities. NoDEA Nonlinear Differ. Equ. Appl. 9(2), 175–195 (2002)
Kinnunen, J., Lewis, J.L.: Very weak solutions of parabolic systems of \(p\)-Laplacian type. Ark. Mat. 40(1), 105–132 (2002)
Kjartanson, B.H., Shields, D.H., Domaschuk, L., Man, C.-S.: The creep of ice measured with the pressuremeter. Can. Geotech. J. 25(2), 250–261 (1988)
Kreuzer, C., Süli, E.: Adaptive finite element approximation of steady flows of incompressible fluids with implicit power-law-like rheology. ESAIM Math. Model. Numer. Anal. 50(5), 1333–1369 (2016)
Ladyženskaja, O.A.: New equations for the description of the motions of viscous incompressible fluids, and global solvability for their boundary value problems. Trudy Mat. Inst. Steklov. 102, 85–104 (1967)
Ladyženskaja, O.A.: An example of nonuniqueness in Hopf’s class of weak solutions of the Navier-Stokes equations. Izv. Akad. Nauk SSSR Ser. Mat. 33, 240–247 (1969)
Ladyženskaja, O. A.: The dynamical system that is generated by the Navier-Stokes equations, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 27, 91–115, (1972), Boundary value problems of mathematical physics and related questions in the theory of functions, 6
Lau, H.C., Schowalter, W.R.: A model for adhesive failure of viscoelastic fluids during flow. J. Rheol. 30(1), 193–206 (1986)
Le Roux, Ch., Rajagopal, K.R.: Shear flows of a new class of power-law fluids. Appl. Math. 58(2), 153–177 (2013)
Leray, J.: Sur le mouvement d’un liquide visquex emplissant l’espace. Acta Math. 63, 193–248 (1934)
Lions, J.-L.: Quelques méthodes de résolution des problèmes aux limites non linéaires, Dunod, (1969)
Lions, P.-L.: Mathematical topics in fluid mechanics. Vol. 1, Oxford Lecture Series in Mathematics and its Applications, Vol. 3, The Clarendon Press, Oxford University Press, New York, (1996), Incompressible models, Oxford Science Publications
Lions, P.L., Masmoudi, N.: Global solutions for some Oldroyd models of non-Newtonian flows. Chinese Ann. Math. Ser. B 21(2), 131–146 (2000)
Málek, J.: Mathematical properties of flows of incompressible power-law-like fluids that are described by implicit constitutive relations. Electron. Trans. Numer. Anal. 31, 110–125 (2008)
Málek, J., Pr\(\mathring{{\rm u}}\)ša, V.: Derivation of equations for continuum mechanics and thermodynamics of fluids, Handbook of mathematical analysis in mechanics of viscous fluids, Springer, Cham, pp. 3–72 (2018)
Málek, J., Pr\(\mathring{{\rm u}}\)ša, V., Rajagopal, K. R.: Generalizations of the Navier-Stokes fluid from a new perspective, Internat. J. Engrg. Sci. 48(12), 1907–1924 (2010)
Málek, J., Průša, Vít: Derivation of equations for continuum mechanics and thermodynamics of fluids, Handbook of mathematical analysis in mechanics of viscous fluids, Springer, Cham, pp. 3–72 (2018)
Málek, J., Rajagopal, K.R.: Mathematical issues concerning the Navier-Stokes equations and some of its generalizations, Evolutionary equations, Handb. Differ. Equ., vol. II, pp. 371–459. Elsevier/North-Holland, Amsterdam (2005)
Málek, J., Rajagopal, K. R., R\(\mathring{{\rm u}}\)žička, M.: Existence and regularity of solutions and stability of the rest state for fluids with shear dependent viscosity, Math. Models Methods Appl. Sci. 6, 789–812 (1995)
Maringová, E., Žabenský, J.: On a Navier-Stokes-Fourier-like system capturing transitions between viscous and inviscid fluid regimes and between no-slip and perfect-slip boundary conditions. Nonlinear Anal. Real World Appl. 41, 152–178 (2018)
Masmoudi, N.: Global existence of weak solutions to macroscopic models of polymeric flows. J. Math. Pures Appl. (9) 96(5), 502–520 (2011)
Matsuhisa, S., Bird, R.B.: Analytical and numerical solutions for laminar flow of the non-Newtonian Ellis fluid. AIChE J. 11, 588–595 (1965)
Metzner, A. B.: Non-Newtonian technology: Fluid mechanics, mixing, and heat transfer, Advances in Chemical Engineering, vol. 1, Academic Press, pp. 77–153 (1956)
Miranda, F., Rodrigues, J. F.: On a variational inequality for incompressible non-Newtonian thick flows, Recent advances in partial differential equations and applications, Contemp. Math., vol. 666, Amer. Math. Soc., Providence, RI, pp. 305–316 (2016)
Mooney, M.: Explicit formulas for slip and fluidity. J. Rheol. 2, 210–222 (1931)
Nakamura, M., Sawada, T.: Numerical study on the flow of a non-Newtonian fluid through an axisymmetric stenosis. J. Biomech. Eng. 110(2), 137–143 (1988)
Navier, C.L.M.H.: Mémoire sur les lois du mouvement des fluides. Mémoires de l’Académie Royale des Sciences de l’Institut de France 6(1823), 389–440 (1823)
Ostwald, W.: Ueber die geschwindigkeitsfunktion der viskosität disperser systeme. iv. Kolloid-Zeitschrift 36, 248–250 (1925)
Perlácová, T., Pr\(\mathring{{\rm u}}\)ša, V.: Tensorial implicit constitutive relations in mechanics of incompressible non-Newtonian fluids, J. Non-Newton Fluid. Mech. 216, 13–21 (2015)
Pettit, E.C., Waddington, E.D.: Ice flow at low deviatoric stress. J. Glaciol. 49, 359–369 (2003)
Powell, R.E., Eyring, H.: Mechanisms for the relaxation theory of viscosity. Nature 154, 427–428 (1944)
Quemada, D.: Rheology of concentrated disperse systems iii. General features of the proposed non-Newtonian model. Comparison with experimental data. Rheol. Acta 17, 643–653 (1978)
Rajagopal, K.R.: On implicit constitutive theories. Appl. Math. 48(4), 279–319 (2003)
Rajagopal, K.R.: On implicit constitutive theories for fluids. J. Fluid Mech. 550, 243–249 (2006)
Rajagopal, K.R., Srinivasa, A.R.: On the thermodynamics of fluid defined by implicit constitutive relations. Z. Angew. Math. Phys. 59(4), 715–729 (2008)
Ramamurthy, A.V.: Wall slip in viscous fluids and influence of materials of construction. J. Rheol. 30(2), 337–357 (1986)
Rao, I.J., Rajagopal, K.R.: The effect of the slip boundary condition on the flow of fluids in a channel. Acta Mech. 135, 113–126 (1999)
Ree, F.H., Ree, T., Eyring, H.: Relaxation theory of transport problems in condensed systems. Ind. Eng. Chem. 50, 1036–1040 (1958)
Schowalter, W.R.: Mechanics of Non-Newtonian Fluids. Pergamon Press, Oxford (1978)
Schwedoff, T.: Experimental researches on the cohesion of liquids ii Viscosity of liquids. J. Phys. 9, 34–46 (1890). (in French)
Seely, G.R.: Non-Newtonian viscosity of polybutadiene solutions. AIChE J. 10(1), 56–60 (1964)
Sisko, A.W.: The flow of lubricating greases. Ind. Eng. Chem. 50(12), 1789–1792 (1958)
Steffan, H., Brandstätter, W., Bachler, G., Pucher, R.: Comparison of Newtonian and Non-Newtonian Blood Flow in Stenotic Vessels using Numerical Simulation, pp. 479–485, (01 1990)
Stokes, G.G.: On the theories of the internal friction of fluids in motion, and of the equilibrium and motion of elastic fluids. Trans. Camb. Philos. Soc. 8, 287–305 (1845)
Süli, E., Tscherpel, T.: Fully discrete finite element approximation of unsteady flows of implicitly constituted incompressible fluids. IMA J. Numer. Anal. 40(2), 801–849 (2020)
Sutterby, J.L.: Laminar converging flow of dilute polymer solutions in conical sections. ii. Trans. Soc. Rheol. 9(2), 227–241 (1965)
Trouton, F.T.: On the coefficient of viscous traction and its relation to that of viscosity. Proc. Roy. Soc. London A 77, 426–440 (1906)
Turian, R.M.: The critical stress in frictionally heated non-Newtonian plane Couette flow. Chem. Eng. Sci. 24(10), 1581–1587 (1969)
Waele, A.: Viscometry and plastometry, J. Oil Colour Chemists’ Association, Oil Colour Chemists’ Association, (1923)
Walawender, W., Chen, T., Cala, D.: An approximate casson fluid model for tube flow of blood. Biorheology 12, 111–9 (1975)
Whillans, I.M., Van Der Veen, C.J.: New and improved determinations of velocity of ice streams b and c, west antarctica. J. Glaciol. 39(133), 483–590 (1993)
Wolf, J.: Existence of weak solutions to the equations of nonstationary motion of non-Newtonian fluids with shear-dependent viscosity. J. Math. Fluid Mech. 9, 104–138 (2007)
Yasuda, K.: Investigation of the analogies between viscometric and linear viscoelastic properties of polystyrene fluids. Massachusetts Institute of Technology, Department of Chemical Engineering (1979)
Yeleswarapu, K.K., Kameneva, M.V., Rajagopal, K.R., Antaki, J.F.: The flow of blood in tubes: theory and experiment. Mech. Res. Commun. 25(3), 257–262 (1998)
Funding
Open access publishing supported by the National Technical Library in Prague.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by K. Pileckas
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
M. Bulíček and J. Málek acknowledge the support of the project No. 20-11027X financed by the Czech Science foundation (GAČR). M. Bulíček and J. Málek are members of the Nečas Center for Mathematical Modelling.
This article is part of the Topical collection Ladyzhenskaya Centennial Anniversary edited by Gregory Seregin, Konstantinas Pileckas and Lev Kapitanski.
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
Bulíček, M., Málek, J. & Maringová, E. On Unsteady Internal Flows of Incompressible Fluids Characterized by Implicit Constitutive Equations in the Bulk and on the Boundary. J. Math. Fluid Mech. 25, 72 (2023). https://doi.org/10.1007/s00021-023-00803-w
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-023-00803-w
Keywords
- Incompressible fluid
- Implicit constitutive equation
- Viscous fluid
- Rheology
- Boundary condition
- Slip
- Weak solution
- Large-data
- Long-time
- Existence