The objective of this note is to present the results from the two recent papers. We study the Navier--Stokes equation on the two--dimensional torus when forced by a finite dimensional white Gaussian noise. We give conditions under which both the law of the solution at any time t>0, projected on a finite dimensional subspace, has a smooth density with respect to Lebesgue measure and the solution itself is ergodic. In particular, our results hold for specific choices of four dimensional white Gaussian noise. Under additional assumptions, we show that the preceding density is everywhere strictly positive.
We consider the incompressible, two dimensional Navier Stokes equation with periodic boundary conditions under the effect of an additive, white in time, stochastic forcing. Under mild restrictions on the geometry of the scales forced, we show that any finite dimensional projection of the solution possesses a smooth density with respect to Lebesgue measure. We also show that under natural assumptions the density of such a projection is everywhere strictly positive. In particular, our conditions are viscosity independent. We are mainly interested in forcing which excites a very small number of m…
The purpose of this paper is to establish the Donsker-Varadhan type large deviations principle (LDP) for the two-dimensional stochastic Navier-Stokes system. The main novelty is that the noise is assumed to be highly degenerate in the Fourier space. The proof is carried out by using a criterion for the LDP developed in arXiv:1410.6188 in a discrete-time setting and extended in arXiv:1505.03686 to the continuous-time. One of the main conditions of that criterion is the uniform Feller property for the Feynman-Kac semigroup, which we verify by using Malliavin calculus.
We consider an infinite-dimensional dynamical system with polynomial nonlinearity and additive noise given by a finite number of Wiener processes. By studying how randomness is spread by the system we develop a counterpart of Hormander's classical theory in this setting. We study the distributions of finite-dimensional projections of the solutions and give conditions that provide existence and smoothness of densities of these distributions with respect to the Lebesgue measure. We also apply our results to concrete SPDEs such as Stochastic Reaction Diffusion Equation and Stochastic 2D Navier--S…
We prove ergodicity of the finite dimensional approximations of the three dimensional Navier-Stokes equations, driven by a random force. The forcing noise acts only on a few modes and some algebraic conditions on the forced modes are found that imply the ergodicity. The convergence rate to the unique invariant measure is shown to be exponential.
The stochastic 2D Navier-Stokes equations on the torus driven by degenerate noise are studied. We characterize the smallest closed invariant subspace for this model and show that the dynamics restricted to that subspace is ergodic. In particular, our results yield a purely geometric characterization of a class of noises for which the equation is ergodic in $Ł^2_0(\TT^2)$. Unlike previous works, this class is independent of the viscosity and the strength of the noise. The two main tools of our analysis are the \textit{asymptotic strong Feller} property, introduced in this work, and an approxima…
We prove that the any Markov solution to the 3D stochastic Navier-Stokes equations driven by a mildly degenerate noise (i.e.all but finitely many Fourier modes are forced) is uniquely ergodic. This follows by proving strong Feller regularity and irreducibility.
We present a theory of hypoellipticity and unique ergodicity for semilinear parabolic stochastic PDEs with "polynomial" nonlinearities and additive noise, considered as abstract evolution equations in some Hilbert space. It is shown that if Hormander's bracket condition holds at every point of this Hilbert space, then a lower bound on the Malliavin covariance operator $M_t$ can be obtained. Informally, this bound can be read as "Fix any finite-dimensional projection $Π$ on a subspace of sufficiently regular functions. Then the eigenfunctions of $M_t$ with small eigenvalues have only a very sma…
Consider the two-dimensional, incompressible Navier-Stokes equations on the torus We prove that the semigroup P_t generated by the solutions to stochastic Navier-stokes equations is asymptotically strong Feller. Moreover, we also prove that semigroup P_t is exponentially ergodic in some sense
In this article, we consider the two-dimensional stochastic Navier-Stokes equation (SNSE) on a smooth bounded domain, driven by affine-linear multiplicative white noise and with random initial conditions and Dirichlet boundary conditions. The random initial condition is allowed to anticipate the forcing noise. Our main objective is to prove the existence of a solution to the SNSE under sufficient Malliavin regularity of the initial condition. To this end we employ anticipating calculus techniques.
We give an overview of the ideas central to some recent developments in the ergodic theory of the stochastically forced Navier Stokes equations and other dissipative stochastic partial differential equations. Since our desire is to make the core ideas clear, we will mostly work with a specific example: the stochastically forced Navier Stokes equations. To further clarify ideas, we will also examine in detail a toy problem. A few general theorems are given. Spatial regularity, ergodicity, exponential mixing, coupling for a SPDE, and hypoellipticity are all discussed.
In this note, we study a large class of stochastic wave equations with spatial dimension less than or equal to $3$. Via a soft application of Malliavin calculus, we establish that their random field solutions are spatially ergodic.
Ergodicity for stochastic 2D Boussinesq equations with a highly degenerate pure jump Levy noise
College of Science, National University of Defense Technology（国防科技大学理学院）；MOE-LCSM, School of Mathematics and Statistics, Hunan Normal University（湖南师范大学数学与统计学院）；Institute of Applied Physics and Computational Mathematics（应用物理与计算数学研究所）
The ergodic properties of the randomly forced Navier-Stokes system have been extensively studied in the literature during the last two decades. The problem has always been considered in bounded domains, in order to have, for example, suitable spectral properties for the Stokes operator, to ensure some compactness properties for the resolving operator of the system and the associated functional spaces, etc. In the present paper, we consider the Navier-Stokes system in an unbounded domain satisfying the Poincaré inequality. Assuming that the system is perturbed by a bounded non-degenerate noise,…
In the first part of the note we analyze the long time behaviour of a two dimensional stochastic Navier--Stokes equations system on a torus with a degenerate, one dimensional noise. In particular, for some initial data and noises we identify the invariant probability measure for the system and give a sufficient condition under which it is unique and stochastically stable. In the second part of the note, we consider a simple example of a finite-dimensional system of stochastic differential equations driven by a one dimensional Wiener process with a drift, that displays some similarity with the …
In this paper, we prove the existence of a unique strong solution to a stochastic tamed 3D Navier-Stokes equation in the whole space as well as in the periodic boundary case. Then, we also study the Feller property of solutions, and prove the existence of invariant measures for the corresponding Feller semigroup in the case of periodic conditions. Moreover, in the case of periodic boundary and degenerated additive noise, using the notion of asymptotic strong Feller property proposed by Hairer and Mattingly \cite{Ha-Ma}, we prove the uniqueness of invariant measures for the corresponding transi…
Asymptotic behavior of the three-dimensional stochastic Navier-Stokes equations with Markov switching in additive noises is studied for incompressible fluid flow in a bounded domain in the three-dimensional space. To study such a system, we introduce a family of regularized equations and investigate the asymptotic behavior of the regularized equations first. The existence an ergodic measure for the regularized system is established via the Krylov-Bogolyubov method. Then the existence of an stationary measure to the original system is obtained by extracting a limit from the ergodic measures of …
We prove that the small scale structures of the stochastically forced Navier-Stokes equations approach those of the naturally associated Ornstein-Uhlenbeck process as the scales get smaller. Precisely, we prove that the rescaled k-th spatial Fourier mode converges weakly on path space to an associated Ornstein-Uhlenbeck process as |k| --> infty . In addition, we prove that the Navier-Stokes equations and the naturally associated Ornstein-Uhlenbeck process induce equivalent transition densities if the viscosity is replaced with sufficient hyperviscosity. This gives a simple proof of unique ergo…
We establish the existence, uniqueness and attraction properties of an ergodic invariant measure for the Boussinesq Equations in the presence of a degenerate stochastic forcing acting only in the temperature equation and only at the largest spatial scales. The central challenge is to establish time asymptotic smoothing properties of the Markovian dynamics corresponding to this system. Towards this aim we encounter a Lie bracket structure in the associated vector fields with a complicated dependence on solutions. This leads us to develop a novel Hörmander-type condition for infinite-dimensional…
We consider the two dimensional Navier-Stokes equations in vorticity form with a stochastic forcing term given by a gaussian noise, white in time and coloured in space. First, we prove existence and uniqueness of a weak (in the Walsh sense) solution process $ξ$ and we show that, if the initial vorticity $ξ_0$ is continuous in space, then there exists a space-time continuous version of the solution. In addition we show that the solution $ξ(t,x)$ (evaluated at fixed points in time and space) is locally differentiable in the Malliavin calculus sense and that its image law is absolutely continuous…
We demonstrate that stochastic differential equations (SDEs) driven by fractional Brownian motion with Hurst parameter H > 1/2 have similar ergodic properties as SDEs driven by standard Brownian motion. The focus in this article is on hypoelliptic systems satisfying Hörmander's condition. We show that such systems satisfy a suitable version of the strong Feller property and we conclude that they admit a unique stationary solution that is physical in the sense that it does not "look into the future". The main technical result required for the analysis is a bound on the moments of the inverse of…
We prove that every Markov solution to the three dimensional Navier-Stokes equation with periodic boundary conditions driven by additive Gaussian noise is uniquely ergodic. The convergence to the (unique) invariant measure is exponentially fast. Moreover, we give a well-posedness criterion for the equations in terms of invariant measures. We also analyse the energy balance and identify the term which ensures equality in the balance.
Regularization by noise for certain classes of fluid dynamic equations, a theme dear to Giuseppe Da Prato (see G. Da Prato and A. Debussche, Ergodicity for the 3D stochastic Navier-Stokes equations, J. Math. Pures Appl., 2003), is reviewed focusing on 3D Navier-Stokes equations and dyadic models of turbulence.
We establish verifiable general sufficient conditions for exponential or subexponential ergodicity of Markov processes that may lack the strong Feller property. We apply the obtained results to show exponential ergodicity of a variety of nonlinear stochastic partial differential equations with additive forcing, including 2D stochastic Navier-Stokes equations. Our main tool is a new version of the generalized coupling method.
This article concerns the random dynamics and asymptotic analysis of the well known mathematical model, the Navier-Stokes equations. We consider the two-dimensional stochastic Navier-Stokes equations (SNSE) driven by a \textsl{linear multiplicative white noise of Itô type} on the whole space $\mathbb{R}^2$. Firstly, we prove that the non-autonomous 2D SNSE generates a bi-spatial $(\mathbb{L}^2(\mathbb{R}^2),\mathbb{H}^1(\mathbb{R}^2))$-continuous random cocycle. Due to the bi-spatial continuity property of the random cocycle associated with SNSE, we show that if the initial data is in $\mathbb…
We study the asymptotic properties of the trajectories of a discrete-time random dynamical system in an infinite-dimensional Hilbert space. Under some natural assumptions on the model, we establish a multiplica-tive ergodic theorem with an exponential rate of convergence. The assumptions are satisfied for a large class of parabolic PDEs, including the 2D Navier--Stokes and complex Ginzburg--Landau equations perturbed by a non-degenerate bounded random kick force. As a consequence of this er-godic theorem, we derive some new results on the statistical properties of the trajectories of the under…
We consider a stochastic 2D Navier-Stokes equation in a bounded domain. The random force is assumed to be non-degenerate and periodic in time, its law has a support localised with respect to both time and space. Slightly strengthening the conditions in the pioneering work about exponential ergodicity by Shirikyan [Shi15], we prove that the stochastic system satisfies Donsker-Varadhan typle large deviations principle. Our proof is based on a criterion of [JNPS15] in which we need to verify uniform irreducibility and uniform Feller property for the related Feynman-Kac semigroup.
We study a damped stochastic non-linear Schrödinger (NLS) equation driven by an additive noise. It is white in time and smooth in space. Using a coupling method, we establish convergence of the Markovian transition semi-group toward a unique invariant probability measure. This kind of method was originally developped to prove exponential mixing for strongly dissipative equations such as the Navier-Stokes equations. We consider here a weakly dissipative equation, the damped nonlinear Schrödinger equation in the one dimensional cubic case. We prove that the mixing property holds and that the rat…
We derive the strong consistency of the least squares estimator for the drift coefficient of a fractional stochastic differential system. The drift coeffcient is one-sided dissipative Lipschitz and the driving noise is additive and fractional with Hurst parameter $H \in (\frac{1}{4}, 1)$. We assume that continuous observation is possible. The main tools are ergodic theorem and Malliavin calculus. As a by-product, we derive a maximum inequality for Skorohod integrals, which plays an important role to obtain the strong consistency of the least squares estimator.
Recently, a number of authors have investigated the conditions under which a stochastic perturbation acting on an infinite dimensional dynamical system, e.g. a partial differential equation, makes the system ergodic and mixing. In particular, one is interested in finding minimal and physically natural conditions on the nature of the stochastic perturbation. I shall review recent results on this question; in particular, I shall discuss the Navier-Stokes equation on a two dimensional torus with a random force which is white noise in time, and excites only a finite number of modes. The number of …
We discrete the ergodic semilinear stochastic partial differential equations in space dimension $d \leq 3$ with additive noise, spatially by a spectral Galerkin method and temporally by an exponential Euler scheme. It is shown that both the spatial semi-discretization and the spatio-temporal full discretization are ergodic. Further, convergence orders of the numerical invariant measures, depending on the regularity of noise, are recovered based on an easy time-independent weak error analysis without relying on Malliavin calculus. To be precise, the convergence order is $1-ε$ in space and $\fra…
We study the Lagrangian flow associated to velocity fields arising from various models of fluid mechanics subject to white-in-time, $H^s$-in-space stochastic forcing in a periodic box. We prove that in many circumstances, these flows are chaotic, that is, the top Lyapunov exponent is strictly positive. Our main results are for the Navier-Stokes equations on $\mathbb T^2$ and the hyper-viscous regularized Navier-Stokes equations on $\mathbb T^3$ (at arbitrary Reynolds number and hyper-viscosity parameters), subject to forcing which is non-degenerate at high frequencies. As an application, we st…
In the pathwise stochastic calculus framework, the paper deals with the general study of equations driven by an additive Gaussian noise, with a drift function having an infinite limit at point zero. An ergodic theorem and the convergence of the implicit Euler scheme are proved. The Malliavin calculus is used to study the absolute continuity of the distribution of the solution. An estimation procedure of the parameters of the random component of the model is provided. The properties are transferred on a class of singular stochastic differential equations driven by a multiplicative noise. A frac…
In this paper we study properties of solutions to stochastic differential equations with Sobolev diffusion coefficients and singular drifts. The properties we study include stability with respect to the coefficients, weak differentiability with respect to starting points, and the Malliavin differentiability with respect to sample paths. We also establish Bismut-Elworthy-Li's formula for the solutions. As an application, we use the stochastic Lagrangian representation of incompressible Navier-Stokes equations given by Constantin-Iyer \cite{Co-Iy} to prove the local well-posedness of NSEs in $\m…
We consider the incompressible 2D Navier-Stokes equations with periodic boundary conditions driven by a deterministic time periodic forcing and a degenerate stochastic forcing. We show that the system possesses a unique ergodic periodic invariant measure which is exponentially mixing under a Wasserstein metric. We also prove the weak law of large numbers for the continuous time inhomogeneous solution process. In addition, we obtain the weak law of large numbers and central limit theorem by restricting the inhomogeneous solution process to periodic times. The results are independent of the stre…
In this paper, we study the existence of random periodic solutions for semilinear stochastic differential equations. We identify them as solutions of coupled forward-backward infinite horizon stochastic integral equations (IHSIEs), using the "substitution theorem" of stochastic differential equations with anticipating initial conditions. In general, random periodic solutions and the solutions of IHSIEs, are anticipating. For the linear noise case, with the help of the exponential dichotomy given in the multiplicative ergodic theorem, we can identify them as the solutions of infinite horizon ra…
In this paper, we develop a new method to obtain the accessibility of stochastic partial differential equations driven by additive pure jump noise. An important novelty of this paper is to allow the driving noises to be degenerate. As an application, for the first time, we obtain the accessibility of a class of stochastic equations driven by pure jump degenerate noise, which cover 2D stochastic Navier-Stokes equations, stochastic Burgers type equations, singular stochastic p-Laplace equations, stochastic fast diffusion equations, etc. As a further application, we establish the ergodicity of si…
