Nonuniqueness of the $2$D Euler Evolutions with $L^1\cap L^p$ Vorticity

Abstract

For each prescribed $1<p<\infty$, we construct a compactly supported initial vorticity in $L^1(\mathbb{R}^2)\cap L^p(\mathbb{R}^2)$ that admits two distinct evolutions under the unforced two-dimensional incompressible Euler equation on $[0,1]$. Both vorticities are strongly continuous in $L^1\cap L^p$ and are transported exactly by their respective almost-everywhere invertible, measure-preserving regular Lagrangian flows. The construction couples unstable four-vortex configurations across increasingly small spatial scales, realizing them through concentrated signed vortex patches. At each finite cutoff, a prepared reference evolution remains close to rotating configurations, while a second evolution differs initially only at the finest scale. In the second evolution, the finest configuration consists of separating dipoles whose remote strain activates the instability of the next larger configuration. This process propagates through successive scales with summable transition times. As the cutoff tends to infinity, the two families of initial data converge strongly, along a subsequence, to the same datum, while a nonzero difference survives at a fixed larger scale and is detected by a fixed smooth observable at a positive limiting time. Quantitative concentration and relative comparison estimates establish this cascade for exact Euler patch solutions. Strong compactness through inverse-flow stability then preserves both exact vorticity transport and the positive-time distinction between the two limiting evolutions. The initial datum and construction parameters may depend on $p$.