- Research
- Open access
- Published:
The local existence of strong solution for the stochastic 3D Boussinesq equations
Boundary Value Problems volume 2019, Article number: 42 (2019)
Abstract
The stochastic 3D Boussinesq equations with additive noise are considered. We prove the local existence of the strong solution in \(H^{s}\) (\(\frac{1}{2}< s\leq 1\)). We also obtain a new stopping time, which shows that the \(H^{\frac{1}{2}^{+}}\) norm of u controls the breakdown of the strong solution. Furthermore, we give the probability estimate of the lifespan larger than δ (\(0<\delta <1\)).
1 Introduction
In this paper, we consider the stochastic 3D Boussinesq equations driven by an additive noise:
where \(u=(u_{1},u_{2},u_{3})\) is the velocity field of the flow, ρ is the scalar temperature, and p is the scalar pressure; ν, κ are nonnegative viscosity parameters and \(e_{3}\) is the vertical unit vector of \(\mathbb{R}^{3}\). \(\{W_{i}\}_{i=1}^{ \infty }\), \(\{\widetilde{W}_{i}\}_{i=1}^{\infty }\) are given independent standard Brownian motions defined in the filtered space \((\varOmega , \mathcal{F}, \mathcal{F}_{t}, \mathbb{P})\) with \(\mathcal{F}_{t}\) (a set of sub σ-fields of \(\mathcal{F}\) with \(\mathcal{F}_{s} \subset \mathcal{F}_{t} \subset \mathcal{F}\) if \(0\leq s< t<\infty \)), \(\varPhi _{i,1}\) and \(\varPhi _{i,2}\) are the components of the random force.
If \(\varPhi _{i,1}=\varPhi _{i,2}\equiv 0\), system (1.1) becomes the deterministic Boussinesq equations, which have been extensively studied for their physical significance as well as mathematical importance in recent years (see, e.g., [1,2,3,4]). For 2D Boussinesq equations, the global regularity issue has been settled in the affirmative under various degrees of viscosity: with full viscosity \(\nu >0\) and \(\kappa >0\), partial viscosity \(\nu >0\) and \(\kappa =0\), or \(\nu =0\) and \(\kappa >0\) for anisotropic models [5,6,7,8,9,10], and with fractional Laplacian dissipation (see [11,12,13,14,15] and the references therein). For the 3D Boussinesq system and the inviscid case in 2D, we can only obtain the local well-posedness result or the global regularity result with respect to small initial data, see [16,17,18,19,20,21] etc.
In the meantime, researchers are interested in the stochastic Boussinesq equations by considering that a system in reality is usually affected by external perturbations which in many cases are of great uncertainty or random influence. Ferrario [22] first studied the two-dimensional stochastic Boussinesq system with full viscosity, additive noise only on the velocity field equation, and obtained the existence and uniqueness of its solution and invariant measures for the associated semigroup. Following the work of the deterministic case in [6, 7], Pu and Guo [23] studied the stochastic Boussinesq system with partial viscosity with additive noise and obtained the global well-posedness type results. Then, Duan and Millet [24] considered the multiplicative noise case and the large deviations, Brzeźniak and Motyl [25] generalized the existence result (martingale solutions) to the 3D case, and Yamazaki [26] considered the stochastic Boussinesq system with zero dissipation in 2D.
To the best of our knowledge, the problem of the existence and uniqueness of the strong solutions for the 3D stochastic full viscosity Boussinesq equations is still open. In this paper, we prove that the Cauchy problem (1.1) admits a local strong solution under some conditions and obtain a blow-up time. Also, the probability estimate of the lifespan larger than δ (\(0<\delta <1\)) is given in our paper.
Without loss of generality, we take \(\nu =\kappa =1\). We first state the definition of the local strong solutions for the stochastic Boussinesq equations (1.1).
Definition 1.1
Fix stochastic \(\mathcal{S}:= (\varOmega , \mathcal{F}, \mathcal{F}_{t}, \mathbb{P})\). Let \((u_{0},\rho _{0})\in {H}_{\sigma }^{s}\times H^{s}\) be \(\mathcal{F}_{0}\) measurable, \(\frac{1}{2}< s\leq 1\), \(U=(u,\rho )\).
(i) A pair \((U ,\tau )\) is called a local strong solution of (1.1) if the following conditions are satisfied:
-
U is a right continuous progressively measurable process and, for all \(0< T<\infty \),
$$ U\in L^{2}\bigl(\varOmega ;L^{\infty }\bigl([0,T];{H}^{s}_{\sigma } \times H^{s}\bigr)\bigr) \cap L^{2}\bigl(\varOmega ;L^{2}\bigl([0,T];{H}^{s+1}_{\sigma }\times H^{s+1}\bigr)\bigr); $$ -
\(\tau (\omega )\) is a stopping time with respect to \(\mathcal{F}_{t}\) such that
$$ \tau (\omega )=\lim_{N\rightarrow \infty } \tau _{N}(\omega ) \quad \text{for almost all } \omega , $$where, for \(N=1,2,\ldots \) ,
$$ \tau _{N}(\omega )= \textstyle\begin{cases} \inf \{0\leq t < \infty : \Vert U(t) \Vert ^{2}_{H^{s}}+\int _{0}^{t} \Vert \nabla U(s) \Vert _{H^{s}}^{2}\,ds\geq N \}, \\ \infty , \quad \text{if the above set } \{\cdot \} \text{ is empty}; \end{cases} $$(1.2) -
\(U(t,x)\in C([0,\tau (\omega ));{H}^{s}_{\sigma }\times H^{s})\) for almost all \(\omega \in \varOmega \), and the following holds \(\mathbb{P}\)-a.s.:
$$\begin{aligned}& \begin{aligned} \bigl\langle u(t\wedge \tau _{N}), \phi \bigr\rangle -\langle u_{0},\phi \rangle ={}& \int _{0}^{t\wedge \tau _{N}} \bigl(\langle \nabla u, \nabla \phi \rangle - \langle u\cdot \nabla u,\phi \rangle \bigr) \,ds \\ & {} + \Biggl\langle \sum_{i=1}^{\infty } \int _{0}^{t\wedge \tau _{N}}\varPhi _{1,i}\,d W_{i}(s),\phi \Biggr\rangle , \end{aligned} \\& \begin{aligned} \bigl\langle \rho (t\wedge \tau _{N}), \psi \bigr\rangle -\langle \rho _{0}, \psi \rangle ={}& \int _{0}^{t\wedge \tau _{N}}\bigl(\langle \nabla \rho , \nabla \psi \rangle -\langle u\cdot \nabla \rho ,\psi \rangle \bigr) \,ds \\ & {} + \Biggl\langle \sum_{i=1}^{\infty } \int _{0}^{t\wedge \tau _{N}}\varPhi _{2,i}\,d \widetilde{W}_{i}(s),\psi \Biggr\rangle \end{aligned} \end{aligned}$$for all \(0\leq t<\infty \) and all \((\phi ,\psi )\in H_{\sigma }^{1} \times H^{1}\). Here \(\langle \cdot ,\cdot \rangle \) is the inner product, and the definition of spaces will be given in Sect. 2.
(ii) We say the strong solutions are unique if, given any pair \((U,\tau )\), \((\widetilde{U},\widetilde{\tau })\) of strong solutions,
Let \(\varPhi _{j}:=\{\varPhi _{j,i}\}_{i=1}^{\infty }\) (\(j=1,2\)). Our main results are stated in the following two theorems.
Theorem 1.2
Fix stochastic \(\mathcal{S}:= (\varOmega , \mathcal{F}, \mathcal{F}_{t}, \mathbb{P})\). Let \((u_{0},\rho _{0})\in L^{2}(\varOmega ;{H}_{\sigma } ^{s}\times H^{s})\) be \(\mathcal{F}_{0}\) measurable, \((\varPhi _{1},\varPhi _{2})\in L^{2}(\varOmega ;L^{2}_{\mathrm{loc}}(\mathbb{R}^{+};\mathbb{H}^{s} \times \mathbb{H}^{s}))\) is progressively measurable. Then there exists a unique strong solution \((U, \tau )\) to system (1.1).
Moreover, the blow-up time could be weaker. Indeed, we have the following theorem.
Theorem 1.3
Let \(\frac{1}{2}< s' \leq s\), define
Then \(\zeta =\tau \) a.s., and we have
where
Remark 1.4
In fact, we can consider the more general case that the solution \(U\in H_{0}^{s}\times H^{n}\) (\(\frac{1}{2}< s\), \(\frac{1}{2}< n\), \(s-2 \leq n\leq s\)). The proof is similar to ours.
We can construct the strong solution by the contraction mapping principle, cut-off function method, and Cauchy convergence theorem. For the detailed procedure, refer to [27]. Theorem 1.3 can be proved by using the stopping time and energy estimates.
The rest of the paper is organized as follows. We shall introduce some analysis tools in Sobolev spaces and some basic theory of stochastic analysis in Sect. 2. In Sect. 3, we shall prove the local existence of the strong solution, and Theorem 1.3 will be proved in the last section.
2 Preliminaries
Let \(H^{m}=W^{m,2}(\mathbb{R}^{3})\) be the usual Sobolev space. We use the same notation \(H^{m}\) for \(H^{m}(\mathbb{R}^{3};\mathbb{R}^{3})\) also. The symbols \(\langle \cdot \rangle _{H^{m}}\) and \(\Vert \cdot \Vert _{H ^{m}}\) represent the inner product and the norm of \(H^{m}\), respectively. We introduce the function space
The symbol P denotes the projection \(H^{m}\rightarrow H _{\sigma }^{m}\). We recall the following inequality which will be used later: for all \(v\in H^{s'}\), \(u\in H^{\frac{3}{2}+s-s'}\), and \(w\in H^{s+1}\), \(\frac{1}{2}< s'\leq s\leq 1\), we have
since \(H^{s'}\subset L^{p}\), \(H^{\frac{1}{2}+s-s'}\subset L^{q}\), \(H^{1-s}\subset L^{r}\), \(1/p+1/q+1/r=1\). By the interpolation inequality, we have
We define the space for the white noise. Let \(\varPhi :=\{\varPhi _{i}\}_{i=1} ^{\infty }\), suppose \(m\geq 0\), define
with the norm
When \(s = 0\), we also denote \(\mathbb{L}^{2}\) by \(\mathbb{H}^{0}\).
Now, we recall some basic theory of stochastic analysis. For details, we refer the reader to [28,29,30,31] and the references therein.
Lemma 2.1
Suppose that \(M_{t}=(M_{t}^{1},M_{t}^{2},\ldots,M_{t}^{n})\) is a vector of continuous local martingales, that is, \((M_{t}^{i}, \mathcal{F} _{t})\) is a local martingale for each \(i=1,2,\ldots,n\) and \(t\in \mathbb{R}^{+}\). Let \(A_{t}=(A_{t}^{1}, A_{t}^{2},\ldots,A_{t} ^{n})\) be a vector of continuous process adapted to the same filtration such that the total variation of \(A_{t}^{i}\) on each finite interval is bounded almost surely, and \(A_{0}^{i}=0\) almost surely. Let \(X_{t}=(X_{t}^{1}, X_{t}^{2},\ldots,X_{t}^{n})\) be a vector of adapted processes such that \(X_{t}=X_{0}+M_{t}+A_{t}\), and let \(f\in C^{1,2}( \mathbb{R}^{+}\times \mathbb{R}^{n})\). Then, for any \(t\geq 0\), the equality
holds almost surely. Here \(\langle \cdot ,\cdot \rangle _{t}\) is the cross variation process defined by \(\langle X,Y\rangle _{t}= \frac{1}{4}\{\langle X+Y\rangle _{t} -\langle X-Y\rangle _{t}\}\), and \(\langle X\rangle _{t}\) denotes the quadratic variation of X on \([0,t]\).
Lemma 2.2
(Burkholder–Davis–Gundy inequality)
Let \(T>0\) and \(\{X_{t}\}_{0\leq t\leq T}\) be a continuous local martingale such that \(X_{0}=0\). For every \(0< p<\infty \), there exist universal constants \(c_{p}\) and \(C_{p}\), independent of T and \(X_{t}\), such that
3 The local existence of local strong solution
We first give the key estimate to prove the local existence and uniqueness of the strong solution. Fix \(N>0\) to be determined, choose a \(C^{\infty }\)-smooth nonincreasing function \(\varphi _{N}:[0,\infty )\rightarrow [0,1]\) such that
and
We consider the following Cauchy problem:
for \(j=1,2\). By Itô’s formula in \(H^{s}\) and the equations of \((u^{j}, \rho ^{j})\), we have
and
We have the following proposition.
Proposition 3.1
For any \(T>0\), we have
where \(\bar{u}=u_{1}-u_{2}\), \(\bar{\rho }=\rho _{1}-\rho _{2}\), and \(\bar{\varPhi }_{i}=\varPhi _{i}^{1}-\varPhi _{i}^{2}\) (\(i=1,2\)).
Proof
Set
We consider three cases:
-
Case 1:
\(\varphi _{N}^{u^{1},\rho ^{1}}>0\), \(\varphi _{N}^{u^{2}, \rho ^{2}}>0\):
$$\begin{aligned}& \begin{aligned}[b] Q_{1}(t) &\leq \bigl\vert \varphi _{N}^{u^{1},\rho ^{1}}-\varphi _{N}^{u^{2},\rho ^{2}} \bigr\vert \bigl\vert \bigl\langle u^{1}\cdot \nabla u^{1},u^{1}-u^{2}\bigr\rangle _{H^{s}} \bigr\vert \\ &\quad{} + \bigl\vert \bigl\langle \bigl(u^{1}-u^{2} \bigr)\cdot \nabla u^{1},u^{1}-u^{2}\bigr\rangle _{H^{s}} \bigr\vert \\ &\quad{} + \bigl\vert \bigl\langle u^{2}\cdot \nabla \bigl(u^{1}-u^{2}\bigr), u^{1}-u^{2} \bigr\rangle _{H ^{s}} \bigr\vert \\ & := I_{1}+I_{2}+I_{3}, \end{aligned} \end{aligned}$$(3.5)$$\begin{aligned}& \begin{aligned}[b] Q_{2}(t) &\leq \bigl\vert \varphi _{N}^{u^{1},\rho ^{1}}-\varphi _{N}^{u^{2},\rho ^{2}} \bigr\vert \bigl\vert \bigl\langle u^{1}\cdot \nabla \rho ^{1},\rho ^{1}-\rho ^{2}\bigr\rangle _{H^{s}} \bigr\vert \\ &\quad{} + \bigl\vert \bigl\langle \bigl(u^{1}-u^{2} \bigr)\cdot \nabla \rho ^{1}, \rho ^{1}-\rho ^{2} \bigr\rangle _{H^{s}} \bigr\vert \\ &\quad{} + \bigl\vert \bigl\langle u^{2}\cdot \nabla \bigl(\rho ^{1}-\rho ^{2}\bigr), \rho ^{1}-\rho ^{2} \bigr\rangle _{H^{s}} \bigr\vert \\ &:= J_{1}+J_{2}+J_{3}. \end{aligned} \end{aligned}$$(3.6) -
Case 2:
\(\varphi _{N}^{u^{1},\rho ^{1}}>0\), \(\varphi _{N}^{u^{2}, \rho ^{2}}=0\):
$$\begin{aligned}& Q_{1}(t) \leq \bigl\vert \varphi _{N}^{u^{1},\rho ^{1}}- \varphi _{N}^{u^{2},\rho ^{2}} \bigr\vert \bigl\vert \bigl\langle u^{1}\cdot \nabla u^{1},u^{1}-u^{2} \bigr\rangle _{H^{s}} \bigr\vert , \end{aligned}$$(3.7)$$\begin{aligned}& Q_{2}(t) \leq \bigl\vert \varphi _{N}^{u^{1},\rho ^{1}}- \varphi _{N}^{u^{2},\rho ^{2}} \bigr\vert \bigl\vert \bigl\langle u^{1}\cdot \nabla \rho ^{1},\rho ^{1}-\rho ^{2}\bigr\rangle _{H^{s}} \bigr\vert . \end{aligned}$$(3.8) -
Case 3:
\(\varphi _{N}^{u^{1},\rho ^{1}}=0\), \(\varphi _{N}^{u^{2}, \rho ^{2}}>0\):
$$\begin{aligned}& Q_{1}(t) \leq \bigl\vert \varphi _{N}^{u^{1},\rho ^{1}}- \varphi _{N}^{u^{2},\rho ^{2}} \bigr\vert \bigl\vert \bigl\langle u^{2}\cdot \nabla u^{2},u^{1}-u^{2}\bigr\rangle _{H^{s}} \bigr\vert , \end{aligned}$$(3.9)$$\begin{aligned}& Q_{2}(t) \leq \bigl\vert \varphi _{N}^{u^{1},\rho ^{1}}- \varphi _{N}^{u^{2},\rho ^{2}} \bigr\vert \bigl\vert \bigl\langle u^{2}\cdot \nabla \rho ^{2},\rho ^{1}-\rho ^{2}\bigr\rangle _{H^{s}} \bigr\vert . \end{aligned}$$(3.10)
Denote
we shall estimate \(Q_{1}(t)\) and \(Q_{2}(t)\). For \(Q_{1}(t)\), by taking \(s'=s\) in (2.1) and (2.2), we have
Hence, it holds that
where
according to the definition of \(\varphi _{N}^{u}\). Similarly, we have
Therefore
and
In addition,
Introducing a stopping time:
Therefore, combining (3.2)–(3.19) and recalling the classical Grönwall inequality, we get
Furthermore, by the Burkholder–Davis–Gundy inequality (2.4), one has
and
Taking the mathematical expectation in (3.20), (3.21), and (3.22) implies
□
Hence, we get the key estimate for proving the existence of strong solution. Now, we give the sketch for the proof of the existence and uniqueness of strong solution.
1. Let \(v_{\varepsilon }\) be the Friedrichs mollifier. By the contraction mapping principle, we can show that the approximate mollified equation
admits a unique global strong solution.
2. It follows from (3.23) that \(\{U_{\varepsilon _{i}}\}\) is a Cauchy sequence in
Let U be the limit. We can extract a subsequence still denoted by \(U_{\varepsilon _{i}}\) such that
Then \(\varphi _{N}^{u_{\varepsilon _{i}},\rho _{\varepsilon _{i}}}\rightarrow \varphi _{N}^{u,\rho }\). Hence U is the unique solution of the modified equation
3. Define the stopping time, and drop the cut-off function by the uniqueness of U, we can get the local strong solution of (1.1). If there are two solutions U defined for \([0,\tau )\) and Ũ defined for \([0,\widetilde{\tau })\), then by inequality (3.4), for any \(N\geq 1\),
If \(\widetilde{\tau }_{N}<\tau _{N}\), then \(\Vert U(\tau _{N})\Vert _{H^{s}} ^{2}\geq N\), which contradicts the definition of \(\tau _{N}\) in (1.2). Hence \(\tau _{N}\leq \widetilde{\tau }_{N}\). Similarly, we have \(\widetilde{\tau }_{N}\leq \tau _{N}\), thus \(\widetilde{\tau }_{N}=\tau _{N}\). Therefore, we obtain the uniqueness of solutions.
4 Proof of Theorem 1.3
4.1 A new blow-up time
We introduce another stopping time as follows:
We have the following proposition.
Proposition 4.1
For any \(K>0\), \(\widetilde{\zeta }_{K}<\tau \) almost surely on the set \(\{\tau <\infty \}\).
Proof
Define \(S_{k}^{N}=\{\tau _{N}\leq \widetilde{\zeta }_{K}\}\cap \{\tau _{N}\leq k\}\) for \(k\geq 1\) and \(N\geq 1\). According to Itô’s formula and the equation of \(( u,\rho )\), we have
By (2.1) and (2.2), Young’s inequality, and Hölder’s inequality, we bound
and
By Grönwall’s inequality, we obtain
According to the definition of \(\widetilde{\zeta }_{K}\), we have
Furthermore, by the Burkholder–Davis–Gundy inequality (2.4), one has
Taking the mathematical expectation in (4.6), we have
By the definition of \(A_{N}^{k}\), one has
By Chebyshev’s inequality, it follows from (4.9) that
Define \(A^{k}=\{\tau \leq \zeta _{K}\}\cap \{\tau \leq k\}\), then \(A^{k}\subset A_{N}^{k}\) for all N, so \(\mathbb{P}(A^{k})=0\). Since \(\{\tau \leq \zeta _{K}\}\cap \{\tau <\infty \}= \bigcup_{k=1}^{\infty }A ^{k}\), then \(\mathbb{P}(\{\tau \leq \zeta _{K}\}\cap \{\tau <\infty \})=0\). The proof of Proposition 4.1 is thus complete. □
Then, by the definition of \(\zeta _{K}\) (1.3), we have \(\widetilde{\zeta }_{K}=\zeta _{K}\) and \(\zeta \leq \tau \) a.s. On the other hand, \(\Vert u\Vert _{H^{s'}}\leq \Vert u\Vert _{H^{s}}\), then \(\Vert u(\tau _{N})\Vert _{H^{s'}}\leq N\). Due to the definition of \(\zeta _{K}\), we have \(\tau _{N}\leq \zeta _{N}\). Therefore,
and ζ is another blow-up time.
4.2 The proof of (1.4)
By Itô’s formula for \(\Vert \rho \Vert _{L^{2}}^{2}\), we have
By the Burkholder–Davis–Gundy inequality (2.4), we have
Therefore, we obtain
Applying Itô’s formula for \(\Vert u\Vert _{H^{s'}}^{2}\), we have
By (2.1), we bound
and
Similar to (4.8), we have
Combining (4.13)–(4.17) and recalling the definition of \(\zeta _{K}\), we obtain
where we define
By the definition of \(\zeta _{K}\), one has
By Chebyshev’s inequality, we obtain
Let δ be given such that \(0<\delta <1\). Choose an integer \(K>0\) such that
then
References
Constantin, P., Doering, C.R.: Infinite Prandtl number convection. J. Stat. Phys. 94(1–2), 159–172 (1999)
Gill, A.: Atmosphere–Ocean Dynamics. International Geophysics Series. Academic Press, London (1982)
Majda, A.: Introduction to PDEs and Waves for the Atmosphere and Ocean. Courant Lecture Notes in Mathematics, vol. 9 (2003)
Pedlosky, J.: Geophysical Fluid Dynamics. Springer, Berlin (2013)
Adhikari, D., Cao, C., Wu, J.: Global regularity results for the 2D Boussinesq equations with vertical dissipation. J. Differ. Equ. 251(6), 1637–1655 (2011)
Chae, D.: Global regularity for the 2D Boussinesq equations with partial viscosity terms. Adv. Math. 203(2), 497–513 (1997)
Hou, T.Y., Li, C.: Global well-posedness of the viscous Boussinesq equations. Discrete Contin. Dyn. Syst. 12(1), 1–12 (2005)
Lai, M.-J., Pan, R., Zhao, K.: Initial boundary value problem for two-dimensional viscous Boussinesq equations. Arch. Ration. Mech. Anal. 199(3), 739–760 (2011)
Wu, J., Xu, X., Ye, Z.: The 2D Boussinesq equations with fractional horizontal dissipation and thermal diffusion. J. Math. Pures Appl. 115(9), 187–217 (2018)
Adhikari, D., Cao, C., Shang, H., Wu, J., Xu, X., Ye, Z.: Global regularity results for the 2D Boussinesq equations with partial dissipation. J. Differ. Equ. 260(2), 1893–1917 (2016)
Yang, W., Jiu, Q., Wu, J.: Global well-posedness for a class of 2D Boussinesq systems with fractional dissipation. J. Differ. Equ. 257(11), 4188–4213 (2014)
Wu, J., Xu, X., Xue, L., Ye, Z.: Regularity results for the 2D Boussinesq equations with critical or supercritical dissipation. Commun. Math. Sci. 14(7), 1963–1997 (2016)
Jiu, Q., Miao, C., Wu, J., Zhang, Z.: The 2D incompressible Boussinesq equations with general critical dissipation. SIAM J. Math. Anal. 46, 3426–3454 (2014)
Ye, Z.: Global smooth solution to the 2D Boussinesq equations with fractional dissipation. Math. Methods Appl. Sci. 40(12), 4595–4612 (2017)
Ye, Z., Xu, X.: Global well-posedness of the 2D Boussinesq equations with fractional Laplacian dissipation. J. Differ. Equ. 260(8), 6716–6744 (2016)
Chae, D., Nam, H.-S.: Local existence and blow-up criterion for the Boussinesq equations. Proc. R. Soc. Edinb., Sect. A 127(5), 935–946 (1997)
Danchin, R., Paicu, M.: Existence and uniqueness results for the Boussinesq system with data in Lorentz spaces. Physica D 237(10–12), 1444–1460 (2008)
Fan, J., Sun, W., Yin, J.: Blow-up criteria for Boussinesq system and MHD system and Landau–Lifshitz equations in a bounded domain. Bound. Value Probl. 2016, 90 (2016)
Fan, J., Zhou, Y.: A note on regularity criterion for the 3D Boussinesq system with partial viscosity. Appl. Math. Lett. 22(5), 802–805 (2009)
Jiu, Q., Yu, H.: Global well-posedness for 3D generalized Navier–Stokes–Boussinesq equations. Acta Math. Appl. Sin. Engl. Ser. 32(1), 1–16 (2016)
Ye, Z.: A logarithmically improved regularity criterion of smooth solutions for the 3D Boussinesq equations. Osaka J. Math. 53(2), 417–423 (2016)
Ferrario, B.: The Bénard problem with random perturbations: dissipativity and invariant measures. NoDEA Nonlinear Differ. Equ. Appl. 4(1), 101–121 (1997)
Pu, X., Guo, B.: Global well-posedness of the stochastic 2D Boussinesq equations with partial viscosity. Acta Math. Sci. Ser. B Engl. Ed. 31(5), 1968–1984 (2011)
Duan, J., Millet, A.: Large deviations for the Boussinesq equations under random influences. Stoch. Process. Appl. 119(6), 2052–2081 (2009)
Brzeźniak, Z., Motyl, E.: The existence of martingale solutions to the stochastic Boussinesq equations. Glob. Stoch. Anal. 1(2), 175–216 (2011)
Yamazaki, K.: Global martingale solution for the stochastic Boussinesq system with zero dissipation. Stoch. Anal. Appl. 34(3), 404–426 (2016)
Kim, J.U.: Strong solutions of the stochastic Navier–Stokes equations in \(\mathbb{R}^{3}\). Indiana Univ. Math. J. 59(4), 1417–1450 (2010)
Da Prato, G., Zabczyk, J.: Stochastic Equations in Infinite Dimensions, 2nd edn. Encyclopedia of Mathematics and Its Applications, vol. 152. Cambridge University Press, Cambridge (2014)
Evans, L.C.: An Introduction to Stochastic Differential Equations. Am. Math. Soc., Providence (2013)
Karatzas, I., Shreve, S.E.: Brownian Motion and Stochastic Calculus, 2nd edn. Graduate Texts in Mathematics, vol. 113. Springer, New York (1991)
Kuo, H.-H.: Introduction to Stochastic Integration. Universitext. Springer, New York (2006)
Acknowledgements
I would like to thank my tutor Professor Ting Zhang for his suggestions which helped to greatly improve the paper.
Availability of data and materials
Not applicable.
Funding
This work is partially supported by Zhejiang Provincial Natural Science Foundation of China LR17A010001, National Natural Science Foundation of China 11771389.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
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 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
Du, L. The local existence of strong solution for the stochastic 3D Boussinesq equations. Bound Value Probl 2019, 42 (2019). https://doi.org/10.1186/s13661-019-1158-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1158-4