{"id":"palomar/PALOMAR-2026-10-28-000008","url":"https://github.com/geogleswift-glitch/-euler2d-finite-lp-nonuniqueness-palomar/tree/ad7deb36ea565f34bdb784e9153073c5a220d46a","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-28-000008-v1.json","repo":"https://github.com/geogleswift-glitch/-euler2d-finite-lp-nonuniqueness-palomar","tags":["math.AP","msc:35Q31","msc:76B03"],"score":0,"title":"Finite-Lp vorticity nonuniqueness for two-dimensional Euler","trust":"high","domain":"math.AP","source":"palomar","authors":["Tao Tao","Haiqi Zhang"],"reviews":0,"subject":"math.AP","summary":"A Lean 4 formalization of nonuniqueness for the unforced incompressible Euler equations on the two-dimensional square torus. For each finite real exponent p at least one and each positive time interval, the selected theorem constructs a common mean-zero, divergence-free initial datum in L2 and W1p, and two distinct weak solutions continuous in time with values in L2. Their distributional vorticities have strongly measurable Lp-valued representatives that are essentially bounded in time. This is the two-dimensional finite-Lp question in the first part of Buckmaster and Vicol's Problem 6. The…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-28","reactions":{},"formalized":true}