Abstract

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 Hörmander'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.

Highlights

  • The overarching goal of this article is to prove the unique ergodicity of a class of nonlinear stochastic partial differential equations (SPDEs) driven by a finite number of Wiener processes

  • The remainder of this section is devoted to a short discussion of the main techniques used in the proof of such a result and in particular on how to obtain a bound of the type 1.2 for a parabolic stochastic PDE

  • It follows from the theory of Malliavin calculus, see for example [Mal[97], Nua95] that, for any Hilbert space H, there exists a closed unbounded linear operator D : L2(Ω, R) ⊗ H → L2ad(Ω, Ft, CM ) ⊗ H such that DΦt coincides with the object described above whenever Φt is the solution map to (3.1)

Read more

Summary

Introduction

The overarching goal of this article is to prove the unique ergodicity of a class of nonlinear stochastic partial differential equations (SPDEs) driven by a finite number of Wiener processes. We prove the nondegeneracy of the Malliavin covariance matrix under an assumption that the linear span of the successive Lie brackets[1] of vector fields associated to N and the gk is dense in the ambient (Hilbert) space at each point This is very reminiscent of the condition in the “weak” version of Hormander’s “sum of squares” theorem. Bounds on the norm of the inverse of the Malliavin matrix are the critical ingredient in proving ergodic theorems for diffusions which are only hypoelliptic rather than uniformly elliptic. This shows that the system has a smooth density with respect to Lebesgue measure. There are many natural infinite dimensional Markov processes whose transition probabilities do not converge in total variation to the system’s unique invariant measure. (See examples 3.14 and 3.15 from [HM06] for more discussion of this point.) In these settings, this fact precludes the use of “minorization” conditions such as infx∈C Pt(x, · ) ≥ cν( · ) for some fixed probability measure ν and “small set” C. (see [MT93, GM06] for more and examples were this can be used.)

Ergodicity in infinite dimensions and main result
A roadmap for the impatient
How to obtain a smoothing estimate
The role of the Malliavin matrix
Satisfying the Hormander-like assumption
Probabilistic and dynamical view of smoothing
Structure of the article
Abstract ergodic results
Functional analytic setup
Polynomials
Polynomials over H
Taylor expansions and Lie brackets
A priori bounds on the solution
Linearization and its adjoint
Higher order variations
Malliavin calculus
Malliavin derivative of the Jacobian
Malliavin covariance matrix
Smoothing in infinite dimensions
Motivating discussion
Strongly dissipative setting
Transfer of variation
Choosing a variation hξt
Preliminary bounds and definitions
Controlling the error term ρt
Spectral properties of the Malliavin matrix
Bounds on the dynamic
A Hormander-like theorem in infinite dimensions
Some preliminary calculations
Transferring properties of φ back from the terminal time
The first step in the iteration
Bounds on Wiener polynomials
Examples
A general formulation
The 2D Navier-Stokes equations on a sphere
Stochastic reaction-diffusion equations
Unique ergodicity of the stochastic Ginzburg-Landau equation
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call