{"id":"6c784d19-2cde-45cf-94bb-a8f14a40049c","arxiv_id":"2502.09370","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For 3D gravity water waves with general vorticity, the generalized Dirichlet-Neumann operator is analytic in the surface profile and admits explicit Taylor and paralinearization formulas.","lead":"This paper proves analyticity, Taylor expansion and paralinearization formulas for a generalized Dirichlet-Neumann operator in three-dimensional water waves with arbitrary vorticity. It gives future work on rotational water waves the same boundary-toolkit that already exists for irrotational waves.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 6—and hence of the central analyticity claim—is delegated to an 'analogous argument' in [GH20]; the general-vorticity remainder terms are never shown to satisfy that argument.","rationale":"The reader's CONDITIONAL verdict is appropriate. The explicit Green-matrix computations for G0 and the recursive formulas (6.14), (6.18), (6.19) are substantial supporting evidence, and no internal inconsistency was found. However, the central analyticity theorem is not self-contained: Theorem 6 is asserted by analogy with [GH20], and the general-vorticity remainders are more complex than in the Beltrami setting. That is a genuine verification gap that justifies the conditional verdict. I do not make the reader's gamma0=0 condition the primary objection: on the natural reading sigma(0)=0 and deltaeta=eta before expansion, gamma vanishes at eta=0, so the degree-zero homogeneous part is automatically zero; the manuscript's wording is ambiguous and should be clarified, but this is less load-bearing than the missing analytic fixed-point proof. Thus the reader's verdict stands unchanged.","tokens_in":38896,"tokens_out":20946,"duration_ms":214170,"concrete_test":"Reconstruct Theorem 6 by writing (6.2)–(6.6) as a fixed-point equation tildeA = G_0( tildomega + R[sigma,tildeA] ) with G_0 the constant-coefficient Green operator of Lemma 6.1. Verify with explicit estimates that R is analytic from a neighbourhood of 0 in H^{s+1/2}(D0) × H^s(D0) into H^{s-2}(D0) and that I - ∂_A R(0,0) is invertible on the boundary-condition subspace. If this verification succeeds, Theorem 6 and Theorem 2 are established; if R is not analytic or the fixed point is not locally unique, the central analyticity claim lacks a proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 2, the analyticity of the generalized Dirichlet–Neumann operator, rests on Theorem 6, whose proof is given in Section 6 only as 'Following an argument analogous to the proof of Theorem 4.10 in [GH20]'. The analogous result in [GH20] is proved for Beltrami flows, where the vorticity is structurally tied to the velocity field. Here the flattened system (6.2)–(6.6) contains remainders that couple an arbitrary straightened vorticity tildomega with sigma and tildeA nonlinearly, for example r31[sigma,tildeA,tildomega] = -(curlSigma tildeA)_h|0 + (curl tildeA)_h|0 - (curlSigma tildeA)_3|0 grad eta + grad^perp Delta^{-1}(tildomega(.,0)·grad eta). To conclude that (sigma,tildomega) ↦ tildeA is analytic, one must verify that these remainders define analytic maps on the stated spaces and that the fixed-point equation supplied by the Green matrix in Lemma 6.1 is locally uniquely solvable. This verification is not written out; Corollary 4.3 and Propositions A.3–A.4 are similarly delegated to [GH20] and [CL15]. This is a gap in support, not a demonstrated contradiction, but it is load-bearing because Theorem 2 and the Taylor formulas of Theorem 7 inherit their analyticity from Theorem 6.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the generalized Dirichlet–Neumann operator arising in the Castro–Lannes formulation of three-dimensional water waves with arbitrary vorticity. After introducing a straightening diffeomorphism, it proves higher-order estimates for the velocity field (Theorem 1/5), analyticity of the straightened operator with respect to the surface elevation (Theorem 2/Corollary 6.2), a formula for the differential of the rotational part (Propositions 2.3 and 6.3), a homogeneous Taylor expansion with recursive coefficient formulas (Theorems 3 and 7; equations (6.12)–(6.14) and (6.18)–(6.19)), and a paralinearization formula for the rotational part (Theorems 4 and 8). The advertised feature is that no geometric condition on the velocity field or vorticity is assumed.","tokens_in":39183,"tokens_out":10660,"duration_ms":110038,"significance":"If fully substantiated, these results would provide a useful and quite explicit toolkit for rotational water-wave problems, extending the irrotational theory and the recent Beltrami-flow work in [GNPW24]. The Green-matrix representation in Lemma 6.1 and the recursive coefficient formulas are concrete and likely to be reusable. The paper is generally careful with function spaces and gives a self-contained proof of Proposition 1.3 in Appendix A. However, the significance is currently tempered by two load-bearing gaps: the central analyticity theorem is delegated to an analogous argument in [GH20], and the Taylor expansion is proved only under an additional condition γ0 = 0 that is not part of the advertised hypotheses. A further regularity hypothesis enters the paralinearization theorem without being derived.","major_comments":[{"comment":"The main analyticity theorem is not proved in the manuscript. Immediately after Lemma 6.1 the text states that 'Following an argument analogous to the proof of Theorem 4.10 in [GH20]' one obtains Theorem 6, but the remainder terms in the flattened system (6.2)–(6.6) depend on the arbitrary straightened vorticity in a nonlinear way. For instance, r31[σ, \\tilde A, \\tildeω] defined after (6.6) contains -(curlΣ \\tilde A)_h|0 + (curl \\tilde A)_h|0 - (curlΣ \\tilde A)_3|0 ∇η + ∇^⊥ Δ^{-1}(\\tildeω(·,0)·∇η). To conclude that (σ, \\tildeω) ↦ \\tilde A is analytic, one must show that all these remainder maps are analytic on the stated Sobolev spaces and that the fixed-point equation supplied by the Green matrix in Lemma 6.1 is locally uniquely solvable with analytic dependence on the data. That verification is not written out. This is a gap in support, not a demonstrated contradiction, but it is load-bearing: Theorem 2 and the Taylor formulas of Theorem 7 inherit their analyticity from Theorem 6. The same mode of deferral appears in Corollary 4.3, proved by analogy to Proposition 4.8 of [GH20], and in Propositions A.3–A.4.","section":"Section 6, Theorem 6"},{"comment":"The homogeneous Taylor expansion is established only under the condition \\tildeγ0 = 0, and this condition is not shown to follow from the regularity, smallness, and condition (2.5). The text acknowledges that \\tildeγ0 = 0 depends on both the vorticity and the choice of straightening diffeomorphism and gives only examples where it holds, such as the trivial diffeomorphism with vorticity near the origin. Consequently, the explicit formulas (6.18) and (6.19) are not established for general data with \\tildeγ0 ≠ 0. The abstract's announcement of a Taylor expansion with 'no geometric condition' therefore overstates the proved statement. The theorem should either prove \\tildeγ0 = 0 under a transparent hypothesis, or state the expansion with this condition explicitly and adjust the advertised scope.","section":"Section 6, Theorem 7"},{"comment":"The paralinearization formula (7.3) is conditional on the a priori regularity assumption (7.2) on \\hat A and \\hatω. The paper does not show how (7.2) follows from the hypotheses on η and \\hatω; Theorem 6 only provides \\tilde A ∈ (H^s(D0))^3, which does not by itself imply the conditions ∂^k_w \\hat A ∈ C0([-h,0]; H^{n-k}(R2)) for k = 0,1 when n may be larger than s. Without such a derivation, the statement is an identity for functions \\hat A that happen to satisfy (7.2), rather than a theorem about \\hat G_gen,II[η]\\hatω on a natural space. Please either prove the needed regularity from the boundary value problem or state explicitly that the paralinearization theorem is conditional on (7.2).","section":"Section 7, Theorem 8"}],"minor_comments":[{"comment":"The statement called Theorem 1 in Section 2.1 reappears as Theorem 5 in Section 5, and Theorem 4 reappears as Theorem 8 in Section 7. Please use a single numbering scheme for the restated theorems.","section":"Sections 2 and 5"},{"comment":"The displayed equation for the irrotational ZCS system ends with '= 0.,(1.29)'; the stray period before the equation number should be removed.","section":"Section 1, equation (1.29)"},{"comment":"The quantity \\tildeγ0 is central to the validity of the Taylor expansion, but it is introduced only in a paragraph and not in a numbered equation. A formal definition of \\tildeγ0 and its dependence on \\tildeω and σ would help the reader verify the condition and its scope.","section":"Section 6, before Theorem 7"}],"recommendation":"major_revision","confidential_remarks":"The paper is a competent extension of earlier work on irrotational and Beltrami water waves, and I see no fundamental contradiction. The main risk is that the deferred proof of Theorem 6 is not merely cosmetic: the arbitrary vorticity introduces nonlinear remainder terms that are not present in the Beltrami case, and the analytic fixed-point argument must be supplied. The γ0 = 0 condition also needs to be integrated into the main theorem statements so that the advertised scope matches the proved result. I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should read this as a technically substantial extension of the Dirichlet–Neumann toolkit to 3D water waves with arbitrary vorticity. What is actually new: the analyticity of the generalized DNO, the differential formula for its rotational part, the recursive Taylor expansion, and a paralinearization, all without the geometric assumptions needed in earlier work (irrotational, Beltrami, or vorticity vanishing at the boundary). The paper does a lot right. The estimates in Section 5 are proved with standard commutator arguments; the Green-matrix representation in Lemma 6.1 is explicit and the base-order terms (6.12)-(6.13) are clean and checkable. The paralinearization follows the Alazard–Metivier template and the symbolic calculations in Lemma 7.3 are written out. The abstract's claim of 'no geometric condition' is fair for the main analyticity and paralinearization statements.\n\nNow the soft spots, in proportion. The stress-test note is right: Theorem 6, the analyticity of the straightened solution map, is not actually proved. The text says 'Following an argument analogous to the proof of Theorem 4.10 in [GH20]' and then moves on. The remainder terms r31 and R11 couple the arbitrary straightened vorticity to sigma and tildeA nonlinearly, and nothing in the paper verifies that these define the analytic maps needed for the fixed-point argument. This is load-bearing because Theorem 2 and the Taylor formulas inherit their analyticity from Theorem 6. I do not think this is a fatal flaw—the mechanism from [GH20] is plausible and the generalized setting is not obviously obstructed—but it is a genuine gap in support, not a cosmetic one.\n\nThe Taylor expansion in Theorem 7 is stated under gamma0 = 0, but that condition is buried in the text before the theorem and omitted from the abstract. The reader's weakest-assumption note is accurate: the advertised 'no geometric condition' does not buy you gamma0 = 0; it depends on the choice of straightening diffeomorphism. This is a real mismatch between the headline and the theorem, though the paper does flag it in the body.\n\nCorollary 4.3 and Propositions A.3–A.4 are also delegated to analogy with [GH20] and [CL15]. Those are less worrying because the underlying weak/strong solutions are standard, but they reinforce the pattern: several structural results are asserted rather than shown.\n\nWho is this for? Anyone working on rotational water waves with an eye toward long-time existence or reduced models will want the explicit formulas and the paralinearization. It deserves a serious referee: the core results are believable, the explicit calculations are valuable, and the gaps are repairable. I would send it to review, and I would insist that the referee demand a real proof of Theorem 6 or a precise reduction to [GH20] with all remainder terms checked. The gamma0 = 0 condition should also be stated in the abstract.\n\nRecommendation: conditional accept, with the analyticity proof as the main revision target.","headline":"Solid toolkit extension: arbitrary-vorticity DNO results are believable and mostly explicit, but the analyticity proof leans on an analogy to [GH20] that is not written out, and the abstract overstates the Taylor expansion by hiding the gamma0 = 0 condition.","tokens_in":39690,"tokens_out":775,"would_cite":true,"duration_ms":10780,"reading_group":"yes","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 that the generalized Dirichlet–Neumann operator for three-dimensional water waves with vorticity is analytic in the surface profile, gives its recursive Taylor coefficients, and derives its paralinearization.","keywords":["water waves","vorticity","Dirichlet–Neumann operator","Zakharov–Craig–Sulem formulation","analyticity","Taylor expansion","paralinearization"],"falsifier":"Computing the degree-zero homogeneous term $\\gamma_0$ of $\\partial_w^\\Sigma \\tilde{\\omega}\\, d\\sigma(\\eta)$ for a regularizing diffeomorphism and a shear vorticity would settle the matter: a nonzero value for data satisfying the paper's hypotheses disproves the unconditional Taylor expansion, and a zero value in all such cases shows the condition is redundant.","tokens_in":38656,"feed_emoji":"🌊","tokens_out":21870,"duration_ms":201048,"temperature":0.7,"pith_summary":"This paper studies the boundary-value description of three-dimensional gravity water waves when the flow carries vorticity, using a generalized Zakharov–Craig–Sulem formulation. Its aim is to establish that the associated generalized Dirichlet–Neumann operator, which sends boundary data to the normal velocity at the free surface, behaves like the classical operator of irrotational water-wave theory: it is analytic in the surface elevation, admits an explicit Taylor expansion around the flat state, and has a paralinearization. Under regularity and smallness assumptions on the surface profile, the boundary velocity potential, and the straightened vorticity, the author proves these results without imposing any geometric condition on the velocity field or on the vorticity. This would give rotational flows the same boundary calculus that supports perturbation, long-time, and asymptotic analyses for irrotational waves. The recursive Taylor formulas for the vorticity part are stated under the additional condition $\\gamma_0=0$, where $\\gamma$ is the vorticity-dependent quantity defined in Proposition 2.3.","feed_headline":"Taylor expansion proven for 3D water waves with vorticity","feed_subtitle":"Boundary operator is analytic in wave height, giving rotational flows the standard perturbation toolbox.","key_machinery":"The load-bearing object is the generalized Dirichlet–Neumann operator $G_{\\mathrm{gen}}[\\eta](\\Phi,\\omega)=U\\cdot N|_{z=\\eta}$, defined through the boundary-value problem $\\mathrm{curl}\\,U=\\omega$, $\\mathrm{div}\\,U=0$, with bottom condition and prescribed tangential trace at the surface. The paper flattens the domain with a straightening diffeomorphism $\\Sigma$, rewrites the div-curl system as a flattened elliptic problem, and represents its solution through an explicit Green matrix built from $\\sinh(|\\xi|(\\zeta+h))$ and $\\cosh(|\\xi|w)$. Analyticity is obtained by proving that the solution operators depend analytically on $\\sigma$ and linearly on the data; the Taylor coefficients are generated by differentiating the differential formula (6.15) and evaluating at $\\delta\\eta=\\eta$. The paralinearization uses a localizing transform to a strip, a good unknown $\\hat B=\\hat A - T_{\\partial_w^\\varrho \\hat A}\\eta$ that absorbs the leading surface terms, and a factorization of the flattened elliptic operator into paradifferential first-order factors with strongly elliptic principal symbols.","core_discovery":"The central claim is analyticity: for $s\\ge 2$, with $\\tilde{\\omega}\\in (H^{s-2}(D_0))^3$, $\\Phi\\in \\dot H^{s-1/2}(\\mathbb{R}^2)$, and a straightening diffeomorphism satisfying (2.5), the maps $\\tilde G_{\\mathrm{gen,I}}[\\eta]$ and $\\tilde G_{\\mathrm{gen,II}}[\\eta]$ are analytic in $\\eta$ near 0 as operators on these data. The zeroth-order terms are explicit: $\\tilde G_{0,\\mathrm{I}}\\Phi = \\mathcal{F}^{-1}[\\,|\\xi|\\tanh(h|\\xi|)\\,\\mathcal{F}\\Phi\\,]$, and $\\tilde G_{0,\\mathrm{II}}\\tilde{\\omega}$ is given by the Green-matrix formula (6.13) involving an integral in depth of the horizontal vorticity and a boundary term. For $j\\ge 1$, if $\\tilde{\\gamma}_0=0$, the homogeneous coefficients satisfy the recursions (6.14) and (6.19). The paper also derives the differential of the rotational part, $d\\tilde G_{\\mathrm{gen,II}}[\\eta](\\delta\\eta)\\tilde{\\omega} = -\\tilde G_{\\mathrm{gen,II}}[\\eta]\\tilde{\\gamma} - \\nabla\\cdot[(\\tilde K_{\\mathrm{II}}[\\eta]\\tilde{\\omega} - \\tilde W_{\\mathrm{II}}[\\eta]\\tilde{\\omega}\\nabla\\eta)\\delta\\eta]$ with $\\tilde{\\gamma}=\\partial_w^\\Sigma\\tilde{\\omega}\\,d\\sigma(\\delta\\eta)$, and proves a paralinearization formula (7.3) with remainder in $H^{2n-3-\\varepsilon}$.","pith_inferences":["If $\\tilde{\\gamma}_0$ fails to vanish for some admissible data, the homogeneous Taylor expansion of the rotational part is incomplete; a natural follow-up would be to choose the straightening diffeomorphism so that $\\tilde{\\gamma}_0$ is absorbed into the zeroth-order operator, restoring an unconditional expansion.","Because every order of the expansion is generated by explicit Green-matrix integrals, the recursive coefficients could be evaluated numerically for shear or Beltrami-type vorticities, giving a practical check of the expansion.","The same Green-matrix flattening strategy could be adapted to related free-boundary models with density stratification or surface tension, where a generalized Dirichlet–Neumann operator is less developed.","A concrete consequence of the paralinearization is that the vorticity part should exhibit the same leading-order paradifferential structure as the irrotational part; comparing the symbol $\\lambda_{\\mathrm{II}}$ with direct numerical solutions for a shear flow would test the formula."],"forward_implications":["The classical perturbation toolkit for irrotational water waves—analytic dependence on the profile, Taylor coefficients, differentials, paralinearization—now extends to flows with arbitrary vorticity, so local bifurcation and long-time analyses can be based on a boundary formulation.","The explicit zeroth-order operator separates the irrotational symbol $|\\xi|\\tanh(h|\\xi|)$ from a depth-integrated vorticity term, so the effect of vorticity at the flat surface is a computable correction at every order of the amplitude expansion.","The differential formula provides the linearization of the rotational part around any small profile, a basic ingredient for linearized and weakly nonlinear analyses.","The paralinearization formula (7.3) gives a quasilinear representation of the vorticity contribution, suitable for energy estimates in Sobolev spaces.","The velocity-field estimates give a priori control of the full three-dimensional flow in terms of the surface data and the straightened vorticity, which can serve as the control needed in well-posedness and continuation arguments."],"supporting_citations":[{"why":"Introduces the generalized Zakharov–Craig–Sulem formulation, the boundary-value problem, and the local well-posedness framework on which the operator is defined.","marker":"[CL15]"},{"why":"Supplies the straightening diffeomorphism toolbox, Sobolev and Zygmund spaces, and the classical Dirichlet–Neumann operator results that the paper extends.","marker":"[Lan13]"},{"why":"Provides the paralinearization strategy and paradifferential formalism used in Section 7 for the rotational operator.","marker":"[AM09]"},{"why":"Established analyticity and Taylor expansion for the generalized operator on Beltrami flows; the present paper adapts the Green-matrix and recursion machinery to arbitrary vorticity.","marker":"[GNPW24]"},{"why":"Gives the variational formulation and the Green-matrix representation of the solution that underlies Lemma 6.1 and the explicit zeroth-order terms.","marker":"[GH20]"},{"why":"Supplies the cancellation argument that makes the recursive Taylor coefficients for the Dirichlet–Neumann operator well defined.","marker":"[NR01]"},{"why":"Provides the localizing transform and elliptic reduction used in the paralinearization.","marker":"[ABZ11]"}],"fun_headline_variants":["Generalized D-N operator analytic for 3D rotational waves","Vorticity no barrier: Taylor expansion for 3D water wave operator","3D water waves with vorticity: operator analytic in wave height","Full Taylor expansion for generalized D-N operator with vorticity","Rotational 3D water waves: paralinearization and differential proven"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The recursive Taylor expansion of the vorticity part is proven only when the degree-zero homogeneous term $\\gamma_0 = (\\partial_w^\\Sigma \\tilde{\\omega}\\, d\\sigma)|_{\\delta\\eta=\\eta}^0$ vanishes, and this condition depends jointly on the vorticity and on the chosen straightening diffeomorphism rather than following from the paper's stated regularity and smallness assumptions.","fun_headline_variants_meta":{"raw":{"variants":["Generalized D-N operator analytic for 3D rotational waves","Vorticity no barrier: Taylor expansion for 3D water wave operator","3D water waves with vorticity: operator analytic in wave height","Full Taylor expansion for generalized D-N operator with vorticity","Rotational 3D water waves: paralinearization and differential proven"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000217,"raw_usage":{"total_tokens":1471,"prompt_tokens":1015,"completion_tokens":456,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":631,"completion_tokens_details":{"reasoning_tokens":364}},"tokens_in":631,"tokens_out":456,"duration_ms":5291,"temperature":1.0,"reasoning_tokens":364,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T21:44:01.509705+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Computing the degree-zero homogeneous term $\\gamma_0$ of $\\partial_w^\\Sigma \\tilde{\\omega}\\, d\\sigma(\\eta)$ for a regularizing diffeomorphism and a shear vorticity would settle the matter: a nonzero value for data satisfying the paper's hypotheses disproves the unconditional Taylor expansion, and a zero value in all such cases shows the condition is redundant.","supporting_citations":[],"review_version":1}