Non-uniqueness for the Euler equations up to Onsager's critical exponent (Q2040261)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Non-uniqueness for the Euler equations up to Onsager's critical exponent
    scientific article

      Statements

      Non-uniqueness for the Euler equations up to Onsager's critical exponent (English)
      0 references
      0 references
      0 references
      12 July 2021
      0 references
      The papers deals with the Cauchy problem for the incompressible Euler equations \[ \begin{split} \partial_t v +\mathrm{div}(v \otimes v) + \nabla p = 0,&\quad \text{in } \mathbb{T}^3 \times (0,T),\\ \mathrm{div}\, v =0 & \quad \text{in } \mathbb{T}^3 \times (0,T),\\ v(\cdot,0)=v_0(\cdot)&\quad \text{in } \mathbb{T}^3. \end{split} \] Here \(\mathbb{T}^3\) is the three-dimensional torus, \(v:\mathbb{T}^3\times [0,T]\to \mathbb{R}^3\) is the velocity of the fluid, and \(p: \mathbb{T}^3\times [0,T]\to \mathbb{R}\) is the pressure. The paper is looking for admissible weak solutions, that means weak solutions \(v\in C([0,T];L_w^2(\mathbb{T}^3))\) which satisfy to the following condition \[ \int_{\mathbb{T}^3}|v(x,t)|^2dx\leq \int_{\mathbb{T}^3}|v_0(x)|^2dx. \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad(1) \] The authors investigate the existence of a regularity threshold, above which an admissible solution is unique, and below which non-uniqueness can arise. This question is investigated for the class of \(C^\beta\)-weak solutions, that means, weak solutions which satisfy the following Hölder condition \[ |v(x,t)-x(y,t)|\leq C|x-y|^\beta\quad \forall t\in [0,T],\,x,y\in \mathbb{T}^3 \quad\quad\quad\quad\quad\quad(2) \] with exponent \(\beta\) for some constant \(C.\) Given a divergence-free vector field \(v_0\in C^{\beta_0}(\mathbb{T}^3)\) is called a wild initial datum in \( C^{\beta_0}(\mathbb{T}^3)\) if there exist infinitely many weak solutions \(v\) to the considered Cauchy problem on \(\mathbb{T}^3\times [0,T]\) satisfying (1) and (2). The main result of the paper is the following theorem. Theorem. For any \(0<\beta < 1/3,\) the set of divergence-free vector field \(v_0\in C^{\beta_0}(\mathbb{T}^3)\) which are wild initial datum in \( C^{\beta_0}(\mathbb{T}^3)\) is a dense subset of the divergence-free vector fields in \(L^2(\mathbb{T}^3,\mathbb{R}^3).\)
      0 references
      incompressible Euler equations
      0 references
      Onsager's critical exponent
      0 references
      non-uniqueness
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references