A Theory of Hypoellipticity and Unique Ergodicity for Semilinear Stochastic PDEs

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 $\Pi$ on a subspace of sufficiently regular functions. Then the eigenfunctions of $M(t)$ with small eigenvalues have only a very small component in the image of $\Pi$." We also show how to use a priori bounds on the solutions to the equation to obtain good control on the dependency of the bounds on the Malliavin matrix on the initial condition. These bounds are sufficient in many cases to obtain the asymptotic strong Feller property introduced by Hairer and Mattingly in Ann. of Math. (2) 164 (2006) . One of the main novel technical tools is an almost sure bound from below on the size of "Wiener polynomials," where the coefficients are possibly non-adapted stochastic processes satisfying a Lipschitz condition. By exploiting the polynomial structure of the equations, this result can be used to replace Norris' lemma, which is unavailable in the present context. We conclude by showing that the two-dimensional stochastic Navier-Stokes equations and a large class of reaction-diffusion equations fit the framework of our theory.

[1]  B. Maslowski,et al.  LOWER ESTIMATES OF TRANSITION DENSITIES AND BOUNDS ON EXPONENTIAL ERGODICITY FOR STOCHASTIC PDE'S , 2006 .

[2]  H. Triebel Theory Of Function Spaces , 1983 .

[3]  J. Zabczyk,et al.  Ergodicity for Infinite Dimensional Systems: Invariant measures for stochastic evolution equations , 1996 .

[4]  D. Williams,et al.  PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON STOCHASTIC DIFFERENTIAL EQUATIONS , 1980 .

[5]  C. Ionescu,et al.  THEORIE ERGODIQUE POUR DES CLASSES D'OPERATIONS NON COMPLETEMENT CONTINUES , 1950 .

[6]  Fabrice Baudoin,et al.  Hypoellipticity in infinite dimensions and an application in interest rate theory , 2005, math/0508452.

[7]  Franco Flandoli,et al.  Ergodicity of the 2-D Navier-Stokes equation under random perturbations , 1995 .

[8]  Hantaek Bae Navier-Stokes equations , 1992 .

[9]  M. Handzic 5 , 1824, The Banality of Heidegger.

[10]  L. Hörmander Hypoelliptic second order differential equations , 1967 .

[11]  STATIONARY SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS WITH MEMORY AND STOCHASTIC PARTIAL DIFFERENTIAL EQUATIONS , 2005, math/0509166.

[12]  D. Nualart The Malliavin Calculus and Related Topics , 1995 .

[13]  Jonathan C. Mattingly Exponential Convergence for the Stochastically Forced Navier-Stokes Equations and Other Partially Dissipative Dynamics , 2002 .

[14]  C. DeWitt-Morette,et al.  Mathematical Analysis and Numerical Methods for Science and Technology , 1990 .

[15]  Tosio Kato Perturbation theory for linear operators , 1966 .

[16]  Solid Controllability in Fluid Dynamics , 2007, math/0701818.

[17]  D. Ocone Stochastic calculus of variations for stochastic partial differential equations , 1988 .

[18]  J. Bricmont,et al.  Ergodicity of the 2D Navier--Stokes Equations¶with Random Forcing , 2001 .

[19]  V. Jurdjevic Geometric control theory , 1996 .

[20]  R. Temam Navier-Stokes Equations , 1977 .

[21]  Jonathan C. Mattingly,et al.  Malliavin calculus for the stochastic 2D Navier Stokes equation , 2004 .

[22]  A. Agrachev,et al.  On finite-dimensional projections of distributions for solutions of randomly forced PDE's , 2006 .

[23]  Uniqueness of the Invariant Measure¶for a Stochastic PDE Driven by Degenerate Noise , 2000, nlin/0009028.

[24]  Fabrice Baudoin,et al.  A version of Hörmander’s theorem for the fractional Brownian motion , 2007 .

[25]  T. Kurtz,et al.  Stochastic equations in infinite dimensions , 2006 .

