Ergodicity of two-dimensional primitive equations of large scale ocean in geophysics driven by degenerate noise☆
Introduction
In this paper, we study the following two-dimensional primitive equations of large scale ocean in geophysics driven by degenerate noise with the homogeneous boundary value conditions and the initial conditions where the space domain of the above equations is , and the boundary is defined by with The driving noise process is a Wiener process defined on a filtered probability space . Let be a set of normalized eigenfunctions corresponding to eigenvalues of of . For some , we set , where is a class of independent real-valued Brownian motions. The noise is degenerate in the sense that it drives the system only in the first Fourier modes.
The analysis of the Primitive Equations dates back to 1990s. We refer the reader to [1] and references therein for the background of the mathematical theory for the deterministic Primitive Equations. Our considered equations are a stochastic version of the ones in [2], which then were discussed in [3] wherein -weak solutions were obtained in the case of additive noise. Later [4], [5] addressed the case of physical boundary conditions and nonlinear multiplicative noise by establishing the global existence and uniqueness of pathwise solutions. The analysis of three dimensional case is also worth mentioning in that the global existence and uniqueness of strong pathwise solutions was obtained in [6], as well as the existence and regularity of invariant measure was obtained recently in [7].
Despite these extensive results, the theory for the stochastic Primitive Equations still needs to be developed, especially in the direction of establishing a general framework to describe the long time behavior of oceanic and atmospheric processes. In this sense, statistically invariant measures provide the initial foundations, and the issue of unique ergodicity is critical. This leads to our main theorem.
Theorem 1.1 Let be the transition semigroup associated to the primitive equations of large scale ocean in geophysics (1.1), then for any sufficiently large , there exists a unique invariant probability measure associated with.
Making use of the classical Krylov–Bogoliubov averaging procedure, or proving in a similar yet simpler manner like [7], one can establish the existence of invariant measures for Eqs. (1.1). However, the uniqueness of invariant measures is not easy to prove, especially for infinite-dimensional systems under the degenerate noise. Thanks to [8], one can adopt the strategy of combining the asymptotic strong Feller property of the associated Markov semigroup , and irreducibility of the dynamics. Since solutions of deterministic equations converge to zero, due to dissipation, the proof of irreducibility is more or less straightforward. Thus we aim at establishing sufficient smoothing properties of in the manuscript.
Section snippets
Preliminaries and key lemma
Without loss of generality, we set all the ’s to be . We first give some function space and are equipped with their usual Sobolev norm, respectively. The existence and uniqueness of pathwise, -weak solutions in are established in [3]. Next, we give some preliminaries associated with anisotropic spaces.
Definition 2.1 Given , we sayAnisotropic Spaces [9]
Asymptotically strong Feller
In the sequel, denote the finite-dimensional “low-frequency” subspace of , i.e. , and the corresponding “high-frequency” subspace of such that the direct sum decomposition holds: . This decomposition naturally associates the projecting operator and . For any , let and .
The asymptotically strong Feller is straightforward once the following type of gradient inequality is established.
Proposition 3.1 Let be the
CRediT authorship contribution statement
Daiwen Huang: Conceptualization, Methodology. Tianlong Shen: Writing - original draft. Yan Zheng: Writing - review & editing.
References (9)
- et al.
Some mathematical problems in geophysical fluid dynamics
Spec. Vol. Comput. Methods Atmos. Oceans
(2009) - et al.
On two-dimensional large-scale primitive equations in oceanic dynamics I
Appl. Math. Mech. (Engl. Ed.)
(2007) - et al.
Stochastic solutions of the two-dimensional primitive equations of the ocean and atmosphere with an additive noise
Anal. Appl. (Singap.)
(2007) - et al.
The stochastic primitive equations in two space dimensions with multiplicative noise
Discrete Contin. Dyn. Syst. Ser. B
(2008)
Cited by (3)
Continuous dependence of 2D large scale primitive equations on the boundary conditions in oceanic dynamics
2022, Applications of MathematicsThe Applications of Some Basic Mathematical Inequalities on the Convergence of The Primitive Equations of Moist Atmosphere
2021, Journal of Mathematical Inequalities
- ☆
This work was supported by the National Natural Science Foundation of China (No. 11771449, 11801563), NSF of Hunan, China (No.2018JJ2468), and Fundamental Program of NUDT, China (No.ZK17-03-19).