{"id":"e427cbf3-ed1e-4c8a-81e2-0ada574cff23","arxiv_id":"2607.17110","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The 2D Euler vorticity equation is shown to be globally well-posed in the endpoint Sobolev space W^{2,1}, and the 3D axisymmetric no-swirl case in W^{3,1}, closing the p=1 endpoint of the critical Sobolev scale.","lead":"Two mathematicians prove that swirling flows with a very rough, borderline-regular vorticity remain well-behaved forever: the vorticity regularity W^{2,1} in 2D and W^{3,1} for 3D axisymmetric flows without swirl is preserved for all time. The result closes the p=1 endpoint in a critical Sobolev scale where all other cases had been shown ill-posed.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Omitted L1 compactness for 3D axisymmetric existence is the key gap.","rationale":"The reader's weakest-assumption analysis identifies the exact point where the paper is least secure: the existence part of Theorem 1.2 relies on an omitted compactness argument. The a priori estimates in Section 3 appear internally consistent; the algebraic identities for axisymmetric norms and the Besov/Lorentz embeddings are standard, and the growth estimates are plausible. The 2D theorem has stronger support because it builds directly on the published local existence result of Cozzi-Harrison and gives explicit global bounds. In 3D, however, the only route to existence is the deferred passage to the limit, and L1 is not weakly compact. The paper itself acknowledges this is a difficulty and does not provide the proof. Since the central claim (global well-posedness in W^{3,1}) requires the existence statement, this is a genuine load-bearing gap rather than a stylistic issue. I agree with the reader's conditional verdict and find no other concern that outweighs it. The proposed test directly checks whether the omitted argument can be supplied; if it can, the verdict should be upgraded, but currently the evidence is insufficient.","tokens_in":15856,"tokens_out":17847,"duration_ms":133823,"concrete_test":"Write out the omitted compactness proof for the 3D axisymmetric system: take smooth axisymmetric data ω0^ε → ω0 in W^{3,1}(R^3), obtain the global smooth solutions ω^ε with uniform a priori bounds from Section 3, and prove that a subsequence satisfies ∇^3ω^ε → ∇^3ω strongly in C([0,T]; L^1_loc(R^3)) and that the limit solves (1.1). In particular, verify that the stretching term vωθ in the equation for ∇^3ωθ preserves the compactness argument used in [15], e.g., by showing that the lower-order terms are controlled by the established bounds on ∇^2ω and ∇ω and that no derivative loss prevents the L^1 contraction estimate. If this proof succeeds, the gap is closed; if not, Theorem 1.2 remains only conditional.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 1.2 is global propagation of ∇^3ω ∈ C(R+; L^1) for axisymmetric no-swirl 3D Euler. The paper proves only a priori bounds on smooth data (Section 3). The passage from these bounds to an actual solution is explicitly deferred: the text states the compactness difficulty 'can be overcome by following faithfully the approach of [15] for the 2D case, and thus omitted.' This is load-bearing because L^1(R^3) is not weakly compact and is not a dual space, so bounded sequences in W^{3,1} need not converge weakly to a function with L^1 third derivatives; weak-* compactness does not apply. The 2D compactness argument in [15] is tailored to the scalar transport equation (1.2), whereas the 3D axisymmetric system (1.5) includes the stretching term vωθ and the third-order equation for ∇^3ωθ involves lower-order terms α, ∇α, ∇^2α absent in 2D. It is not automatic that the 2D proof transfers. If the limit is only a measure-valued solution, Theorem 1.2's existence part fails, and the global well-posedness claim collapses. This is the single weakest point in the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the incompressible Euler equations in the endpoint critical Sobolev spaces W^{2,1}(R^2) and W^{3,1}(R^3) for the vorticity. In two dimensions it proves global propagation of W^{2,1} vorticity regularity, combining the Cozzi–Harrison local existence theorem with Vishik's B^0_{\\infty,1} control and Gronwall-type estimates; the vorticity norm is shown to grow at most double exponentially. In three dimensions, for axisymmetric flows without swirl, it claims global propagation of W^{3,1} vorticity regularity, with global existence and uniqueness of a solution in C(R_+; W^{3,1}) and additional Lorentz/Besov regularity. The 3D proof is organized as a sequence of a priori estimates: first \\nabla\\omega \\in L^{3,1}, then \\nabla^2\\omega \\in L^{3/2,1}, and finally \\nabla^3\\omega \\in L^1, using the transport structure of \\alpha = \\omega_\\theta/r and a detailed set of cylindrical-to-Cartesian norm equivalences. The main technical gap is that the existence part of the 3D theorem is not actually proved: the passage from mollified smooth data to a solution with L^1 third derivatives is explicitly deferred in Section 3.","tokens_in":16063,"tokens_out":21379,"duration_ms":177848,"significance":"If the existence gap is filled, the result would be significant: it would settle the endpoint case p=1 of the critical Sobolev spaces W^{d/p,p}, in stark contrast to the Bourgain–Li strong ill-posedness for all 1<p<\\infty. The paper supplies explicit exponential/double-exponential a priori bounds, uses sharp Lorentz-space embeddings, and carefully relates Cartesian and cylindrical derivative norms. The 2D part is essentially sound and rests on a clean combination of known theorems. The 3D a priori estimates are plausible and the structure exploited (transport of \\alpha) is natural. However, because a load-bearing compactness passage is omitted, Theorem 1.2 as stated is not proven in the manuscript.","major_comments":[{"comment":"The existence part of Theorem 1.2 is not proved. After smoothing the data, the text says the L^1 weak-* compactness difficulty 'can be overcome by following faithfully the approach of [15] for the 2D case, and thus omitted.' This is load-bearing: a uniform W^{3,1} bound on mollified solutions only gives a measure-valued limit for the third derivatives, since L^1(R^3) is not weakly compact and is not a dual space. More is needed to ensure that the limit is a function with ∇^3\\omega \\in C(R_+;L^1). The 2D argument in [15] is specific to the scalar transport equation (1.2), whereas the axisymmetric system (1.5) contains the stretching term v\\omega_\\theta and lower-order terms in \\alpha. Moreover, no local well-posedness theorem in W^{3,1} is cited, so for arbitrary W^{3,1} data the a priori estimates in §3.1–3.3 do not yet apply to an existing solution. The theorem as stated ('admits a uniq","section":"Section 3, existence part of Theorem 1.2"},{"comment":"In the displayed equation for D_t∂^3_{zrr}\\omega_\\theta, a commutator term is missing. Writing f=∂^2_{rr}\\omega_\\theta, from (3.8) one has D_t∂_z f = ∂_z(D_t f) - ∂_z u·∇f. The term -∂_z u·∇∂^2_{rr}\\omega_\\theta does not appear in the displayed formula, nor is it accounted for in the subsequent estimates. This is a genuine algebraic gap in the derivation of the central third-derivative bound. The missing term is of the same type as the other third-order transport terms and can be bounded by \\|∂_z u\\|_\\infty \\|∇∂^2_{rr}\\omega_\\theta\\|_{L^1}, which is controlled by the already available single-exponential factor; thus the final inequality is likely unaffected. Nevertheless, the displayed equation should be corrected.","section":"Section 3.3, equation for D_t∂^3_{zrr}ωθ"}],"minor_comments":[{"comment":"The text says 'Differentiating (3.6) once with respect to z' but the displayed equation is for ∂^3_{zzr}\\omega_\\theta, which requires two derivatives with respect to z. Please clarify the wording.","section":"Section 3.3, paragraph 'Bounding ∂^3_{zzr}ωθ'"},{"comment":"There are a few typographical issues: 'illposedness' is sometimes written without a hyphen, and reference [31] contains a typo ('Helmoltz' instead of 'Helmholtz'). These do not affect the mathematics.","section":"Throughout"},{"comment":"In the paragraph following (3.4), the term \\|∂^2_{zz}(r^{-1}u_r)\\omega_\\theta\\|_{L^{3/2,1}} is bounded by a product involving \\|∇^3u\\|_{L^{3,1}}\\|\\omega_\\theta\\|_\\infty; the intended Lorentz-space Hölder inequality should be stated so that the reader can verify the exponent (the product lands in L^{3/2,1/2} ⊂ L^{3/2,1}).","section":"Section 3.2, displayed estimate for ∇^2ωθ"}],"recommendation":"major_revision","confidential_remarks":"The paper is potentially valuable, but Theorem 1.2 currently overclaims: the existence statement is an omission, not a minor technicality. I recommend asking the authors to supply the full compactness/equi-integrability argument for the 3D axisymmetric case, or to explicitly restrict the theorem to a priori estimates if the passage cannot be completed. The missing commutator term in §3.3 should also be corrected; it is likely harmless but indicates that the displayed computations need a careful revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The real content here is a clean set of a priori estimates in the endpoint Sobolev spaces. For the 2D vorticity equation, the paper proves global W^{2,1} propagation, building on Cozzi–Harrison's local existence and Vishik's Besov control. That argument is straightforward and, as far as I can see, correct: the local solution plus the global bounds force T* = ∞. This alone is a nice complement to Bourgain–Li, who excluded p = 1.\n\nThe 3D axisymmetric no-swirl case is more interesting. The structural reduction to α = ω/r being transported, the use of Lorentz spaces L^{3,1} and L^{3/2,1}, and the careful tracking of the stretching terms in Section 3 are genuinely new. The double-exponential growth bounds for ∇³ω in L¹ are plausible and the componentwise estimates hang together. If the existence part can be completed, this settles the endpoint case for axisymmetric data in a way that the Bourgain–Li construction cannot touch.\n\nBut the existence part is not completed. The paper explicitly says the passage from smooth data to an L¹-critical solution \"can be overcome by following faithfully the approach of [15] for the 2D case, and thus omitted.\" That is a load-bearing sentence. L¹ is not weakly compact, so a uniform bound on ∇³ω_n in L¹ does not give you an L¹ function in the limit; you only get a measure. The 2D compactness argument in Cozzi–Harrison is written for the scalar transport equation, while the 3D axisymmetric system has the stretching term vωθ and third-order terms involving α, ∇α, and ∇²α. It is not automatic that the 2D proof transfers. Since uniqueness in the Besov class is already available from Abidi–Hmidi–Keraani and Danchin, there is a path: show the mollified solutions converge in a suitable weak sense to the unique Besov solution, then prove via some continuity argument that the uniform W^{3,1} bounds force the limit to have the claimed regularity. But that argument is not here. The a priori estimates alone do not prove Theorem 1.2 as stated.\n\nThis is not a fatal flaw in the estimates, and the authors are honest about the gap. The paper is worth a serious referee: the 2D theorem appears complete, and the 3D estimates are valuable enough that a referee report asking for the missing compactness argument would be a reasonable outcome. I would cite the a priori estimates in my own work, and I would bring the paper to a reading group. But I would not yet cite Theorem 1.2 as a proven global well-posedness result.","headline":"Genuine new endpoint estimates for 2D and 3D axisymmetric Euler vorticity, but the 3D existence theorem is not proven as written.","tokens_in":16697,"tokens_out":2694,"would_cite":true,"duration_ms":29582,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76B47","35Q35","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the vorticity of two-dimensional Euler flows, and of three-dimensional axisymmetric swirl-free Euler flows, keeps its endpoint critical Sobolev regularity W^{d,1} for all time, in contrast to the strong ill-posedness k","keywords":["incompressible Euler equations","vorticity","well-posedness","Sobolev spaces","axisymmetric flows","Lorentz spaces","Besov spaces","endpoint critical spaces"],"falsifier":"A concrete way to test the claim: take a sequence of smooth axisymmetric no-swirl initial data with uniformly bounded W^{3,1} norms and check whether the third derivatives of the vorticity converge strongly in L¹ as the mollifier is removed. If a limit is only a bounded measure rather than an L¹ function—or if, for some data, the a priori bound on ∇³ω in L¹ blows up in finite time—the global propagation claim would be false.","tokens_in":15654,"feed_emoji":"🌀","tokens_out":10713,"duration_ms":92969,"temperature":0.7,"pith_summary":"The paper establishes that the endpoint critical Sobolev space W^{d,1} of the vorticity is globally well-posed for the incompressible Euler equations: in two dimensions, any initial vorticity in W^{2,1} keeps that regularity for all time; in three dimensions, any axisymmetric vorticity without swirl in W^{3,1} also keeps it for all time. This settles the p=1 endpoint of the Sobolev scale W^{d/p,p} for these flow classes, the only critical Sobolev space where the velocity is Lipschitz, and it contrasts sharply with the strong ill-posedness results valid for every 1<p<∞. The proof works because the vorticity—or, in the axisymmetric case, the ratio α=ω_θ/r—is transported by the flow, and because W^{d,1} embeds into a Besov space that controls the Lipschitz norm of the velocity. The authors also obtain explicit single- and double-exponential growth bounds for the relevant norms as time evolves.","feed_headline":"2D Euler and axisymmetric 3D vorticity regularity now global","feed_subtitle":"The paper proves the endpoint Sobolev space W^{d,1} is globally well-posed, unlike the p>1 cases.","key_machinery":"The machinery rests on three pieces. The first is the transport structure: in two dimensions the vorticity itself is advected, while in three-dimensional axisymmetric no-swirl flows the quantity α=ω_θ/r is advected, making its L^{p,1} norms time-independent. The second is the endpoint embedding: W^{d,1} embeds continuously into the Besov space B^0_{∞,1} (through Lorentz L^{d,1} spaces), and this Besov space controls the Lipschitz norm of the Biot–Savart velocity, giving the estimates needed to close Grönwall arguments. The third is a set of derivative equivalences between Cartesian and cylindrical coordinates, which convert W^{3,1} of an axisymmetric vorticity field into sums of cylindrical","core_discovery":"On the paper's own terms, the central discovery is that the endpoint regularity W^{d,1} of the vorticity is propagated for all times: Theorem 1.1 for d=2 and Theorem 1.2 for three-dimensional axisymmetric flows without swirl. In the axisymmetric case, the vorticity is ω=ω_θ e_θ, and the ratio α=ω_θ/r solves a pure transport equation, ∂_t α+u·∇α=0, so its L^{3,1} norm is conserved; this removes the vortex-stretching obstruction. The authors then bootstrap: from the conserved α and the embedding W^{3,1}→B^0_{∞,1}, they control the Lipschitz velocity norm, then ∇ω in L^{3,1}, then ∇²ω in L^{3/2,1}, and finally ∇³ω in L¹, with double-exponential growth in time. The same bootstrap in two dimensio","pith_inferences":["If the p=1 endpoint is globally well-posed for these classes while every 1<p<∞ is strongly ill-posed, then the Sobolev-scale picture for Euler is non-monotone in p: the endpoint is the well-posed side of the cliff, not part of the ill-posed regime.","The double-exponential bounds are likely an artifact of the Grönwall iteration; a natural test is to examine concrete axisymmetric data, e.g. compactly supported near the axis, to see whether the third-derivative L¹ norm actually grows only exponentially.","A natural next step, suggested but not taken by the authors, is to extend the argument to non-axisymmetric 3D data by treating ∇³ω in the Besov space B^0_{1,∞} instead of L¹; endpoint product estimates make this plausible.","One could test the sharpness of the Lorentz-space framework by checking whether a slightly larger endpoint space, such as W^{3,p} with p close to 1, still admits global propagation or already exhibits the ill-posedness seen for p>1."],"forward_implications":["In two dimensions, every initial vorticity in W^{2,1}(R²) generates a unique global solution with ω∈C(R₊;W^{2,1}), with at most double-exponential growth of the W^{2,1} norm.","In three dimensions, every axisymmetric no-swirl initial vorticity in W^{3,1}(R³) generates a unique global solution with ∇³ω∈C(R₊;L¹); the L¹ norm of ∇³ω and the L^{3/2,1} norm of ∇²ω grow at most double exponentially.","The ill-posedness mechanisms that operate in W^{d/p,p} for 1<p<∞ cannot be transplanted to p=1, because at p=1 the velocity is Lipschitz; the endpoint case is therefore well-posed rather than ill-posed for these flow classes.","The axisymmetric no-swirl class is the one used in several ill-posedness constructions; this result shows that those constructions stop working exactly at the p=1 endpoint.","Global regularity in W^{3,1} for general, non-axisymmetric three-dimensional vorticity remains open; the authors identify the propagation of ∇³ω∈L¹ as the core difficulty."],"fun_headline_variants":["Euler global well-posedness in endpoint space W^{d,1}","Swirl-free 3D and 2D vorticity: global regularity at W^{d,1}","Endpoint Sobolev regularity is globally well-posed for Euler","Global Euler regularity breaks p>1 ill-posedness at endpoint","Vorticity W^{d,1} propagates globally for 2D and axisymmetric 3D"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The existence part of the 3D theorem rests on an omitted compactness argument: the paper asserts, in Section 3, that the a priori estimates for smooth axisymmetric data pass to the limit and produce a solution with ∇³ω∈L¹, despite L¹ not being weakly compact; if this passage fails, Theorem 1.2's existence claim collapses.","fun_headline_variants_meta":{"raw":{"variants":["Euler global well-posedness in endpoint space W^{d,1}","Swirl-free 3D and 2D vorticity: global regularity at W^{d,1}","Endpoint Sobolev regularity is globally well-posed for Euler","Global Euler regularity breaks p>1 ill-posedness at endpoint","Vorticity W^{d,1} propagates globally for 2D and axisymmetric 3D"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000329,"raw_usage":{"total_tokens":1670,"prompt_tokens":737,"completion_tokens":933,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":481,"completion_tokens_details":{"reasoning_tokens":822}},"tokens_in":481,"tokens_out":933,"duration_ms":8026,"temperature":1.0,"reasoning_tokens":822,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T18:59:23.393763+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete way to test the claim: take a sequence of smooth axisymmetric no-swirl initial data with uniformly bounded W^{3,1} norms and check whether the third derivatives of the vorticity converge strongly in L¹ as the mollifier is removed. If a limit is only a bounded measure rather than an L¹ function—or if, for some data, the a priori bound on ∇³ω in L¹ blows up in finite time—the global propagation claim would be false.","supporting_citations":[],"review_version":1}