Abstract
We study the behavior on time of weak solutions to the non-stationary motion of an incompressible fluid with shear rate dependent viscosity in bounded domains when the initial velocity \({u}_0 {\in } {L}^2\). Our estimates show the different behavior of the solution as the growth condition of the stress tensor varies. In the “dilatant” or “shear thickening” case we prove that the decay rate does not depend on \(u_0\), then our estimates also apply for irregular initial velocity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \) be a bounded open set of \(\mathbb R^N\), \(N >2\). For \(0< T < + \infty \) we set \(\Omega _T= \Omega \times (0,T)\). The unsteady motion of an incompressible fluid with shear-dependent viscosity in a cylinder \(\Omega _T\) is governed by the conservation of volume and the conservation of momentum equations
where \(\nabla \cdot u \equiv \partial _{x_i}u^i\) and we use the notation that repeated subscripts imply summation over 1 to N. Here
We assume that at the initial time \(t=0\), the initial velocity is a vector field \(u_0\)
with
and on the boundary the following aderence’s condition holds
The stress tensor S may depend on both (x, t) and the “rate of strain tensor” \(D = \{D_{i,j}\}\), which is defined by
For a background on Non-Newtonian fluids we refer to [1, 2, 9] and the references therein.
The model (1.1)–(1.4) has been considered by J. Wolf in [21] and by L. Diening, M. R\(\dot{u}\breve{z}\)i\(\breve{c}\)ka and J. Wolf in [5] to describe the motion of fluid u through \(\Omega \).
The fluids with “shear dependent viscosity” are given by the constitutive law
whereFootnote 1
and \(\nu \) is the generalized viscosity function.
As noticed in [5] the model (1.5) includes all power-law and Carreau-type models, which are quite popular among rheologists. Such models are used in many areas of engineering sciences such as chemical engineering, colloidal mechanics, glaciology, geology and blood rheology (see [11] for a discussion of such models and further references).
Special cases of constitutive laws are the following
and
where the constants \(\nu _0\) and q satisfy
(see [1, 3, 20] and the references therein). A fluid which is determined by the first of these constitutive laws is said
Let us denote by \(M_{sym}^N\) the vector space of the symmetric \(N \times N\) matrices \(\xi = \{ \xi _{ij} \}\) equipped with the scalar product \(\xi :\eta \) and with the inducted norm \(\Vert \xi \Vert \equiv (\xi :\xi )^{\frac{1}{2}}\). Moreover, let \(a \cdot b\) be the Euclidean scalar product in \(\mathbb R^N\) and by |a| the inducted Euclidean norm.
We assume that the the deviatoric stress S : \( \Omega _T \times M_{sym}^N \rightarrow M_{sym}^N \) is a Caratheodory function satisfying for every \(\xi \) and \(\eta \) in \(M^N_{sym}\) and for almost every \((x,t) \in \Omega _T\)
where \(\nu _0\) and \(c_0\) are positive constants, and \(g_i\) (\(i=1,2\)) are non negative functions satisfying \(g_1 \in L^{q'}(\Omega _T)\) and \(g_2 \in L^1(\Omega _T)\).
Before recalling what we mean here by weak solutions to (1.1)–(1.4), we recall some function spaces we need.
Here, \(C_0^{\infty }(\Omega )\) denotes the space of all smooth functions having compact support in \(\Omega \), \(W^{k,q}(\Omega )\) (\(k \in {\mathbf{N}}\) and \(1 \le q \le + \infty \)) are the usual Sobolev spaces and \(W^{k,q}_0(\Omega )\) is the closure of \(C_0^{\infty }(\Omega )\) in \(W^{k,q}(\Omega )\).
If \((X,\Vert \cdot \Vert _X)\) is a normed space, by \(L^q(0,T;X)\) we denote the space of all the Bochner measurable functions \(\varphi : (0,T) \rightarrow X\) such that
Finally, we denote
To simplify the notation, for \(q=2\) we use just notation H for the space \(H_2\) and we will not distinguish between the norm of scalar-valued, vector-valued or tensor-valued versions of all the spaces defined above.
Finally, \(|\Omega |\) denotes the Lebesgue measure of \(\Omega \).
We recall that since we are assuming \(\Omega \) bounded, by means of Korn’s inequality there exists a positive constant \(\gamma _0\), such that
Definition 1.1
Assume (1.8)–(1.9) with \(\frac{2N}{N+2} \le q < +\infty \). Let f be in \( (L^{q'}(\Omega _T))^{N^2}\) and \(u_0 \in H\). A weak solution of (1.1)–(1.4) is a vector-valued function \(u \in L^q(0,T;V_q) \cap L^{\infty }(0,T;H)\) satisfying
for every \(\varphi \in C^{\infty }(\Omega _T)^N\) with \(\nabla \cdot \varphi = 0\) and supp\((\varphi ) \subset \subset \Omega \times [0,T)\).
Thanks to the parabolic embedding, any weak solution u belongs to \(L^{q \frac{N+2}{N}}(\Omega _T)\).
The assumption \(q \ge \frac{2N}{N+2} \) guarantees that u is in \(L^2(\Omega _T)\).
Assuming that the external force verifies
and the monotonicity condition
the first results on existence of solutions were proved by O. Ladyzhenskaya in [8] and by J.L. Lions in [10] under the restriction that
The uniqueness holds if \(q > \frac{N+2}{2}\).
For \(N=3\) and \(2 \le q < \frac{11}{5}\) the existence of a weak solution was proved by J. Malek, J. Ne\(\breve{c}\)as and M. R\(\dot{u}\breve{z}\)i\(\breve{c}\)ka in [12] under further regularity assumptions on the domain and on S.
Then, J. Wolf has completed the previous existence results in [21], covering the set
Finally, L. Diening, M. R\(\dot{u}\breve{z}\)i\(\breve{c}\)ka and J. Wolf in [5] considered all the set
by proving the existence of a weak solution \(u \in C_w([0,T];H)\). We recall that a function \( v \in L^{\infty }(0,T;H)\) belongs to the function space \(C_w([0,T];H)\) of weakly continuous functions from [0, T] to H if \(v(\cdot ,t) \in H\) for any \(t \in [0,T]\) and
Here \(<\cdot ,\cdot >_H\) denotes the duality pairing between \(H'\) and H.
Solutions found in [5] and [21] are limit of functions solving approximating problems more regular than (1.1)–(1.4). Moreover these functions satisfy a balance energy equality (see also [4]).
Motivated by this topic we state the following
Definition 1.2
Let f be in \( (L^{q'}(\Omega _T))^{N^2}\) and \(u_0 \in H\). A weak solution \(u \in L^q(0,T;V_q) \cap L^{\infty }(0,T;H)\) to (1.1)–(1.4) is a “weak energy” solution if there exists a sequence \(u_{\varepsilon } \in L^q(0,T;V_q) \cap L^{\infty }(0,T;H)\) such that
Let us remark that if a weak solution is bounded in \(\Omega _T\), then it is a weak energy solution. Indeed (up to a regularization procedure) by using u as test function in (1.11), integration by parts gives that
since \(\nabla \cdot u = 0\) and hence (1.15) follows with \(u_{\varepsilon } \equiv u\).
If (1.13) holds true, thanks to the results of [5] and [21], for
problem (1.1)–(1.4) admits a weak energy solution \(u \in C_w([0,T];H)\).
Aim of this paper is to describe the behavior in time of weak energy solutions to (1.1)–(1.4).
Based on the Fourier splitting method, estimates on time of the solutions of Navier-Stokes equation and of non-Newtonian fluid were derived by M. E. Schonbek in [19] and by S. Ne\(\breve{c}\)asova and P. Penel in [14], respectively, when the spatial variable belongs to \(\mathbb R^N\). Time decay estimates were also discussed in [4] when the spatial variable is in \(\mathbb R^N_+\) and the Fourier splitting method does not apply. The solutions considered there are energy solutions in the sense of Definition 1.2.
The model treated by the previous authors concerns the case in which the deviatoric stress tensor \(\mathbf{S}\) is given by (1.7) with particular values of q .
Here we consider time decay estimates for a weak energy solution to general problem (1.1)–(1.4) having the spatial variable in a bounded domain \(\Omega \) and in all cases in which this problem is known to be well posed.
Our estimates are based on an approach that highlights the different behavior as the exponent q varies.
To understand the large behavior of a viscous incompressible fluid we assume that conditions (1.8) and (1.9) hold for a.e. \((x,t) \in \Omega _{\infty } \equiv \Omega \times (0,+\infty )\) with \(g_1 \in L^{q'}(\Omega _T)\), \(g_2 \in L^{1}(\Omega _T)\) for every \(T>0\) and
In this case we say that \(u \in L^q_{loc}(0,+\infty ;V_q) \cap L^{\infty }_{loc}(0,+\infty ;H)\) is a global weak energy solution to (1.1)–(1.4) if for any \(T>0\) u is a weak energy solution in \(\Omega _T\) according to Definition 1.2 above.
Our main result is the following.
Theorem 1.1
Assume (1.8), (1.9) and (1.16). Let u be a global weak energy solution to (1.1)–(1.4). If \(g_2 \in L^{1}(\Omega _{\infty })\) then \(u \in C_w([0,T];H)\) for any \(T>0\) and the following estimates hold true for any \(t > 0\)
where
[with \(\gamma _0\) as in (1.10)]
\(c_1=c_1(\nu _0, \gamma _0, q, N)\) (see formula (2.7)) and \(B = B(\Omega , \Lambda _0, q, N, \nu _0)\).
An estimate of the constant B is given in formula (3.16) below.
The existence of a global weak energy solution to (1.1)–(1.4) is proved in Sect. 2.2.
We point out that the previous result shows that although the global weak energy solution u decays in time for every value of q, there is a deep difference in the decay estimates between the “dilatant” or “shear thickening” case \(q >2\) and all the other cases ( “Newtonian” or “shear Thinning”). As a matter of fact, if \(q>2\), all the estimates in Theorem 1.1 are universal estimates, i.e., do not depend on the initial value \(u_0\). In other words, in the “dilatant” or “shear thickening” case the initial velocity does not influence at all the behavior in time of the velocity of the fluid.
Thanks to this argument, when \(q > 2\), we are able to provide the existence of a suitable weak solution also when \(u_0\) is just a summable function (see Sect. 4).
Moreover, we can show that, although the initial datum is not regular, as soon as \(t>0\) the solution we found has the same regularity and decay behavior of the case in which \(u_0\) is regular.
In the particular case that the deviatoric stress tensor \(\mathbf{S}\) is given by (1.7) we show that an exponential decay estimate holds true regardless of the growth exponent q (see Proposition 3.1 below).
We point out that in unbounded domains optimal algebraic estimates have been proved in [14] and [4]. Here we reach an exponential decay rate thanks to the boundedness of the domain \(\Omega \).
The paper is organized as follows: in Sect. 2 we recall some known results that will be an essential tool in proving our decay estimates (see Sect. 2.1) and we construct a weak global energy solution (see Sect. 2.2). In Sect. 3.1 we prove Theorem 1.1 and we study the particular case (1.7). Finally, in Sect. 4 we study the case of not regular initial data.
2 Preliminary results
As recalled in the Introduction, for the convenience of the reader we recall here some known results that will be an essential tool in proving the decay estimates stated in the previous section.
2.1 Gronwall type Lemmas
Lemma 2.1
Assume \(T \in (0,+\infty ]\) and let \(\phi (t)\) a continuous and non negative function defined in [0, T) and verifying
for every \(0 \le t_1 \le t_2 < T\) where M and \(\nu \) are positive constants and g is a non negative function in \(L^1_{loc}([0,T))\). Then it results
Moreover, the following estimate holds
where \(M_0 = \left( \frac{\nu M}{2} \right) ^{-\frac{1}{\nu }}\) .
The previous Lemma can be easily proved by a straightforward modification of the proof of Proposition 3.1 of [13] and hence we omit it.
Lemma 2.2
Assume \(T \in (0,+\infty ]\) and let \(\phi (t)\) a continuous and non negative function defined in [0, T) verifying
for every \(0 \le t_1 \le t_2 < T\) where M is a positive constant and g is a non negative function in \(L^1_{loc}([0,T))\). Then it results
Moreover, if \(T = +\infty \) and g belongs to \(L^1((0,+\infty ))\) we have
where
In particular, we get that
We omit the proof of the previous Lemma since it is an obvious modification of the proof of Proposition 3.2 of [13].
Remark 2.1
Previous Lemmas have been used in [13] and [7] to study asymptotic estimates for evolution problems. Analogous techniques, developed in [15] and in [17], have been useful also for other parabolic problems (see [16] and [18]).
2.2 Existence of a global weak energy solution
In this subsection we prove the existence of a global weak energy solution to problem (1.1)–(1.4). The existence of a weak energy solution can be deduced from [21] and [5]. Here, for convenience of the reader, we state the main tools of the construction in \(\Omega _T\), in order to obtain a global weak energy solution.
Proposition 2.1
Assume that the structural assumptions (1.8), (1.9) and (1.13) hold true a.e. in \(\Omega _{\infty }\) with \(q > \frac{2N}{N+2}\), \(g_2 \in L^1(\Omega _{\infty })\) and \(g_1 \in L^{q'}(\Omega _{T})\) for any \(T>0\). Let \(f \in (L^{q'}(\Omega _{\infty }))^{N^2}\) and \(u_0 \in H\). Then there exists a weak global energy solution u of (1.1)–(1.4).
Moreover, \(u \in C_w([0,T];H)\) for any \(T>0\).
Proof
As in [5] and [21] we consider for any \(\varepsilon >0\) and for any \(T>0\) the following problem
where
with \(\psi \in C^{\infty }([0,+\infty ))\) a non-increasing function such that
Here, by a solution of (2.6) we mean a function \(u_{\varepsilon } \in L^{\infty }(0,T;H) \cap L^q(0,T;V_q)\) satisfying
for every \(\varphi \in C^{\infty }(\Omega _T)^N\) with \(\nabla \cdot \varphi = 0\) and supp\((\varphi ) \subset \subset \Omega \times [0,T)\).
By using fixed point Theorem in [21] it is proved that, for any \(\varepsilon >0\), problem (2.6) admits a unique solution \(u_\varepsilon \in C([0,T];H) \cap L^q(0,T;V_q)\). Moreover this solution satisfies the following energy equality
(see Theorem 3.1 of [21]).
From (2.7), thanks to the coercivity condition (1.9) we get
where c here and in what follows denotes a positive constant, which may vary from line to line but does not depend on the parameter \(\varepsilon \).
By virtue of Korn’s inequality and Sobolev’s embedding Theorem we get
where \(q^* = \frac{q N}{N - q}\).
Then by Sobolev’s inequalities and Holder’s inequality from (2.8) to (2.9) we deduce that
We recall that from the bound of q we have that
Now we can pass to a subsequence, still denoted by \(u_{\varepsilon }\) for simplicity, and find \(u \in L^q(0,T;V_q) \cap L^{\infty }(0,T;H)\) such that
Arguing as in Section 4 of [5], it is possible to prove that
and
where \(G \subset \!\subset \Omega \) is a arbitrary open bounded set.
Then for a.e. \(t \in [0,T]\)
and so from (2.8) for a.e. \(t \in [0,T]\)
Finally since \(u \in C_w([0,T],H)\) we get that for any \(t \in [0,T]\)
It is now easy to prove (see [5] and [21]) that the function u constructed as above satisfies (1.11) and so it is a weak energy solution to (1.1)–(1.4) (i.e. a weak energy solution in \(\Omega _T\)). Now we prove the existence of a global weak energy solution.
We notice that, since by construction \(u_\varepsilon \) is the unique solution of (2.6) which belongs to \( C([0,T];H) \cap L^q(0,T;V_q)\), it is possible to extend it (in a unique way) to a global solution of (2.6) belonging to \( C_{loc}([0,+\infty );H) \cap L^q_{loc}([0,+\infty );V_q)\). We denote such a global solution again \(u_\varepsilon \).
Hence, let \(T_0 > 0\) arbitrarily fixed. As recalled above, there exists a subsequence of \(u_{\varepsilon }\), that we denote \(u_{\varepsilon _0}\) that converges to a weak energy solution u of (1.1)–(1.4) in \(\Omega \times (0,T_0)\) (i.e. \(u \in C_w([0,T_0];H)\) is a weak energy solution of (1.1)–(1.4) with T replaced by \(T_0\)). Being \(u_{\varepsilon _0}\) a subsequence of \(u_{\varepsilon }\), it follows that it is a sequence of global solutions. In particular, \(u_{\varepsilon _0}\) is a sequence of solutions of (2.6) in \(\Omega \times (0,2T_0)\) which belongs to \( C([0,2T_0];H) \cap L^q(0,2T_0;V_q)\). Thus, there exists a subsequence of \(u_{\varepsilon _0}\), that we denote with \(u_{\varepsilon _1}\), that converges to a weak energy solution \(u_1\) of (1.1)–(1.4) in \(\Omega \times (0,2T_0)\), i.e. \(u_1 \in C_w([0,2T_0];H)\) is a weak energy solution of (1.1)-(1.4) with T replaced by \(2T_0\). By construction \(u=u_1\) in \(\Omega \times (0,T_0)\) and consequently we can denote \(u = u_1\) in all the set \(\Omega \times (0,2T_0)\) and \(u \in C_w([0,2T_0];H)\) . By a recursive argument, we can construct a global energy solution u of (1.1)–(1.4) which belongs to \(C_w([0,T];H)\) for every \(T > 0\). \(\square \)
3 Decay estimates
Aim of this section is to prove Theorem 1.1 and to treat the special case (1.7).
3.1 Proof of Theorem 1.1
Let u be a global weak energy solution to (1.1)–(1.4). We point out that u belongs to \(C_w([0,+\infty );H)\) since any weak solution of (1.1)–(1.4) belongs to \(C_w([0,T];H)\). As a matter of fact, by (1.11) it follows that \(u_t \in L^1(0,T;Y^*)\) where
Hence, u belongs to \(C([0,T];Y^*)\) (see [6]). Now, to conclude that u is in \(C_w([0,T];H)\) we follow the reasoning in [21]. Let \(t_0 \in [0,T]\) arbitrarily fixed. Since, u belongs to \( L^{\infty }(0,T;H)\), there exists a sequence \(t_n \in [0,T]\) such that \(t_n \rightarrow t_0\) with \(u(t_n)\) bounded in H. Hence, by the reflexivity, there exists a subsequence \(u(t_{n_k})\) and \(\xi \in H\) such that
On the other hand, being u in \(C([0,T];Y^*)\), it results
Recalling that H is continuously and densely imbedded into \(Y^*\) it follows \(\xi = u(t_0)\). This implies that \(u(t_{n_k})\) converges weakly to \(u(t_0)\) in H as \(k \rightarrow + \infty \). Whence u belongs to \(C_w([0,T];H)\).
By definition, for every \(T>0\) there exist \(u_{\varepsilon } \in L^q(0,T;V_q) \cap L^{\infty }(0,T;H)\) satisfying (1.14) and (1.15). To prove estimate (1.17) it is sufficient to show that this estimate is satisfied for every \(t \in (0,T)\) by the approximating solutions \(u_{\varepsilon } \in C([0,T];H) \cap L^q(0,T;V_q)\) since this implies (thanks to the arbitrary choice of T) that u satisfies (1.17) for almost every \(t>0\) and hence (thanks to the regularity \(C_w([0,+\infty );H)\)) for any \(t>0\).
Hence, choosing \(t = t_2\) in (1.15) and then choosing \(t = t_1\) again in (1.15) and subtracting the equations obtained in this way we deduce that for every \(0 \le t_1 < t_2 \le T\)
We estimate the integrals in the previous equality. Thanks to assumption (1.9) we obtain
It remains to estimate the last integral in (3.1). By (1.10) it results
Hence, using the previous estimates in (3.1) we obtain
Notice that being \(\Omega \) bounded by (1.10) we get
Hence, we deduce (using Sobolev inequalityFootnote 2)
where \(c_1 = \nu _0 \gamma _0^{-q} c_{Sob}^q\). By (3.3) and (3.6) it follows
We recall that
Hence, since
it results
where \(\gamma = \frac{q}{2} + \frac{q}{N} -1\). Using the previous inequality in (3.7) we deduce (for every \(0 \le t_1 < t_2 \le T\))
where we have set
Now, to conclude the proof we distinguish the following three cases: \(q=2\), \(q>2\) and \(q <2\).
If \(q=2\), since we are assuming that \(f \in (L^{q'}(\Omega _{\infty }))^{N^2}\) and \(g_2 \in L^1(\Omega _{\infty })\) it follows that g belongs to \(L^1((0,+\infty ))\). Hence, applying Lemma 2.2 we deduce that the following estimate holds true for every \(t > 0\)
where
By (3.11) it follows estimate (1.17) when \(q=2\).
If \(q > 2\) the inequality (3.9) allows to apply Lemma 2.1 and to conclude that the following estimate holds true for every \(t > 0\)
where g is as in (3.10) and
By (3.13) it follows estimate (1.17) when \(q > 2\).
Finally, let us consider the case \(q < 2\). By (3.9) we get for every \(t \in [0,T]\)
from which we deduce, for every \(0 \le t_1 < t_2 \le T\),
where \(\Lambda _0\) is the constant defined in (3.12). By the previous inequality and (3.9) we have
Hence, applying again Lemma 2.2 we obtain that for every \(t>0\)
where \(B = \frac{c_1}{2}|\Omega |^{- \gamma }\Lambda _0^{\frac{q}{2}-1}\) from which the inequality (1.17) follows also in this case.
\(\square \)
Remark 3.1
The proof of Theorem 1.1 shows that in estimate (1.17) the following choice of B is admissible
with \(c_{Sob}\) the Sobolev’s constant defined in (3.5) and \(\gamma _0\) as in (1.10).
Remark 3.2
We notice that by (3.3) and (1.17) it follows that for every \(0< t_1< t_2 < + \infty \) the following estimates hold true
We conclude this section studying the particular case (1.7).
3.2 The special case (1.7)
We prove the following result.
Proposition 3.1
Let \(\mathbf{S}\) be as in (1.7), \(q > \frac{2N}{N+2}\), \(f \in (L^{q'}(\Omega _{\infty }))^{N^2}\) and \(u_0 \in H\). Then every global weak energy solution u of (1.1)–(1.4) belongs to \(C_w([0,T];H)\) for any \(T>0\) and satisfies the following estimate for any \(t > 0\)
where \(\Lambda = \Vert u_0\Vert _H^2 + c \Vert f\Vert _{L^{q'}(\Omega _{\infty })}\), \(c=c(q, \nu _0, \gamma _0)\) and \(B=B(\Omega , N, \nu _0)\).
Proof of Proposition 3.1
Let u be a weak energy solution u of (1.1)–(1.4). Proceeding exactly as in the proof of Theorem 1.1 it follows that u belongs to \(C_w([0,T];H)\) for any \(T>0\).
To prove estimate (3.18), we remark that since u is a global weak energy solution, for every \(T>0\) arbitrarily fixed there exists \(u_{\varepsilon }\) satisfying Definition 1.2. In particular, thanks to (1.7) the energy equality (1.15) becomes
Choosing \(t=t_2\) in (3.19) and then choosing \(t=t_1\) again in (3.19) and subtracting the equations obtained in this way we deduce for every \(0 \le t_1 < t_2 \le T\)
By (1.10) and Young inequality, from (3.20) we get
where \(c_1=c_1(\nu _0)\), \(c_2=c_2(\nu _0 , \gamma _0)\) and \(c_3=c_3(q,\nu _0 , \gamma _0)\). From the previous inequality we deduce
The result follows by applying Poincaré inequality and Lemma 2.2. \(\square \)
Remark 3.3
We point out that when \(q >2\) estimate (3.18) shows a faster decay (with respect to (1.17)) as \(t \rightarrow + \infty \), although it depends on the initial datum \(u_0\).
4 Decay estimates for weak limit solutions
In this section we consider the case of not regular initial data \(u_0 \in H_1\) and we prove the following existence result.
Theorem 4.1
Assume that the structural assumptions (1.8), (1.9) and (1.13) hold true a.e. in \(\Omega _{\infty }\) with \(q > 2\), \(g_1 \in L^{q'}(\Omega _{T})\) for any \(T>0\) and \(g_2 \in L^{1}(\Omega _{\infty })\). Let \(f \in (L^{q'}(\Omega _{\infty }))^{N^2}\) and \(u_0 \in H_1\). Then there exists a weak limit global solution (wls) u of (1.1)–(1.4). Moreover, for every \(\eta >0\), \(u \in L^{\infty }((\eta ,+\infty );(L^2(\Omega ))^N)\cap C_w([\eta ,\infty );H)\), \(Du \in L^q_{loc}((0,+\infty );\left( L^q(\Omega )\right) ^{N^2})\) and for every \(0< t_1< t_2 < + \infty \) the following bound holds
Finally, estimate (1.17) is true for any \(t>0\).
Here, by a weak limit global solution (wls) u of (1.1)–(1.4) we mean a vector function u that for every \(T>0\) is a weak limit solution of (1.1)–(1.4), where a weak limit solution u of (1.1)–(1.4) is a vector-valued function u in \( L^q_{loc}((0,T);V_q) \cap L^{\infty }_{loc}((0,T);H)\) satisfying
for every \(\varphi \in C^{\infty }(\Omega _T)^N\) with \(\nabla \cdot \varphi = 0\) and supp\((\varphi ) \subset \subset \Omega \times (0,T)\) and such that u is the a.e. limit in \(\Omega \times (0,T)\) (indeed further convergences hold) of vector functions \(u^{\varepsilon } \in C([0,T];H)\) satisfying
In other words, u is a weak limit solution if it is a distributional solution which satisfies the initial condition “\(u(0)={u}_0\)” in the very weak sense stated in (4.3). We point out that in the regular case \(u_0 \in H\), the weak solution constructed in Proposition 2.1 is also a weak limit solution and hence the notion of weak limit solution seems to be a natural extension of the previous notion of weak solution to the more general case of irregular data.
Proof of Theorem 4.1
Let \(T>0\) arbitrarily fixed. To prove the existence of a weak limit global solution of (1.1)–(1.4) we approximate the initial datum \(u_0\). In detail, let \(u_{0,\varepsilon } \in H\), \(\varepsilon >0\), such that
Let us consider the sequence \(u_{\varepsilon }\), where for every \(\varepsilon >0\) the function \(u_\varepsilon \) is the unique solution belonging to \( C([0,T];H) \cap L^q(0,T;V_q)\) of the following approximating system
where \(\phi _{\varepsilon }\) and \(p_{\varepsilon }\) are the same functions defined in the proof of Proposition 2.1.
We observe that, since \(u_\varepsilon \) is the unique solution of (4.5) which belongs to \( C([0,T];H) \cap L^q(0,T;V_q)\), it is possible to extend it (in a unique way) to a global solution of (4.5) belonging to \( C_{loc}([0,+\infty );H) \cap L^q_{loc}([0,+\infty );V_q)\). We denote such a global solution again \(u_\varepsilon \).
Proceeding exactly as in Sect. 3 for the proof of Theorem 1.1 (see also Remark 3.2) we obtain the following universal estimates
where \(\Lambda _1\) and g are as in the statement of Theorem 1.1. We notice explicitly, that since we are assuming \(q >2\) the previous estimates are independent of the initial data \(u_{0,\varepsilon }\). This fact allow to proceed exactly as in the proof of Theorem 1.3 in [21] and to conclude that “away from \(t=0\)”, i.e. for example for every \(0< T_1 < T\) arbitrarily fixed, there exists a subsequence of \(u_{\varepsilon }\) (that we denote \(u_{\varepsilon _1}\)) that converges a.e. in \(\Omega \times (T_1,T)\) to a function \(u \in C_w([T_1,T];H) \cap L^q(T_1,T;V_q)\). Moreover, (again by the arguments in the proof of Theorem 1.3 in [21]) stronger convergences hold true which allow to pass to the limit in the approximating problem and to conclude that (4.2) holds true for every test function \(\varphi \in C^{\infty }(\Omega _T)^N\) with \(\nabla \cdot \varphi = 0\) and supp\((\varphi ) \subset \subset \Omega \times (T_1,T)\). Let us fix \(T_1 = \frac{T}{2}\). With the same reasoning done above, we can conclude that there exists a subsequence of \(u_{\varepsilon _1}\) (that we denote \(u_{\varepsilon _2}\)) that converges a.e. in \(\Omega \times \left( \frac{T}{4}, 2T \right) \) to a function \(v \in C_w \left( \left[ \frac{T}{4},2T\right] ;H\right) \cap L^q\left( \frac{T}{4},2T;V_q\right) \). Moreover, stronger convergences hold true which allow to pass to the limit in the approximating problem and to conclude that (4.2) holds true (with u replaced by v and T replaced by 2T) for every test function \(\varphi \in C^{\infty }(\Omega _{2T})^N\) with \(\nabla \cdot \varphi = 0\) and supp\((\varphi ) \subset \subset \Omega \times \left( \frac{T}{4},2T\right) \). We point out that by construction it results \(u = v\) in \(\Omega \times (\frac{T}{2},T)\) and consequently we can denote \(u = v\) in all the set \(\Omega \times \left( \frac{T}{4},2T \right) \). Iterating this argument in the sets \(\Omega \times (\frac{T}{2^n},n T)\) we can construct a weak limit global solution u having the stated regularity and satisfying the universal estimate (1.17) for every \(t > 0\) and the universal bound (3.17) for every \(0< t_1< t_2 < + \infty \). \(\square \)
Notes
Here, and throughout what follows, for two matrices A and B of \(R^{N^2}\), we denote by A : B the sum \(A_{ij}B_{ij}\).
Sobolev inequality:
$$\begin{aligned} c_{Sob}\Vert v\Vert _{L^{q^*}(\Omega )} \le \Vert v\Vert _{W_0^{1,q}(\Omega )}, \quad \hbox { for every} \, \, v \in W_0^{1,q}(\Omega ), \end{aligned}$$(3.6)where \(c_{Sob}=c(q,N)\).
References
Astarita, G., Marrucci, G.: Principles of Non-Newtonian Fluid Mechanics. McGraw-Hill, London (1974)
Batchelor, G.K.: An Introduction to Fluid Mechanics. Cambridge University Press, Cambridge (1967)
Bird, R.B., Armstrong, R.C., Hassager, O.: Dynamics of Polymer Liquids, vol. 1: Fluid Mechanics, 2nd edn. Wiley, New York (1987)
Dong, Bo-Qing, Chen, Zhi-Min: Time decay rates of non-Newtonian flows in \({\mathbb{R}}^n_+\). J. Math. Anal. Appl. 324, 820–833 (2006)
Diening, L., R\(\dot{u}\)z̆ic̆ka, M., Wolf, J.: Existence of weak solutions for unsteady motions of generalized Newtonian fluids. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (5) IX, 1–46 (2010)
Evans, L.C.: Partial Differential Equations, Graduate Studies in Mathematics V. 19. American Mathematical Society, Providence (1997)
Farroni, F., Moscariello, G.: A nonlinear parabolic equation with drift term. Nonlinear Anal. TMA 177, 397–412 (2018)
Ladyženskaja, O.: The Mathematical Theory of Viscous Incompressible Flow. Gordon and Beach, New York (1969)
Lamb, H.: Hydrodynamics, 6th edn. Cambridge University Press, Cambridge (1945)
Lions, J.L.: Quelques m\(\acute{e}\)thodes de r\(\acute{e}\)solution des Problémes aux Limites Non Lin\(\acute{e}\)aires. Dunod, Gauthier-Villars, Paris (1969)
Malek, J., Rajagopal, K.R., R\(\dot{{\rm u}}\)z̆ic̆ka, M.: Existence and regularity of solutions and stability of the rest state for fluids with shear dependent viscosity. Math. Models Methods Appl. 5, 789–812 (1995)
Malek, J., Nec̆as, J., Ruz̆ic̆a, M.: On weak solutions to a class of non-Newtonian incompressible fluids in bounded three-dimensional domains: the case p \(\ge \) 2. Adv. Diff. Equs. 6(3), 257–302 (2001)
Moscariello, G., Porzio, M.M.: Quantitative asymptotic estimates for evolution problems. Nonlinear Anal. TMA 154, 225–240 (2017)
Nec̆asova, S., Penel, P.: \(L^2\) decay for weak solutions to equations of Non-Newtonian incompressible fluids in the whole space. Nonlinear Anal. 47, 4181–4192 (2001)
Porzio, M.M.: On decay estimates. J. Evol. Equ. 9(3), 561–591 (2009)
Porzio, M.M.: Existence, uniqueness and behavior of solutions for a class of nonlinear parabolic problems. Nonlinear Anal. TMA 74, 5359–5382 (2011)
Porzio, M.M.: On uniform and decay estimates for unbounded solutions of partial differential equations. J. Differ. Equ. 259, 6960–7011 (2015)
Porzio, M.M.: Regularity and time behavior of the solutions of linear and quasilinear parabolic equations. Adv. Differ. Equ. 23(5–6), 329–372 (2018)
Schonbek, M.E.: \(L^2\) decay for weak solutions of the Navier–Stokes equations. Arch. Ration. Mech. Anal. 88, 209–222 (1985)
Wilkinson, W.L.: Non-Newtonian Fluids, Fluid Mechanics, Mixing and Heat Transfer. Pergamon Press, London (1960)
Wolf, J.: Existence of weak solutions to the equations of non-stationary motion of non-Newtonian fluids with shear rate dependent viscosity. J. Math. Fluid Mech. 9, 104–138 (2007)
Acknowledgements
Open access funding provided by Università degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
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.
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
Moscariello, G., Porzio, M.M. On the behavior in time of solutions to motion of Non-Newtonian fluids. Nonlinear Differ. Equ. Appl. 27, 42 (2020). https://doi.org/10.1007/s00030-020-00645-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-020-00645-9