Abstract:In this paper we are concerned with the 2D incompressible Navier-Stokes equations driven by space-time white noise. We establish existence of infinitely many global-in-time probabilistically strong and analytically weak solutions $u$ for every divergence free initial condition $u_0\in L^p\cup C^{-1+\delta},\ p\in(1,2),\delta>0$. More precisely, there exist infinitely many solutions such that $u-z\in C([0,\infty);L^p)\cap L^2_{\rm{loc}}([0,\infty);H^\zeta)\cap L^1_{\rm{loc}}([0,\infty);W^{\frac13,1})$ for some $\zeta\in(0,1)$, where $z$ is the solution to the linear equation. This result in particular implies non-uniqueness in law. Our result is sharp in the sense that the solution satisfying $u-z\in C([0,\infty);L^2)\cap L^2_{\rm{loc}}([0,\infty);H^\zeta)$ for some $\zeta\in(0,1)$ is unique.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the non - uniqueness of solutions to the two - dimensional incompressible Navier - Stokes equations driven by space - time white noise. Specifically, the author focuses on the following two aspects:
1. **Existence**: Prove that for any given initial condition \(u_0\in L^p\cup C^{- 1+\delta}\), where \(p\in(1,2)\) and \(\delta > 0\), there exist infinitely many probability - strong solutions and analytic - weak solutions \(u\) in global time.
2. **Non - uniqueness**: Prove that these solutions are non - unique in certain function spaces, especially that there are infinitely many solutions in slightly larger spaces.
### Specific problem description
The paper studies the two - dimensional Navier - Stokes equations in the following form:
\[
du+\text{div}(u\otimes u)dt+\nabla pdt = \Delta udt+dB_t,
\]
where \(\text{div}u = 0\), \(u(0)=u_0\), and \(B_t\) is a cylindrical Wiener process whose time derivative is space - time white noise.
### Main results
1. **Existence**: For any given divergence - free initial condition \(u_0\in L^p\cup C^{-1+\delta}\), there exist infinitely many probability - strong solutions and analytic - weak solutions \(u\) in global time, such that
\[
u - z\in C([0,\infty);L^p)\cap L^2_{\text{loc}}([0,\infty);H^\zeta)\cap L^1_{\text{loc}}([0,\infty);W^{1}_{3,1}),
\]
where \(z\) is the solution of the linear equation, and \(\zeta\in(0,1)\).
2. **Non - uniqueness**: The above results show that in slightly larger spaces, the solutions are non - unique. More precisely, for each divergence - free initial condition \(u_0\in L^p\), there exist infinitely many probability - strong solutions and analytic - weak solutions \(u\) in global time, such that
\[
u - z\in C([0,\infty);L^p)\cap L^2_{\text{loc}}([0,\infty);H^\zeta).
\]
### Sharpness
In addition, the paper also proves that the solutions in the space \(C([0,\infty);L^2)\cap L^2_{\text{loc}}([0,\infty);H^\zeta)\) are unique, which means that this result is sharp.
### Method
To prove these results, the author uses the convex integration method, which is an iterative technique that allows to construct solutions step by step, and each iteration explicitly deals with problems on a specific scale. This method depends on the structure of the nonlinear term, and approximates the solution by propagating oscillations and gradually reducing the Reynolds stress error term.
### Summary
In summary, the main contribution of this paper is to prove the non - uniqueness of solutions to the two - dimensional incompressible Navier - Stokes equations driven by space - time white noise, and to give a strict proof of the existence and non - uniqueness of solutions in certain function spaces.