Hypocoercivity for non-linear infinite-dimensional degenerate stochastic differential equations

TL;DR

This paper develops a framework for constructing solutions to non-linear infinite-dimensional stochastic PDEs and demonstrates hypocoercivity of their transition semigroups, leading to exponential ergodicity results.

Contribution

It introduces a novel combination of resolvent methods and hypocoercivity techniques for infinite-dimensional degenerate stochastic equations, including explicit invariant measures and ergodicity.

Findings

Constructed infinite-dimensional diffusion processes with explicit invariant measures

Proved hypocoercivity and exponential ergodicity for the associated semigroups

Extended hypocoercivity methods to non-sectorial operators in infinite dimensions

Abstract

The aim of this article is to construct solutions to second order in time stochastic partial differential equations and to show hypocoercivity of the corresponding transition semigroups. More generally, we analyze non-linear infinite-dimensional degenerate stochastic differential equations in terms of their infinitesimal generators. In the first part of this article we use resolvent methods developed by Beznea, Boboc and R\"ockner to construct diffusion processes with infinite lifetime and explicit invariant measures. The processes provide weak solutions to infinite-dimensional Langevin dynamics. The second part deals with a general abstract Hilbert space hypocoercivity method, developed by Dolbeaut, Mouhot and Schmeiser. In order to treat stochastic (partial) differential equations, Grothaus and Stilgenbauer translated these concepts to the Kolmogorov backwards setting taking domain issues into account. To apply these concepts in the context of infinite-dimensional Langevin dynamics we use an essential m-dissipativity result for infinite-dimensional Ornstein-Uhlenbeck operators, perturbed by the gradient of a potential. We allow unbounded diffusion operators as coefficients and apply corresponding regularity estimates. Furthermore, essential m-dissipativity of a non-sectorial Kolmogorov backward operator associated to the dynamic is needed. Poincar\'e inequalities for measures with densities w.r.t. infinite-dimensional non-degenerate Gaussian measures are studied. Deriving a stochastic representation of the semigroup generated by the Kolmogorov backward operator as the transition semigroup of a diffusion process enables us to show an $L^2$-exponential ergodicity result for the weak solution. Finally, we apply our results to explicit infinite-dimensional degenerate diffusion equations.