{"id":"78c714f2-5afa-4be8-a715-cc3fd6dc7048","arxiv_id":"2602.22767","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the QGSW equations, a C^{1,γ} vortex patch boundary stays C^{1,γ} for all time, and as the inverse Rossby radius ε→0 the solutions converge to 2D Euler in little Hölder spaces on a uniform time interval.","lead":"This paper proves that vortex patches—regions of constant vorticity—keep their smooth boundaries for all time in the quasi-geostrophic shallow-water (QGSW) model of ocean and atmosphere flow, and that QGSW solutions converge to the classical 2D Euler solutions as the inverse Rossby radius tends to zero. The result connects a standard geophysical model to the well-understood Euler equations through rigorous analysis.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Global vortex-patch regularity (Theorem 1.1) rests on Proposition 5.4/5.6, whose proofs are delegated to [17, §8.3.3]; the L1-kernel absorption into the log-Gronwall structure is asserted but not verified.","rationale":"The reader's weakest assumption is exactly where the central global claim is least secure: Propositions 5.4 and 5.6 are asserted with proofs delegated to [17, §8.3.3], and the only non-homogeneous adjustment is described in words. I have checked the rest of the argument. The local CDE theory, the weak-solution uniqueness, and the convergence theorem are supported by substantial estimates and appear internally consistent. In particular, Lemma 6.3's uniform estimates for Fε−F0 are plausible; the apparently dangerous 1/|x| tail of the Euler kernel is controlled by the splitting into ε|x|≤1 and ε|x|≥1, and the large-separation Hölder seminorm can be handled through the L∞ smallness. The main unresolved question is whether the L1 part S2 genuinely enters the log-Gronwall chain additively. The paper's Remark 4 and the paragraph after Proposition 5.6 assert this, but the actual computation is not shown. Since Theorem 1.1 is global in time and the kernel is non-homogeneous, this is the load-bearing point. A referee should require the detailed proof of Propositions 5.4 and 5.6 with S2 explicitly tracked. If the check I propose confirms the additive-constant behavior, the conditional acceptance can be converted to acceptance; if not, the global regularity conclusion is unsupported. The paper should also be revised to more prominently credit [22] for the analogous Theorem 1.1 and Theorem 4.5, as the authors themselves acknowledge, but this is a novelty issue rather than a correctness issue.","tokens_in":29236,"tokens_out":29550,"duration_ms":285295,"concrete_test":"Write out Proposition 5.4 for the QGSW kernel following [17, §8.3.3], replacing the Euler second-derivative kernel by S1 and treating S2 as an L1 perturbation exactly as described in Remark 1. Concretely: (i) compute ||S2*χ_Ω||∞ for a C^{1,γ} patch and verify it is bounded by a constant depending only on Ω0 and independent of |∇φ|_γ and ε; (ii) in the derivation of Proposition 5.6's first inequality, verify that every term proportional to |∇φ|_γ is multiplied by ||∇v||∞, and that S2 contributes only to the additive constant in Proposition 5.4. If S2 produces a term |∇φ|_γ without a ||∇v||∞ factor, the double-exponential bounds fail and Theorem 1.1 is unsupported.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The global-in-time persistence of C^{1,γ} patch boundaries, Theorem 1.1, depends on the log-Gronwall mechanism in Theorem 5.3. The paper says 'The proof of Theorem 5.3 comes from combining the following results. For the details, see [17, §8.3.3]' and then proves only Proposition 5.5. Proposition 5.4 (the logarithmic bound on ||∇v||∞) and Proposition 5.6 (the Gronwall inequalities for |∇φ|_γ, ||∇φ||∞, |∇φ|_inf) are not proved. The only adjustment supplied is the assertion, after Proposition 5.6, that the non-homogeneous part S2 of ∇K is L1, contributes an additive constant to the L∞ bound of ∇v, and 'is absorbed into the coefficients of the Gronwall inequality, leaving the structure of the proof and the conclusion of global regularity unchanged.' This is the load-bearing point: the double-exponential control of |∇φ(t)|_γ in Theorem 5.3 requires that the log-Gronwall structure be exactly the Euler one after an additive constant. If S2, despite being L1, injected a term proportional to |∇φ|_γ into the differential inequality for |∇φ|_γ without the ||∇v||∞ factor, or if its contribution to ||∇v||∞ depended on |∇φ|_γ, the global bounds would not close. The manuscript does not display the Gronwall computation or the S2 contribution to Proposition 5.4. Since Theorem 1.1 is global in time and the kernel is non-homogeneous, this is a genuine proof gap rather than a merely stylistic citation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the 2D quasi-geostrophic shallow-water (QGSW) equations, in which the velocity is obtained from the scalar vorticity via the kernel K(x) = ε/(2π) x⊥/|x| K1(ε|x|), and proves two main results. Theorem 1.1 asserts that if the initial vortex patch has boundary of class C^{1,γ}, then the unique weak solution remains a patch with C^{1,γ} boundary for all time. Theorem 6.1 asserts that, for initial data in the little Hölder space c^γ_c, the QGSW solution converges to the corresponding 2D Euler solution in C^γ norm locally in time as ε→0. The proofs use modified Bessel function estimates, Hölder-space kernel bounds, particle-trajectory methods, the contour dynamics equation, and a log-Gronwall mechanism adapted from the Euler case. The paper also proves local existence and uniqueness of regular solutions, global existence of weak solutions, and uniqueness of weak solutions in the Yudovich class.","tokens_in":29586,"tokens_out":20350,"duration_ms":171899,"significance":"If the results are correct, the paper fills a natural gap in the literature: previously, vortex-patch regularity for non-homogeneous kernels such as the QGSW one had not been established, and the convergence of QGSW to Euler in Hölder spaces provides a rigorous justification of the formal limit ε→0. The paper contains several concrete new estimates — for example, the ε-uniform bounds on the Bessel kernel and its derivatives in Lemma 2.2, the decomposition of ∇K into a singular part with zero spherical mean and an integrable part in Remark 1, and the commutator computation in Proposition 5.5. These are nontrivial and will be useful beyond this paper. The statements are clean, the relation to prior work is acknowledged, and the convergence proof in Section 6 is largely self-contained. The main weakness is that the global-in-time vortex-patch regularity result rests on two propositions that are stated but not proved, with only a reference to the Euler textbook argument [17, §8.3.3].","major_comments":[{"comment":"Theorem 1.1's global-in-time persistence relies entirely on Theorem 5.3, whose proof is not given. The text states 'The proof of Theorem 5.3 comes from combining the following results. For the details, see [17, §8.3.3]' and then proves only Proposition 5.5. Proposition 5.4 (the logarithmic bound on ||∇v||∞) and Proposition 5.6 (the Gronwall inequalities for |∇φ|_γ, ||∇φ||∞, |∇φ|_inf) are not proved. The only adjustment for the non-homogeneous QGSW kernel is the assertion after Proposition 5.6 that the L^1 part S^(2) contributes an additive constant and is absorbed into the Gronwall coefficients. This is the load-bearing point: the double-exponential control of |∇φ(t)|_γ requires that the differential inequality in Proposition 5.6 retains exactly the Euler structure after an additive constant. If S^(2) injected a term proportional to |∇φ|_γ into the inequality for |∇φ|_γ without the ||∇v|","section":"Section 5.2, Propositions 5.4 and 5.6"},{"comment":"Theorem 3.1 asserts global-in-time well-posedness in C^γ_c for q0∈C^γ_c, but the global half is only sketched. The paragraph after Theorem 3.6 states that the only way to leave O_M is unboundedness of ∥X∥_{1,γ}, and then asserts 'one can see that ∫ ||∇v||∞ ds is controlled by ∫ ||q||∞ ds'. This estimate alone does not control ∥X∥_{1,γ}; one also needs a uniform bound on |∇v|_γ, obtained from Lemma 2.3(25), and a Gronwall estimate using the composition bounds in Lemma 2.1(16). Without these, the global existence of the flow map is not established. This gap propagates to Theorem 4.3, where the all-time weak-solution existence is obtained by applying Theorem 3.1 to mollified initial data. The missing argument is standard, but it is load-bearing for the stated global results and should be included.","section":"Section 3.2 (Global existence of smooth solutions)"}],"minor_comments":[{"comment":"The notation v = ∇^⊥_x K0 * χ_Ω omits the ε-argument. The QGSW kernel is ∇^⊥ K0(ε|x-y|), and the statements should read accordingly to avoid confusion with the Euler kernel.","section":"Propositions 5.4 and 5.5"},{"comment":"The little Hölder space c^γ_c is introduced only in Section 6, although the abstract refers to it. Consider defining it in Section 2 along with the usual Hölder spaces.","section":"Section 2 / Section 6"},{"comment":"In the proof of Lemma 6.3, the constants in several inequalities depend on the support radius R and on the bi-Lipschitz constants of X∈U_δ. It would improve readability to state explicitly that the final estimates are uniform for X∈U_δ and q0 in a fixed bounded subset of c^γ_c.","section":"Lemma 6.3"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a promising set of new estimates, especially the Bessel-kernel bounds and the commutator computation, and the convergence section is largely self-contained. However, the global vortex-patch regularity theorem is currently supported by an unproved citation to [17, §8.3.3] for the two propositions that carry the log-Gronwall mechanism. In revision, the authors should either supply the complete Gronwall computation for the non-homogeneous kernel or verify all hypotheses of the textbook argument with the S^(2) contribution explicitly accounted for. The gap is likely fixable, but it is central enough that the manuscript should not be accepted in its present form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: Theorem 6.1, the little-Hölder convergence to 2D Euler as ε→0, is the genuinely new part of this paper and it looks solid. The vortex-patch persistence theorem, Theorem 1.1, is largely parallel to Tan–Xue–Xue [22], as the authors honestly acknowledge, and its global-in-time half is not fully proved here. The paper still deserves serious refereeing, but the referee should insist on seeing the missing arguments.\n\nWhat is actually new: the convergence theorem on a uniform time interval, and the ε-independent kernel estimates that support it. Lemma 6.3 is proved in real detail, with careful splitting of the kernel difference into the near and far regions, and the constants are checked to be independent of ε. Proposition 5.5, the commutator estimate, is also proved in full and appears correct. The decomposition of ∇K into a singular zero-mean part S^(1) and an L^1 part S^(2) is genuinely useful, and the authors verify the ε-independence of the constants rather than just citing the Euler case.\n\nCredit is due for the candor: the note on related work tells the reader that Theorems 1.1 and 4.5 are analogous to results already obtained by Tan–Xue–Xue, and Remark 5 states plainly that Theorem 6.1 does not cover vortex patches. That is honest scholarship. It also means the novelty is narrower than the abstract might suggest.\n\nThe soft spot is real and load-bearing for Theorem 1.1. Propositions 5.4 and 5.6, which provide the logarithmic bound on ∇v and the Gronwall inequalities for the patch boundary, are stated and then delegated to [17, §8.3.3]. The only adjustment supplied is the assertion that S^(2) is L^1, contributes an additive constant to the L∞ bound of ∇v, and is absorbed into the coefficients of the Gronwall inequality. The stress-test concern lands: for the log-Gronwall mechanism to close, that additive constant has to enter without creating an extra term proportional to |∇φ|_γ in the differential inequality for |∇φ|_γ. The manuscript does not display that computation. This is a presentation gap rather than a demonstrated error — the structure of the decomposition makes the claim plausible — but for a global-in-time regularity theorem, the reader should not have to guess.\n\nMinor: Section 3.2 global smooth existence is also a sketch. That is less concerning because the mechanism is standard and the result is not the headline.\n\nWho this is for: researchers working on active scalar equations, vortex patches, and geophysical fluid models. The convergence theorem will be cited; the patch theorem is useful mainly as a clean statement with different methods than [22]. I would bring it to a reading group, with the explicit task of checking the Gronwall absorption. Send it to peer review, with a clear request to supply or precisely reference the missing global-regularity arguments and to adjust the introduction so the reader sees the relation to [22] upfront.","headline":"The convergence-to-Euler theorem is the real, well-supported contribution; the global vortex-patch theorem is partially delegated to the Euler literature and needs a referee to ask for the missing Gronwall details.","tokens_in":30172,"tokens_out":2194,"would_cite":true,"duration_ms":25147,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","76B47","35B65"],"pacs":[],"model":"deepseek-v4-flash","headline":"Vortex patches in the quasi-geostrophic shallow-water equations keep C^{1,γ} boundaries for all time, and the equations converge to 2D Euler flow as the Rossby radius grows.","keywords":["quasi-geostrophic shallow-water equations","vortex patches","boundary regularity","Hölder spaces","contour dynamics","modified Bessel functions","Rossby radius","convergence to Euler"],"falsifier":"Compute an explicit bound for ||∇v||_∞ for a QGSW vortex patch in terms of the defining function's Hölder seminorm and check whether the S^{(2)} contribution remains an additive constant. If that contribution grows non-additively with |∇φ|_γ, then the Gronwall inequality would produce a super-double-exponential bound and the global-regularity conclusion would fail; a numerical test with a patch whose boundary has large curvature and small |∇φ|_inf would reveal finite-time corner formation.","tokens_in":29067,"feed_emoji":"🌀","tokens_out":3545,"duration_ms":34484,"temperature":0.7,"pith_summary":"The paper proves that the vortex-patch boundary-regularity theorem, known for the 2D Euler equations, carries over to the quasi-geostrophic shallow-water (QGSW) equations. It shows that if the initial patch boundary is C^{1,γ}, the unique weak solution remains the characteristic function of a domain with C^{1,γ} boundary for all time. It also proves that, as the inverse Rossby radius ε tends to zero, QGSW solutions converge to the corresponding Euler solution in little Hölder spaces, uniformly on a time interval. This matters because QGSW is a physically relevant one-parameter family that reduces to Euler when ε=0, yet its kernel is non-homogeneous and does not fit previous Euler-type vortex-patch frameworks.","feed_headline":"Vortex-patch boundaries stay smooth in the QGSW model","feed_subtitle":"A shallow-water generalization of Euler keeps patch boundaries C^{1,γ} forever and converges to Euler as the Rossby radius grows.","key_machinery":"The velocity kernel K(x)= (ε/2π)(x^⊥/|x|) K_1(ε|x|), with K_1 a modified Bessel function, is non-homogeneous. The central technical device is the decomposition ∇K = S^{(1)} + S^{(2)}: the singular part S^{(1)} has components of order 1/|x|^2 with zero spherical mean, exactly as the Euler kernel, while S^{(2)} is integrable and contributes only additive constants to the estimates. This lets the classical Euler vortex-patch proof (via the contour dynamics equation for the boundary curve and a defining-function Gronwall argument) be reused, and it yields the uniform-in-ε estimates that prove convergence to Euler.","core_discovery":"For every bounded initial domain with boundary of class C^{1,γ} (0<γ<1), there is a unique weak solution to QGSW of the form q(x,t)=χ_{Ω_t}(x), where Ω_t is a bounded domain whose boundary remains in C^{1,γ} for all time. Independently, for initial data in the little Hölder space c^γ_c, the unique QGSW solution converges to the unique 2D Euler solution in the C^γ norm as ε→0, uniformly for t in a time interval that does not shrink to zero.","pith_inferences":["The proof's reliance on the Euler global-regularity mechanism indicates that the same double-exponential Gronwall strategy would work for any kernel of the form 'odd homogeneous kernel + integrable perturbation', yielding a broader class of active scalar equations with patch persistence; this is a testable extension beyond the specific Bessel kernel.","The convergence result is stated in little Hölder spaces, not for vortex patches; an open question directly suggested by the paper is whether the vortex-patch boundaries themselves converge in C^{1,γ} as ε→0, with a rate controlled by the same kernel difference estimates.","The a priori bound of Proposition 5.4 is logarithmic in the boundary Hölder seminorm; if the S^{(2)} part were to contribute superlinearly in that seminorm to the Gronwall estimate, the bound would not close, so the paper implicitly asserts a precise cancellation whose verification is the main technical risk.","The proof of Theorem 6.1 uses a dense subclass of smooth functions to interchange limits; an inference is that the convergence in C^γ may hold for all C^γ data, but the little-Hölder condition is essential for the proof, suggesting that convergence may fail in the full Hölder space without that vanishing-oscillation assumption."],"forward_implications":["If the theorems are correct, the quasi-geostrophic shallow-water model has the same vortex-patch boundary persistence as 2D Euler: initially smooth patch boundaries stay smooth forever, so analytical and numerical studies of QGSW patch dynamics can rely on that regularity.","The convergence result rigorously justifies the formal limit of QGSW to 2D Euler as the Rossby deformation radius becomes infinite (ε→0), at least for initial data in little Hölder spaces and for a common time interval.","The kernel decomposition suggests a general principle: a non-homogeneous kernel that differs from an odd homogeneous kernel by an L^1 additive correction inherits the Euler patch-regularity theorem, provided the correction satisfies suitable gradient bounds.","The uniform-in-ε a priori estimates imply that the QGSW solutions exist and remain bounded in C^γ on a time interval independent of ε, which is the key quantitative input for the convergence proof."],"fun_headline_variants":["Patch boundaries stay smooth in shallow-water QG","QGSW preserves vortex patch boundary regularity","Vortex patch edges remain smooth in QGSW, Euler limit","Boundary smoothness proven for QGSW vortex patches","QGSW: patch boundaries smooth forever, Euler convergence"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The global-in-time statement of Theorem 1.1 depends on the assertion that the non-homogeneous, integrable part of the kernel enters the Gronwall estimate only additively and therefore does not change the double-exponential bound that prevents finite-time blow-up of the boundary Hölder norm; the proof of this is deferred to the Euler case.","fun_headline_variants_meta":{"raw":{"variants":["Patch boundaries stay smooth in shallow-water QG","QGSW preserves vortex patch boundary regularity","Vortex patch edges remain smooth in QGSW, Euler limit","Boundary smoothness proven for QGSW vortex patches","QGSW: patch boundaries smooth forever, Euler convergence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000454,"raw_usage":{"total_tokens":2045,"prompt_tokens":594,"completion_tokens":1451,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":338,"completion_tokens_details":{"reasoning_tokens":1383}},"tokens_in":338,"tokens_out":1451,"duration_ms":11337,"temperature":1.0,"reasoning_tokens":1383,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T20:39:28.243819+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute an explicit bound for ||∇v||_∞ for a QGSW vortex patch in terms of the defining function's Hölder seminorm and check whether the S^{(2)} contribution remains an additive constant. If that contribution grows non-additively with |∇φ|_γ, then the Gronwall inequality would produce a super-double-exponential bound and the global-regularity conclusion would fail; a numerical test with a patch whose boundary has large curvature and small |∇φ|_inf would reveal finite-time corner formation.","supporting_citations":[],"review_version":1}