- Research
- Open access
- Published:
Global existence and uniqueness of solutions to the three-dimensional Boussinesq equations
Boundary Value Problems volume 2016, Article number: 85 (2016)
Abstract
In this paper, we study the three-dimensional Boussinesq equations and obtain the global existence and uniqueness of a suitable weak solution in unbounded exterior domain.
1 Introduction
Let \(D \subset{\mathbf {R}^{3}}\) be a bounded domain with a connected \(C^{2}\)-smooth boundary S, and \(D':={\mathbf {R}^{3}} \backslash D \) be the unbounded exterior domain. We consider following three-dimensional Boussinesq equations:
where \(p=p(x,t)\) is the scalar pressure, \(u=u(x,t)\) is the velocity vector field, and \(\theta=\theta(x,t)\) is a scalar quantity such as the concentration of a chemical substance or the temperature variation in a gravity field, in which case \(\theta e_{3}\) represents the buoyancy force. The nonnegative parameters μ and ν denote the molecular diffusion and the viscosity, respectively; \(u\cdot\nabla u:=u_{a}\partial_{a} u\), \(\partial_{a} u:=\frac{\partial u}{\partial x_{a}}:=u_{;a}\), \(u\cdot\nabla\theta:=u_{a}\partial_{a} \theta\), \(\nabla\cdot u:=u_{a;a}=0\), \(\frac{\partial u^{2}}{\partial x_{a}}:=(u^{2})_{;a}\), \(u^{2}=u_{b}u_{b}\). Over the repeated indices a and b summation is understood, \(1\leq a\), \(b\leq3\).
The Boussinesq system is one of the most commonly used fluid models since it has a vortex stretching effect similar to that in the 3D incompressible flow. The Boussinesq system has an important roles in the atmospheric sciences [1] and is a model in many geophysical applications [2]. For this reason, this system is studied systematically by scientists from different domains.
Before starting and proving our main results, let us first briefly recall the related results in the literature. For the three-dimensional case, the progress on the local well-posedness and regularity criteria on the inviscid Boussinesq equations has been made (see, e.g., [3–11]). Since there is no global well-posedness for the standard high-dimensional Boussinesq equations for large initial data, it is natural to consider the blow-up (or regularity) criterion. Various criteria for the Boussinesq equations have been obtained by considerable works (see, e.g., [3–5, 7–9, 12–17] and the references therein).
In this paper, we establish the global existence and uniqueness of a suitable weak solution to the three-dimensional Boussinesq equations in unbounded exterior domains.
We assume that \(u\in G\) and \(\theta\in J\), where
with arbitrary \(T>0\).
In this paper, \((f,g):=\int_{D'}f_{a}g_{a}\,dx\) denotes the inner product in \(L^{2}(D')\), \(\Vert f\Vert :=(f,f)^{\frac{1}{2}}\), \(f_{ja}\) denotes the ath component of the vector function \(f_{j}\), and \(f_{ja;b}\) is the derivative \(\frac{\partial f_{ja}}{\partial x_{b}}\).
Let us define a suitable weak solution to problem (1.1)-(1.5) that satisfies the identity
Here we took into account that \(-(\Delta u, v)=(\nabla u, \nabla v)\), \(-(\Delta\theta, w)=(\nabla\theta, \nabla w)\), and \((\nabla p, v)=-(p, v_{a;a})=0\), if \(v\in G\), \(w\in J\).
Equation (1.6) is equivalent to the integrated equation
We also assume that
Now we are in position to state our main results.
Theorem 1.1
If assumption (1.8) holds, \(u_{0}\in H_{0}^{1}(D)\) satisfies (1.3), and \(\theta_{0}\in H_{0}^{1}(D)\), then for all \(t\geq0\), there exist weak solutions \(u\in G\), \(\theta\in J\) to (1.6), and the solutions are unique, provided that \(|\theta(\cdot,t)|\), \(\Vert \nabla u\Vert ^{4}\in L_{\mathrm{loc}}^{1}(0,\infty)\).
Remark 1.1
2 Proof of Theorem 1.1
In this section, we prove the global existence and uniqueness of suitable weak solutions to problem (1.1)-(1.5). We begin with the following lemma.
Lemma 2.1
Let \(\theta_{0}\in L^{1}\cap L^{2}\) and \(u_{0}\in L^{2}\). Then the weak solutions u, θ of problem (1.1)-(1.5) satisfy
Proof
See, e.g., [20]. □
Lemma 2.2
Under assumption (1.8), the following estimate holds:
where \(C>0\) is a constant.
Proof
Take \(v=u\) and \(w=\theta\) in (1.6). Then
Thus, equation (1.6) with \(v=u\) and \(w=\theta\) implies
Integrating (2.3) over \([0,t]\), by virtue of (1.8), we get the following estimate:
Denote \(\sup_{s\in[0,t]}\Vert u(s)\Vert =\alpha(t)\). Then (2.4) implies
Since \(\alpha(t)\geq0\), inequality (2.5) yields
which, together with (2.4), gives (2.2). □
Remark 2.3
A priori estimate (2.2) implies that, for every \(T\in [0,\infty)\), \(u\in L^{\infty}(0,T; L^{2}(D'))\cap L^{2}(0,T; H_{0}^{1}(D'))\), \(\theta\in L^{2}(0,T; H_{0}^{1}(D'))\). This and equation (1.6) also imply that \(u_{t}, \theta_{t}\in L^{2}(D'\times[0,T])\).
Lemma 2.4
Under the assumptions of Theorem 1.1, there exist suitable weak solutions \(u\in G\), \(\theta\in J\) to problem (1.1)-(1.5).
Proof
The idea of the proof is to reduce the problem to the existence of the solution to a Cauchy problem for ordinary differential equations (ODE) of finite order and then to use an a priori estimate to establish the convergence of these solutions of ODE to the solutions of equations (1.6) and (1.7).
Let us look for the solutions to equation (1.6) of the form \(u^{n}:=\sum_{j=1}^{n}c_{j}^{n}(t)\phi_{j}(x)\), \(\theta^{n}:=\sum_{k=1}^{n}d_{k}^{n}(t)\phi _{k}(x)\), where \(\{\phi_{i}(x)\}_{i=1}^{\infty}\) is an orthonormal basis of the space \(L^{2}(D')\) of divergence-free vector functions belonging to \(H_{0}^{1}(D')\), and in the expression \(u^{n}\), \(\theta^{n}\), the upper index n is not a power. If we substitute \(u^{n}\), \(\theta^{n}\) into (1.6), take \(v=\phi_{v}\), \(w=\phi_{w}\), and use the orthonormality of the system \(\{\phi_{i}(x)\} _{i=1}^{\infty}\) and relation \((\nabla\phi_{j}, \nabla\phi _{v})=\lambda_{v}\delta_{jv}\), \((\nabla\phi_{k}, \nabla\phi_{w})=\lambda _{w}\delta_{kw}\), where \(\lambda_{v}\), \(\lambda_{w}\) are the eigenvalues of the vector Dirichlet Laplacian in D on the divergence-free vector fields, then we obtain a system of ODE for the unknown coefficients \(c_{v}^{n}\), \(d_{w}^{n}\):
Problem (2.4)-(2.5) has a global solution because of an a priori estimate that follows from (2.2) and Parseval’s relations:
Consider the set \(\{u^{n}=u^{n}(t)\}_{n=1}^{\infty}\), \(\{\theta^{n}=\theta ^{n}(t)\}_{n=1}^{\infty}\). Inequalities (2.2) and (2.8) for \(u=u^{n}\), \(\theta=\theta^{n}\) imply the existence of the weak limits \(u^{n}\rightharpoonup u\), \(\theta^{n}\rightharpoonup\theta\) in \(L^{2}(0,T; H_{0}^{1}(D'))\). This allows us to pass to the limit in equation (1.7) in all the terms except the term \(\int_{0}^{t} [(u_{s}, v)+(\theta_{s}, w) ]\,ds\). The weak limits of the terms \((u^{n}_{a}u_{b;a}^{n}, v_{b})\), \((u^{n}_{a} \theta^{n}_{b;a}, w_{b})\) exist and are equal to \((u_{a}u_{b;a}, v_{b})\), \((u_{a} \theta_{b;a}, w_{b})\), respectively, because
Note that \(v_{b;a},w_{b;a}\in L^{2}(D')\) and \(u^{n}_{a}u_{b}^{n}, u^{n}_{a}\theta _{b}^{n}\in L^{4}(D')\). Applying the interpolation inequality and the Schwarz inequality, we get
where \(\epsilon>0\) is an arbitrary small number. We have \(u^{n}_{a}u_{b}^{n} \rightharpoonup u_{a}u_{b}\) in \(L^{2}(D')\) as \(n\rightarrow\infty\) because bounded sets in a reflexive Banach space \(L^{4}(D')\) are weakly compact. Consequently, \((u^{n}_{a}u_{b;a}^{n}, v_{b})\rightarrow(u_{a}u_{b;a}, v_{b})\) as \(n\rightarrow\infty\). Similarly, we have \((u^{n}_{a}\theta_{b;a}^{n}, w_{b})\rightarrow(u_{a}\theta _{b;a}, w_{b})\) as \(n\rightarrow\infty\).
The weak limit of the \(\int_{0}^{t} [(\nabla u, \nabla v)+(\nabla \theta, \nabla w) ]\,ds\) exists because of the a priori estimate (2.2) and the weak compactness of the bounded sets in a Hilbert space. Since equation (1.7) holds and the limits of all its terms, except \(\int_{0}^{t} [(u_{s}^{n}, v)+(\theta_{s}^{n}, w) ]\,ds \), do exist, there exists the limit \(\int_{0}^{t} [(u_{s}^{n}, v)+(\theta _{s}^{n}, w) ]\,ds\rightarrow\int_{0}^{t} [(u_{s}, v)+(\theta_{s}, w) ]\,ds\) for all \(v, w\in G\). By passing to the limit as \(n\rightarrow \infty\) we prove that the limits u, θ satisfy (1.7). Differentiating (1.7) with respect to t yields (1.6) almost everywhere. □
Lemma 2.5
The global weak solutions u, θ from Lemma 2.4 are unique.
Proof
Suppose that there are two solutions to (1.6), \(u\in G\), \(\theta\in J\) and \(u'\in G\), \(\theta'\in J\), and let \(U=u-u'\), \(\Theta=\theta-\theta'\). Then
Since \(U\in G\), \(\Theta\in J\), we may set \(v=U\), \(w=\Theta\) in (2.11) and have
where we have used the following conclusions:
Thus, (2.12) implies
From Young’s inequality we get the following estimates:
Denoting \(z:=\Vert U\Vert ^{2}+\Vert \Theta \Vert ^{2}\) and choosing \(\epsilon=\frac {1}{2\Vert \nabla u\Vert }\) in inequalities (2.14), we obtain
Assume that \(|\theta(\cdot,t)|\), \(\Vert \nabla u\Vert ^{4}\in L^{1}_{\mathrm{loc}}(0,\infty)\). Then we get \(z=0\) for all \(t\geq0\). □
The proof of Theorem 1.1 is complete.
References
Majda, A: Introduction to PDEs and Waves for the Atmosphere and Ocean. Courant Lecture Notes in Mathematics, vol. 9. AMS/CIMS, Providence (2003)
Pedlosky, J: Geophysical Fluid Dynamics. Springer, New York (1987)
Chae, D, Kim, S-K, Nam, H-S: Local existence and blow-up criterion of Hölder continuous solutions of the Boussinesq equations. Nagoya Math. J. 155, 55-80 (1999)
Chae, D, Nam, HS: Local existence and blow-up criterion for the Boussinesq equations. Proc. R. Soc. Edinb., Sect. A 127, 935-946 (1997)
Cui, X, Dou, C, Jiu, Q: Local well-posedness and blow up criterion for the inviscid Boussinesq system in Hölder spaces. J. Partial Differ. Equ. 25, 220-238 (2012)
Danchin, R: Remarks on the lifespan of the solutions to some models of incompressible fluid mechanics. Proc. Am. Math. Soc. 141, 1979-1993 (2013)
Ishimura, N, Morimoto, H: Remarks on the blow-up criterion for the 3-D Boussinesq equations. Math. Models Methods Appl. Sci. 9, 1323-1332 (1999)
Liu, X, Wang, M, Zhang, Z: Local well-posedness and blowup criterion of the Boussinesq equations in critical Besov spaces. J. Math. Fluid Mech. 12, 280-292 (2010)
Shu, WEC: Small-scale structures in Boussinesq convection. Phys. Fluids 6, 49-58 (1994)
Taniuchi, Y: A note on the blow-up criterion for the inviscid 2D Boussinesq equations. Lect. Notes Pure Appl. Math. 223, 131-140 (2002)
Xu, X, Ye, Z: The lifespan of solutions to the inviscid 3D Boussinesq system. Appl. Math. Lett. 26, 854-859 (2013)
Chae, D: Local existence and blow-up criterion for the Euler equations in the Besov spaces. Asymptot. Anal. 38, 339-358 (2004)
Fan, J, Zhou, Y: A note on regularity criterion for the 3D Boussinesq system with partial viscosity. Appl. Math. Lett. 22, 802-805 (2009)
Liu, X, Li, Y: On the stability of global solutions to the 3D Boussinesq system. Nonlinear Anal. TMA 95, 580-591 (2014)
Qiu, H, Du, Y, Yao, Z: Local existence and blow-up criterion for the generalized Boussinesq equations in Besov spaces. Math. Methods Appl. Sci. 36, 86-98 (2012)
Ramm, AG: Existence and uniqueness of the global solution to the Navier-Stokes equations. Appl. Math. Lett. 49, 7-11 (2015)
Ye, Z: Blow-up criterion of smooth solutions for the Boussinesq equations. Nonlinear Anal. TMA 110, 97-103 (2014)
Ladyzhenskaya, O: The Mathematical Theory of Viscous Incompressible Flow. Gordon and Breach, New York (1969)
Temam, R: Navier-Stokes Equations. Theory and Numerical Analysis. North Holland, Amsterdam (1984)
Brandolese, L, Schonbek, ME: Large time decay and growth for solutions of a viscous Boussinesq system. Trans. Am. Math. Soc. 364, 5057-5090 (2012)
Acknowledgements
The work was in part supported by the NNSF of China (Nos. 11326158, 11271066, and 11571227) and the Innovation Program of Shanghai Municipal Education Commission (No. 13ZZ048).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
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
Liu, X. Global existence and uniqueness of solutions to the three-dimensional Boussinesq equations. Bound Value Probl 2016, 85 (2016). https://doi.org/10.1186/s13661-016-0592-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0592-9