[Paper Review] Ergodicity of the 2D Navier-Stokes Equations with Degenerate Stochastic Forcing

Martin Hairer, Jonathan C. Mattingly|arXiv (Cornell University)|Jun 4, 2004

Stochastic processes and financial applications27 references4 citations

TL;DR

This paper establishes ergodicity of the 2D Navier-Stokes equations with degenerate stochastic forcing by introducing the asymptotic strong Feller property and an approximate integration by parts formula. It proves that ergodicity holds under a Hörmander-type condition independent of viscosity and noise strength, providing a geometric characterization of noise support that ensures unique invariant measures even when noise acts on only four Fourier modes.

ABSTRACT

The stochastic 2D Navier-Stokes equations on the torus driven by degenerate noise are studied. We characterize the smallest closed invariant subspace for this model and show that the dynamics restricted to that subspace is ergodic. In particular, our results yield a purely geometric characterization of a class of noises for which the equation is ergodic in $Ł^2_0(\TT^2)$. Unlike previous works, this class is independent of the viscosity and the strength of the noise. The two main tools of our analysis are the extit{asymptotic strong Feller} property, introduced in this work, and an approximate integration by parts formula. The first, when combined with a weak type of irreducibility, is shown to ensure that the dynamics is ergodic. The second is used to show that the first holds under a H{ö}rmander-type condition. This requires some interesting nonadapted stochastic analysis.

Motivation & Objective

• To establish ergodicity of the 2D Navier-Stokes equations under degenerate stochastic forcing, where noise acts on only a finite number of Fourier modes.
• To characterize the minimal closed invariant subspace for which the dynamics is ergodic, independent of viscosity and noise intensity.
• To develop a new analytical framework for hypoelliptic SPDEs by replacing Girsanov’s theorem in nonadapted settings.
• To show that the asymptotic strong Feller property, combined with weak irreducibility, implies ergodicity in infinite-dimensional stochastic systems.
• To provide a sharp, geometric condition on the noise support (via Hörmander-type condition) ensuring ergodicity, even in the absence of nondegenerate noise on unstable modes.

Proposed method

• Introduce the asymptotic strong Feller property as a replacement for the strong Feller property in degenerate, hypoelliptic SPDEs.
• Use an approximate integration by parts formula to prove that the asymptotic strong Feller property holds under a Hörmander-type condition on the noise support.
• Apply high/low mode splitting to separate the dynamics into slow (low) and fast (high) modes, enabling control of the nonlinear interaction.
• Employ nonadapted stochastic analysis to handle the Malliavin calculus in the infinite-dimensional setting, crucial for deriving the integration by parts formula.
• Use a priori bounds on the Jacobian and interpolation inequalities to control the growth of solutions in high-frequency modes.
• Leverage results from [MP06] on Malliavin matrix regularity to support the integration by parts argument in the nonadapted context.

Experimental results

Research questions

• RQ1 Under what geometric conditions on the noise support is the 2D Navier-Stokes equation ergodic, even when the noise is degenerate and acts on only finitely many Fourier modes?
• RQ2 Can the asymptotic strong Feller property be established and used to prove ergodicity in infinite-dimensional SPDEs with degenerate noise?
• RQ3 Is it possible to replace Girsanov’s theorem in the infinite-dimensional, nonadapted setting using a novel integration by parts formula?
• RQ4 Does the ergodicity of the 2D Navier-Stokes equations depend on viscosity or noise strength when the noise satisfies a Hörmander-type condition?
• RQ5 What is the minimal closed invariant subspace on which the dynamics is ergodic, and how is it characterized geometrically?

Key findings

• The dynamics restricted to the minimal closed invariant subspace is ergodic if the noise satisfies a Hörmander-type condition, regardless of viscosity or noise strength.
• Ergodicity is achieved even when noise acts on only four Fourier modes, providing a sharp geometric condition on the noise support.
• The asymptotic strong Feller property, when combined with weak irreducibility, ensures ergodicity of the infinite-dimensional system.
• An approximate integration by parts formula is constructed and used to verify the asymptotic strong Feller property under a Hörmander-type condition.
• The invariant measure is unique and translationally invariant, following from the ergodicity and the translational invariance of the equations.
• The results are sharp in the sense that the geometric condition on the noise is necessary for ergodicity under the given framework.