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

From MaRDI portal
scientific article
Language Label Description Also known as
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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    incompressible Euler equations
    0 references
    Onsager's critical exponent
    0 references
    non-uniqueness
    0 references
    0 references
    0 references