Table of Contents
Fetching ...

Sharp nonuniqueness for the Navier-Stokes equations

Alexey Cheskidov, Xiaoyutao Luo

Abstract

In this paper, we prove a sharp nonuniqueness result for the incompressible Navier-Stokes equations in the periodic setting. In any dimension $d \geq 2$ and given any $ p<2$, we show the nonuniqueness of weak solutions in the class $L^{p}_t L^\infty$, which is sharp in view of the classical Ladyzhenskaya-Prodi-Serrin criteria. The proof is based on the construction of a class of non-Leray-Hopf weak solutions. More specifically, for any $ p<2$, $q<\infty$, and $\varepsilon>0$, we construct non-Leray-Hopf weak solutions $ u \in L^{p}_t L^\infty \cap L^1_t W^{1,q}$ that are smooth outside a set of singular times with Hausdorff dimension less than $\varepsilon$. As a byproduct, examples of anomalous dissipation in the class $L^{ {3}/{2} - \varepsilon}_t C^{ {1}/{3}} $ are given in both the viscous and inviscid case.

Sharp nonuniqueness for the Navier-Stokes equations

Abstract

In this paper, we prove a sharp nonuniqueness result for the incompressible Navier-Stokes equations in the periodic setting. In any dimension and given any , we show the nonuniqueness of weak solutions in the class , which is sharp in view of the classical Ladyzhenskaya-Prodi-Serrin criteria. The proof is based on the construction of a class of non-Leray-Hopf weak solutions. More specifically, for any , , and , we construct non-Leray-Hopf weak solutions that are smooth outside a set of singular times with Hausdorff dimension less than . As a byproduct, examples of anomalous dissipation in the class are given in both the viscous and inviscid case.

Paper Structure

This paper contains 38 sections, 31 theorems, 252 equations, 1 table.

Key Result

Theorem 1.3

Let $d \geq 2$ and $u$ be a weak solution of eq:NSE such that $u \in X^{p,q}$ for some $p, q \in [1,\infty]$ such that $\frac{2}{p} + \frac{d}{q} \leq 1$. Then

Theorems & Definitions (63)

  • Definition 1.1
  • Definition 1.2
  • Theorem 1.3: Ladyzhenskaya-Prodi-Serrin criteria
  • Conjecture 1.4
  • Theorem 1.5: Strong nonuniqueness in 2D
  • Theorem 1.6: Sharp nonuniqueness in $d\geq 2$
  • Remark 1.7
  • Theorem 1.8: Main theorem
  • Remark 1.9
  • Theorem 1.10
  • ...and 53 more