[26]  Richard L. Tweedie,et al.  Markov Chains and Stochastic Stability , 1993, Communications and Control Engineering Series.

[27]  A. Agrachev,et al.  Control Theory from the Geometric Viewpoint , 2004 .

[28]  Jonathan C. Mattingly,et al.  Spectral gaps in Wasserstein distances and the 2D stochastic Navier–Stokes equations , 2006, math/0602479.

[29]  H. Grosser Chicago , 1906 .

[30]  J. Zabczyk,et al.  Stochastic Equations in Infinite Dimensions , 2008 .

[31]  Carlangelo Liverani,et al.  Invariant measures and their properties. A functional analytic point of view , 2004 .

[32]  Jonathan C. Mattingly,et al.  Ergodicity of the 2D Navier-Stokes equations with degenerate stochastic forcing , 2004, math/0406087.

[33]  Malliavin calculus for infinite-dimensional systems with additive noise , 2006, math/0610754.

[34]  P. Malliavin Stochastic calculus of variation and hypoelliptic operators , 1978 .

[35]  Martin Hairer,et al.  Exponential mixing properties of stochastic PDEs through asymptotic coupling , 2001, math/0109115.

[36]  Jonathan C. Mattingly,et al.  Asymptotic coupling and a general form of Harris’ theorem with applications to stochastic delay equations , 2009, 0902.4495.

[37]  Navier-Stokes flow on Riemannian manifolds , 1997 .

[38]  Martin Hairer,et al.  An Introduction to Stochastic PDEs , 2009, 0907.4178.

[39]  Hans Triebel,et al.  Spaces of Besov-Hardy-Sobolev type on complete Riemannian manifolds , 1985 .

[40]  J. Yorke,et al.  On the existence of invariant measures for piecewise monotonic transformations , 1973 .

[41]  Michael E. Taylor,et al.  Analysis on Morrey Spaces and Applications to Navier-Stokes and Other Evolution Equations , 1992 .

[42]  F. Flandoli Regularity theory and stochastic flows for parabolic SPDEs , 1995 .

[43]  D. Stroock,et al.  Applications of the Malliavin calculus. II , 1985 .

[44]  L. Hörmander The analysis of linear partial differential operators , 1990 .

[45]  W. D. Evans,et al.  PARTIAL DIFFERENTIAL EQUATIONS , 1941 .

[46]  L. E. Fraenkel,et al.  NAVIER-STOKES EQUATIONS (Chicago Lectures in Mathematics) , 1990 .

[47]  J. Norris Simplified Malliavin calculus , 1986 .

[48]  A. Shirikyan,et al.  Stochastic Dissipative PDE's and Gibbs Measures , 2000 .

[49]  L. Hörmander,et al.  The Analysis of Linear Partial Differential Operators IV , 1985 .

[50]  Martin Hairer,et al.  A simple framework to justify linear response theory , 2009, Nonlinearity.

[51]  D. Stroock Some applications of stochastic calculus to partial differential equations , 1983 .

[52]  Sandra Cfrrai Ergodicity for stochastic reaction-diffusion systems with polynomial coefficients , 1999 .

[53]  Mark S. C. Reed,et al.  Method of Modern Mathematical Physics , 1972 .

[54]  Bohdan Maslowski,et al.  Strong Feller property for semilinear stochastic evolution equations and applications , 1989 .

[55]  L. Young,et al.  Ergodic Theory of Infinite Dimensional Systems¶with Applications to Dissipative Parabolic PDEs , 2002 .

[56]  Weinan E,et al.  Gibbsian Dynamics and Ergodicity¶for the Stochastically Forced Navier–Stokes Equation , 2001 .

[57]  J. Zabczyk,et al.  Strong feller property for stochastic semilinear equations , 1995 .

[58]  Andrey Sarychev,et al.  Navier–Stokes Equations: Controllability by Means of Low Modes Forcing , 2005 .

[59]  R. Temam,et al.  Inertial Forms of Navier-Stokes Equations on the Sphere , 1993, chao-dyn/9304004.