Non-uniqueness of admissible solutions for the 2D Euler equation with $L^p$ vortex data

Francisco Mengual
2023-04-19
Abstract:For any $2<p<\infty$ we prove that there exists an initial velocity field $v^\circ\in L^2$ with vorticity $\omega^\circ\in L^1\cap L^p$ for which there are infinitely many bounded admissible solutions $v\in C_tL^2$ to the 2D Euler equation. This shows sharpness of the weak-strong uniqueness principle, as well as sharpness of Yudovich's proof of uniqueness in the class of bounded admissible solutions. The initial data are truncated power-law vortices. The construction is based on finding a suitable self-similar subsolution and then applying the convex integration method. In addition, we extend it for $1<p<\infty$ and show that the energy dissipation rate of the subsolution vanishes at $t=0$ if and only if $p\geq 3/2$, which is the Onsager critical exponent in terms of $L^p$ control on vorticity in 2D.
Analysis of PDEs
What problem does this paper attempt to address?
This paper attempts to solve the non - uniqueness problem of solutions to the 2D Euler equations, especially the situation where there are infinitely many bounded and acceptable solutions under certain initial conditions. Specifically: - **Research Background and Motivation**: The paper focuses on the non - uniqueness problem of weak solutions (i.e., distribution solutions) of the 2D Euler equations under given initial conditions, especially at what regularity threshold these solutions will lose their uniqueness. This problem is crucial for understanding the complex behaviors in fluid dynamics. - **Main Results**: - **Theorem 1.4**: For any \(2 < p < \infty\), there exists an initial velocity field \(v_0\in L^2\), whose vorticity \(\omega_0\in L^1\cap L^p\), such that the 2D Euler equations have infinitely many bounded and acceptable solutions \(v\in C_tL^2\). - **Theorem 1.5**: It further shows how to achieve this by constructing a self - similar subsolution and applying the convex integration method. In addition, the paper also explores the behavior of the energy dissipation rate at \(t = 0\) and finds that when \(p\geq\frac{3}{2}\), the energy dissipation rate is zero, which is consistent with the Onsager critical exponent. - **Methods and Techniques**: - **Self - similar Subsolution**: The author constructs solutions with specific properties by finding a suitable self - similar subsolution and using the convex integration method. - **Convex Integration Method**: This is a powerful tool for proving the non - uniqueness of solutions to certain partial differential equations, especially under low - regularity conditions. - **Significance**: - These results indicate that in some cases, even if the initial conditions are very smooth, the solutions to the 2D Euler equations may still not be unique. This challenges the traditional uniqueness theory and provides a new perspective for understanding complex fluid phenomena such as turbulence. - In particular, the results of the paper show the exact boundary of Yudovich's uniqueness proof in the \(L^p\) space, revealing the non - uniqueness phenomenon of solutions in the \(L^p\) space. In summary, by constructing specific initial conditions and using advanced mathematical tools, this paper reveals the non - uniqueness of solutions to the 2D Euler equations under certain conditions, which is of great significance for the fields of fluid mechanics and mathematical physics.