Asymptotic coupling and a general form of Harris’ theorem with applications to stochastic delay equations

There are many Markov chains on infinite dimensional spaces whose one-step transition kernels are mutually singular when starting from different initial conditions. We give results which prove unique ergodicity under minimal assumptions on one hand and the existence of a spectral gap under conditions reminiscent of Harris’ theorem. The first uses the existence of couplings which draw the solutions together as time goes to infinity. Such “asymptotic couplings” were central to (Mattingly and Sinai in Comm Math Phys 219(3):523–565, 2001; Mattingly in Comm Math Phys 230(3):461–462, 2002; Hairer in Prob Theory Relat Field 124:345–380, 2002; Bakhtin and Mattingly in Commun Contemp Math 7:553–582, 2005) on which this work builds. As in Bakhtin and Mattingly (2005) the emphasis here is on stochastic differential delay equations. Harris’ celebrated theorem states that if a Markov chain admits a Lyapunov function whose level sets are “small” (in the sense that transition probabilities are uniformly bounded from below), then it admits a unique invariant measure and transition probabilities converge towards it at exponential speed. This convergence takes place in a total variation norm, weighted by the Lyapunov function. A second aim of this article is to replace the notion of a “small set” by the much weaker notion of a “d-small set,” which takes the topology of the underlying space into account via a distance-like function d. With this notion at hand, we prove an analogue to Harris’ theorem, where the convergence takes place in a Wasserstein-like distance weighted again by the Lyapunov function. This abstract result is then applied to the framework of stochastic delay equations. In this framework, the usual theory of Harris chains does not apply, since there are natural examples for which there exist no small sets (except for sets consisting of only one point). This gives a solution to the long-standing open problem of finding natural conditions under which a stochastic delay equation admits at most one invariant measure and transition probabilities converge to it.

[1]  Kiyosi Itô,et al.  ON STATIONARY SOLUTIONS OF A STOCHASTIC DIFFERENTIAL EQUATION. , 1964 .

[2]  Daniel H. Wagner Survey of Measurable Selection Theorems , 1977 .

[3]  M. Scheutzow Qualitative behaviour of stochastic delay equations with a bounded memory , 1984 .

[4]  Nonlinear flows of stochastic linear delay equations , 1986 .

[5]  Michael Scheutzow,et al.  Lyapunov exponents of linear stochastic functional differential equations driven by semimartingales. , 1990 .

[6]  M. Yor,et al.  Continuous martingales and Brownian motion , 1990 .

[7]  T. Lindvall Lectures on the Coupling Method , 1992 .

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

[9]  R. Bass Diffusions and Elliptic Operators , 1997 .

[10]  Salah-Eldin A. Mohammed,et al.  Lyapunov exponents of linear stochastic functional-differential equations. II. Examples and case studies , 1997 .

[11]  Alexander Yur'evich Veretennikov,et al.  О полиномиальном перемешивании и скорости сходимости для стохастических дифференциальных и разностных уравнений@@@On polynomial mixing and convergence rate for stochastic difference and differential equations , 1999 .

[12]  M. Cranston,et al.  A condition for the equivalence of coupling and shift coupling , 2000 .

[13]  A. Veretennikov,et al.  On Polynomial Mixing and Convergence Rate for Stochastic Difference and Differential Equations , 2008 .

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

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

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

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

[18]  M. Scheutzow,et al.  Chasing balls through martingale fields , 2002 .

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

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

[21]  Luc Rey-Bellet,et al.  Exponential Convergence to Non-Equilibrium Stationary States in Classical Statistical Mechanics , 2002 .

[22]  A. Shirikyan,et al.  Coupling approach to white-forced nonlinear PDEs , 2002 .

[23]  C. Villani Topics in Optimal Transportation , 2003 .

[24]  G. Burton TOPICS IN OPTIMAL TRANSPORTATION (Graduate Studies in Mathematics 58) By CÉDRIC VILLANI: 370 pp., US$59.00, ISBN 0-8218-3312-X (American Mathematical Society, Providence, RI, 2003) , 2004 .

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

[26]  M. Riedle,et al.  Delay differential equations driven by Lévy processes: Stationarity and Feller properties , 2005 .

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

[28]  Michael Scheutzow EXPONENTIAL GROWTH RATES FOR STOCHASTIC DELAY DIFFERENTIAL EQUATIONS , 2005 .

[29]  R. Douc,et al.  Subgeometric rates of convergence of f-ergodic strong Markov processes , 2006, math/0605791.

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

[31]  D. Bakry,et al.  Rate of convergence for ergodic continuous Markov processes : Lyapunov versus Poincaré , 2007, math/0703355.

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

[33]  Martin Hairer,et al.  A Theory of Hypoellipticity and Unique Ergodicity for Semilinear Stochastic PDEs , 2008, 0808.1361.

[34]  M. Scheutzow,et al.  Existence and uniqueness of solutions of stochastic functional differential equations , 2008, 0812.1726.

[35]  Martin Hairer How Hot Can a Heat Bath Get? , 2008, 0810.5431.

[36]  Invariant measures for stochastic functional differential equations with superlinear drift term , 2009, 0903.1959.

[37]  Jonathan C. Mattingly,et al.  Yet Another Look at Harris’ Ergodic Theorem for Markov Chains , 2008, 0810.2777.