Non-Uniqueness of Weak Solutions to the Unforced Two-Dimensional Euler Equations with Vorticity in L1∩ Lp, Part I: A Compactness Criterion and the Linear Analysis
Abstract
This paper and its companion Part II prove that the incompressible Euler equations in the plane, without external force, admit two distinct renormalized weak solutions with the same initial vorticity f, where f is radial and nonnegative and lies in (L1∩ Lq)(ℝ2) for every q<∞ but is not bounded. One solution is radially symmetric and stationary. The other is $3$-fold rotationally symmetric, is equimeasurable with f at every time, and departs from f in finite time; the two solutions are distinct in L∞t(L1∩ Lq)x on [0,T]×ℝ2 for every q∈(4/3,∞) and every sufficiently large T. In this first part we prove two ingredients. One is a compactness criterion: for a radial datum, a sequence of $3$-fold rotationally symmetric solutions with converging data, whose non-radial moment is bounded below at some bounded time, has a subsequence converging to a second distinct renormalized weak solution. The other is the linear analysis for the building blocks of our multiscale datum. We show that the linearization of the Euler equations around the basic building block plus a small point vortex has an unstable eigenvalue in a space of $3$-fold rotationally symmetric perturbations. This latter argument depends on rigorous interval arithmetic that we discuss more fully in Part II.
Related
- On uniqueness of probability solutions to one-dimensional Fokker-Planck-Kolmogorov equations
- Uniqueness of Leray-Hopf weak solutions to the two-dimensional viscous Primitive Equations
- Wasserstein regularity of vorticity solutions to the 2D Navier-Stokes equations
- Nonuniqueness of Solutions to 2D Incompressible Euler Equations with Unbounded Vorticity
- Hessian Estimates for Convex Solutions of Hessian Quotient Equations via Compactness
BibTeX
@misc{coiculescu2026nonuniqueness,
title = {{Non-Uniqueness of Weak Solutions to the Unforced Two-Dimensional Euler Equations with Vorticity in $L^1\cap L^p$, Part I: A Compactness Criterion and the Linear Analysis}},
author = {Matei P. Coiculescu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.30655},
eprint = {2610.30655},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.30655},
}
RIS
TY - UNPB
TI - Non-Uniqueness of Weak Solutions to the Unforced Two-Dimensional Euler Equations with Vorticity in L^1∩ L^p, Part I: A Compactness Criterion and the Linear Analysis
AU - Matei P. Coiculescu
PY - 2026
DA - 2026/10/22
PB - arXiv
DO - 10.48550/arxiv.2610.30655
UR - https://arxiv.org/abs/2610.30655
AB - This paper and its companion Part II prove that the incompressible Euler equations in the plane, without external force, admit two distinct renormalized weak solutions with the same initial vorticity f, where f is radial and nonnegative and lies in (L^1∩ L^q)(ℝ^2) for every q<∞ but is not bounded. One solution is radially symmetric and stationary. The other is $3$-fold rotationally symmetric, is equimeasurable with f at every time, and departs from f in finite time; the two solutions are distinct in L^∞_t(L^1∩ L^q)_x on [0,T]×ℝ^2 for every q∈(4/3,∞) and every sufficiently large T. In this first part we prove two ingredients. One is a compactness criterion: for a radial datum, a sequence of $3$-fold rotationally symmetric solutions with converging data, whose non-radial moment is bounded below at some bounded time, has a subsequence converging to a second distinct renormalized weak solution. The other is the linear analysis for the building blocks of our multiscale datum. We show that the linearization of the Euler equations around the basic building block plus a small point vortex has an unstable eigenvalue in a space of $3$-fold rotationally symmetric perturbations. This latter argument depends on rigorous interval arithmetic that we discuss more fully in Part II.
ER -