Abstract
In this paper we prove existence of global strong-weak two-dimensional solutions to the Navier-Stokes and heat equations coupled by the external force dependent on temperature and the heat dissipation, respectively. The existence is proved in a bounded domain with the Navier boundary conditions for velocity and the Dirichlet boundary condition for temperature. Next, we prove existence of 3d global strong solutions via stability.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider a complete thermodynamical model of unsteady flows of incompressible homogeneous Newtonian fluids in a fixed bounded three-dimensional cylinder. The model comprises evolutionary equations for the velocity, pressure and temperature fields. We restrict our considerations to temperature independent material coefficients, that is, the viscosity and heat conductivity coefficients. We assume that the external force depends on temperature in a very special way (see Theorem 1). The heat equation contains the dissipative heating term which follows from the general theory of incompressible heat-conducting Navier-Stokes motions. We assume that the fluid is Newtonian, the internal energy is proportional to the temperature and the heat flux is proportional to the temperature gradient. Let \(D=\varOmega\times(-a,a)\) be a bounded cylinder, where \(\varOmega\subset\mathbb{R}^{2}\) be an open domain, \(L=2a\) is the length of the cylinder which is parallel to the \(x_{3}\)-axis. The three-dimensional problem under the consideration is as follows
where \(S=\partial D\), \(v=(v_{1}(x,t),v_{2}(x,t),v_{3}(x,t))\in \mathbb{R}^{3}\) is the velocity of the fluid, \(x=(x_{1},x_{2},x_{3})\) are given Cartesian coordinates, \(p=p(x,t)\in\mathbb{R}\) is the pressure, \(\theta=\theta(x,t)\in\mathbb{R}_{+}\) is the temperature of the fluid, \(f=(f_{1}(x,t),f_{2}(x,t),f_{3}(x,t))\in\mathbb{R}^{3}\) is the external force field. The Cartesian coordinates \(x\) are such that \(x_{3}\)-axis is parallel to the cylinder and it is located inside it. By the dot we denote the scalar product in \(\mathbb{R}^{3}\).
By \(\mathbb{D}(v)=\{v_{i,x_{j}}+v_{j,x_{j}}\}_{i,j=1,2,3}=\nabla v+ \nabla v^{T}\) we denote the dilatation tensor, \(\operatorname{\mathrm{rot}}^{2}= \operatorname{\mathrm{rot}}\operatorname{\mathrm{rot}}=-\Delta\) which holds on any divergence free vector. Moreover, \(\nu>0\) is the constant viscosity coefficient, \(\varkappa>0\) is also the constant heat conductivity coefficient and \(\theta_{*}>0\) is a constant. Moreover, \(\bar{n}\) is the unit outward normal vector to \(S\). The boundary \(S\) is split into two parts, i.e. \(S=S_{1}\cup S_{2}\), where \(S_{1}\) is parallel to the \(x_{3}\)-axis and \(S_{2}\) is perpendicular to it. Additionally, \(S_{2}=S_{2}(-a)\cup S _{2}(a)\), where \(S_{2}(b)\) meets \(x_{3}\)-axis at \(x_{3}=b\).
The function \(\alpha=\alpha(\theta)\) from the r.h.s. of \((1.1)_{1}\) will be determined later. The term \(\alpha(\theta)f\) generates the motion by heating and mechanically by the external force \(f\). Similarly, the term \(\nu|\mathbb{D}(v)|^{2}\) from the r.h.s. of \((1.1)_{3}\) heats the fluid by the viscous dissipation.
The aim of this paper is to prove the existence and uniqueness of a two-dimensional solution to problem (1), the global existence of sufficiently small three-dimensional perturbations of the 2d-solution and the existence of a global solution to problem (1) close to the two-dimensional solution assuming that the differences of external forces and initial data are sufficiently small in appropriate norms.
The important assumption is such that the external force \(f\) does not decay in time. This implies that the solution does not vanish as time tends to infinity. Then, via stability and periodicity, the existence of stationary 2d and 3d solutions can be proved.
The stability of a two-dimensional solution to the Navier-Stokes system with a nondecaying in time external force has been examined in [21] and [23]. In [21] the system supplemented by the periodic boundary conditions is considered, while the paper [23] is devoted to the system in a cylinder with the Navier boundary conditions.
Problem (1) is much more difficult than the problem considered in [19], where the r.h.s. of (1)3 is assumed to be zero. Then in [19] it is proved that there exists a global solution under the assumption that \(v_{,x_{3}}(0)\), \(\theta_{,x_{3}}(0)\), \(f_{,x_{3}}\) are sufficiently small in \(L_{2}\)-norms. Hence the obtained solution also has the same property. This means that the solution in [19] is close to the two-dimensional solution. However, in [19], contrary to this paper, it is not possible to control a behavior of solutions as time tends to infinity.
In paper [22] we proved the existence of a strong global solution to (1)1,2,3,6,7 with the slip boundary conditions for velocity which are close for all time to a two-dimensional solution. The above mentioned result is obtained under much stronger assumptions about \(\alpha\) than these supposed in this paper. More precisely, we assumed in [22] that \(|\alpha( \theta)|+|\alpha'(\theta)|\le\alpha_{*}\) for \(\theta\ge\theta _{*}>0\), where \(\alpha_{*}>0\) is a constant.
By a two-dimensional solution to problem (1) we mean functions \(w=(w_{1}(x_{1},x_{2},t), w_{2}(x_{1},x_{2},t),0)\in\mathbb{R}^{2}\), \(q=q(x_{1},x_{2},t)\in\mathbb{R}\) and \(\vartheta=\vartheta(x_{1},x_{2},t)\in\mathbb{R}_{+}\) which satisfy
where \(S_{0}\) is the boundary of \(\varOmega\), \(S_{1}=S_{0}\times(-a,a)\), \(\operatorname{\mathrm{rot}}^{(2)}w=w_{2,x_{1}}-w_{1,x_{2}}\), \(\tilde{\operatorname{\mathrm{rot}}} \varphi=(\varphi_{,x_{2}},-\varphi_{,x_{1}})\) and \(h=(h_{1}(x_{1},x _{2},t),h_{2}(x_{1},x_{2},t),0)\in\mathbb{R}^{2}\).
The direct calculation gives
Therefore the main operators in (1)1 and (2)1 are compatible. Moreover, it is shown in [23] that
and
where \(\bar{n}=(n_{1},n_{2},0)\), \(\bar{\tau}=(n_{2}, -n_{1},0)\).
To show the stability of two-dimensional solutions of (2) we introduce the quantities
which are solutions to the problem
To formulate main results of the paper we introduce the following notation:
where \(T>0\), \(k\in\mathbb{N}_{0}=\mathbb{N}\cup\{0\}\).
The norms introduced above as well as norms occurring in formulations of the main results are defined in Sect. 2.
Theorem 1
Assume that \(S_{0}\in C^{2}\), \(0<\sigma<\frac{1}{2}\), \(T>0\), \(h\in L_{2}(kT,(k+1)T;L_{2}(\varOmega))\cap L_{2r}(kT,(k+1)T;L_{\infty}(\varOmega))\) for all \(k\in\mathbb{N}_{0}\), where \(r= \frac{1}{1-2\sigma}\) and \(\bar{A}_{1}(T)<\infty\). Moreover, assume that \(w(0)\in H^{1}(\varOmega)\), \(\operatorname{\mathrm{div}}w(0)=0\), \(w(0)\cdot\bar{n}|_{S _{0}}=0\), \(\vartheta(0)\in L_{2}(\varOmega)\), \(\vartheta(0)\ge\theta _{*}\) for some constant \(\theta_{*}>0\), \(\alpha\in C([\theta_{*},+ \infty))\) and \(|\alpha(\vartheta)|\le a_{1}+a_{2}\vartheta^{\sigma }\) for \(\vartheta\ge\theta_{*}\), where \(a_{1}\ge0\), \(a_{2}>0\) are constants. Then there exists a unique solution
to problem (2) with \(\intop_{\varOmega}qdx=0\) for a.a. \(t>0\). Moreover,
where \(c(\bar{A}_{1},\bar{A}_{2})\) does not depend on \(k\).
Theorem 1 is proved in Sect. 3. The proof of Theorem 1 is based on the Faedo-Galerkin approximations combined with a step by step method. Since we need in the proof \(H^{2}\)-estimate for the velocity and \(H^{1}\)-estimate for the temperature, we assume that \(|\alpha(\vartheta)|\le a_{1}+a_{2}\vartheta^{\sigma}\) for \(\vartheta\ge\theta_{*}\), where \(0<\sigma<\frac{1}{2}\), \(a_{1},a_{2}>0\). This restriction is generated by the dissipative heating term appearing in the r.h.s. of (1)3. In the case of the lack of the dissipative term, the \(L_{p}\)-estimate for the temperature follows immediately, so the above restriction on \(\alpha\) is not necessary. To obtain estimate (4) we show that the data in time intervals \([kT,(k+1)T]\), \(k\in\mathbb{N}_{0}\) do not increase with \(k\).
Our next result is the theorem about the stability of the two-dimensional solution obtained in Theorem 1 in the set of three-dimensional solutions.
Let \(a>0\) be given. Then we define
where \(a=\frac{4\tilde{c}_{2}\tilde{c}_{0}}{\tilde{c}_{1}}\), \(\tilde{c} _{0}>0\) is the constant from (43) and \(\tilde{c}_{1}, \tilde{c}_{2}>0\) are the constants from inequality (48).
Theorem 2
Let \(S_{0}\in C^{2}\), \(0<\sigma<\frac{1}{2}\), \(h\in L_{2,loc}( \mathbb{R}_{+};L_{2}(\varOmega))\cap L_{2r,loc}(\mathbb{R}_{+}; L_{\infty}(\varOmega))\), where \(r=\frac{1}{1-2\sigma}\) and let \(\bar{A}_{1}(T)<\infty\) for every \(T>0\). Suppose that the assumptions of Theorem 1 concerning \(w(0)\), \(\vartheta(0)\) and \(\alpha\) are satisfied. Let \(g\in C(\mathbb{R}_{+};L_{\infty}(D))\), \(u(0)\in H^{1}(D)\), \(\operatorname{\mathrm{div}}u(0)=0\), \(u(0)\cdot\bar{n}|_{S}=0\), \(\chi(0)\in L_{2}(D)\), \(\theta(0)\ge\theta_{*}\), \(\alpha\in C^{1}([ \theta_{*},+\infty))\), \(|\alpha'(\theta)|\le a_{3}\) for \(\theta \ge\theta_{*}\), where \(a_{3}>0\) is a constant. Assume that \((h,f)\in{\mathcal{M}}\). Moreover, suppose that
and
There exists \(T>0\) such that if \(\delta,\gamma>0\) are sufficiently small and if \((u,\chi,\eta)\in H^{2,1}(D\times(kT,(k+1)T))\times L _{2}(kT,(k+1)T;H^{1}(D))\times L_{2}(kT,(k+1)T;H^{1}(D))\) with \(\chi_{t}\in L_{2}(kT,(k+1)T;H^{-1}(D))\) \(k\in\mathbb{N}_{0}\), is a solution to problem (3) then
and
where \(\bar{c}=\bar{c}(T)\) does not depend on \(k\) and \((w,\vartheta,q)\) is the two-dimensional solution to problem (1), which exists in virtue of Theorem 1.
To prove Theorem 2 we derive a nonlinear differential inequality (see the proof of Lemma 9) and then apply a contradiction argument.
Theorems 1 and 2 imply the following global existence result.
Theorem 3
Let \(S_{0}\in C^{2}\), \(0<\sigma<\frac{1}{2}\), \(h\in L_{2,loc}( \mathbb{R}_{+};L_{2}(\varOmega))\cap L_{2r,loc}(\mathbb{R}_{+}; L_{\infty}(\varOmega))\), where \(r=\frac{1}{1-2\sigma}\) and let \(\bar{A}_{1}(T)<\infty\) for every \(T>0\). Assume that the assumptions of Theorem 1 concerning \(w(0)\), \(\vartheta(0)\) and \(\alpha\) are satisfied. Let \(v(0)\in H^{1}(D)\), \(\operatorname{\mathrm{div}}v(0)=0\), \(v(0)\cdot\bar{n}|_{S}=0\), \(\theta(0)\in L_{2}(D)\), \(\theta(0) \ge\theta_{*}\), \(\alpha\in C^{1}([\theta_{*},+\infty))\), \(|\alpha'(\theta)|\le a_{3}\) for \(\theta\ge\theta_{*}\), where \(a_{3}>0\) is a constant. Moreover, assume that \(f\in{\mathcal{M}}\), \(g\in C(\mathbb{R}_{+};L_{\infty}(0))\), and let conditions (5)–(6) be satisfied. There exists \(T>0\) such that if \(\delta\) and \(\gamma\) are sufficiently small then there exists a unique global solution \((v,\theta,p)\in H^{2,1}(D\times(kT,(k+1)T)) \times C([kT,(k+1)T];L_{2}(D))\cap L_{2}(kT,(k+1)T;H^{1}(D))\times L _{2}(kT,(k+1)T;H^{1}(D))\), \(k\in\mathbb{N}_{0}\) of problem (1) with \(\intop_{\varOmega}pdx=0\).
In view of Theorem 1 we prove Theorem 2 by using estimates (7)–(8) derived for the Faedo-Galerkin approximations.
There is a wide literature concerning equations describing motions of incompressible heat conducting fluids. Papers [6, 8, 10, 16, 19] are concerned with solvability results for the Boussinesq equations, that is, for equations (1)1,2,3, where \(\nu|\mathbb{D}(v)|^{2}\) disappears. Kagei in [10] and Morimoto in [16] proved the existence of weak solutions to the three-dimensional Boussinesq equations with temperature – independent viscosity, while in [8] the weak solvability of the three-dimensional problem with temperature – dependent viscosity has been examined. Diaz and Galiano [6] showed existence of weak solutions to the following initial-boundary value problem
under some restrictions on the functions \(\nu(\theta)\), \(\varphi( \theta)\), \(F(\theta)\).
The question of the uniqueness of a solution to the two-dimensional Boussinesq equations with the Dirichlet boundary conditions and with temperature dependent viscosity has been studied in [9].
The recent papers concerning the Boussinesq system are [2] and [15]. In [2] Brandolese and Schonbek examine a large time behavior of both weak and strong solutions to the three-dimensional system. Liu and Li [15] study the stability question for the Cauchy problem to equations of type (1), where the r.h.s. of (1)3 vanishes and the r.h.s. of (1)1 equals \(\theta\bar{e}_{3}\), \(\bar{e}_{3}=(0,0,1)\). They consider two solutions \((v_{1},\theta_{1})\) and \((v_{2},\theta_{2})\), where \(\|\theta_{1}(0) \|_{L_{1}}\) and \(\|\theta_{2}(0)\|_{L_{2}}+\|v_{2}(0)\|_{B_{2,1}^{1/2}}\) are sufficiently small. The following stability is shown: \(v_{1}-v_{2}\), \(\theta_{1}-\theta_{2}\) are small if initially they are small. Since the Cauchy problem is considered, the technique of used function spaces is in the spirit of the French School. In contrast to our result solutions in [14] converge to zero as time tends to infinity.
Papers of Kagei [11, 12] are devoted to the two-dimensional system (1)1,2,3 where the left-hand side of equation (1)3 contains also the term \(-e_{2}\cdot v\), \(e_{2}=(0,1)\). Considering both the periodic and Dirichlet boundary conditions the author discusses the existence, uniqueness and large time behavior questions in dependence on assumptions about the right-hand side of (1)1 and initial data. Kagei [11] touched the very difficult 2d Bérnard convection problem. For a strongly nonhomogeneous boundary condition for the temperature the motion becomes very chaotic, so the concept of the strange attractor appears. The author relaxes the boundary condition on the temperature assuming that it is more homogeneous. Then he is able to derive many qualitative properties for the obtained weak solutions.
The Navier-Stokes system with temperature dependent viscosity coupled with the equation of conservation of internal energy has been studied in [3, 5, 7, 17].
Buliček, Feireisl, Málek [3] and Buliček, Kaplicky, Málek [4] proved the existence of suitable weak solutions to the Navier-Stokes-Fourier system in [3] and to the Stokes-Fourier in [4]. Moreover, Feireisl and Málek [7] studied the existence of weak solutions to the Navier-Stokes-Fourier system with temperature dependent viscosity. Naumann [17] proved the existence of weak solutions to system (1)1–(1)3 with the Dirichlet boundary conditions and with temperature-dependent viscosity and heat conductivity coefficients. Moreover, it is assumed that the r.h.s. of (1)1 disappears. Consighlieri, Rodrigues, Shilkin [5] consider problem similar to (1)1–(1)3 with temperature-dependent viscosity in 2d-torus, that is, with periodic boundary conditions. The existence of weak solutions is proved. Moreover, the viscosity coefficient \(\nu=\nu(\theta)\) satisfies \(\nu_{1}\), \(\nu_{2}\), \(\nu_{1}\le\nu(\theta)\le\nu_{2}\), where \(\nu_{1}\), \(\nu_{2}\) are two positive constants. Kagei, Ružička, Thäter [13] proved the existence, uniqueness and stability of the motionless state for system of type (1), where \(v\cdot\nabla v\) and \(v\cdot\nabla\theta\) disappear. But in (1)3 additionally appears the term \(\theta v\cdot f\). They proved the existence of an unique solution in the class: \(v\in C([0,T];D(P\Delta))\), \(\theta \in C([0,T];H^{2}(\varOmega)\cap H_{0}^{1}(\varOmega))\), where \(P\) is the Helmholtz projection. Shilkin in [18] studies the classical solvability of the coupled system of two nonlinear parabolic equations with temperature-dependent viscosity which models a Poiseuille-type flow of an incompressible viscous fluid. He shows the existence of solutions to equations simpler than (1) because the terms \(v\cdot \nabla v\) and \(v\cdot\nabla\theta\) disappear. Moreover, it is supposed that \(\alpha(\theta)=1\). The considered system is complemented by the Dirichlet conditions for the velocity and temperature. The problem is considered in a bounded domain.
The paper consists of four sections. In Sect. 2 notation and some auxiliary results are introduced. In Sect. 3 the two-dimensional problem is considered. Some useful a priori estimates are derived and Theorem 1 is proved. Section 4 contains the proofs of Theorems 2 and 3.
2 Notation and Auxiliary Results
Let \(\mathbb{N}_{0}=\mathbb{N}\cup\{0\}\) and let \(\varOmega\subset \mathbb{R}^{n}\) be an open set. By \(L_{p}(\varOmega)\), \(p\in[1,\infty ]\) we denote the Lebesque space of integrable functions and by \(W_{p}^{m}(\varOmega)\), \(m\in\mathbb{N}_{0}\), \(p\in[1,\infty]\) the Sobolev space. In the special case of \(p=2\) we use the notation: \(H^{m}(\varOmega)=W_{2}^{m}(\varOmega)\).
Let \(I\subset\mathbb{R}\) be an open interval. Then \(H^{2,1}(\varOmega \times I)\) denotes the space of functions with the finite norm
where \(D_{x}^{\alpha}=\partial_{x_{1}}^{\alpha_{1}}\dots\partial _{x_{n}}^{\alpha_{n}}\), \(|\alpha|=\alpha_{1}+\cdots+\alpha_{n}\), \(\alpha_{i}\in\mathbb{N}_{0}\), \(i=1,\dots,n\).
Let \(X\) be a Banach space. By \(L_{p}(I;X)\) we denote the space of all measurable functions \(u:I\to X\) with the finite norm
and
By \(C(\bar{I};X)\) we denote the space of all continuous functions \(u:\bar{I}\to X\) with the finite norm
Let \(u=u(x_{1},\dots,x_{n})\) be a scalar-valued function defined on \(\varOmega\subset\mathbb{R}^{n}\), \(n=2,3\). Then by \(\nabla u\) or \(u_{x}\) we denote the gradient of \(u\). For \(u:\varOmega\to\mathbb{R}^{n}\), \(n=2,3\), by \(\nabla u\) or \(u_{x}\) we denote the matrix \([u_{ix_{j}}]_{i,j=1,\dots,n}\). Moreover, then \(|u_{x}|=\sqrt{\sum_{ij=1}^{n}|u_{ix_{j}}|^{2}}\).
We need the following lemma.
Lemma 1
Let \(\theta(0)\!\in\! L_{2}(D)\) and assume that \(\theta(0)\!\ge \theta_{*}\) for some \(\theta_{*}\!>\!0\). Moreover, assume that functions \(v\), \(\theta\) such that \(\nabla v\in L_{\frac{20}{7}}(D\times(kT,(k+1)T))\), \(k\in\mathbb{N} _{0}\), \(\theta\in L_{\frac{10}{3}}(D\times(kT,(k+1)T))\), \(k\in \mathbb{N}_{0}\) satisfy (1). Then
Proof
Multiply (1)3 by \((\theta-\theta _{*})_{-}=\min\{\theta -\theta_{*},0\}\). Then
Integrating the above equality with respect to time yields
The l.h.s. of the above equality implies that \(\theta-\theta_{*} \in L_{10/3}(D\times(kT,(k+1)T))\). Then, by the Hölder inequality, the first integral on the r.h.s. is bounded if \(\mathbb{D}(v)\in L _{20/7}(D\times(kT,(k+1)T))\).
Hence
so \((\theta-\theta_{*})_{-}=0\) a.e. in \(D\times(kT,(k+1)T)\), which implies (9). □
Consider the problem
where \(\varOmega\subset\mathbb{R}^{2}\) is an open domain, \(S_{0}\) is the boundary of \(\varOmega\).
Lemma 2
(See [23])
Let \(S_{0}\in C^{s+1}\), \(b\in H^{s}(\varOmega)\), \(s\in\mathbb{N}_{0}\). Then there exists a solution \(w\in H^{s+1}( \varOmega)\) to problem (10) and
Now, consider the elliptic overdetermined problem
where \(D\subset\mathbb{R}^{3}\) is a cylinder.
Lemma 3
Let \(S_{1}\in C^{i+1}\), \(b\in H^{i}(D)\), \(i=1,2\), \(\operatorname{\mathrm{div}}b=0\). Then there exists a solution \(u\in H^{i+1}(D)\) to problem (11) and
In Sect. 3 (see Lemma 5) we need the following lemma.
Lemma 4
Let \(w\) be a sufficiently regular function satisfying
Then
Proof
Since \(\operatorname{\mathrm{rot}}^{(2)}w=w_{2x_{1}}-w_{1x_{2}}\) and \(\tilde{\operatorname{\mathrm{rot}}}\,\phi=(\phi_{x_{2}},-\phi_{x_{1}})\), we have
By condition (12)2 we get that \(I_{1}=0\). Next, by (12)1
Finally,
This concludes the proof. □
3 Existence of a Solution to Two-Dimensional Problem
First, we derive a priori estimates for a two-dimensional solution to problem (2). Introduce the function \(\bar{\vartheta }=\vartheta-\theta_{*}\). Then system (2) takes the form
where \(\bar{\vartheta}(0)=\vartheta(0)-\theta_{*}\). Assume that
Then \(\vartheta\ge\theta_{*}\) a.e. in \(\varOmega_{+}\) (see Lemma 1). Suppose also that
and
where \(a_{1}\ge0\), \(a_{2}>0\), \(0<\sigma<\frac{1}{2}\) are constants.
Introduce the notation
Lemma 5
Let \(S_{0}\in C^{2}\) and \(T>0\) be fixed. Assume that conditions (14)–(15) are satisfied and let \(w(0)\in H^{1}(\varOmega )\), \(\operatorname{\mathrm{div}}w(0)=0\), \(w(0)\cdot\bar{n}|_{S_{0}}=0\), \(\vartheta(0)\in L_{2}(\varOmega)\). Moreover, let
where \(r=\frac{1}{1-2\sigma}\). Assume that \((w,\bar{\vartheta},q)\) is a sufficiently regular solution to problem (13). Then
where \(\bar{c}_{1},\bar{c}_{2}>0\) are constants from inequality (21). Furthermore,
where \(t\in(kT,(k+1)T]\), \(k\in\mathbb{N}_{0}\), \(c>0\) is a constant.
Proof
Multiplying equation (13)1 by \(\tilde {\operatorname{\mathrm{rot}}} \operatorname{\mathrm{rot}}^{(2)}w=-\Delta w\), integrating over \(\varOmega\) and using Lemma 2 yields
Using (15) we have
where \(\|\bar{\vartheta}\|_{L_{4\vartheta}(\varOmega)}= ( \intop_{\varOmega}\bar{\vartheta}^{4\sigma}dx )^{\frac{1}{4\sigma}}\) for \(0<\sigma<\frac{1}{2}\).
By the imbedding theorem, Young inequality and Lemma 3 we get
Assuming that \(\varepsilon\) is sufficiently small we obtain
Now, multiplying (13)3 by \(\bar{\vartheta }\) gives
Using the Poincaré inequality and Lemma 2 we obtain
Multiplying (18) by a constant \(c_{5}>0\) so large that \(\frac{c_{1}c_{5}}{2}>c_{4}\) and adding (18) and (20) we get
where we used that \(2\sigma<1\) and applied the Young inequality with \(r'=\frac{1}{2\sigma}>1\), \(r=\frac{r'}{r'-1}=\frac{1}{1-2\sigma}\). Choosing \(\varepsilon\) sufficiently small we have
Hence
so
Therefore,
for \(t\in(kT,(k+1)T]\), \(k\in\mathbb{N}_{0}\). Inserting \(t=(k+1)T\) to (22) implies
Therefore, by iteration inequality (16) follows. Moreover, integrating (21) over \((kT,t)\) and using (16), we get (17). □
Lemma 6
Let the assumptions of Lemma 5 hold. Then
and
where \(c>0\) does not depend on \(k\).
Proof
Estimate \(\|w\|_{H^{1}(\varOmega)}^{2}\le c\|\operatorname{\mathrm{rot}}w\|_{L_{2}(\varOmega)}^{2}\) (see Lemma 2) and (17) imply (23). Next, by the estimate
we get
Now, integrating (19) over \((kT,t)\), \(t\in(kT,(k+1)T]\), \(k\in\mathbb{N}_{0}\) and using (17) and (25) we obtain
This ends the proof. □
Lemma 7
Let the assumptions of Lemma 5 be satisfied. Let \((w,\bar{ \vartheta},q)\) be a sufficiently regular solution to problem (13). Then
where \(c\) does not depend on \(k\).
Proof
Multiply (13)1 by \(w_{t}\) and integrate over \(\varOmega\) and with respect to time from \(kT\) to \((k+1)T\). We get
Using in (26) the estimate
next applying Lemmas 5–6 and assuming that \(\varepsilon\) is sufficiently small we obtain
Next, (13)1 yields
Finally, equation (13)3 and Lemmas 5–6 imply
This ends the proof. □
Now, our goal is to prove the existence of a strong-weak solution to problem (13). Denote
Definition 1
Let \(T>0\) be given. We call a function \((w,\bar{\vartheta})\) a weak solution to problem (13) if \(w\in L_{\infty}(kT,(k+1)T;L_{2}( \varOmega))\cap L_{2}(kT,(k+1)T;V)\), \(\bar{\vartheta}\in L_{\infty}(kT,(k+1)T;L _{2}(\varOmega))\cap L_{2}(kT,(k+1)T;H_{0}^{1}(\varOmega))\), \(w_{t}\in L _{2}(kT,(k+1)T;V^{*})\), \(\bar{\vartheta}_{t}\in L_{2}(kT,(k+1)T;H ^{-1}(\varOmega))\) for all \(k\in\mathbb{N}_{0}\) and
in the sense of distributions on \((kT,(k+1)T)\),
in the sense of distributions on \((kT,(k+1)T)\),
for all \(k\in\mathbb{N}_{0}\).
Definition 2
The triple \((w,q,\bar{\vartheta})\) is called a strong-weak solution to problem (13) if \((w,\bar{\vartheta})\) is a weak solution to (13) and if additionally \(w\in L_{\infty}(kT,(k+1)T;H^{1}( \varOmega))\cap L_{2}(kT,(k+1)T;H^{2}(\varOmega))\), \(\nabla q\in L_{2}(kT,(k+1)T;L _{2}(\varOmega))\) for all \(k\in\mathbb{N}_{0}\).
Now, we can sketch the proof of Theorem 1.
Proof of Theorem 1
We prove the existence of a strong-weak solution to problem (13) by applying the Faedo-Galerkin approximations. Let \(\{\phi_{i}\}_{i=1}^{\infty}\) and \(\{\psi_{i}\} _{i=1}^{\infty}\) be bases in \(V\) and \(H_{0}^{1}(\varOmega)\), respectively. For each \(m\in\mathbb{N}\), we define an approximate solution \(w_{m}(t)=\sum_{i=1}^{m}c_{im}(t)\phi_{i}\), \(\bar{\vartheta }_{m}(t)=\sum_{i=1}^{m}d_{im}(t)\psi_{i}\), which satisfies the following system of ordinary differential equations
where \(w_{kTm}\in\mathrm{span}\{\phi_{1},\dots,\phi_{m}\}\), \(w_{kTm}\to w(kT)\) strongly in \(V\) as \(m\to\infty\), \(\bar{\vartheta }_{kTm}\in\mathrm{span}\{\psi_{1},\dots,\psi_{m}\}\), \(\bar{\vartheta }_{kTm}\to\bar{\vartheta}(kT)\) strongly in \(L^{2}(\varOmega)\).
We choose a special basis \(\{\phi_{j}\}_{j=1}^{\infty}\) which consists of the eigenfunctions of the Stokes system with Navier’s boundary conditions, that is, \(\phi_{j}\) and some \(p_{j}\) satisfy
where \(\lambda_{j}\to\infty\) as \(j\to\infty\). In what follows we will use the weak formulation of (29), that is,
Now, we multiply the both sides of (27) by \(\lambda_{j}\) and use (30) to the first and second term on the left-hand side of (27). We also use the equality \(\intop_{\varOmega} \operatorname{\mathrm{rot}}w _{m}(t)\cdot \operatorname{\mathrm{rot}}^{(2)}\phi_{j}dx=\intop_{\varOmega} \operatorname{\mathrm{rot}}w_{m}(t)\cdot \operatorname{\mathrm{rot}}\phi_{j}dx\). To the other two terms in (27) we apply (30) and the identity
Next, multiplying the resulting system of equations by \(c_{jm}\) and summing for \(j=1,\dots,m\) we get
where we used that by Lemma 4
Similarly, multiplying (28) by \(d_{jm}(t)\) and summing for \(j=1,\dots,m\) we obtain
Then repeating the considerations from the proofs of Lemmas 5–7 we derive the following estimate
where \(c(A_{1},A_{2})\) does not depend on \(k\). By (31) and the Aubin-Lions lemma (see [14], Theorem 5.1) there exist subsequences of \(w_{m}\) and \(\bar{\vartheta}_{m}\) still denoted by \(w_{m}\) and \(\bar{\vartheta}_{m}\) such that
The above convergences enable passing to the limit in (27)–(28) in the standard way (after multiplying (27)–(28) by appropriate functions of \(t\) and integrating them in \([kT,(k+1)T]\)). In particular passing to the limit in the term on the r.h.s. of (27) is possible thanks to the strong convergence of \(\bar{\vartheta}_{m}\) in \(L_{2}(kT,(k+1)T;L _{2}(\varOmega))\), which yields that for a subsequence of \(\bar{\vartheta }_{m}\) we have
Therefore,
Moreover,
Hence (see [14], Lemma 1.3)
The last convergence suffices to pass to the limit in the r.h.s. of (27). This way we obtain that \((w,q,\bar{\vartheta})\) is the strong-weak solution to problem (13). This ends the proof of Theorem 1. □
4 Stability of Two-Dimensional Solution
To prove the stability of the two-dimensional solution which exists in virtue of Theorem 1 we need some a priori estimates of solutions to problem (3). Assume that
where \(\theta_{*}>0\) is the constant from assumption (14) and
where \(a_{3}>0\) is a constant. First, we formulate the lemma
Lemma 8
Let (32)–(33) and the assumptions of Theorem 1 be satisfied. Assume that \(f\in L_{2,loc}(\mathbb{R}_{+};L _{\infty}(D))\). Moreover, assume that \((w,\vartheta,q)\) is the two-dimensional solutions of problem (1) which exists in view of Theorem 1. Let \((u,\chi,\eta)\) be a sufficiently regular solution to problem (3). Then
for \(t>0\).
Proof
Multiplying equation (3)1 by \(\mathrm{rot}^{2}u\) and integrating over \(D\) gives
where \(\zeta=\beta\theta+(1-\beta)\vartheta\), \(\beta\in(0,1)\). Consider
where the summation convention over repeated indices is applied. By the boundary conditions
so
Therefore, the Hölder and Young inequalities applied in (35) yield
Consider the terms on the right-hand side of (36). First, using the interpolation inequality (see [1])
together with the estimates
and
(see Lemma 3) we have
where the Young inequality has been also used. Next,
where we used that \(w\) only depends on \(x_{1}\), \(x_{2}\). Finally, the third term on the right-hand side of (36) is bounded by
Hence inequality (36) yields
Now, multiply (3)3 by \(\chi\) and integrate the result over \(D\). We get
The first term on the right-hand side of (40) is bounded by
The second term is estimated by
We estimate the third term as follows
where the interpolation inequality
has been used (see [1]). Finally,
Using the above estimates in (36) we obtain
Inequalities (37)–(39) and (41) imply (34). □
Introduce the notation
By Lemma 6
where \(\tilde{c}_{0}>0\) does not depend on \(k\).
Lemma 9
Let the assumptions of Lemma 8 hold. Assume that
where \(\tilde{c}_{1},\tilde{c}_{2}>0\) are the constants from (48). Let \(\gamma\) and \(\delta\) be so small that
where \(M>0\) is the constant from (49). Moreover, let \(T\) be so large and \(\delta\) be so small that
If \(X(0)\le\gamma\) and \(G(t)\le\delta\gamma\) for all \(t\in \mathbb{R}_{+}\), then \(X(t)\le\tilde{c}\gamma\) for all \(t\in \mathbb{R}_{+}\), where \(\tilde{c}=\tilde{c}(T)\) does not depend on \(k\).
Proof
By Lemma 5
where \(c>0\) does not depend on \(k\). Now, by (42) and estimate (47), inequality (34) can be written in the form
Hence
where
Inequality (43) implies
where \(M>0\) is some constant which does not depend on \(k\). Therefore
Assume that
We will show that
Inequality (50) implies that
We will prove that \(Z(t)\le\gamma\) for all \(t\in[kT,(k+1)T]\). Let \(t^{*}=\inf\{t:Z(t)>\gamma\}\). Then
By assumption (45) we have
so \(Z(t)\le\gamma\) for all \(t\in[kT,(k+1)T]\). This implies that
and (45) yields
Hence
After integrating the above inequality with respect to \(t\) from \(t=kT\) to \(t\in(kT,(k+1)T]\) we obtain
For \(t=(k+1)T\) we have
Now, assumption (44) and estimate (43) imply
Hence
Now, (50), (46) and the assumption \(G(t)\le\delta \gamma\) for all \(t\in\mathbb{R}_{+}\) yield (51). Therefore, we showed that \(X(kT)\le\gamma\) for all \(k\in\mathbb{N}_{0}\). Next, by (53) we get
This ends the proof. □
Lemma 10
Let the assumptions of Lemma 9 be satisfied. Moreover, assume that
Then the following estimate holds
Proof
Integrating (34) with respect to time from \(kT\) to \(t\in[kT;(k+1)T]\) and using estimates (37)–(38) yields
for \(t\in[kT,(k+1)T],\ \ k\in\mathbb{N}_{0}\). Now, estimate (8) implies the estimates
and
This completes the proof. □
The proofs of Theorems 2 and 3
The assertion of Theorem 2 is the immediate consequence of Lemmas 8–10. The assertion of Theorem 3 follows by using estimates of Lemmas 9–10 and the Faedo-Galerkin method. □
References
Besov, O.V., Il’in, V.P., Nikol’skii, S.M.: Integral Representations of Functions and Imbedding Theorems. Nauka, Moscow (1975) (in Russian)
Brandolese, L., Schonbek, M.E.: Large time decay and growth for solutions of a viscous Boussinesq system. Trans. Am. Math. Soc. 364, 5057–5090 (2012)
Bulič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, 992–1015 (2009)
Buliček, M., Kaplicky, P., Málek, J.: An \(L^{2}\)-maximal regularity result for the evolutionary Stokes-Fourier system. Appl. Anal. 90, 31–45 (2011)
Consighlieri, L., Rodrigues, J.F., Shilkin, T.: On the Navier-Stokes equations with energy-dependent nonlocal viscosities. J. Math. Sci. 130, 4814–4826 (2005)
Diaz, J.I., Galiano, G.: Existence and uniqueness of solutions of the Boussinesq system with nonlinear thermal diffusion. Topol. Methods Nonlinear Anal. 11, 59–82 (1998)
Feireisl, E., Málek, J.: On the Navier-Stokes equations with temperature-dependent transport coefficients. Differ. Equ. Nonlinear Mech. 2006, 90616 (2006) (electronic), 14 pp.
Goncharova, O.N.: Solvability of the nonstationary problem for the equations of free convection with temperature dependent viscosity. Din. Sploš. Sredy 96, 35–58 (1990) (in Russian)
Goncharova, O.N.: Unique solvability of a two-dimensional nonstationary problem for the convection equations with temperature-dependent viscosity. Differ. Uravn. 38, 234–242 (2002) (in Russian). English translation: Differ. Equ. 38, 249–258 (2002)
Kagei, Y.: On weak solutions of nonstationary Boussinesq equations. Differ. Integral Equ. 6, 587–611 (1993)
Kagei, Y.: Atractors of two-dimensional equations of thermal convection in the presence of the dissipation function. Hiroshima Math. J. 25, 251–311 (1995)
Kagei, Y.: On two-dimensional equations of thermal convection in the presence of the dissipation function. In: Theory of the Navier-Stokes Equations. Series on Advances in Mathematics for Applied Sciences, vol. 47, pp. 72–85. World Scientific, Singapore (1998)
Kagei, Y., Ružička, M., Thäter, G.: Natural convection with dissipative heating. Commun. Math. Phys. 214, 287–313 (2000)
Lions, J.L.: Quelques Methodes de Résolution des Problémes aux Limites non Linéaires. Dunod, Paris (1969)
Liu, X., Li, Y.: On the stability of global solutions to the 3d Boussinesq system. Nonlinear Anal. 95, 580–591 (2014)
Morimoto, H.: Non-stationary Boussinesq equations. J. Fac. Sci., Univ. Tokyo, Sect. 1A, Math. 39, 61–75 (1992)
Naumann, J.: On the existence of weak solutions to the equations of non-stationary motion of heat-conducting incompressible viscous fluids. Math. Methods Appl. Sci. 29, 1883–1903 (2006)
Shilkin, T.: Classical solvability of the coupled system modelling a heat-convergent Poiseuille-type flow. J. Math. Fluid Mech. 7, 72–84 (2005)
Socała, J., Zajączkowski, W.M.: Long time existence of regular solutions to 3d Navier-Stokes equations coupled with heat convection. Appl. Math. 30, 231–242 (2012)
Solonnikov, V.A.: Overdetermined elliptic boundary value problems. Zap. Nauch. Semin. LOMI 21, 112–158 (1971) (in Russian)
Zadrzyńska, E., Zajączkowski, W.M.: Stability of two-dimensional Navier-Stokes motions in the periodic case. J. Math. Anal. Appl. 423, 956–974 (2015)
Zadrzyńska, E., Zajączkowski, W.M.: Stability of two-dimensional heat-conducting incompressible motions in a cylinder. Nonlinear Anal. 125, 113–127 (2015)
Zajączkowski, W.M.: Stability of two-dimensional solutions to the Navier-Stokes equations in cylindrical domains under Navier boundary condition. J. Math. Anal. Appl. 444(1), 275–297 (2016)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zadrzyńska, E., Zaja̧czkowski, W.M. On Stability of Solutions to Equations Describing Incompressible Heat-Conducting Motions Under Navier’s Boundary Conditions. Acta Appl Math 152, 147–170 (2017). https://doi.org/10.1007/s10440-017-0116-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10440-017-0116-3