{"id":"58efccc5-0256-461a-83be-999d98e6d6af","arxiv_id":"2505.05430","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new operator generalizing the Dirichlet-Neumann operator to constant-vorticity flows over arbitrary bottoms is analyzed, and local well-posedness for the resulting water-wave system is proved.","lead":"This paper builds a mathematical framework for two-dimensional water waves with constant vorticity above an uneven seabed. It proves that the system is locally well-posed and extends the classical Dirichlet-Neumann operator to this setting.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3 rests on a priori estimates whose proof is delegated to ABZ11; the new vorticity terms are never checked against those cited arguments.","rationale":"I read the paper in good faith. The analyticity and paralinearization results for the generalized Dirichlet-Neumann operator G(eta,beta,gamma) are original, detailed, and give independent content: Theorem 1, Theorem 2, and the homogeneous expansion in Section 3.2 are substantial and mostly self-contained. The problem is in Section 4, where the local well-posedness proof becomes a sequence of citations to ABZ11. Since Theorem 3 is the central claim, the absence of the actual energy estimates is a genuine, load-bearing gap. The reader's stated weakest assumption, the strict connectivity condition (A1), is less persuasive: with s > 5/2, H^{s+1/2} embeds in C^1, so the open condition h - beta + eta(t,x) >= h0 is stable for small time, and the paper explicitly enforces it uniformly on the existence interval in Section 4. I therefore disagree with the reader's emphasis, but I agree with the overall conditional verdict because the omissions in Section 4 prevent full verification. The proposed concrete check would settle whether the adapted ABZ11 estimates actually close at the claimed regularity; until then the theorem is plausible but not established by the text itself. I am not claiming fraud or misconduct; this is a standard completeness objection to a proof that delegates its central estimates.","tokens_in":38804,"tokens_out":19911,"duration_ms":226054,"concrete_test":"Write out the proof of Proposition 4.16 for the symmetrized system (4.9), with data F in H^{sigma+1/2} x H^sigma, following Proposition 5.4 of ABZ11. Track every commutator involving T_{V - gamma eta} partial_x, T_{partial_t p}, and T_{partial_t q}. In particular, verify that [partial_t + T_{V - gamma eta} partial_x, T_p] maps H^{s+1/2} to H^s and that [partial_t + T_{V - gamma eta} partial_x, T_q] maps H^s to H^s using only ||eta||_{H^{s+1/2}}, ||psi||_{H^s}, and ||beta||_{H^{s+1/2}}. If any commutator requires one additional derivative of eta or psi, then the threshold s > 5/2 stated in Theorem 3 is not sufficient.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 4 does not prove the estimates on which Theorem 3 depends. Proposition 4.15, the a priori bound for the approximate system, is asserted to follow from Section 5.5 of ABZ11; Proposition 4.16, the linear energy estimate, is asserted to follow from Proposition 5.4 of ABZ11; Lemmas 4.17-4.20 are similarly deferred to Lemmas 6.1-6.3 of ABZ11. The genuinely new terms introduced by constant vorticity, specifically T_{V-gamma eta} partial_x, the gamma-dependence of V, B, lambda, and the commutators in Corollary 4.13 and Lemma 4.12, are not verified against the cited energy framework. This is load-bearing because Theorem 3 is the advertised application and the proof of existence, convergence, and uniqueness all pass through these omitted estimates. By contrast, the strict connectivity condition (A1) identified by the reader is not the main obstruction: for s > 5/2, H^{s+1/2} embeds into C^1, and the inequality h - beta + eta(t,x) >= h0 persists for a short time once it holds initially. The central gap is the unverified transfer of the ABZ11 energy machinery to the present vorticity and general-bottom system.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the two-dimensional gravity-capillary water wave problem with constant vorticity over a time-independent, non-flat bottom. It introduces a generalized Dirichlet-Neumann operator G(η,β,γ) that combines the classical Dirichlet-Neumann operator with a Neumann-Neumann contribution arising from the nonhomogeneous Neumann condition at the bottom. The main results are: (i) analyticity of G in (η,β) for s>3/2 (Theorem 1); (ii) a homogeneous expansion around η=0 with an explicit zeroth-order term (Section 3.2, equation (2.1)); (iii) a paralinearization formula with Alinhac's good unknown (Theorem 2 / Proposition 3.10); and (iv) a local well-posedness theorem (Theorem 3) for (η,ψ) ∈ H^{s+1/2}_0(T) × H^s(T), s>5/2, under the strict connectivity condition (A1). The proof of Theorem 3 follows the strategy of [ABZ11]: paralinearization of the system, symmetrization via paradifferential symbols, a priori estimates for a regularized approximate system, compactness, and uniqueness.","tokens_in":39066,"tokens_out":4439,"duration_ms":43638,"significance":"If the results are correct, Theorem 3 is a substantive extension of the irrotational local well-posedness theory of [ABZ11] to constant vorticity with general bottom topography, at the same Sobolev regularity. The analyticity and paralinearization results for G(η,β,γ) are new and of independent interest. The paper contains detailed proofs for the operator properties in Sections 3.1-3.4, explicit formulas for the expansion and the paradifferential symbols, and a clear reduction of the water-wave system to a symmetrizable paradifferential system. These are genuine strengths. The principal weakness is that the energy estimates underpinning Theorem 3 are delegated to [ABZ11] without a verification that the new vorticity- and bottom-dependent terms satisfy the hypotheses of the cited arguments.","major_comments":[{"comment":"The proof of Proposition 4.15 is delegated to Section 5.5 of [ABZ11], Proposition 4.16 to Proposition 5.4 of [ABZ11], and Lemmas 4.18-4.20 to Lemmas 6.1-6.3 of [ABZ11]. This is load-bearing because the existence proof, the uniform bounds, and the Cauchy convergence of the approximate solutions all pass through these estimates. The operators in the regularized system (4.12)-(4.13) contain the new transport term γη∂x and the vorticity-modified symbols V(η,β,γ)(ψ), B(η,β,γ)(ψ), and λ in (3.30), together with the commutators estimated in Lemma 4.12 and Corollary 4.13. The manuscript does not verify that these new terms satisfy the symbolic calculus and energy estimates with the required constants C(M0) and C(M(T)). To make Theorem 3 self-contained, the author must either provide full proofs of Propositions 4.15-4.16 or give a detailed term-by-term check of each new contribution against the cited [ABZ11] framework.","section":"Section 4.3, Propositions 4.15-4.16 and Lemmas 4.18-4.20"},{"comment":"The proof of Lemma 4.20 states: \"it follows from Lemma 4.20 and from Proposition 4.16 applied...\", which is a circular self-reference if read literally. The intended reference is presumably Lemma 4.19. Because this occurs in the proof of the Cauchy property on which existence relies, the argument must be corrected and rewritten; as printed, the proof of Lemma 4.20 invokes its own statement.","section":"Section 4.4, proof of Lemma 4.20"},{"comment":"Lemma 3.9 assumes the smallness condition (3.23), ‖η‖_{H^s}<ε0, in order to invert the good-unknown map ω→ψ. The text after Lemma 3.9 then rewrites B and V as functions of ω under this smallness assumption. However, Proposition 3.10 and Theorem 2 contain no smallness condition on η, and the proof of Proposition 3.10 in Section 3.4 appears not to use Lemma 3.9. The manuscript should clarify whether the smallness assumption is needed only for auxiliary rewritings or whether it implicitly restricts the paralinearization theorem; as written, the apparent mismatch with the arbitrary-size initial data in Theorem 3 is confusing and should be resolved.","section":"Section 3.3, Lemma 3.9 and Proposition 3.10"}],"minor_comments":[{"comment":"The word \"analiticity\" is misspelled in the abstract, Section 2.1, and Theorem 1; it should be \"analyticity\". Also, \"funtion\" appears in the statement of Theorem 2.","section":"Throughout"},{"comment":"The text says the approximate systems (4.13) are well-posed, but Lemma 4.17 refers to the Cauchy problem (4.12). Please standardize the numbering to avoid ambiguity.","section":"Section 4.4, paragraph before Lemma 4.17"},{"comment":"Even after correcting the self-reference to Lemma 4.19, the proof would benefit from defining N explicitly and stating the choice of T and ε2 more transparently; the current sentence \"by chosing T and ǫ2 small enough\" is terse.","section":"Section 4.4, Lemma 4.20"},{"comment":"The formulas for q, p, and ϑ are stated without derivation. Since the symmetrization is central, adding one or two sentences explaining how these symbols are obtained from the equations in Proposition 4.10 would improve readability.","section":"Remark 4.11"}],"recommendation":"major_revision","confidential_remarks":"The paper's main issue is not a disagreement with the consensus but an incompleteness: the local well-posedness proof delegates all the key energy estimates to [ABZ11] without checking the new vorticity- and bottom-dependent terms. This is fixable but requires substantial additional work, so I recommend major revision. The self-citations to [Pas25] and [GNPW24] are natural in this line of work and are not a concern. The subject and the level of the paper are appropriate for the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: this paper really does something new. It builds a generalized Dirichlet–Neumann operator for 2D water waves with constant vorticity over a non-flat bottom, proves analyticity, a homogeneous expansion, and a paralinearization formula, and then claims local well-posedness. The operator G(η,β,γ) is a natural combination of the classical DNO with an Iguchi-type Neumann condition at the bottom, and it reduces to known objects in the right limits. Sections 3.1–3.3 look careful and convincing; the analyticity proof via the implicit function theorem and the paralinearization using Alinhac’s good unknown follow standard tracks and the new bottom/vorticity couplings are handled explicitly there. This is the first place I know that puts constant vorticity together with general bottom topography, so the gap-filling is real.\n\nThe soft spot is Section 4. The advertised application, Theorem 3, rests on a priori estimates whose proofs are delegated to ABZ11: Proposition 4.15, Proposition 4.16, Lemmas 4.17–4.20 all say “follows the argument of” or “see the proof of” specific statements in ABZ11. The stress-test is right: the genuinely new terms in this system, like T_{V−γη}∂x, the γ-dependence in V, B, λ, and the commutators in Corollary 4.13 and Lemma 4.12, are not checked against the ABZ11 energy framework. It is plausible that the same machinery works, but as written a referee cannot verify the LWP proof without essentially redoing ABZ11 with vorticity and a general bottom. That is not a fatal flaw—the structure probably does transfer—but it is a load-bearing gap in the preprint. The strict connectivity assumption (A1) is less problematic: for s>5/2 the initial condition persists for a short time by Sobolev embedding, so the reader’s worry there is minor.\n\nAlso minor: Lemma 3.9 introduces a smallness condition (3.23) on η but its role in the main theorems is not stated; and there are typos like “analiticity.” The citation pattern is fine; the author’s own prior work is cited for similar recursive arguments, which is appropriate.\n\nBottom line: the analyticity and paralinearization results deserve serious attention, and Theorem 3 is likely correct but under-justified as written. I would send this to a serious PDE journal, with the clear request that the LWP section be expanded so the energy estimates are actually proved or the new terms explicitly shown to fit the cited arguments.","headline":"New constant-vorticity Dirichlet–Neumann operator over general bottoms, with solid analyticity/paralinearization results, but the LWP proof leans heavily on ABZ11 and needs verification of the vorticity terms.","tokens_in":39617,"tokens_out":1742,"would_cite":true,"duration_ms":21351,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37K45","76B03","76B15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves local well-posedness for two-dimensional gravity-capillary water waves with constant vorticity over a general, time-independent periodic bottom, provided the free surface stays strictly above the seabed.","keywords":["water waves","constant vorticity","general bottom topography","Dirichlet-Neumann operator","local well-posedness","gravity-capillary waves","paradifferential calculus","Sobolev spaces"],"falsifier":"Take a periodic domain with a rough bottom $\\beta\\in H^{s+1/2}$ and initial data with $h-\\beta(x)+\\eta_0(x)\\ge h_0>0$ but $h_0$ very small, and simulate the Cauchy problem (1.20) with constant vorticity. If the solution's Sobolev norm blows up at a time when the gap is still positive, the claimed local well-posedness would be false; the theorem predicts instead that a unique smooth solution persists for a time that may depend on $h_0$.","tokens_in":38531,"feed_emoji":"🌊","tokens_out":14422,"duration_ms":117993,"temperature":0.7,"pith_summary":"Two-dimensional water waves with constant vorticity are shown to be locally well-posed when the fluid sits above a non-flat, periodic seabed, with gravity and surface tension both active. The key is a generalized Dirichlet–Neumann operator $G(\\eta,\\beta,\\gamma)$ that encodes the free-surface normal derivative of the velocity potential while the bottom carries a nonhomogeneous Neumann condition coming from vorticity. The paper proves that this operator is analytic in the surface and bottom profiles, admits an explicit homogeneous expansion, and has a paralinearization with the same principal symbol as the classical Dirichlet–Neumann operator. From these ingredients, a quasilinear symmetrization and energy estimates yield the main theorem: for Sobolev regularity $s>5/2$ and any strictly connected initial configuration, a unique solution exists on a short time interval.","feed_headline":"Rough-bottom water waves with vorticity: local well-posedness","feed_subtitle":"A generalized Dirichlet–Neumann operator makes constant-vorticity waves over uneven seabeds solvable on short times.","key_machinery":"The central object is the generalized Dirichlet–Neumann operator $G(\\eta,\\beta,\\gamma)$, defined by $G(\\eta,\\beta,\\gamma)(\\psi):=G_{\\mathrm{DN}}(\\eta,\\beta)\\psi+\\gamma G_{\\mathrm{NN}}(\\eta,\\beta)((-h+\\beta)\\beta_x)$, where the velocity potential solves Laplace's equation with Dirichlet data $\\psi$ at the free surface and a nonhomogeneous Neumann condition $\\gamma(-h+\\beta)\\beta_x$ at the bottom. This single operator carries three effects at once: it reduces to the classical Dirichlet–Neumann operator when the vorticity vanishes and the bottom is flat; it accounts for the irregular seabed through the auxiliary operators $G_{\\mathrm{NN}}$, $G_{\\mathrm{DD}}$, and $G_{\\mathrm{ND}}$; and it builds the constant vorticity into the boundary data. The proof of Theorem 3 then runs on three machineries: analyticity of $G$ in $(\\eta,\\beta)$ (proved through a straightening diffeomorphism and an implicit-function argument), a homogeneous expansion around $\\eta=0$ whose zeroth-order term is given explicitly, and a paralinearization formula whose principal symbol is the classical $|\\xi|$ and whose remainder lies in $H^{s+1/2}$.","core_discovery":"At its core, the paper establishes Theorem 3: for any real vorticity $\\gamma$, positive depth $h$ and surface tension $\\kappa$, for any Sobolev exponent $s>5/2$, and for any initial data $(\\eta_0,\\psi_0)\\in H^{s+1/2}_0(\\mathbb{T})\\times H^s(\\mathbb{T})$ and bottom profile $\\beta\\in H^{s+1/2}(\\mathbb{T})$ satisfying the strict connectivity condition $h-\\beta(x)+\\eta_0(x)\\ge h_0>0$, the Cauchy problem (1.20)–(2.3) has a unique solution $(\\eta,\\psi)\\in C^0([0,T];H^{s+1/2}_0(\\mathbb{T})\\times H^s(\\mathbb{T}))$ for some $T>0$. The discovery that makes this possible is that the operator $G(\\eta,\\beta,\\gamma)$, defined as the free-surface normal derivative of the solution of the elliptic problem (1.8), is a well-behaved replacement for the classical Dirichlet–Neumann operator in the presence of both a rough bottom and constant vorticity: it is analytic in $(\\eta,\\beta)$, its zeroth-order homogeneous term is $G_0(\\beta,\\gamma)(\\psi)=(D\\tanh(hD)+D_L(\\beta))\\psi+\\gamma\\nu(\\beta)$, and it satisfies the paralinearization $G(\\eta,\\beta,\\gamma)(\\psi)=T_\\lambda\\omega-T_V\\eta_x+R$ with remainder one half-derivative smoother than the principal term. These structural results let the author symmetrize the quasilinear system and close a priori estimates, which is the mechanism behind local well-posedness.","pith_inferences":["A natural extension would be to let the bottom evolve in time: the nonhomogeneous Neumann term $\\gamma(-h+\\beta)\\beta_x$ is exactly the structure used in tsunami-generation models, so the same operator $G(\\eta,\\beta,\\gamma)$ could handle seabed motion with constant vorticity.","The regularity threshold $s>5/2$ likely comes from the low-regularity paradifferential calculus on the surface rather than from the bottom; one could test this by checking whether the energy estimates of Section 4 survive for $s$ slightly below $5/2$ when $\\beta$ is taken very smooth.","Because the theorem's existence time may shrink as the gap $h_0$ between surface and bottom tends to zero, an explicit dependence of $T$ on $h_0$ would be needed before the result can be applied to near-touching configurations; the paper does not quantify this, but the machinery is in place to do so."],"forward_implications":["For any strictly connected initial configuration at regularity $s>5/2$, Theorem 3 provides a unique short-time solution, so the standard model of waves over an uneven seabed with a constant shear current is well-posed.","The analyticity and explicit expansion of $G(\\eta,\\beta,\\gamma)$ give a concrete starting point for studying stability, bifurcation, and long-time behaviour of vortical waves over irregular bottoms; the zeroth-order term already shows how the bottom enters through $D_L(\\beta)$ and the vorticity through $\\gamma\\nu(\\beta)$.","The paralinearization formula identifies the good unknown $\\omega=\\psi-T_B\\eta$ as the variable in which the system becomes quasilinear symmetric; this symmetrized form is the natural tool for control and stabilization problems in the same way it was used in the irrotational case.","Setting $\\gamma=0$ recovers the rough-bottom irrotational theory and setting $\\beta=0$ recovers the flat-bottom constant-vorticity system, so the paper's framework unifies the previously separate formulations into one operator calculus."],"supporting_citations":[{"why":"Supplies the local well-posedness strategy, symmetrizer, and energy estimates that the proof of Theorem 3 adapts.","marker":"[ABZ11]"},{"why":"Provides the analyticity theory for the Dirichlet–Neumann operator, straightening diffeomorphisms, and the general-bottom formulation.","marker":"[Lan13]"},{"why":"Supplies the elliptic boundary-value-problem framework with nonhomogeneous Neumann data at the bottom, including the operators $G_{\\mathrm{DN}}$, $G_{\\mathrm{NN}}$, $G_{\\mathrm{DD}}$, and $G_{\\mathrm{ND}}$.","marker":"[Igu11]"},{"why":"Gives the flat-bottom constant-vorticity formulation that the system (1.20) generalizes.","marker":"[CIP07]"},{"why":"Introduces the classical irrotational free-surface formulation and its Dirichlet–Neumann numerical treatment that the paper extends.","marker":"[CS93]"},{"why":"Computes the homogeneous expansion of the Dirichlet–Neumann operator over a rough bottom; formula (2.1) reduces to it when $\\gamma=0$.","marker":"[CGNS05]"},{"why":"Provides the paralinearization and good-unknown technique that Proposition 3.10 adapts to the vortical, rough-bottom setting.","marker":"[AM09]"}],"fun_headline_variants":["Constant-vorticity water waves over rough bottoms: local well-posedness","Local well-posedness for water waves with vorticity and any bottom","Generalized Dirichlet-Neumann operator yields local well-posedness","Rough-bottom water waves with vorticity: local solution exists","Constant vorticity, uneven bottom: new local well-posedness proof"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The free surface and the seabed must remain strictly separated by a positive gap $h_0$; if $h-\\beta(x)+\\eta(t,x)$ reaches zero anywhere, the elliptic problem (1.8) degenerates and the construction no longer applies.","fun_headline_variants_meta":{"raw":{"variants":["Constant-vorticity water waves over rough bottoms: local well-posedness","Local well-posedness for water waves with vorticity and any bottom","Generalized Dirichlet-Neumann operator yields local well-posedness","Rough-bottom water waves with vorticity: local solution exists","Constant vorticity, uneven bottom: new local well-posedness proof"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000907,"raw_usage":{"total_tokens":3942,"prompt_tokens":1032,"completion_tokens":2910,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":648,"completion_tokens_details":{"reasoning_tokens":2815}},"tokens_in":648,"tokens_out":2910,"duration_ms":20075,"temperature":1.0,"reasoning_tokens":2815,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:03:35.853209+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a periodic domain with a rough bottom $\\beta\\in H^{s+1/2}$ and initial data with $h-\\beta(x)+\\eta_0(x)\\ge h_0>0$ but $h_0$ very small, and simulate the Cauchy problem (1.20) with constant vorticity. If the solution's Sobolev norm blows up at a time when the gap is still positive, the claimed local well-posedness would be false; the theorem predicts instead that a unique smooth solution persists for a time that may depend on $h_0$.","supporting_citations":[],"review_version":1}