Stochastic tamed 3D Navier-Stokes equations with locally weak monotonicity coefficients: existence, uniqueness and averaging principle

TL;DR

This paper proves existence, uniqueness, and an averaging principle for stochastic tamed 3D Navier-Stokes equations with weakly monotonic coefficients, addressing challenges posed by reduced regularity and turbulence modeling.

Contribution

It establishes the existence and uniqueness of strong solutions and introduces an averaging principle for complex stochastic fluid dynamics equations with weak monotonicity.

Findings

Existence of martingale solutions via Galerkin approximation.

Pathwise uniqueness confirmed through control functions.

Averaging principle demonstrated using Khasminskii discretization.

Abstract

This paper investigates the stochastic tamed 3D Navier-Stokes equations with locally weak monotonicity coefficients in the whole space as well as in the three-dimensional torus, which play a crucial role in turbulent flows analysis. A significant issue is addressed in this work, specifically, the reduced regularity of the coefficients and the inapplicability of Gronwall's lemma complicates the establishment of pathwise uniqueness for weak solutions. Initially, the existence of a martingale solution for the system is established via Galerkin approximation; thereafter, the pathwise uniqueness of this martingale solution is confirmed by constructing a specialized control function. Ultimately, the Yamada-Watanabe theorem is employed to establish the existence and uniqueness of the strong solution to the system. Furthermore, an averaging principle, referred to as the first Bogolyubov theorem, is established for stochastic tamed 3D Navier-Stokes equations with highly oscillating components, where the coefficients satisfy the assumptions of linear growth and locally weak monotonicity. This result is achieved using classical Khasminskii time discretization, which illustrates the convergence of the solution from the original Cauchy problem to the averaged equation over a finite interval [0, T].