The attractors for the regularized Bénard problem with fractional Laplacian☆
Introduction
In this article, we will study the long term dynamical behavior of the regularized Bénard problem with fractional Laplacian for autonomous case on the three-dimensional periodic domain At first, we give the following Bénard problem with fractional laplacian.where the vector field is velocity of the fluid, is a scalar function, μ > 0 represents the fluid viscosity, κ > 0 is the diffusivity, ξ ∈ R3 is a vector, represents the pressure, 0 < β, γ < 1 and are given. Notice that the system (1.1) is the Navier-Stokes system when . When Ω ⊂ R2, the term ξθ is on the right hand side and the above system is the two-dimensional Boussinesq equations with fractional Laplacian. We write and we havewhere the Fourier transform of a tempered distribution f(x) on the periodic domain Ω is defined asand We define the fractional Laplacian Λsf for s ∈ R by its Fourier seriesFor any tempered distribution f on and s ∈ R, we define the norm
The asymptotic behavior of solutions for the two-dimensional incompressible Boussinesq problem was studied by many authors, such as, Huang and Huo in [13] not only proved the global well-posedness of strong solutions, but also given a proof of the existence of the global attractor for the 2D Boussinesq system in periodic domain with two parameters . Based on [13], the finite dimensions and determining modes of the global attractor for 2D Boussinesq equations with fractional Laplacian were studied in detail by them in [14]. The second equation of (1.1) is called Quasi-Geostrophic equation and the existence of the global attractor for the dissipative Quasi-Geostrophic equations for 2D case was proved by Ning Ju in [16].
The Bénard system consists of Navier-Stokes system for the velocity field and convection diffusion equation for the temperature, many authors studied Bénard system and its related problems. For instance, the authors in [11] take advantage of a maximum principle for the temperature equation to prove the existence of the global attractor for the Bénard problem under several different boundary conditions. In [9], the three authors studied the existence of global solution and the existence and finite dimensionality of the global attractor with non-homogeneous boundary condition, non-homogeneous volume forces and heat source. The regularized Bénard problem was investigated in detail by Kaya and Okay Celebi in [17], and the correspondingly original system is as follows:
The authors used the averaging technique to (1.2), applying the operator and then they obtained the following correspondingly regularized system
They proved the global well-posedness by using Galerkin approximation, the existence of global attractor, and obtained the fractal dimension of the global attractor is finite.
The authors in [2] studied the Rayleigh-Bénard problem with a large aspect ratio. Not only the existence and regularity for the global strong solution under the conditions of the smallness of the forcing but also the existence of the strong attractor was proved by Birnir and Svanstedt in [2]. In [22], the authors studied the global well-posedness and regularity of solutions for a family of incompressible 3D Navier-Stokes-alpha-like models that employ fractional Laplacian operators, they made a very detailed study for the value range of two parameters θ1 and θ2.
It is well known that the averaging technique successfully used for Navier-Stokes equations [1], [18], [25], one can refer to [3], [17], [20] for more details. So we would like to use the same method to the system (1.1) in this paper. Using averaging technique to the system (1.1), we obtainwhere (w, η) and q denote the approximation to and respectively.
Similar to the alpha models given in [5], [6], [15], the authors in [20] used the filtering kernel which is associated with the Helmholtz operator. Thus, motivated by [17], [20], [22] and the application of filtering kernel in studying the 3D Navier-Stokes-α turbulence, such as the viscous Camassa-Holm equations and the simplified Bardina model (see for instance [5], [6], [7], [8]), we apply the operator to the system (1.4), and set Thus, we get the following systemwhere α > 0 is a length scale. In this way, we have converted the system (1.4) in the form (1.5). In this paper, we consider the model (1.5) which corresponds to the following system
Based on [13], [17], we study the attractors of the system (1.6). Since the term is in the equation about the velocity u, the difficulty of this article is to deal with the couple term of (1.6) between the velocity u and the temperature θ. In order to over come this difficulty, we take appropriate norm, using commutation estimate and energy estimate. Now, we state the main results of this article as the following theorems: Theorem 1.1 (Existence of a global attractor) Let and p, q ∈ [2, ∞], Assume that f, g ∈ L2(Ω), then the solution operator {S(t)}t ≥ 0 of the system (1.6): defines a semigroup in the space Vδ × Vδ for all t > 0. Moreover, the following statements valid: for any (u0, θ0) ∈ Vδ × Vδ, t↦S(t)(u0, θ0) is a continuous function from into Vδ × Vδ; for any fixed t > 0, S(t) is a continuous and compact map in Vδ × Vδ; {S(t)}t ≥ 0 possesses a global attractor in the space Vδ × Vδ. The global attractor is compact and connected in Vδ × Vδ and is the maximal bounded absorbing set and the minimal invariant set in Vδ × Vδ in the sense of the set inclusion relation. attracts all bounded sets in Vδ × Vδ, i.e. for any B ∈ Vδ × Vδ,where dist(A, B) is the Hausdorff semidistance between the two sets A and B, one can refer to Definition 6.1 or [21, 23].
The 3D Bénard equations and their fractional generalizations have attracted considerable attention due to their physical applications and mathematical significance, see [22]. In particular, when it becomes the system (1.3) which was considered in [17]. Thus we restrict 0 < β, γ < 1, and the difference from Kaya and Celebi [17] is that we take the operator instead of where and .
We know that the global attractor may not be rich enough to describe the nature of the system, since is strictly invariant, can easily miss some important trajectories which correspond to a specific transition of states like pattern formations. As a more robust attractor, Eden-Foias-Nicolaenko-Temam in 1994 have founded the new concept of exponential attractors (sometimes called inertial sets) to overcome this difficulty. An attractor containing the global attractor is called an exponential attractor if is a compact set of Banach space X with finite fractal dimension and if attracts all the trajectories at exponential rates. The physical meaning of this bound on the fractal dimension of the exponential attractor is that the long-time behavior of solutions to the regularized Bénard equations can be fully described by a finite number of independent degrees of freedom. To this end, we will prove the existence of exponential attractors. Theorem 1.2 (Existence of an exponential attractor) Let and p, q ∈ [2, ∞], The dynamical system S(t) generated by the system (1.6) on Vδ × Vδ possesses an exponential attractor contained and bounded in V2δ × V2δ. Precisely, is positively invariant for S(t), that is, for every t ≥ 0; has finite fractal dimension in Vδ × Vδ; there exist an increasing function Q: [0, ∞) → [0, ∞) and k > 0 such that for any bounded set B ⊂ Vδ × Vδ there holds
To be organized, this article is divided into five parts, and the roadmap is as follows. In Section 2, we introduce some standard notations and recall some basic inequalities that will be used frequently in this paper. And then we prove the continuous dependence of solutions for (1.6) with respect to the initial data. In Section 3, we give a priori estimate for (u, θ), proving the existence of the bounded absorbing set in Vδ × Vδ for the system (1.6). In order to exploit the boundedness of and in Section 5 and also to prove the existence of the exponential attractor, we show that the solution (u, θ) of the system (1.6) has higher regularity in Section 4. A method of semigroup decomposition is presented in Section 5, which is used to prove the existence of the global attractor. In Section 6, at first, for the convenience of the readers, we recall some abstract results with respect to exponential attractor, and then we take advantage of the semigroup decomposition again to prove the existence of exponential attractor.
Section snippets
Preliminaries
In this section, we recall some notations about some function spaces and the classical notations which used throughout this article. For convenience, here and throughout this article, we will not distinguish the notations and norms for the vector and scalar function spaces.
(1) In this paper, C and represent some positive constants, and the value of C is various in different line or even in the same line, so is Ci. C(l, m, n) stands for the dependence of the constant on l, m and n.
The bounded absorbing set in Vδ × Vδ
We will give a proof of the existence of the bounded absorbing set in Vδ × Vδ which is a prerequisite for the existence of global attractor for system (1.6) in this section. At first, we recall the basic definition of the global attractor and the theorem of the existence for a global attractor. Definition 3.1 Let {S(t)}t ≥ 0 is a semigroup which defined on the Banach space X, a subset is called a global attractor of semigroup {S(t)}t ≥ 0, if is compact in X and has the following properties: is
Higher regularity
In this section, our goal is to show that the solution of system (1.6) has higher regularity to prepare for the existence of the exponential attractor in Section 6. To this end, we will prove that u(t) and θ(t) are bounded in the space V2δ.
We start with giving the V2δ a priori estimate for θ. Multiplying (1.6)2 by Λ2δθ in L2 and integrating by parts, it yieldsThe estimates of the two terms on the right hand side for the
The semigroup decomposition
In order to obtain the existence of the global attractor, we need to prove the asymptotic compactness of the solution semigroup. To this end, we take advantage of the method of the semigroup decomposition.
We split the solution of (1.6) aswhere and respectively, solveand
The exponential attractor
We will prove the existence of the exponential attractor in this section. At first, we give the definitions of Hausdorff semidistance and fractal dimension. Definition 6.1 [21] Given a metric space (X, dX), then the Hausdorff semidistance distX(B, C) between two sets B, C ⊂ X is given by Definition 6.2 [21] X is a metric space and K is a compact set, then the fractal dimension of K in X is defined bywhere N(ε, K) is the smallest numbers of balls of radius ε
Acknowledgments
The authors express their sincere thanks to the referee for his/her valuable comments and suggestions.
References (25)
- et al.
The Camassa-Holm equations and turbulence
Pysica D
(1999) - et al.
Exponential attractors for a nonlinear reaction-diffusion system in R3
C. R. Acad. Sci. Paris Sér I Math.
(2000) - et al.
Attractors for the Bénard problem: existence and physical bounds on their fractal dimension
Nonlinear Anal. Theory Methods Appl.
(1987) - et al.
Viscosity versus vorticity stretching: global well-posedness for a family of Navier-Stokes-α-like models
Nonlinear Anal. Theory Methods Appl.
(2007) Filtering techniques for turbulent flow simulation
Lecture Notes in Engineering
(1990)- et al.
Existence theory and strong attractors for the Rayleigh-Bénard problem with a large aspect ratio
Discrete Contin. Dyn. Syst.
(2004) - et al.
Improved subgrid scale models for large eddy simulation
American Institute of Aeronautics and Plasma dynamics Conference 13th
(1980) - A. Babin, M. Vishik, Attractor of Evolution Equations, North-Holland,...
- et al.
Camassa-Holm equations as a closure model for turbulent channel and pipe flow
Phys. Rev. Lett.
(1998) - et al.
A connection between the Camassa-Holm equation and turbulent flows in channels and pipes
Phys. Fluids
(1999)
Global well-posedness of the three-dimensional viscous and inviscid simplified Bardina turbulence models
Comm. Math. Sci.
Existence and dimension of the attractor for Bénard problem on channel-like domains
Discrete Contin. Dyn. Syst.
Cited by (1)
Long-time behavior of subcritical 2D vorticity Boussinesq equations
2023, Bulletin des Sciences Mathematiques