Spectral gaps in Wasserstein distances and the 2D stochastic Navier–Stokes equations

TLDR

Unlike most previous work, the norm used in this analysis is a 1‑Wasserstein distance that incorporates the derivative of observables rather than a weighted supremum or \(L^p\) norm. The authors develop a general method to prove the existence of spectral gaps for Markov semigroups on Banach spaces. They first analyze semigroups with uniform behavior analogous to Doeblin’s condition, then extend the approach to non‑uniform systems possessing a Lyapunov structure that yields a Harris‑type condition. The method establishes spectral gaps in infinite‑dimensional settings where classical conditions fail, verifies the Harris condition for the two‑dimensional stochastic Navier–Stokes equations even under highly degenerate forcing, and shows that the invariant measures depend continuously on viscosity and forcing structure.

Abstract

We develop a general method to prove the existence of spectral gaps for Markov semigroups on Banach spaces. Unlike most previous work, the type of norm we consider for this analysis is neither a weighted supremum norm nor an ${\L}^p$-type norm, but involves the derivative of the observable as well and hence can be seen as a type of 1-Wasserstein distance. This turns out to be a suitable approach for infinite-dimensional spaces where the usual Harris or Doeblin conditions, which are geared toward total variation convergence, often fail to hold. In the first part of this paper, we consider semigroups that have uniform behavior which one can view as the analog of Doeblin's condition. We then proceed to study situations where the behavior is not so uniform, but the system has a suitable Lyapunov structure, leading to a type of Harris condition. We finally show that the latter condition is satisfied by the two-dimensional stochastic Navier--Stokes equations, even in situations where the forcing is extremely degenerate. Using the convergence result, we show that the stochastic Navier--Stokes equations' invariant measures depend continuously on the viscosity and the structure of the forcing.