Abstract
The current paper is devoted to the dynamics of a stochastic modified Boussinesq approximate equation driven by fractional Brownian motion with . Based on the different diffusion operators and −△ in the stochastic system, we combine two types of operators and a Hilbert-Schmidt operator to guarantee the convergence of the corresponding Wiener-type stochastic integrals. Then the existence and regularity of the stochastic convolution for the corresponding additive linear stochastic equation can be shown. By the Banach modified fixed point theorem in the selected intersection space, the existence and uniqueness of the global mild solution are obtained. Finally, the existence of a random attractor for the random dynamical system generated by the mild solution for the modified Boussinesq approximation equation is also established.
MSC:35B40, 35Q35, 76D05.
Similar content being viewed by others
1 Introduction
The modified Boussinesq approximation equation is a reasonable model to describe the essential phenomena of the highly viscous incompressible fluid in the Earth’s mantle. We refer to Hills and Roberts [1] and Padula [2] for a derivation of the following Boussinesq approximation equation:
where the vector function u represents the velocity of the fluid, θ is the scalar temperature, function and are periodic external forces with respect to space variable x, the vector is a unit vector in , the scalar function π is the pressure and is a symmetric stress tensor with the following form:
where and are positive constants. There are many papers concerning the existence and uniqueness of the solution, attractors, and manifold for the modified Boussinesq approximation equation. We refer to [3–6] for the deterministic non-Newtonian flow (in the absence of θ). The well-posedness and long-time behavior of the modified Boussinesq approximation equation can be referred to [7].
The fractional Brownian motion (FBM) is a family of Gaussian process which is indexed by the Hurst parameter . For , the FBM is not a semi-martingale and the increments of the process are not independent. The application of the classical Itô stochastic integral to FBM fails. The stochastic integral of FBM has been studied in many papers (see [8–10] and the references therein). Due to the properties of FBM such as the self similar and long range dependence, the data in the fields like financial markets, traffic networks, and climate systems can be described suitably by FBM. In [11], the equilibrium fluctuation of the distance between an electron transfer donor and acceptor pair within a protein that spans a broad range of time scales can be explained by the generalized Langevin equation driven by fractional Gaussian noise. This result is in excellent agreement with a single-molecule experiment. So it is worth to study the well-posedness and long-time behavior of the stochastic partial differential equation (SPDE) driven by FBM. We also refer to [9, 10, 12–14] for the well-posedness and dynamics of the stochastic PDE driven by FBM.
Recently, Guo [15] showed the existence of a random attractor for the stochastic Boussinesq approximation equation driven by Gaussian white noise in domain :
where is the natural basis of , is the cylindrical Wiener process for white noise, is a family of mutually independent real-valued standard Wiener process, is an orthonormal complete basis in Hilbert space , is vector value predictable process, while is scalar predictable process, which are linear mappings and are assumed to be Hilbert-Schmidt operators.
Motivated by the ideas in [4] and [15], we consider the following stochastic modified Boussinesq equation driven by fractional Brownian motion with :
where is a bounded domain with smooth boundary .
Due to the regularity of the stochastic convolution for FBM depends on the value of Hurst parameter , the stochastic Wiener-type integral is quite different for and . For , on account of the lower regularity, it needs the fractional Riemann-Liouville integral to transfer the fractional Brownian motion to be represented in terms of the standard cylindrical Brownian motion. The well-posedness and dynamics of equation (1.3) with have been studied in [16].
However, for , we can use Wiener stochastic integrals to deal with fractional Brownian motion directly. In this paper, we focus on the case . For the different diffusion operators and −△, let and be a Hilbert-Schmidt operator. Then the existence and regularity of the stochastic convolution for the corresponding additive linear stochastic equation can be guaranteed. By the modified Banach fixed point theorem in the selected intersection space, the existence and uniqueness of the mild solution for equation (1.3) are obtained. Finally, the existence of a random attractor for the random dynamical system generated by the mild solution for equation (1.3) is also presented.
The contribution of the current paper is to establish the well-posedness and dynamics of the stochastic modified Boussinesq approximation equation with , and reveals the difference between dynamics of modified Boussinesq approximation equation with differential Hurst parameter. Since the computation for the regularity is different for and , the conditions (Hyper-4) and (Hyper-5) are different from that in [16]. For the technical reasons, there is no result on the computation for the regularity for . This shows that the Hurst parameter H determines the conditions which ensure the regularity of the stochastic convolution and the existence of a random attractor generated by the mild solution for equation (1.3). If the temperature variable , then the result in the present paper and [16] will reduce to that in [17] and [4], respectively.
The rest of the paper is organized as follows: In Section 2, we present the function space and operators. Then the definitions and criteria for the random dynamical system are presented. In Section 3, we introduce the definition of the infinite-dimensional fractional Brownian motion and its stochastic integral. Then some proper conditions which can ensure the existence and regularity of the stochastic convolution for the corresponding additive linear stochastic equation are shown. In Section 4, the proper selected intersection space is constructed and the existence and uniqueness of the global mild solution are obtained in the space by the modified Banach fixed point theorem. Finally, the existence of a random attractor for the random dynamical system generated by the mild solution of equation (1.3) is shown in Section 5.
2 Preliminaries
In this section, we will present some notations for the working function space and operators, and then rewrite equation (1.3) as a stochastic evolution equation by the standard mathematical setting.
Firstly, we introduce some notations as follows:
Denote endowed with the norm
for any , where and . For ease of notation, we use the notation to represent the norm for space , , and H, respectively. It is easy to verify that , , and H are Hilbert space with the inner product .
Denote
where V is endowed with the norm
Define bilinear operator and by
By the Lax-Milgram lemma, we can use the bilinear operators and to define the following linear operators and :
where is the dual space of .
Similar to the arguments in [18] and [4], the operator is an isometry from to for .
Denote
then is an isometry from to , and is a self-adjoint positive operator with compact inverse , where .
It follows from the Hilbert-Schmidt theorem that there exist eigenvalues , and the corresponding eigenvectors , such that
Moreover, and are the orthonormal basis for and , respectively.
Since () is the densely defined, self-adjoint, and bounded below operator in Hilbert space (), then () is a sectional operator, and is an analytic semigroup generated by () in the following form:
where is the spectrum of the operator , .
For any , denote
and define the trilinear operator by
where
For any , we define the continuous bilinear functionals , , and by
In what follows, we abbreviate as for any .
Define the functional by
and
We also denote as N without any confusion, and
Under the above notations, the stochastic modified Boussinesq approximation equation (1.3) can be rewritten as the following abstract stochastic evolution equation:
Finally, we recall some definitions and criteria of the random dynamical system and random attractor which are taken from [19].
Due to the properties of the stationary increments, we can switch FBM and additive white noise to the equivalent canonical realization. Consider the Borel set
with the compact open topology and let ℱ be the associated incomplete Borel-σ-algebra. The operator can form the flow which is given by the Wiener shift:
Definition 2.1 Let E be a complete and separable metric space. A random dynamical system (RDS) with space E carried by a metric dynamical system is given by the mapping
which is -measurable and possesses the cocycle property:
Definition 2.2
-
(i)
A set-valued mapping taking value in the closed subsets of E is said to be measurable if for each the mapping is measurable, where
(2.7)
A measurable set-valued mapping K is called a random set.
-
(ii)
Let A, B be random sets. A is said to attract B if
(2.8)
A is said to absorb B if P-a.s. there exists an absorption time such that, for all ,
-
(iii)
The Ω-limit set of a random set K is defined by
(2.10)
Definition 2.3 A random attractor for an RDS φ is a compact random set P-a.s. satisfying:
-
(i)
is invariant, i.e., for all ;
-
(ii)
attracts all the deterministic bounded sets in E.
The following proposition (cf. [19], Theorem 3.11) yields a sufficient criterion for the existence of a random attractor.
Theorem 2.1 Let φ be an RDS and assume that there exists a compact random set K absorbing every deterministic bounded set . Then the set
is a random attractor for φ.
3 Fractional Brownian motion and its stochastic convolution
In this section, we introduce the definition of the infinite-dimensional fractional Brownian motion only with and its Wiener-type stochastic integral with respect to infinite-dimensional FBM. Then some conditions which ensure the existence and regularity of the infinite-dimensional stochastic convolution for the corresponding additive linear stochastic equation are presented. Finally, the existence and regularity of the stochastic convolution are obtained under these conditions.
Since the derivative of FBM exists almost nowhere, equation (2.1) should be understood in the integral form. There are several approaches to define an integral for one-dimensional FBM and each has its advantage (cf. [8] for a useful summary). Wiener integrals are introduced since they deal with the simplest case of deterministic integrands by using FBM’s Gaussianity in [17]. We refer to [17] for the general framework of the Wiener-type stochastic integral with respect to infinite-dimensional FBM.
As a conclusion, we have the following relationship between the Wiener integral with respect to FBM and the Wiener integral with respect to the Wiener process:
for every and if and only if .
The infinite-dimensional FBM and corresponding stochastic integration are defined now. Let Q be a self-adjoint and positive linear operator on . Assume that there exists a sequence of nonnegative numbers such that
The infinite-dimensional FBM on H with covariance operator Q is formally defined by
where is a sequence of real stochastically independent one-dimensional FBM. This process, if convergence, is an H-valued Gaussian process. It starts from 0, has zero mean and covariance
Let be a deterministic function with values in (), the space of all bounded linear operators from to . The stochastic integral of with respect to is formally defined by
where is the standard Brownian motion. The above sum may not converge. However, as we are about to see, the linear additive stochastic equation can have a mild solution even if is not properly defined as an H-valued Gaussian random variable.
Consider the following stochastic convolution:
Then , if it is well defined, is the unique mild solution of the following linear stochastic evolution equation:
Here are three kinds of condition on the stochastic convolution:
(Hyper-1) , ;
(Hyper-2) , ;
(Hyper-3) , such that ,
where is the space of all nuclear operators on and is the space of all Hilbert-Schmidt operators on (cf. [20], Appendix C). These conditions have been proposed by Maslowski and Schmalfuss in [10], Duncan et al. in [12] and Tindel et al. in [9], respectively. We mention that the Hilbert-Schmidt operators (elements of ) is compact. Indeed, the key feature of these conditions is the compactness which guarantees that we can handle the infinite-dimensional problem in a finite-dimensional manner.
Then for the linear stochastic evolution equation (3.7), let satisfy the condition of (Hyper-2) and we have the following lemma.
Lemma 3.1 ([10])
If and satisfies the condition of (Hyper-2), then there is a version of the stochastic convolution , with sample paths.
Next we consider another stochastic linear differential equation:
where .
As noted in [12] and [9], the stochastic integral is not well defined as a -valued random variable since the identity operator . Then we consider the following condition on the stochastic convolution which is taken from [17]:
(Hyper-4) , .
If the condition (Hyper-4) is satisfied, we have the following lemma from [17].
Lemma 3.2 ([17])
If and condition (Hyper-4) is satisfied, there is a version of the stochastic convolution with sample paths. If additionally , then the process has an version.
Noticing that the sample orbit of fractional Brownian motion is not differentiable almost everywhere in the classical sense, we consider the stochastic convolution in the product space H:
4 Existence and uniqueness of the mild solution
In this section, we will apply the modified Banach fixed point theorem to show the existence and uniqueness of the mild solution for equation (2.1) in the space with the norm .
The notion of the mild solution for equation (2.1) is given as follows.
Definition 4.1 An H-valued random process on a fixed probability space with a given infinite-dimensional fractional Brownian motion is called a mild solution of stochastic equation (2.1) if satisfies the following equation:
where the first three terms are operator-valued Bochner integrals, and the last one is the Wiener-type stochastic integral defined by equation (3.9).
Denote
with the norm
It is easy to verify that , , and E are Banach spaces. In order to apply the modified Banach fixed point theorem, it is necessary to estimate each term of the integral equation (4.1) in the space E.
For any , denote
then the operators , , and satisfy the following properties.
Lemma 4.1 , and for any , it follows that
Proof The proof is the same as Lemma 4.1 in [16], and it is omitted here. □
Lemma 4.2 , and for any , it follows that
Proof The proof is the same as Lemma 4.2 in [16], and it is omitted here. □
Lemma 4.3 , and for any , it follows that
Proof The proof is the same as Lemma 4.3 in [16], and it is omitted here. □
Since the process () has a V-valued continuous modification, then we can obtain the existence and uniqueness of the mild solution for equation (1.3).
Theorem 4.1 If , (Hyper-2) and (Hyper-4) hold, then for any initial value and , equation (1.3) has a unique mild solution in the space .
Proof The proof is the same as Theorem 4.1 in [16], and it is omitted here. □
Next, we will show the existence of the global mild solution for equation (1.3).
Let ϕ be the local mild solution of equation (1.3) on , and denote , then is the mild solution for the following equation:
It is easy to see that is also the weak solution of the following evolution equation with random coefficients:
Following the arguments in [20], Section 15.3, we can get a upper boundedness for ψ in the space E.
Lemma 4.4 Let ψ be the local solution of the stochastic evolution equation (4.9) on , then
where and are positive constants which depend on the domain , and the integral function depends on z.
Proof Integrating both sides of equation (4.10) with over , and applying the facts that , , and that we have the orthogonality of the trilinear term b leads to
It follows from (due to Lemma 2.3 in [17]) that
and
Hence, combining equations (4.14) and (4.15), we get
Similarly, direct calculations show that
and
Then let and we can obtain
Combining equations (4.16), (4.17), (4.18), and (4.19) gives
where is a positive constant determined later.
Let
then
Choosing , let be small enough such that , then we deduce
Applying the Gronwall lemma leads to
which implies that
Let , then the inequality (4.11) holds.
Integrating both sides of equation (4.21) over , we have
Let , then the inequality (4.12) holds. Thus, we complete the proof of Lemma 4.4. □
Based on Theorem 4.1 for the existence of the local mild solution and Lemma 4.4 for the extension of the local mild solution, we state the existence of the global mild solution for equation (1.3).
Theorem 4.2 Assume the conditions (Hyper-2) and (Hyper-4) hold, then for , , and , equation (1.3) has a unique global mild solution in the space .
Remark 4.1 In fact, we define a stopping time
Then for some given , is bounded on , for large enough n, and , which implies that , as and . We replace t in the argument of Lemma 4.4 by , we can obtain the existence of the global mild solution.
5 Existence of a random attractor
In this section, we will show the existence of a random attractor for the random dynamical system generalized by equation (4.1).
To the end, it suffices to prove the absorbing set in the space with the norm where
If we follow the method employed for Lemma 4.4 (which is based on the change of variable ), we end up with the problem of finding a uniform bound for (cf. equations (4.11)-(4.12)). To overcome this difficulty, the fractional Ornstein-Uhlenbeck process is introduced. By the stationary property of the fractional Ornstein-Uhlenbeck process, we can use the Birkhoff-Chintchin ergodic theorem to convert the integration over time variable to the integration over sample space. This yields a uniform bound for those integrals, so that we can deduce a bound in H for .
Denote
Then Z is a stationary solution of the following fractional Ornstein-Uhlenbeck equation:
where
Now the existence of the stationary solution () will be proved. Assume Lemma 3.1 and Lemma 3.2 hold, it suffices to prove that converges in the space .
For , it follows that
Now, let us consider the real-valued continuous function . Notice that is the metric dynamical system and it follows from the Birkhoff-Chintchin ergodic theorem that
Next, we will verify that the random dynamical system can be generated by the mild solution of equation (1.3).
It follows from Theorem 4.2 that, for , is the unique mild solution of the equation:
By the change of variable , it follows that is the solution of the following integral equation:
Thus, ψ is the weak solution of the following differential equation with random coefficients:
Define a continuous map:
Then it can be verified that the measurability of φ follows from the continuous dependence of the initial values, and the cocycle property follows from the uniqueness of the solution. Hence, the random dynamical system can be generated by the mild solution φ of equation (4.1).
Next, we will show the following two important lemmas, which give the existence of the absorbing set in the spaces H and , respectively. For simplicity of presentation, we introduce the following condition:
(Hyper-5) .
Lemma 5.1 Assume that the conditions (Hyper-2), (Hyper-4), and (Hyper-5) are satisfied. Then for , there exist random radii and such that, for any constant , there exists , such that, for any and ,
Proof Firstly, we show that both and are bounded in the space H. Similar to the argument in Lemma 4.4, we have
where
Choosing
let be small enough such that the following inequality holds:
By the Gronwall lemma, it follows that, for any and ,
Applying the ergodic theorem gives
Let be small enough such that
Then there exists such that, for any and ,
Noticing that the term has at most polynomial growth as for P-a.s. , we derive
Let
Then there exists such that, for any , , and ,
and
Next, we prove that both and are bounded. Integrating both sides of equation (5.10) over leads to
It follows that, for ,
Similarly,
Denote . Thus, the proof is completed. □
Lemma 5.2 Assume that the conditions (Hyper-2), (Hyper-4), and (Hyper-5) are satisfied. Then for , there exists a random radius such that, for any , there exists such that, for , and , the following inequalities hold P-a.s.:
Proof By integrating equation (5.6) with over , it follows that
By Gagliardo-Nirenberg’s inequality and Young’s inequality, we have
and
Hence,
Finally, we estimate the following two terms in equation (5.19):
and
Denote
and
It follows from (Lemma 2.3 in [17]) that
Then the inequality (5.19) can be rewritten as the following inequality:
Thus,
By the variation of constant formula, it follows from equation (5.22) that, for any ,
Integrating inequality (5.23) with respect to s over , we obtain
Since all the terms , and are bounded as . Therefore, for any and , we have
Finally, we will prove that the second inequality (5.17) holds. There exists a random radius such that
Especially for , it follows that
Thus, the proof has been completed. □
Since is compactly embedded in H, then it follows from Lemmas 5.1 and 5.2 that there exists a compact random absorbing set in the space H. So we get the following existence of a random attractor for equation (1.3) from Theorem 2.1.
Theorem 5.1 Assume that the conditions (Hyper-2), (Hyper-4), and (Hyper-5) are satisfied. Then for , the stochastic modified Boussinesq approximate equation (1.3) possesses a random attractor.
Remark 5.1 Since the computation for the regularity is different for and , the conditions (Hyper-4) and (Hyper-5) are different from that in [16]. This shows that the Hurst parameter H determines the conditions which ensure the regularity of the stochastic convolution and the existence of a random attractor generated by the mild solution for equation (1.3). If the temperature variable , then the result in the present paper and [16] will reduce to that in [17] and [4], respectively.
References
Hills R, Roberts H: On the motion of a fluid that is incompressible in a generalized sense and its relationship to the Boussinesq approximation. Stab. Appl. Anal. Contin. Media 1991, 1: 205-212.
Padula M: Mathematical properties of motion of viscous compressible fluids. Pitman Research Notes Series 308. In Progress in Theoretical Computational Fluid Mechanics. Edited by: Galidi G, Malek J, Necas J. Longman, Harlow; 1994:128-173.
Bloom F: Attractors of non-Newtonian fluids. J. Dyn. Differ. Equ. 1995, 7(1):109-140. 10.1007/BF02218816
Li J, Huang J:Dynamics of stochastic non-Newtonian fluids driven by fractional Brownian motion with Hurst parameter . Appl. Math. Mech. 2013, 34(2):189-208. 10.1007/s10483-013-1663-6
Guo B, Lin G, Shang Y: Non-Newtonian Fluids Dynamical Systems. National Defense Industry Press, Beijing; 2006. (in Chinese)
Zhao C, Zhou S: Pullback attractors for a non-autonomous incompressible non-Newtonian fluid. J. Differ. Equ. 2007, 238(2):394-425. 10.1016/j.jde.2007.04.001
Guo B, Shang Y: The periodic initial value problem and initial value problem for modified Boussinesq approximation. J. Partial Differ. Equ. 2002, 15(2):57-71.
Biagini F, Hu Y, Øksendal B, Zhang T Probability and Its Applications. In Stochastic Calculus for Fractional Brownian Motion and Applications. Springer, New York; 2008.
Tindel S, Tudor CA, Viens F: Stochastic evolution equations with fractional Brownian motion. Probab. Theory Relat. Fields 2003, 127(2):186-204. 10.1007/s00440-003-0282-2
Maslowski B, Schmalfuss B: Random dynamical systems and stationary solutions of differential equations driven by the fractional Brownian motion. Stoch. Anal. Appl. 2004, 22(6):1577-1607. 10.1081/SAP-200029498
Kou S, Xie X: Generalized Langevin equation with fractional Gaussian noise: subdiffusion within a single protein molecule. Phys. Rev. Lett. 2004., 93(18): Article ID 180603
Duncan T, Maslowski B, Pasik-Duncan B: Semilinear stochastic equations in a Hilbert space with a fractional Brownian motion. SIAM J. Math. Anal. 2009, 40(6):2286-2315. 10.1137/08071764X
Garrido-Atenza M, Keling L, Schmalfuss B: Unstable invariant manifolds for stochastic PDEs driven by a FBM. J. Differ. Equ. 2010, 248: 1637-1667. 10.1016/j.jde.2009.11.006
Garrido-Atenza M, Keling L, Schmalfuss B: Random dynamical systems for stochastic partial diffusion equations driven by driven by a FBM. Discrete Contin. Dyn. Syst., Ser. B 2010, 14(2):473-493.
Guo C: Random attractors of stochastic modified Boussinesq approximation. Adv. Math. 2012, 40(6):766-768.
Huang J, Li J, Shen T:Dynamics of stochastic modified Boussinesq approximation equation driven by fractional Brown motion with . Dyn. Part. Differ. Equ. 2014, 11: 183-209. 10.4310/DPDE.2014.v11.n2.a4
Li J, Huang J: Dynamics of 2D stochastic non-Newtonian fluid driven by fractional Brownian motion. Discrete Contin. Dyn. Syst., Ser. B 2012, 17(7):2483-2508.
Bloom F, Hao W: Regularization of a non-Newtonian system in an unbounded channel: existence and uniqueness of solutions. Nonlinear Anal. 2001, 44(3):281-309. 10.1016/S0362-546X(99)00264-3
Crauel H, Debussche A, Flandoli F: Random attractors. J. Dyn. Differ. Equ. 1997, 9(2):307-341. 10.1007/BF02219225
Prato GD, Zabczyk J: Ergodicity for Infinite-Dimensional Systems. Cambridge University Press, Cambridge; 1996.
Acknowledgements
The authors would like to thank an anonymous referee for the careful reading of the manuscript and for the valuable suggestion for improving the quality of this paper. The authors were supported partly by NSF of P.R. China (11371367, 11101427), NSF of Hunan, P.R. China (11JJ3004) and Fundamental program of NUDT (JC12-02-03).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
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 https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Shen, T., Huang, J. & Li, J. Stochastic modified Boussinesq approximate equation driven by fractional Brownian motion. Adv Differ Equ 2014, 207 (2014). https://doi.org/10.1186/1687-1847-2014-207
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2014-207