{"id":"0de76088-57c4-4988-bad1-e5a1e8cc696a","arxiv_id":"2411.14840","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The paper claims a new proof of local well-posedness for free-boundary incompressible elastodynamics with surface tension, but the proof as written stops at the approximate system and never performs the limit back to the original system.","lead":"This paper gives a new proof attempt for the local well-posedness of free-boundary incompressible elastodynamics with surface tension in a 3D periodic domain. It adds an artificial-viscosity term to the pressure boundary condition to boost regularity, then claims to recover the original system by removing the viscosity, but the removal step is not written out.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The promised κ→0 limit is absent: uniform estimates for the κ-approximate system and fixed-κ well-posedness do not yield a solution of (1.14) without a compactness/passage-to-the-limit argument, which is never given.","rationale":"The reader's weakest assumption—that the κ→0 limit is taken for granted—is exactly the load-bearing gap. The abstract and §2 announce that the approximate system 'recovers' the original system as κ→0, but no such recovery is proved. Fixed-κ well-posedness only constructs solutions to a different (viscous) problem; those solutions need not converge to a solution of the inviscid free-boundary problem without compactness and a verification that the artificial viscosity terms vanish in the correct topology. Because Theorem 1.1 is stated for the original system, a proof that stops at κ>0 does not establish the theorem. I also note the related regularity mismatch: Eκ_4(0) contains |√κψ0|_6 requiring ψ0∈H^6, whereas Theorem 1.1 assumes only H^{5.5}; this reinforces that the approximation scheme has not been connected to the stated hypotheses. Both issues would need to be resolved in a revision, but the missing limit is the principal gap.","tokens_in":33875,"tokens_out":11104,"duration_ms":110781,"concrete_test":"Write the missing limiting argument: using Prop. 2.1, obtain sup_t Eκ_4(t)≤C for a sequence κ_j→0 of solutions from §3.4 (first justify extension to the common T_σ). Extract weak-* subsequences in L∞H^4 for v,F and in L∞H^5 (or H^{5.5}) for ψ, with ∂tψ bounded suitably; establish strong convergence in lower norms via Aubin–Lions. Then pass to the limit in the weak formulation of (2.2) and check that the κ(1−Δ)^2ψ and κ(1−Δ)∂tψ terms vanish and that all nonlinear coefficients (∇^{φκ}, N^{κ}, etc.) converge. If this verification is carried out, the gap is closed; otherwise Theorem 1.1 remains unproven.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The announced strategy is to prove (i) κ-uniform a priori estimates for (2.2) and (ii) well-posedness for each fixed κ>0, then 'recover a solution to (1.14) by taking κ→0' (§2, §3). Step (ii) is executed in §3.4: the Picard iterates converge for fixed κ to a solution of the κ-system (2.2). But no step (iii) appears. The text never extracts a subsequence (v^{κ_j},F^{κ_j},ψ^{κ_j}) as κ_j→0, never shows the κ-terms in the modified boundary condition (2.1) vanish in the limit, and never verifies that the limit solves (1.14). Prop. 3.1 has constants C(κ^{-1},K0) and a κ-dependent lifespan, so the fixed-κ results alone do not give a family on a common time interval; Prop. 2.1's κ-uniform estimate is conditional on smooth solutions existing. Thus the central conclusion of Theorem 1.1 is not derived.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims local well-posedness of the 3D free-boundary incompressible elastodynamics system with surface tension in a periodic graph domain. The strategy is to introduce an artificial-viscosity approximate system indexed by kappa>0, prove kappa-uniform a priori estimates for that system (Section 2), prove well-posedness of the approximate system for each fixed kappa by Picard iteration (Section 3), and then recover a solution of the original system by taking kappa to 0. The main result is Theorem 1.1, which states existence, uniqueness, and an energy estimate for the free-boundary problem (1.14). The proof as written ends at the fixed-kappa well-posedness step; the promised kappa-to-0 limiting argument is never carried out.","tokens_in":34059,"tokens_out":6146,"duration_ms":66767,"significance":"If completed, the result would be a useful contribution to the free-boundary elastodynamics literature: it proposes an artificial-viscosity boundary regularization that preserves the propagation of the constraint F_j·N=0, avoids tangential smoothing, and yields energy estimates without regularity loss. The L2 conservation law in Proposition 2.2 and the cancellation structure for full time derivatives in Section 2.3.3 are valuable and clearly presented. The fixed-kappa Picard iteration in Section 3 is also a substantial piece of work. However, because the passage from the kappa-approximate system to the original system is absent, the central theorem is not established. The significance is therefore conditional on completing that limiting argument and on making the deferred AGU derivations verifiable.","major_comments":[{"comment":"The proof of Theorem 1.1 is incomplete: the text states after (2.2) that one can recover a solution to the original system by taking kappa to 0, and the introduction to Section 3 repeats this claim, but no such limiting argument appears. Proposition 3.1 gives a lifespan T_kappa depending on kappa and constants C(kappa^{-1}, K_0), so the family of approximate solutions is not shown to exist on a common time interval. Proposition 2.1 is a conditional a priori estimate for smooth solutions of the approximate system. The manuscript never extracts a convergent subsequence as kappa_j -> 0, never shows that the artificial-viscosity terms kappa(1-Delta)^2 psi and kappa(1-Delta) partial_t psi in (2.1) vanish in the limit, never identifies the limit as a solution of (1.14), and never derives the energy bound (1.18). Thus the main theorem is not proved.","section":"Theorem 1.1; Sections 2 and 3"},{"comment":"The Galerkin argument in Section 3.2 establishes only an L2 weak solution of the linearized system, with the uniform-in-m estimate (3.24) being an L2 energy. Proposition 3.1, however, asserts the higher-order estimate E_4^kappa, which requires differentiating the equations and controlling boundary terms at higher regularity. No regularization, density, or other argument is supplied to show that these formal higher-order estimates apply to the weak limit obtained from the Galerkin sequence. The sentence in Section 3.2 referring to [25] for the assertion that the weak solution is actually strong is not accompanied by any verification of the hypotheses of that result. Consequently, the fixed-kappa well-posedness of the approximate system (2.2), which is needed before any limit kappa -> 0 can be taken, is not fully established.","section":"Section 3.2 and Proposition 3.1"},{"comment":"The Alinhac good-unknown reformulation is central to the kappa-uniform a priori estimates, but its derivation is deferred to the author's own unpublished preprint [32]. The manuscript states 'We refer to [32] for the detailed derivation' and then uses the reformulated system (2.30) as the basis for all subsequent energy estimates. Since the reader cannot independently verify these identities from the present text, and since the rest of Section 2 depends on them, the proof is not self-contained. The paper should either include the derivation as a lemma or give enough detail to make the identities checkable without recourse to an unpublished source.","section":"Section 2.3.1 and equations (2.23)-(2.33)"}],"minor_comments":[{"comment":"The abstract contains a typo: 'in compressible elastodynamics' should be 'incompressible elastodynamics'; similarly, 'neo-Hooken elsatic' in the introduction should be 'neo-Hookean elastic'.","section":"Abstract and Section 1"},{"comment":"The definition of the energy E_kappa^4(t) contains an ambiguous expression and a typo: the term '|sqrt(sigma) partial_t^l psi|_{5-l}, |sqrt(kappa) partial_t^l psi|_{6-l} + integral_0^t |sqrt(kappa) partial_t^{l+1} psi|_{5-k}' appears to be a sum, and the index k in the last norm should presumably be l.","section":"Equation (2.3)"},{"comment":"The sentence 'The initial constraint nabla^{phi^n} . F^n_k and F^n_k . N^n = may not propagate' has a dangling equals sign and should be completed.","section":"Remark 3.2"},{"comment":"The phrase 'weakly converges subject to a subsequence' should be 'weakly converges along a subsequence' or equivalent.","section":"Section 3.2"},{"comment":"The sentence 'where the last two terms can by directly controlled by C(K_0) E_kappa^4(t)' is missing the word 'be'.","section":"Section 3.3"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies heavily on the author's own unpublished preprint [32] for the AGU reformulation and for the key a priori estimate. If [32] is not available to the referees, the editor should request that the derivations be included in the revision or in a supplement. The missing kappa-to-0 limiting argument is a substantial but potentially fixable gap; if it cannot be supplied, the claim of Theorem 1.1 should be withdrawn."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, the thing to know about arXiv:2411.14840 is that the κ→0 limit is never carried out. The paper proves fixed-κ well-posedness of an artificial-viscosity regularized system and uniform-in-κ a priori estimates, then stops. There is no subsequence extraction, no verification that the κ-terms in the boundary condition (2.1) vanish, and no identification of the limit with the original system (1.14). Theorem 1.1 is not proved in this text.\n\nThat said, this is not a careless paper. The κ-viscosity scheme is a genuine adaptation of Zhang's MHD current-vortex sheet idea [34]: modifying only the balanced pressure boundary condition by κ(1−Δ)^2ψ + κ(1−Δ)∂tψ, chosen precisely so that the constraint F·N=0 still propagates. The uniform energy estimates in Section 2 are intricate, especially the full-time-derivative case, and the cancellations via Alinhac's good unknown look plausible. The fixed-κ well-posedness via Galerkin and Picard iteration is mostly carried out. The technical core is substantial and likely sound.\n\nThe soft spots are proportionate. The missing limit is load-bearing: fixed-κ results come with constants C(κ^{-1},K0) and κ-dependent lifespans, so one cannot just say \"by the uniform estimates\" and pass. A compactness argument on a common time interval and a check that the κ-boundary terms go to zero are essential. Second, the paper defers the AGU reformulation and key commutator estimates to the author's own unpublished preprint [32], which creates a real circularity burden. The theorem itself is not new—Gu–Lei [12] already proved local well-posedness with surface tension—so the only contribution is the proof scheme. That can be legitimate, but the proof must be complete and self-contained enough to verify.\n\nBottom line: this is a serious technical paper in an incomplete state. I would send it to a referee familiar with vanishing-viscosity methods, because the gap is concrete and possibly fixable, and the machinery deserves scrutiny. I would not accept it as is. Worth one reading-group discussion, mostly to debate whether the missing limit is routine or hides real trouble.","headline":"Promised κ→0 limit is absent: an incomplete proof of a known theorem, but the κ-viscosity machinery is real and deserves referee scrutiny.","tokens_in":34612,"tokens_out":2829,"would_cite":false,"duration_ms":28495,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35R35","76B45","74B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims local well-posedness for 3D free-boundary incompressible elastodynamics with surface tension, proven through an artificial-viscosity approximation with uniform energy estimates and no loss of regularity.","keywords":["free-boundary elastodynamics","surface tension","local well-posedness","artificial viscosity","neo-Hookean elasticity","graphical coordinates","div-curl estimates","good unknown variables"],"falsifier":"Read the manuscript after Proposition 2.1: the announced recovery as $\\kappa \\to 0$ is not given. A concrete check is whether the uniform-in-$\\kappa$ bounds imply strong convergence of a subsequence $(v^\\kappa, F^\\kappa, \\psi^\\kappa)$ in the spaces where the nonlinear terms are continuous; for instance, whether the available estimates control $\\partial_t \\psi^\\kappa$ well enough to apply a standard compactness argument. If one can exhibit a uniformly bounded family of $\\kappa$-approximate solutions with no strongly convergent subsequence, the claimed recovery fails; if the compactness estimate is present, the theorem is complete.","tokens_in":33601,"feed_emoji":"🌊","tokens_out":14692,"duration_ms":152976,"temperature":0.7,"pith_summary":"The paper claims that the 3D free-boundary incompressible elastodynamics equations with surface tension on a periodic domain are locally well-posed. Concretely, Theorem 1.1 asserts that for compatible initial data with four square-integrable derivatives in the interior and five and a half derivatives of the boundary graph, a unique solution exists for a short time and its energy is bounded by a polynomial of the initial energy. The obstacle is that surface tension places the highest-order boundary terms at the top of the energy, so naive linearization loses boundary regularity. The proposed cure is to add artificial viscosity terms to the pressure boundary condition, prove energy estimates that are uniform in the viscosity parameter $\\kappa$, and recover the original system as $\\kappa \\to 0$. The energy estimate closes without loss of regularity.","feed_headline":"Viscous boundary trick proves elastic free-boundary well-posedness","feed_subtitle":"κ-terms in the pressure condition boost boundary regularity; the energy estimates stay uniform as κ→0.","key_machinery":"The central mechanism is the $\\kappa$-approximate pressure boundary condition (2.1): $q = -\\sigma \\nabla \\cdot (\\nabla \\psi / \\sqrt{1+|\\nabla \\psi|^2}) + \\kappa(1-\\Delta)^2 \\psi + \\kappa(1-\\Delta)\\partial_t \\psi$ on $\\Sigma$. The added $\\kappa$-terms give the boundary graph two extra derivatives and a time-integrated control of $\\partial_t \\psi$, which is precisely the boundary regularity needed to close the high-order energy. Around this condition the proof builds a div-curl elliptic estimate (Lemma 2.3) to convert normal derivatives into tangential derivatives and curl, good-unknown variables (differentiated unknowns with the highest-order graph contribution subtracted) to keep commutators at lower order, and cancellation structures for the pure-time-derivative estimates. Together these produce uniform-in-$\\kappa$ bounds of the form $E_4^\\kappa(t) \\le C(\\sigma^{-1})P(E_4^\\kappa(0))$.","core_discovery":"System (1.14) is the graphical-coordinate form of the free-boundary problem in a periodic slab $\\Omega = \\mathbb{T}^2 \\times (-b,0)$: velocity $v$, pressure $q$, deformation tensor $F_k$, and boundary graph $\\psi$ move under the incompressible neo-Hookean elastodynamics equations, with boundary conditions $\\partial_t \\psi = v \\cdot N$, $q = -\\sigma$ times the mean curvature of $\\Sigma$, and $F_j \\cdot N = 0$. Theorem 1.1 states that for fixed $\\sigma > 0$, data $(q_0,v_0,F^0_k) \\in H^4(\\Omega)$ and $\\psi_0 \\in H^{5.5}(\\Sigma)$ satisfying the compatibility condition up to third order, $E(0) \\le M$, and the initial constraints (1.16)-(1.17), there is $T > 0$ such that (1.14) has a unique solution $(v,F_k,\\psi)$ satisfying $\\sup_{0 \\le t \\le T} E(t) \\le C(\\sigma^{-1})P(E(0))$, where $E(t)$ sums the squared $H^{4-l}$ norms of $\\partial_t^l (v,F_k)$ and the squared $H^{5-l}$ boundary norms of $\\sqrt{\\sigma}\\, \\partial_t^l \\psi$. The proof replaces the pressure boundary condition by the $\\kappa$-approximation (2.1), establishes uniform-in-$\\kappa$ energy estimates of order four, and then proves well-posedness of the $\\kappa$-approximate system by linearization, finite-dimensional projection, and successive approximation; the text states that the original system is recovered by letting $\\kappa \\to 0$.","pith_inferences":["The $\\kappa \\to 0$ limiting step is announced twice (after Proposition 2.1 and at the start of Section 3) but is not executed in the manuscript: the construction in Section 3 proves well-posedness for each fixed $\\kappa$ and stops after successive-approximation convergence in Section 3.4.","Completing Theorem 1.1 therefore requires a compactness argument that extracts a strongly convergent subsequence of $(v^\\kappa, F^\\kappa, \\psi^\\kappa)$ as $\\kappa \\to 0$ from the uniform bounds; without such an argument the recovery of (1.14) remains open.","If the limit step is closed, the artificial-viscosity scheme is a plausible template for other free-boundary hyperbolic problems with surface-tension-induced boundary regularity loss, such as compressible elastodynamics or magnetohydrodynamic free-boundary problems.","The paper's choice to allow constants to depend on $\\sigma^{-1}$, rather than aiming at $\\sigma$-uniform estimates, simplifies several commutator estimates and may make the scheme easier to adapt than earlier approaches."],"forward_implications":["The theorem gives local existence and uniqueness for the 3D free-boundary problem with surface tension at the stated regularity, with a lifespan depending only on the initial energy and $\\sigma$.","The energy estimate closes with no loss of regularity, so the derivative order used in the a priori estimate is sufficient for the existence argument.","The initial constraints $\\mathrm{div}\\, F_j = 0$ and $F_j \\cdot N = 0$ propagate in time, so the formulation is consistent rather than overdetermined.","Because the estimates are uniform in $\\kappa$, the approximate solutions form a bounded family that is the declared input for recovering the original system in the limit $\\kappa \\to 0$."],"supporting_citations":[{"why":"Supplies the artificial-viscosity approximate scheme, the $\\kappa$-terms in the pressure boundary condition that this paper adapts.","marker":"[34]"},{"why":"Provides the prior a priori energy estimate and the good-unknown reformulation used throughout the high-order estimates.","marker":"[32]"},{"why":"Provides the Hodge-type div-curl elliptic estimate used to control normal derivatives by tangential derivatives and curl.","marker":"[11]"},{"why":"Supplies the linearized transport theorem and boundary-energy techniques used for the $\\kappa$-approximate and linearized systems.","marker":"[24]"},{"why":"Supplies the formulation of the free-boundary elastodynamics system and the boundary condition $F^T N = 0$ that the proof must propagate.","marker":"[33]"}],"fun_headline_variants":["Artificial viscosity tames elastic free-boundary problem","κ-trick yields well-posedness for elastic surface waves","Viscous regularization solves free-boundary elastodynamics","Neo-Hookean free-boundary well-posedness via κ-smoothing","Pressure κ-terms boost regularity, prove local existence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the family of solutions to the $\\kappa$-approximate system, whose well-posedness is proved for each fixed $\\kappa > 0$, can actually be passed to the limit $\\kappa \\to 0$ to obtain a solution of the original system using the uniform estimates of Section 2; this limiting step is announced but never carried out in the text.","fun_headline_variants_meta":{"raw":{"variants":["Artificial viscosity tames elastic free-boundary problem","κ-trick yields well-posedness for elastic surface waves","Viscous regularization solves free-boundary elastodynamics","Neo-Hookean free-boundary well-posedness via κ-smoothing","Pressure κ-terms boost regularity, prove local existence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000132,"raw_usage":{"total_tokens":1164,"prompt_tokens":1009,"completion_tokens":155,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":625,"completion_tokens_details":{"reasoning_tokens":71}},"tokens_in":625,"tokens_out":155,"duration_ms":2259,"temperature":1.0,"reasoning_tokens":71,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:49:21.887295+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Read the manuscript after Proposition 2.1: the announced recovery as $\\kappa \\to 0$ is not given. A concrete check is whether the uniform-in-$\\kappa$ bounds imply strong convergence of a subsequence $(v^\\kappa, F^\\kappa, \\psi^\\kappa)$ in the spaces where the nonlinear terms are continuous; for instance, whether the available estimates control $\\partial_t \\psi^\\kappa$ well enough to apply a standard compactness argument. If one can exhibit a uniformly bounded family of $\\kappa$-approximate solutions with no strongly convergent subsequence, the claimed recovery fails; if the compactness estimate is present, the theorem is complete.","supporting_citations":[{"cited_title":"On the free-boundary incompressible elastodyna mics with and without surface tension, 2024","cited_arxiv_id":null,"evidence_quote":"Provides the prior a priori energy estimate and the good-unknown reformulation used throughout the high-order estimates."},{"cited_title":"Local well-po sedness for the motion of a compress- ible, self-gravitating liquid with free surface boundary","cited_arxiv_id":null,"evidence_quote":"Provides the Hodge-type div-curl elliptic estimate used to control normal derivatives by tangential derivatives and curl."},{"cited_title":"Local well-posedness and incompressible limit of t he free-boundary problem in com- pressible elastodynamics","cited_arxiv_id":null,"evidence_quote":"Supplies the formulation of the free-boundary elastodynamics system and the boundary condition $F^T N = 0$ that the proof must propagate."}],"review_version":1}