{"id":"2f3708c5-dbda-42e7-a4f7-e097815a80dc","arxiv_id":"2502.07061","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Uniqueness of weak solutions for the linear inertial 3D Biot-Stokes interaction is established for all storage coefficients c0 >= 0 via semigroup adjoint methods and hyperbolic regularization.","lead":"This paper proves that weak solutions to a coupled system of Biot poroelasticity and Stokes flow are unique, covering both compressible and incompressible constituent cases. It settles a question left open by the authors' earlier existence result and strengthens the foundation for nonlinear extensions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The c0=0 proof's passage to the limit from (3.14) to (3.15) is unjustified: L2-interior approximation of u_t does not control the interface trace terms, so the pairing <sigma_E(u)e3, u_t> is not a priori well-defined.","rationale":"The reader's weakest-assumption analysis targets the adjoint characterization in Proposition 3.3, which is indeed intricate. However, the more immediately load-bearing defect appears in the c0=0 branch of Theorem 3.1, where the proof must construct a sequence of test functions that converges to u_t and simultaneously has traces converging in the spaces needed for the boundary pairings. The paper's stated convergence is only in L2(0,T;L2(Ωb)), which is insufficient for the interface terms; this is a standard type of hyperbolic-regularity gap. The claim is conditional at best because a patch may exist (e.g., using the extra tangential trace regularity in Definition 1 plus a more careful lifting argument), but the proof as written does not supply it. The adjoint calculation may be correct, but if the c0=0 gap is real, uniqueness fails for the degenerate case, which is outside the scope of the semigroup method. Since the paper is a preprint with a plausible but incomplete argument, the existing CONDITIONAL verdict remains appropriate; no change in verdict is recommended beyond emphasizing the c0=0 missing trace-convergence step.","tokens_in":27232,"tokens_out":32725,"duration_ms":260096,"concrete_test":"Attempt to construct, for a generic weak solution satisfying Definition 1, a sequence ξ_n∈C∞_0((0,T);H1_{#,∗}(Ωb)) with ξ_n→u_t in L2(0,T;L2(Ωb)) and with traces ξ_n|_Γ converging in the topologies required by the two interface pairings in (3.14): convergence in γ0(U) for the pairing with σ_E(u)e3, and convergence in L2(0,T;L2(ΓI)) for the pairing with [u_t−v]·τ. If such a sequence cannot be constructed without extra regularity — for instance, if u_t must have a normal trace in γ0(U) or the tangential trace must be obtained from an H1 function in a stronger sense — then Definition 1 must be strengthened or the c0=0 proof revised. Alternatively, verify directly whether Temam [30, Lemma 4.1] applies when the boundary pairing is defined only as the RHS of (3.15); if the lemma requires a genuine trace pairing, then (3.17) is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 1 gives only u in L∞(0,T;U), u_t in L∞(0,T;L2(Ωb)), with tangential trace u_t·tau in L2(0,T;L2(ΓI)) and, after (3.12), normal trace u_t·e3 in L2(0,T;[γ0(H1_{#,∗}(Ωb))]′). Separately, (3.7) gives σ_E(u)e3 in L2(0,T;[γ0(U)]′). But [γ0(U)]′ pairs with γ0(U), whereas the available trace of u_t lies in a much larger distribution space; the pairing ⟨σ_E(u)e3, u_t⟩ is therefore not defined by the stated regularity. In the step 'Now let {ξ_n}⊂C∞_0((0,T);H1_{#,∗}(Ωb)) constitute an approximation of u_t in the sense of L2(0,T;L2(Ωb))', the convergence is only in the interior. The interface terms in (3.14) — ⟨σ_E(u)e3, ξ_n⟩_ΓI and β(([u_t−v]·τ, ξ_n·τ))_ΓI — are not continuous in the L2(0,T;L2(Ωb)) topology, since traces of L2-convergent sequences need not converge in the required spaces. Thus the limit (3.15) does not follow, and the L1 function in (3.15)–(3.16) is not established as the genuine stress-trace/velocity pairing required by Temam's Lemma 4.1 and the energy identity (3.17). This gap affects the entire c0=0 branch of Theorem 3.1, so the claim 'for any c0≥0' is not fully supported as written.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims uniqueness of finite-energy weak solutions for a linear inertial Biot-Stokes interaction model. For the degenerate case c0=0, the proof seeks to upgrade weak solutions to the regularity class of semigroup solutions via Temam's lemma, after deriving additional trace regularity; for the non-degenerate case c0>0, the paper identifies weak solutions with semigroup solutions using Ball's criterion and an explicit characterization of the adjoint of the semigroup generator, which is computed in the appendix. The main theorem states uniqueness for all c0≥0, with continuous dependence following from the previously established energy inequality.","tokens_in":27577,"tokens_out":13603,"duration_ms":121349,"significance":"If the proof were complete, the result would settle a known open question about uniqueness for this coupled hyperbolic-parabolic system, and the explicit adjoint calculation would be a substantial technical contribution. The paper is also honest about the role of the tangential trace condition in Definition 1(2), which is an important clarification. However, the c0=0 branch contains a genuine limit-passing gap, and the scope of the theorem is narrower than the abstract claims. The main result is therefore currently conditional.","major_comments":[{"comment":"The passage from (3.14) to (3.15) is not justified. The sequence {ξ_n} is chosen to approximate u_t only in L2(0,T;L2(Ωb)), but the interface terms in (3.14) involve traces: β(([u_t−ξ_n]·τ, ξ_n·τ))_{ΓI} and (1−α)(⟨[u_t−ξ_n]·e3, p⟩, φ)_{ΓI}. L2 convergence in the interior does not imply convergence of γ0(ξ_n)·τ in L2(0,T;L2(ΓI)) nor convergence of γ0(ξ_n)·e3 in the dual trace space of (3.12). Moreover, the target pairing ⟨σ_E(u)e3, u_t⟩ is not a priori well-defined: (3.7) gives σ_E(u)e3∈L2(0,T;[γ0(U)]′), while (3.12) gives u_t·e3∈L2(0,T;[γ0(H1_{#,∗})]′), i.e., both factors lie in a dual space and there is no canonical pairing between them. Thus the L1 object in (3.16) and the energy identity (3.17) are not established, and the c0=0 branch of Theorem 3.1 is unsupported as written.","section":"§3.1, Eqs. (3.14)–(3.15)"},{"comment":"The uniqueness theorem applies to the enlarged solution class defined by Definition 1, which includes the additional tangential trace condition γ0[u]_t·τ∈L2(0,T;L2(ΓI)). Remark 2.1 explicitly states that the earlier notions in [2,6] did not include this condition. Hence the abstract's claim to 'resolve the issue of uniqueness of weak solutions' and Corollary 3.2's 'weakly well-posed' assertion are overstated relative to the older, weaker weak-solution concept. Unless the authors prove that every weak solution in the earlier sense automatically satisfies Definition 1(2), the open problem for that notion remains open.","section":"Definition 1(2) and Remark 2.1; Abstract"},{"comment":"The distributional identity (3.41) is used to simplify the right-hand side of (3.40) and to obtain the key relation (3.44). However, (3.41) contains the term (σ_E(u_t), ∇e_u), which requires u_t∈L2(0,T;H1(Ωb)) or at least a distributional interpretation of σ_E(u_t). The available regularity for u_t is only L∞(0,T;L2(Ωb)), so σ_E(u_t) is not defined. If the identity is intended with u in place of u_t, then the displayed time derivative does not follow. This leaves the c0>0 branch with an unproven step unless a different justification is supplied.","section":"§3.2, Eq. (3.41)"}],"minor_comments":[{"comment":"Theorem 3.1 refers to 'the weak solution described in Theorem 2.1', but Theorem 2.1 is the semigroup generation result; weak-solution existence is Theorem 2.2. The cross-reference should be corrected.","section":"Theorem 3.1, statement"},{"comment":"There are several typos and leftover symbols: 'Sobloev' in Section 2.1, 'pressue' after Eq. (3.59), a stray φ in the term ((k∇p,∇p)φ) of Eq. (3.19), and Eq. (3.26) still contains D(ζ) after testing with v. These should be cleaned up.","section":"Throughout"},{"comment":"The notation ⟨σ_E(u)e3, u_t⟩_{ΓI} is used without specifying the spaces of the two factors. Given the regularities (3.7) and (3.12), this pairing is ambiguous; if it is meant only as a definition through the right-hand side of (3.15), that should be stated explicitly and the applicability of Temam's Lemma 4.1 re-examined.","section":"Eq. (3.15)–(3.17)"},{"comment":"In the tangential boundary calculation (3.55), the symbol [σ_f(e_v, e_w)e_3] appears where the adjoint pressure should be e_π; this is presumably a typo but it makes the cancellation step harder to follow.","section":"Appendix, Eq. (3.55)"},{"comment":"The proof of Lemma 3.5 relies on [2, Sections 4.2.1–4.2.2] for the Babuška–Brezzi argument and trace estimates. This is acceptable, but the adjoint characterization is therefore not self-contained and should be flagged as such.","section":"Appendix, Lemma 3.5"}],"recommendation":"major_revision","confidential_remarks":"The core idea is plausible and the adjoint computation is impressive, but the c0=0 limit-passing gap is load-bearing and cannot be waved away: Eq. (3.15) asserts a pairing that is not defined by the established regularities. The c0>0 branch also needs clarification at Eq. (3.41). If the authors can close these gaps, the result is likely publishable; if not, the paper's main theorem is not established."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me cut to it: the c0>0 half of this paper is a real contribution; the c0=0 half does not hold up as written. The gap sits exactly in the passage from (3.14) to (3.15). The authors approximate u_t in L2(0,T;L2(Ωb)) and try to pass to the limit in interface terms. But L2-interior convergence gives no control on traces: γ0(ξ_n) need not converge to γ0(u_t) in H^{-1/2}(ΓI), and the normal trace u_t·e3 is only known to lie in [γ0(H^1_{#,∗})]′, while σ_E(u)e3 lies in [γ0(U)]′. The pairing ⟨σ_E(u)e3, u_t⟩ is not even defined from the stated regularities; two distributions in H^{-1/2}-type spaces cannot be paired against each other. So (3.16) and the Temam-based energy identity (3.17) do not follow. This is load-bearing for the degenerate case, so Theorem 3.1 for c0=0 is not supported as written.\n\nThe c0>0 argument is genuinely new. The full adjoint characterization of A* in the appendix is a careful, intricate computation, and the bounded invertibility of L is the kind of thing a referee can check line by line. Ball's method then gives a credible route to uniqueness via identification with semigroup solutions. I believe that part has a good chance of being correct.\n\nTwo smaller caveats. First, Definition 1 strengthens the old weak notion by adding the tangential trace condition on γ0[u]_t·τ. The authors are upfront about this, but it means the open problem from the prior literature is not literally closed; uniqueness is proved for the new definition. Reasonable, but scope matters. Second, the manuscript has typos and some compressed referencing, nothing fatal but it needs editing.\n\nMy recommendation: give this to a serious referee. The adjoint computation and the c0>0 identification deserve external scrutiny, and a referee might help the authors repair the c0=0 branch. But as submitted, the main theorem overclaims. Acceptance should be conditional on a correct c0=0 argument or a retraction to the c0>0 case.","headline":"The c0>0 adjoint and semigroup argument is a serious contribution, but the c0=0 branch has an unjustified trace-limit step and the main theorem overclaims as written.","tokens_in":28108,"tokens_out":6781,"would_cite":true,"duration_ms":56678,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["74F10","76S05","35M13","76M30","35D30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Weak solutions for Biot-Stokes fluid-poroelastic-structure interactions are unique for every $c_0 \\ge 0$.","keywords":["fluid-poroelastic-structure interaction","Biot model","weak solutions","semigroup methods","Beavers-Joseph-Saffman condition","degenerate parabolic systems","hyperbolic-parabolic coupling","well-posedness"],"falsifier":"Compute the candidate adjoint $L$ on a smooth trigonometric-polynomial element $\\tilde y\\in S$ on the stacked-box domain and verify the adjoint identity $(Ay,\\tilde y)_X=(y,L\\tilde y)_X$ against a basis of $y\\in D(A)$; a nonzero residual in the interface traces $k\\nabla p\\cdot e_3-[v-w]\\cdot e_3$ or $-\\sigma_b e_3-\\sigma_f e_3$ would disprove Proposition 3.3 and break the $c_0>0$ argument. Alternatively, for $c_0=0$, solve the null-data weak form (3.1) on the same geometry; a nonzero solution satisfying the Definition-1 regularity would directly falsify Theorem 3.1.","tokens_in":26995,"feed_emoji":"🌊","tokens_out":9142,"duration_ms":78457,"temperature":0.7,"pith_summary":"This paper proves that weak solutions of the linear inertial Biot-Stokes fluid-poroelastic-structure interaction are unique for every value of the storage coefficient $c_0 \\ge 0$, settling an open question left by an earlier existence result. Uniqueness is not obtained by one method: for $c_0=0$ the proof decouples the Biot and Stokes components and uses a regularity-boosting theorem to justify testing with the solution; for $c_0>0$ it identifies the weak solutions with semigroup solutions via an explicit characterization of the adjoint of the dynamics generator. The payoff is that the weak problem becomes well-posed, with continuous dependence on data in the energy-inequality sense, and the weak formulation can serve as a base for nonlinear generalizations.","feed_headline":"Unique weak solutions found for coupled Biot-Stokes flows","feed_subtitle":"Existence was known; now uniqueness holds for both compressible and incompressible poroelastic phases.","key_machinery":"The load-bearing object is the adjoint operator $A^\\ast$ of the Biot-Stokes semigroup generator, whose domain $D(A^\\ast)$ is characterized as the set $S$ of Definition 3: elements have the same interior regularity as $D(A)$ but interface conditions with altered signs, for example $k\\nabla p\\cdot e_3=[v-w]\\cdot e_3$ and $-\\sigma_b e_3=\\sigma_f e_3$ on $\\Gamma_I$. The appendix proves $S=D(A^\\ast)$ by a long integration-by-parts identity and a bounded-invertibility argument for the candidate adjoint $L$. On the $c_0>0$ side this lets the authors invoke the classical variation-of-constants characterization of semigroup weak solutions; on the $c_0=0$ side the analogous machinery is a componentwise regularization argument using the regularity-boosting theorem for hyperbolic-like systems cited as [30], which upgrades weak solutions with $L^2(0,T;V)\\cap H^1(0,T;H)\\cap H^2(0,T;V')$ regularity to $C([0,T];V)\\cap C^1(0,T;H)$ so the energy identity can be justified.","core_discovery":"The central claim is Theorem 3.1: for finite-energy initial data and $L^2$-type sources, any two weak solutions in the sense of Definition 1 coincide, for all $c_0 \\ge 0$. In the degenerate case $c_0=0$, the authors prove that the difference of two solutions is zero by extracting enough distributional regularity componentwise (including $u_{tt}\\in L^2(0,T;U')$ and $v_t\\in L^2(0,T;[H^1_{\\#,\\ast}(\\Omega_f)\\cap V]')$) to run the full energy identity term by term. In the non-degenerate case $c_0>0$, they prove that every weak solution satisfies the pointwise relation $\\frac{d}{dt}(V(t),\\Psi)_X = (V(t),A^\\ast\\Psi)_X + (F(t),\\Psi)_X$ for $\\Psi\\in D(A^\\ast)$, where $A^\\ast$ is the explicitly computed adjoint of the Biot-Stokes generator; the variation-of-constants formula then forces the weak solution to equal the unique semigroup solution. Consequently Corollary 3.2 declares the weak problem well-posed with continuous dependence in the energy inequality.","pith_inferences":["Editorial inference: the two-regime proof suggests a reusable template for hyperbolic-parabolic coupled systems: use the semigroup-adjoint route when the parabolic part is non-degenerate, and a componentwise regularization route when it degenerates.","Editorial inference: the explicit $D(A^\\ast)=S$ computation is likely to transfer to other Biot-type interface couplings, such as different slip or permeability laws, giving uniqueness results without redoing the whole weak-solution construction, provided the corresponding trace identities are re-derived.","Editorial inference: a quantitative next step would be to test whether uniqueness survives if the tangential trace condition in Definition 1 is dropped; if the proof fails without it, that condition is essential and any numerical or applied weak formulation must enforce it."],"forward_implications":["For every $c_0\\ge 0$, the weak formulation in Definition 1 is well-posed: solutions exist, are unique, and depend continuously on initial data and sources in the energy inequality of (1.16).","When $c_0>0$, the weak solutions from the energy construction coincide with the semigroup solutions generated by $A$, so uniqueness and continuous dependence transfer from the semigroup to the weak class.","The tangential trace regularity $\\gamma_0[u]_t\\cdot\\tau \\in L^2(0,T;L^2(\\Gamma_I))$ is built into the definition of weak solution, and the proofs show this regularity is not a removable artifact but is used to control interface terms in both regimes.","With uniqueness established, the linear problem can serve as the baseline for studying nonlinear elastic or geometric effects, since linear weak well-posedness is a necessary first step for such perturbations."],"supporting_citations":[{"why":"Supplies the semigroup generator, the existence of weak solutions, and the energy inequality that the present uniqueness result completes.","marker":"[2]"},{"why":"Supplies the variation-of-constants characterization of semigroup weak solutions; once Definition-1 weak solutions satisfy it, uniqueness follows from the semigroup.","marker":"[4]"},{"why":"Supplies the null-data decoupling strategy for weak solutions with incompressible constituents that motivates the $c_0=0$ argument.","marker":"[7]"},{"why":"Supplies the regularity theorem that lifts low-regularity weak solutions to semigroup regularity, used to justify testing with the solution in the $c_0=0$ proof.","marker":"[30]"},{"why":"Supplies the semigroup facts, including contractivity, density of $D(A^{\\ast 2})$, and the variation-of-parameters formula used to identify weak solutions with $e^{At}$ convolutions.","marker":"[24]"},{"why":"Defines the Beavers-Joseph-Saffman slip condition on $\\Gamma_I$, whose $\\beta$-terms dominate the interface cancellations in the adjoint computation.","marker":"[22]"}],"fun_headline_variants":["Biot-Stokes weak solutions are unique","Uniqueness proven for coupled Biot-Stokes flows","Weak solutions unique for poroelastic-Stokes system","Settling uniqueness for Biot-Stokes interactions","Poroelastic-Stokes uniqueness established"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For the non-degenerate case, the whole argument depends on the appendix's explicit formula for the adjoint of the semigroup generator; if the long chain of integration-by-parts cancellations that proves that formula contains a single sign or domain error, the uniqueness proof collapses.","fun_headline_variants_meta":{"raw":{"variants":["Biot-Stokes weak solutions are unique","Uniqueness proven for coupled Biot-Stokes flows","Weak solutions unique for poroelastic-Stokes system","Settling uniqueness for Biot-Stokes interactions","Poroelastic-Stokes uniqueness established"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000217,"raw_usage":{"total_tokens":1477,"prompt_tokens":1026,"completion_tokens":451,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":642,"completion_tokens_details":{"reasoning_tokens":379}},"tokens_in":642,"tokens_out":451,"duration_ms":4225,"temperature":1.0,"reasoning_tokens":379,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T13:54:25.429311+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the candidate adjoint $L$ on a smooth trigonometric-polynomial element $\\tilde y\\in S$ on the stacked-box domain and verify the adjoint identity $(Ay,\\tilde y)_X=(y,L\\tilde y)_X$ against a basis of $y\\in D(A)$; a nonzero residual in the interface traces $k\\nabla p\\cdot e_3-[v-w]\\cdot e_3$ or $-\\sigma_b e_3-\\sigma_f e_3$ would disprove Proposition 3.3 and break the $c_0>0$ argument. Alternatively, for $c_0=0$, solve the null-data weak form (3.1) on the same geometry; a nonzero solution satisfying the Definition-1 regularity would directly falsify Theorem 3.1.","supporting_citations":[{"cited_title":"Avalos, E","cited_arxiv_id":null,"evidence_quote":"Supplies the semigroup generator, the existence of weak solutions, and the energy inequality that the present uniqueness result completes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the variation-of-constants characterization of semigroup weak solutions; once Definition-1 weak solutions satisfy it, uniqueness follows from the semigroup."},{"cited_title":"Bociu, B","cited_arxiv_id":null,"evidence_quote":"Supplies the null-data decoupling strategy for weak solutions with incompressible constituents that motivates the $c_0=0$ argument."},{"cited_title":"Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics Springer-Verlag, New York, 1988","cited_arxiv_id":null,"evidence_quote":"Supplies the regularity theorem that lifts low-regularity weak solutions to semigroup regularity, used to justify testing with the solution in the $c_0=0$ proof."},{"cited_title":"Pazy, Semigroups of linear operators and applications to partial differential equations , Springer Science & Business Media, 2012","cited_arxiv_id":null,"evidence_quote":"Supplies the semigroup facts, including contractivity, density of $D(A^{\\ast 2})$, and the variation-of-parameters formula used to identify weak solutions with $e^{At}$ convolutions."},{"cited_title":"Mikelic, W","cited_arxiv_id":null,"evidence_quote":"Defines the Beavers-Joseph-Saffman slip condition on $\\Gamma_I$, whose $\\beta$-terms dominate the interface cancellations in the adjoint computation."}],"review_version":1}