{"id":"6d0bcb5e-32f3-4769-9348-12be3053e3e7","arxiv_id":"2509.01067","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Local existence for variable-coefficient 3D Euler at optimal regularity r>2.5, plus a BKM blow-up criterion at r=3 involving BMO vorticity and H1 velocity.","lead":"This paper proves that a 3D generalized Euler system with space-time dependent coefficients has local smooth solutions at the same minimal regularity as the classical Euler equations, and gives a blow-up criterion. It matters for fluid-structure interaction problems like the Euler-plate system, where coordinate changes produce exactly such variable coefficients.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unproved continuity of the projection operator P_a in Theorem 5.1 is the key gap; the BKM approximation argument depends on it.","rationale":"The reader's weakest-assumption analysis correctly identifies the projection operator P_a as the least-supported link in the proof of the BKM criterion. The central claim of the paper—local-in-time well-posedness with r>2.5 and the BKM-type criterion—is plausible and largely self-consistent. The existence theorem and a priori estimates are detailed, and the variable-coefficient div-curl lemma appears to be a genuine contribution. The main soft spot is indeed in Section 5: the approximation of general H^3 initial data by H^4 data satisfying both the divergence and boundary conditions is asserted rather than proved. This is not a contradiction or an obvious fatal error; it is a standard elliptic projection that can almost certainly be justified, but the paper does not supply the justification. Other issues I considered—the statement of Theorem 2.2 restricting to r∈(2.5,3) while Theorem 4.1 and the note after Theorem 2.3 use r=3, and a small omitted ∇v^n term in the L2-difference estimate for w^n—are either typographical or easily repairable and do not change the central assessment. Because the reader already returned a CONDITIONAL verdict and the concern does not move that verdict, I recommend UNCHANGED: the authors should add the missing elliptic estimate for P_a before the BKM criterion can be considered fully established.","tokens_in":25440,"tokens_out":30110,"duration_ms":343636,"concrete_test":"Derive the mapping property for P_a directly: for the Neumann problem ∂_j(b_ji a_ki ∂_k φ) = ∂_j(b_ji f_i), n_j b_ji a_ki ∂_k φ = n_j b_ji(f_i - ψ_i), prove the elliptic estimate ∥φ∥_{H^{s+1}} ≤ C(∥f∥_{H^s} + ∥ψ∥_{H^s}) for s=3,4, with C depending on the H^5 norm of a and the H^4 norm of ψ, using Lemma 3.2 and the trace theorem. Then verify that if f_n → f in H^3, then P_a f_n → P_a f in H^3. If this estimate holds, the approximating sequence exists and the BKM argument is complete; if it fails, Theorem 5.1 is unsupported as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 5.1 (Section 5), the authors need to approximate an H^3 initial value v0 by H^4 data v0^n satisfying the divergence and boundary conditions, in order to pass to the limit in estimate (5.7). They assert that this is 'ensured by mollification and the continuity of a projection operator P_a', where (P_a f)_i = f_i - a_{ki}∂_k φ and φ solves the displayed elliptic Neumann problem. However, no proof or reference is given that P_a is well-posed or continuous on H^s for the relevant s=3,4. The compatibility condition ∫_∂Ω n·bψ = 0, which follows from the initial assumptions, makes the Neumann problem solvable, so the claim is plausible and likely standard; but it is load-bearing. If such a sequence of H^4 approximants does not exist for general H^3 data, then the bootstrap argument that produces the bound ∥v(t)∥_{H^3} ≤ 2K on [0,T1] and extends the solution past T̂ is not justified. Thus the BKM criterion rests on an unstated elliptic-regularity result.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the incompressible Euler equations with space-time dependent variable coefficients on a bounded domain with a prescribed boundary flux, a system motivated by ALE formulations of free-boundary problems. The main results are local-in-time existence in H^r for r>2.5 (Theorems 2.1–2.2), and, for r=3, a Beale–Kato–Majda-type criterion asserting that the first time of loss of H^3 regularity must be accompanied by divergence of ∫(∥v∥_{H^1}+∥ζ∥_{BMO}) dt (Theorem 2.3). The proof combines a variable div-curl lemma, pressure and vorticity estimates with fractional Leibniz rules, a fixed-point/iteration construction, and an approximation argument for the BKM criterion. The paper is largely self-contained and explicitly notes limitations, e.g., the non-integer BKM case is not proved.","tokens_in":25697,"tokens_out":26116,"duration_ms":288312,"significance":"If the results are correct, this is a substantial contribution: it establishes minimal-regularity local well-posedness for a general variable-coefficient Euler system and gives the first BKM-type blow-up criterion in this setting, with potential applications to the Euler-plate and free-boundary problems. The paper contains several strong elements: a new variable div-curl lemma (Lemma 3.5), a self-contained a priori estimate, and a careful discussion of a necessary compatibility condition. The treatment is honest about which cases are not covered. However, as detailed below, several load-bearing steps are currently asserted rather than proved, and one displayed pressure estimate appears inconsistent with the elliptic regularity that is cited.","major_comments":[{"comment":"The estimate ∥∇q∥_{H^r} ≲ ∥v∥_{W^{1,∞}}∥v∥_{H^r} is not justified by the elliptic problem (3.11)–(3.12). For v∈H^r, the right-hand side of (3.11) lies in H^{r-1} (the worst term is b∇((v−ψ)a)∇v, with two first derivatives on v), so elliptic regularity gives q∈H^r and ∇q∈H^{r-1}, not H^r. This estimate is load-bearing for the differential inequality (5.2) and hence for the BKM conclusion. Please provide a valid proof of the needed pressure control or revise the treatment of the pressure term in the H^r energy identity.","section":"Section 5, before (5.2)"},{"comment":"The existence of a sequence v0^n∈H^{r+1} with v0^n→v0 in H^r and satisfying the divergence/boundary conditions is asserted from 'mollification and the continuity of a projection operator P_a'. No proof or reference is given that P_a is well-posed or continuous on H^s for the relevant s=3,4. The subsequent passage to the limit in (5.7) and the contradiction argument past T̂ depend on this approximation. The claim is plausible from standard elliptic regularity for the displayed Neumann problem, but it must be stated and proved as a lemma.","section":"Section 5, proof of Theorem 5.1, approximants v0^n"},{"comment":"The difference-quotient justification of the vorticity estimate for solutions with only v∈H^r is summarized by 'the estimates proceed as they did in Lemma 3.4'. This is the step that extends the a priori estimates from smooth solutions to the actual H^r solutions used in the existence theorem. The commutator estimates for Λ^{r−2}D are not literally identical to those for Λ^{r−1}, and no details or reference are supplied. Since the existence proof hinges on this, the estimates should be written out or a precise reference given.","section":"Section 4, Step 4 (after (4.27))"}],"minor_comments":[{"comment":"The symbol E is overloaded: it denotes both the extension operator and the compatibility scalar E(t) in (4.11)–(4.12). This is confusing and should be disambiguated.","section":"Section 4, Step 1"},{"comment":"The phrase 'non-tangential estimates' appears to be a typo for 'non-integer estimates' or similar; please clarify.","section":"Section 3.2"},{"comment":"Theorem 2.2 states r∈(2.5,3), while Theorem 4.1 states r∈(2.5,3]. Please reconcile the ranges, especially in relation to the r=3 existence claim and the BKM theorem.","section":"Theorems 2.2 and 4.1"},{"comment":"The formula for K contains a nested exponential that is difficult to parse. Rewriting with intermediate quantities would improve readability.","section":"Section 5, after (5.6)"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a significant problem and contains several genuinely novel ingredients. The main concerns are fixable in principle: the P_a projection is standard and can be established by elliptic regularity; the difference-quotient step can likely be completed with routine estimates. However, the pressure estimate in Section 5 is more than a missing detail—it appears to claim H^{r+1} regularity of q from data of lower regularity, and correcting it may require a substantive change to the BKM proof. I therefore recommend major revision rather than rejection, but the authors should be asked to carefully justify or revise the pressure estimate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take before you read it: this is a genuine advance for the variable-coefficient Euler system, not a repackaging. The paper proves local well-posedness for the general Piola-elliptic coefficient setting with inhomogeneous boundary data at the classical threshold r > 2.5, and gives a BKM-type blow-up criterion for r = 3. Previous work only handled coefficients coming from an ALE change of variables. The new variable div-curl lemma and the vorticity equation with its lower-order pressure forcing are actually novel, and the a priori estimates are long but mostly careful. The authors also state honestly that the non-integer BKM case is out of reach for their method.\n\nNow the soft spots, in proportion. The biggest is in the proof of Theorem 5.1. To justify the BKM blow-up bound, they need to approximate H^3 initial data by H^4 data satisfying the same divergence and boundary conditions. They assert that mollification plus continuity of a projection operator P_a gives this, but no proof or reference is supplied. That's load-bearing: the whole approximation argument for the blow-up criterion rests on it. It's likely a standard elliptic regularity fact, but it needs to be written out, not waved at. Less serious but worth flagging: in Section 4, Step 4, the difference-quotient justification for the vorticity estimates is sketched as 'the estimates proceed as they did in Lemma 3.4.' That's a real gap in exposition, though the structure is plausible and the pressure regularity is already high enough to handle the elliptic part.\n\nThe abstract also overstates the BKM result: it says blow-up relates to the BMO norm of the variable vorticity, but the theorem needs the H^1 norm of v as well. The proof explains why that term is necessary—the L^2 norm is not conserved due to the boundary data—so the theorem is right, but the abstract should match it.\n\nOverall, the main existence theorem looks solid and the BKM proof is probably repairable. The citation pattern is fine; the prior ALE papers by the same group are the natural antecedents, and the novelty claim is accurate. If a referee asks for the P_a details and a clearer difference-quotient step, this is publishable. I'd take it seriously and send it out, not desk-reject.","headline":"Real progress on variable-coefficient Euler well-posedness, but the BKM proof leans on an unproved projection operator and the abstract drops the H^1 term from the blow-up criterion.","tokens_in":26186,"tokens_out":1636,"would_cite":true,"duration_ms":21827,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","35Q35","35B44","76B03"],"pacs":[],"model":"deepseek-v4-flash","headline":"The variable-coefficient Euler system is locally well-posed for initial data in H^r with r>2.5, and for r=3 any loss of H^3 regularity forces the integral of the H^1 velocity plus the BMO vorticity to diverge.","keywords":["Euler equations","variable coefficients","local well-posedness","Beale-Kato-Majda criterion","BMO vorticity","free-boundary Euler","Arbitrary Lagrangian-Eulerian","incompressible flow"],"falsifier":"The decider is the projection step: exhibit H^3 initial data satisfying the divergence and boundary conditions for which no sequence of H^4 approximants preserving those conditions converges in H^3, which would invalidate the approximation argument in Theorem 5.1. Alternatively, find a solution with finite ∫(∥v∥_{H^1}+∥ζ∥_{BMO}) that still loses H^3-continuity, which would refute the criterion directly.","tokens_in":25336,"feed_emoji":"🌀","tokens_out":9481,"duration_ms":104536,"temperature":0.7,"pith_summary":"The paper tries to show that the incompressible Euler equations remain just as well behaved when the fluid coefficients vary in space and time and the boundary data are inhomogeneous—a situation that arises when a moving free boundary is transformed to a fixed domain. Its first claim is local-in-time existence for initial velocity in H^r with r>2.5, the same optimal regularity as the classical Euler equations, on a bounded domain. Its second claim is a Beale-Kato-Majda-type criterion for r=3: a solution loses H^3 regularity only if the integral of the H^1 norm of velocity plus the BMO norm of the variable vorticity diverges before that time. If true, the variable-coefficient system is not a new obstacle to well-posedness, and the same quantities that control breakdown in the classical case control breakdown here.","feed_headline":"Same regularity threshold holds for variable-coefficient Euler","feed_subtitle":"Local existence at H^r, r>2.5, and blow-up is tracked by BMO vorticity plus the H^1 norm.","key_machinery":"The central object is the variable vorticity ζ_i = ε_{ijk} b^{ℓj} ∂_ℓ v^k, where b = cof(a^{−1})^T is a matrix-valued coefficient satisfying the Piola identity and whose product with a is uniformly elliptic. The vorticity obeys an equation with a stretching term ζ_p b^{mp} ∂_m v^i plus lower-order forcing terms that include a pressure term—unlike in classical Euler. The key estimate is a variable div-curl lemma, ∥v∥_{H^r} ≲ ∥b^{ji}∂_j v_i∥_{H^{r−1}} + ∥ζ∥_{H^{r−1}} + ∥v^k b^{jk} n_j∥_{H^{r−1/2}(∂Ω)} + ∥v∥_{L^2}, which replaces the classical div-curl lemma that fails under the Piola condition. For blow-up, the controlling estimate is an elliptic BMO bound, ∥v∥_{BMO} + ∥∇v∥_{BMO} ≲ ∥v∥_{H^1} +","core_discovery":"The paper establishes that the system ∂_t v^i + (v^m − ψ^m)a_k^m ∂_k v^i + a_k^i ∂_k q = 0, with variable divergence a_j^i ∂_j v^i = 0 and boundary condition (v^k − ψ^k)a_j^k n_j = 0 on a bounded smooth domain, is locally well-posed for v_0 ∈ H^r, r ∈ (2.5, 3] (and similarly for r>3), under Piola-type structure on b = cof(a^{−1})^T, uniform ellipticity of b^T a, and the compatibility condition ∫_{∂Ω} ∂_t(n_j b^{ji} ψ_i) = 0. The solution satisfies ∥v(t)∥_{H^r} + ∥∇q∥_{H^{r−1}} bounded by a polynomial in the data. For r = 3, the paper proves that if T̂ is the first loss of H^3 continuity, then ∫_0^{T̂} (∥v∥_{H^1} + ∥ζ∥_{BMO}) dt = ∞; equivalently, boundedness of that integral keeps the H^3 no","pith_inferences":["Beyond the paper, the H^1 term in the blow-up criterion may be an artifact of the inhomogeneous boundary data; a variant with mass-conserving boundary flux might reduce the criterion to the classical ∫∥ζ∥_{BMO} form.","A natural next problem is to prove the continuity of the projection operator used for smoothing initial data; settling that elliptic question would place the approximation argument in Theorem 5.1 on the same footing as the rest of the proof.","The non-integer case r∈(2.5,3) is left open for blow-up; an estimate of the forcing terms directly in Sobolev-Slobodeckij norms, bypassing the extension method, would plausibly close it, since the paper identifies the obstruction as technical rather than structural.","The criterion suggests a practical numerical monitoring quantity: tracking ∫(∥v∥_{H^1}+∥ζ∥_{BMO}); if it remains bounded on a computed interval, the solution should be extendable—an observable prediction of the theorem."],"forward_implications":["The variable-coefficient Euler system inherits the classical regularity threshold: initial data in H^r for any r>2.5 produce a local-in-time solution, so applications that reduce free-boundary or fluid-structure problems to this form do not lose regularity.","For r=3, blow-up of the H^3 norm is impossible while ∫(∥v∥_{H^1}+∥ζ∥_{BMO}) stays finite; hence this integral is a verifiable breakdown detector for numerical or analytic studies.","The L^2 norm is not conserved in this system; the paper shows it is still driven by the stretching term, which is why the H^1 norm appears in the criterion alongside the vorticity BMO norm.","The compatibility condition ∫_{∂Ω} ∂_t(n_j b^{ji} ψ_i)=0 is necessary for any solution, linking the prescribed boundary velocity ψ to the incompressibility condition.","The criterion applies to the Euler-plate and arbitrary-Lagrangian-Eulerian settings from which the model comes, where no such blow-up control was previously available."],"supporting_citations":[{"why":"The classical criterion for 3D Euler whose variable-coefficient analogue Theorem 2.3 establishes.","marker":"[BKM]"},{"why":"Supplies the original div-curl lemma that the new variable div-curl lemma (Lemma 3.5) generalizes.","marker":"[BB]"},{"why":"Provides the logarithmic BMO-Sobolev inequality that turns vorticity BMO control into W^{1,∞} control in the blow-up proof.","marker":"[KT]"},{"why":"Sets up the ALE change-of-variables model and the linearized transport-plus-elliptic-pressure construction used in Section 4.","marker":"[KuT]"},{"why":"Treats the minimal regularity r∈(2.5,3) for the special hydroelastic model that the general variable-coefficient result covers.","marker":"[AKT]"},{"why":"Supplies the elliptic BMO regularity estimate used in Lemma 5.2 to bound v and ∇v in BMO.","marker":"[T]"},{"why":"Provides the fractional Leibniz and Kato-Ponce inequalities used for the non-integer vorticity estimates.","marker":"[Li]"},{"why":"An early extension of the BKM criterion that the paper's bounded-domain version follows and adapts.","marker":"[P]"}],"fun_headline_variants":["Variable-coefficient Euler: optimal H^r regularity","Blow-up in variable-coefficient Euler tied to BMO vorticity","Sharp threshold holds for variable-coefficient Euler","BKM criterion for variable-coefficient Euler at r=3","Local existence for variable-coefficient Euler at r>2.5"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The blow-up proof assumes that any allowed initial velocity can be smoothed into higher-regularity approximants by a projection that preserves the divergence and boundary conditions—an assumption stated without proof or reference.","fun_headline_variants_meta":{"raw":{"variants":["Variable-coefficient Euler: optimal H^r regularity","Blow-up in variable-coefficient Euler tied to BMO vorticity","Sharp threshold holds for variable-coefficient Euler","BKM criterion for variable-coefficient Euler at r=3","Local existence for variable-coefficient Euler at r>2.5"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000304,"raw_usage":{"total_tokens":1570,"prompt_tokens":715,"completion_tokens":855,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":459,"completion_tokens_details":{"reasoning_tokens":767}},"tokens_in":459,"tokens_out":855,"duration_ms":9269,"temperature":1.0,"reasoning_tokens":767,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T12:55:45.146843+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The decider is the projection step: exhibit H^3 initial data satisfying the divergence and boundary conditions for which no sequence of H^4 approximants preserving those conditions converges in H^3, which would invalidate the approximation argument in Theorem 5.1. Alternatively, find a solution with finite ∫(∥v∥_{H^1}+∥ζ∥_{BMO}) that still loses H^3-continuity, which would refute the criterion directly.","supporting_citations":[],"review_version":1}