{"id":"942ed3df-03e2-403a-a592-49607349a338","arxiv_id":"2501.09195","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Navier-Stokes-Darcy system with Beavers-Joseph and Beavers-Joseph-Saffman interface conditions is shown to be strongly well-posed in critical spaces for small data, with a Serrin-type blow-up criterion and analytic regularity.","lead":"This paper proves that a fluid moving through a porous medium, coupled at the interface by the Beavers-Joseph or Beavers-Joseph-Saffman condition, has a unique strong solution for small initial data, with results in critical spaces. It also gives a blow-up criterion and shows the solution is analytic when the forces are analytic, which matters for modeling filtration and porous flows.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 6.3(a) passes from compact resolvent to q-independent spectrum without justification; the q=2 energy estimate does not cover Lq for q≠2, so the spectral bound behind Theorem 4.1(ii) is not established as written.","rationale":"The reader's weakest assumption identifies the same point I consider most load-bearing: Proposition 6.3(a) claims q-independence of the spectrum from compactness of the resolvent, which is not a valid inference. The q=2 energy calculation is genuine but only concerns the Hilbert-space realization; Theorem 4.1 and the R-sectoriality step in Proposition 6.3(b) require the spectral gap s(A)<0 and maximal regularity on every Lq with q∈(1,3). Without the missing q-independence argument, the small-data global existence theorem for q≠2 is unsupported. I found no stronger defect: the boundary-perturbation architecture is standard, the nonlinear estimates in Lemma 7.1 and the critical-space setup are coherent, and the Beaver-Joseph L2 section is plausible. The stated typos and proof-label mismatches are secondary. Since the gap is real but very likely repairable by elliptic regularity of eigenfunctions, the conditional verdict remains appropriate; the paper should be accepted only after the authors supply the missing Lq spectral argument or an explicit Lq resolvent estimate.","tokens_in":24175,"tokens_out":11009,"duration_ms":118165,"concrete_test":"Verify that every eigenfunction of the Lq realization of A, q∈(1,3), is smooth up to the interface Γ and hence belongs to the domain of the L2 realization. Concretely, solve the eigenvalue transmission problem (λ−A)(p,u)=0 with the boundary and interface conditions from (6.6) and apply Schauder estimates up to Γ to show (p,u)∈C∞(Ω̄_p)×C∞(Ω̄_f). If this regularity step succeeds, the q=2 spectral computation transfers to all q and Proposition 6.3(a) is repaired. If an Lq eigenfunction not lying in L2 is found, q-independence fails and the proof of Theorem 4.1(ii) collapses without a replacement Lq spectral bound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 6.3(a) argues: the resolvent is compact, hence σ(A)=σ_p(A), and therefore the spectrum is q-independent; then it suffices to compute eigenvalues in q=2. The inference is invalid: compact resolvent gives discreteness of the spectrum, not q-independence, and the point spectrum of an operator on Lq can depend on q in general. The q=2 integration-by-parts identity only shows Re λ ≤ 0 and rules out iR for the L2 realization. But Theorem 4.1(ii) and Proposition 6.3(b) need the spectral bound s(A)<0 and the R-sectoriality of the Lq realization for all q∈(1,3), through Proposition 3.1(b) and Proposition 3.4. As written, the Lq spectral gap is asserted, not proved. This is likely repairable by showing eigenfunctions are smooth up to Γ, so the L2 eigenvalue computation transfers; nevertheless, the current text contains a genuine logical gap at a load-bearing point.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a fluid-porous interface problem coupling the Navier-Stokes equations in a fluid domain with a Darcy equation in a porous domain, under the Beavers-Joseph-Saffman (BJS) and Beavers-Joseph (BJ) interface conditions. The main claims are: (i) Theorem 4.1, local and global strong well-posedness for the BJS system in critical Besov spaces for q∈(1,3), r∈(1,∞) with 2/(3r)+1/q≤1 and small data; (ii) Theorem 5.1, analogous strong well-posedness for the BJ condition in Lions-Magenes spaces for small β in an L2 setting; (iii) Serrin-type blow-up criteria (Corollaries 4.3 and 5.3); and (iv) higher regularity, including analyticity at the interface under a technical condition and analytic forces (Corollaries 4.4 and 4.5). The proofs use abstract semigroup theory, boundary perturbation techniques, R-sectoriality, and the Prüss-Simonett-Wilke critical-space framework. The analysis is carried out by reformulating the interface conditions as non-diagonal domains for a coupled operator A, proving that A is a sectorial operator with maximal regularity, and then applying semilinear theory.","tokens_in":24417,"tokens_out":3440,"duration_ms":35185,"significance":"If the main results are correct, this is a substantial contribution: it gives the first strong-sense well-posedness for the Beavers-Joseph and Beavers-Joseph-Saffman interface conditions, with solutions satisfying the conditions as traces, in scaling-critical spaces analogous to the classical Navier-Stokes critical spaces. The paper also provides blow-up criteria and interface regularity results. The approach is largely intrinsic and does not rely on fitted parameters: the smallness conditions are explicit hypotheses, and the critical spaces are derived from the abstract theory. The main theorems are precisely formulated and would be of interest to the PDE and fluid mechanics communities. However, the validity of the central spectral-bound claim on Lq for all q is not established as written; this gap is load-bearing for the global existence and maximal-regularity results. The contribution is therefore potentially significant, but its current form requires a substantive repair.","major_comments":[{"comment":"The proof of Proposition 6.3(a) contains an invalid inference. The text asserts that compactness of the resolvent implies σ(A)=σ_p(A) and therefore q-independence of the spectrum, so that it suffices to compute eigenvalues for q=2. Compact resolvent only gives discreteness of the spectrum for a fixed realization; it does not imply that the spectrum is independent of the function space, and point spectra of differential operators on Lq can depend on q. The subsequent integration-by-parts computation is performed only for q=2 and establishes Re λ ≤ 0 and iR ⊆ ρ(A) for the L2 realization. But Theorem 4.1(ii) and Proposition 6.3(b) require the spectral bound s(A)<0 and R-sectoriality of the Lq realization for all q∈(1,3), through Proposition 3.1(b) and Proposition 3.4. As written, the Lq spectral gap is asserted, not proved. This is a load-bearing gap in the proof of global existence. The gap may be repairable, e.g. by showing that eigenfunctions of A on Lq are smooth up to Γ so that the L2 eigenvalue computation transfers, but that argument is absent.","section":"§6.2, Proposition 6.3(a)"},{"comment":"The tangential-shift construction defining the truncated shift τ_ξ contains a cutoff function ζ0 that is described as satisfying 'ζ0 ≡ 0 if |z| ⩽ 2a and ζ0 ≡ 0 if |z| > 5/2 a'. As written, ζ0 is identically zero, making the shift τ_ξ trivial and the parameter-trick argument in the spatial variable ineffective. For the interface regularity claim, the shift must act tangentially near Γ, so a cutoff that is nonzero in a neighbourhood of z=0 seems necessary. This appears to be a typo rather than a substantive mathematical error, but it must be corrected because the proof of Corollary 4.5 depends on the nontrivial tangential shift.","section":"§8, proof of Corollary 4.5"},{"comment":"The verification of Assumption (A) relies on Proposition 6.3(b), which in turn depends on the unjustified q-independent spectral bound from Proposition 6.3(a). In particular, the step 'from Proposition 6.3(a) we know that s(A)<0 and hence we may choose λ=0' in the proof of Proposition 6.3(b) transfers the L2 spectral gap to all Lq spaces without proof. Thus the maximal-regularity conclusion for the BJS operator on Lq is not fully established. I am not claiming the conclusion is false; I am pointing out that a central step in the argument as written is missing.","section":"§7, proof of Theorem 4.1"}],"minor_comments":[{"comment":"The spelling of the names is inconsistent: both 'Beaver-Joseph' and 'Beavers-Joseph' appear; the standard spelling is 'Beavers-Joseph' for the condition, and this should be unified.","section":"Throughout"},{"comment":"In the second displayed regularity line for u, the final space is written as B^{3/q-1}_{q,r}(Ωp); it should presumably be B^{3/q-1}_{q,r}(Ωf).","section":"Theorem 4.1(i)"},{"comment":"The notation for the critical Besov spaces is inconsistent: the statement uses B^{3/q-1}_{r,q,Γ1}(Ωp) whereas Theorem 4.1 and equation (7.2) use B^{3/q-1}_{q,r,Γ1}(Ωp). This should be reconciled.","section":"Corollary 4.3"},{"comment":"The phrase 'Serrin-type blow-up criterium' should be 'criterion'; also 'Beaver-Joseph' appears repeatedly where 'Beavers-Joseph' is standard.","section":"Abstract and Introduction"},{"comment":"The notation 'B^{2θ}_{qrΓ1}(Ωp)' is nonstandard and appears to be missing a comma; it should likely be 'B^{2θ}_{q r, Γ1}(Ωp)' or similar, consistent with the rest of the paper.","section":"Lemma 6.2(c)"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a significant open problem and the overall strategy is credible. The main issue is the unjustified q-independence of the spectrum in Proposition 6.3(a), which is load-bearing for the Lq global existence and maximal regularity results. This is likely repairable, but the repair may require a nontrivial argument (e.g., elliptic regularity of eigenfunctions up to the interface). I recommend major revision rather than rejection, provided the authors can supply the missing spectral transfer argument and fix the tangential-shift cutoff in the proof of Corollary 4.5. The paper is within scope for a mathematical analysis journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Binz, Hieber and Roy have done something real here. The paper is the first to treat the Beavers-Joseph and Beavers-Joseph-Saffman interface conditions for the Navier-Stokes-Darcy system in the strong/trace sense, and the main theorems deliver what they advertise: local and global small-data well-posedness in critical Besov spaces for BJS, an analogous L2 result for the original BJ condition in Lions-Magenes spaces with small beta, a Serrin-type blow-up criterion, and analytic regularity at the interface. The abstract machinery—boundary perturbation, R-sectoriality, maximal regularity in weighted spaces—is standard but carefully adapted, and the critical-space formulation is honest. The nonlinear estimate in Lemma 7.1 and the Angenent-parameter-trick arguments in Section 8 are credible as far as I checked them.\n\nThe soft spot is real and load-bearing. Proposition 6.3(a) claims the spectrum of the coupled operator A is q-independent because the resolvent is compact, and then computes only the q=2 eigenvalues. Compactness of the resolvent gives discreteness of the spectrum, not independence of the underlying Lq space; the point spectrum of an operator on Lq can depend on q. Since Theorem 4.1(ii) uses s(A)<0 for the Lq realization through Proposition 3.1(b), and Proposition 6.3(b) needs R-sectoriality on Lq through Proposition 3.4, the Lq spectral gap is asserted rather than proved. The gap is likely repairable—showing eigenfunctions are smooth up to the interface and then transferring the L2 eigenvalue computation would do it—but as written it is a genuine hole in the proof of the main global theorem for q not equal to 2.\n\nThere are also minor presentation issues: some function-space typos in Theorem 4.1(i) and Corollary 4.3(ii), and the proof of Proposition 6.3(b)/(c) is written as a single block. These are cosmetic. The citation pattern is fine; the paper builds on prior maximal-regularity and Dirichlet-operator theory, and the claims of novelty relative to the weak-solution literature are accurate.\n\nThis paper is for PDE analysts working on fluid-porous coupling, maximal regularity, and critical spaces. It deserves a serious referee. My own verdict is revise-and-resubmit: the architecture is sound and the results are worth having, but Proposition 6.3(a) needs a real argument, not a one-line assertion, before the Lq global theorem is fully established.","headline":"Strong trace-sense well-posedness for Navier-Stokes-Darcy with Beaver-Joseph conditions is new and largely sound, but the q-independent spectrum assertion in Proposition 6.3(a) is a genuine gap that needs fixing before the Lq global result stands.","tokens_in":24894,"tokens_out":2302,"would_cite":true,"duration_ms":23548,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K40","35K61","76D03","76D05","76S05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the coupled Navier-Stokes-Darcy system with the Beaver-Joseph or Beaver-Joseph-Saffman interface conditions has unique, global strong solutions for small data in critical spaces, and that the solution is analytic at…","keywords":["Navier-Stokes-Darcy system","Beaver-Joseph condition","Beaver-Joseph-Saffman condition","strong solutions","critical Besov spaces","Lions-Magenes spaces","Serrin-type blow-up criterion","analytic interface regularity"],"falsifier":"Compute the resolvent or eigenvalues of the coupled operator $A$ on $L^q \\times L^q_{\\sigma}$ for a concrete geometry with flat interface and $q\\neq 2$, using the interface conditions (2.4); if any eigenvalue has nonnegative real part or any non-eigenvalue spectrum appears, the spectral bound $s(A)<0$ on $L^q$ fails and the small-data global existence proof is not supported.","tokens_in":23960,"feed_emoji":"🌊","tokens_out":8098,"duration_ms":78490,"temperature":0.7,"pith_summary":"This article claims that the classical interface conditions used to couple a free fluid to a porous medium, the Beaver-Joseph condition and its Saffman simplification, can be treated in the strong sense rather than only weakly. For small initial data in critical spaces the coupled Navier-Stokes-Darcy system is claimed to have a unique global strong solution, with the interface conditions satisfied as traces. The paper also establishes a Serrin-type blow-up criterion and shows that, for analytic interface geometry and analytic forcing, the solution is analytic in tangential directions at the interface. If correct, this brings the standard porous-interface engineering laws into the same maximal-regularity framework that underlies modern Navier-Stokes well-posedness theory.","feed_headline":"Global strong solutions exist for fluid-porous interface laws","feed_subtitle":"Small-data uniqueness in critical spaces, plus a blow-up criterion and analytic interface regularity under smooth forces.","key_machinery":"The load-bearing object is the coupled operator $A=\\operatorname{diag}(k\\Delta_m, A_m)$ with the non-diagonal domain $X_1$ containing all three interface conditions as trace relations. It is analyzed as a boundary perturbation: the leading-order Neumann-type boundary operator $L$ is separated from the lower-order coupling operator $\\Phi$, and the system is rewritten as the $X_0$-realization of $A_{-1/2}+Q$, with $Q$ compact in a fractional scale. R-sectorial perturbation theory then yields maximal $L^r$-regularity, which feeds the abstract semilinear critical-space theory for the equation $v'-Av=F(v,v)+f$. Angenent's parameter trick is the additional mechanism used to bootstrap interior and interface regularity.","core_discovery":"The central claim is that the linearized coupled operator, a $2\\times 2$ system with a heat-type equation for the porous pressure and a Stokes operator for the fluid velocity whose domain encodes the interface conditions as non-diagonal boundary traces, generates an exponentially stable, compact, analytic semigroup with maximal $L^r$-regularity. Under the Beaver-Joseph-Saffman condition this holds in $L^q \\times L^q_{\\sigma}$ for all $q$ in the critical range; under the original Beaver-Joseph condition it holds in the $L^2$ setting for sufficiently small friction parameter $\\beta$. On this basis Theorem 4.1 proves local and global small-data strong well-posedness in critical Besov spaces $B^{3/q-1}_{q,r}$, Theorem 5.1 proves the analogue in Lions-Magenes spaces $H^{1/2}_{00,\\Gamma}$, Corollary 4.3 gives a finite-time blow-up criterion, and Corollary 4.5 upgrades interface regularity to analyticity when the interface is analytic and the forcing is analytic.","pith_inferences":["As an editorial extension, the paper leaves the $L^q$ spectral analysis for $q\\neq 2$ at the level of an assertion; a direct resolvent computation in $L^q$ for a flat interface would either confirm or refute the negative spectral bound that drives Theorem 4.1.","A consequence not explored here is that analytic tangential regularity at the interface may give a practical handle for inverse problems: measurements of tangential interface traces could in principle be interpolated analytically, making parameter identification from boundary data better posed than in the bulk.","If the critical Besov framework is sharp, one might expect to recover weak-strong uniqueness results for the coupled system by letting $q$ approach $2$ in Theorem 4.1, providing a bridge between the $L^q$ and $L^2$ theories for the two interface conditions."],"forward_implications":["Under Theorem 4.1, the Beaver-Joseph-Saffman condition (2.4)$_3$ holds in the trace sense for the unique strong solution, so the interface law is no longer merely a weak constraint.","The Serrin-type criterion in Corollary 4.3 gives a checkable breakdown condition: finite-time blow-up occurs exactly when the critical Besov norm or the integrated $H^{2\\mu,q}$ norm diverges.","If the interface is analytic and $1/r + 3/(2q) < 1$, Corollary 4.5 says the solution is analytic in tangential directions at the interface whenever the forcing is analytic, a stronger interface regularity than interior regularity alone would give.","For the original Beaver-Joseph condition, Theorem 5.1 provides a Fujita-Kato-type result: local and global strong well-posedness in Lions-Magenes spaces for sufficiently small $\\beta$."],"supporting_citations":[{"why":"states the original Beaver-Joseph slip condition that the paper analyzes in strong form.","marker":"[8]"},{"why":"introduces the Saffman simplification that defines the Beaver-Joseph-Saffman condition.","marker":"[37]"},{"why":"gives the rigorous derivation of the interface condition and prior weak-setting analysis.","marker":"[25]"},{"why":"supplies the abstract critical-space semilinear theory used to derive the critical Besov well-posedness.","marker":"[35]"},{"why":"provides the weighted maximal regularity results behind local and global existence for small data.","marker":"[36]"},{"why":"supplies Angenent's parameter trick used to prove higher interior and interface regularity.","marker":"[5]"},{"why":"provides maximal regularity and interpolation characterizations for the Stokes operator with mixed boundary conditions.","marker":"[33]"},{"why":"supplies the parabolic regularity and R-sectorial perturbation framework used to analyze the linearized system.","marker":"[34]"}],"fun_headline_variants":["Strong solutions hold for porous-fluid interface laws","Beaver-Joseph interface: global strong well-posedness","Small-data global strong solutions for porous flow coupling","Analytic interface regularity with Serrin blow-up criterion","Critical-space uniqueness for fluid-porous interfaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The global small-data result rests on the assertion that the coupled linear operator has only eigenvalues with negative real part, in every $L^q$ space; the calculation in the proof of Proposition 6.3(a) is done for $q=2$, and compactness of the resolvent alone does not force the spectrum to be the same on $L^q$ for other $q$.","fun_headline_variants_meta":{"raw":{"variants":["Strong solutions hold for porous-fluid interface laws","Beaver-Joseph interface: global strong well-posedness","Small-data global strong solutions for porous flow coupling","Analytic interface regularity with Serrin blow-up criterion","Critical-space uniqueness for fluid-porous interfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00025,"raw_usage":{"total_tokens":1521,"prompt_tokens":879,"completion_tokens":642,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":495,"completion_tokens_details":{"reasoning_tokens":567}},"tokens_in":495,"tokens_out":642,"duration_ms":6318,"temperature":1.0,"reasoning_tokens":567,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:11:30.568453+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the resolvent or eigenvalues of the coupled operator $A$ on $L^q \\times L^q_{\\sigma}$ for a concrete geometry with flat interface and $q\\neq 2$, using the interface conditions (2.4); if any eigenvalue has nonnegative real part or any non-eigenvalue spectrum appears, the spectral bound $s(A)<0$ on $L^q$ fails and the small-data global existence proof is not supported.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"states the original Beaver-Joseph slip condition that the paper analyzes in strong form."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"introduces the Saffman simplification that defines the Beaver-Joseph-Saffman condition."},{"cited_title":"J¨ ager and A","cited_arxiv_id":null,"evidence_quote":"gives the rigorous derivation of the interface condition and prior weak-setting analysis."},{"cited_title":"Pr¨ uss, G","cited_arxiv_id":null,"evidence_quote":"supplies the abstract critical-space semilinear theory used to derive the critical Besov well-posedness."},{"cited_title":"Pr¨ uss and M","cited_arxiv_id":null,"evidence_quote":"provides the weighted maximal regularity results behind local and global existence for small data."},{"cited_title":"Angenent","cited_arxiv_id":null,"evidence_quote":"supplies Angenent's parameter trick used to prove higher interior and interface regularity."},{"cited_title":"Pr¨ uss.H ∞-calculus for generalized Stokes operators","cited_arxiv_id":null,"evidence_quote":"provides maximal regularity and interpolation characterizations for the Stokes operator with mixed boundary conditions."},{"cited_title":"Pr¨ uss and G","cited_arxiv_id":null,"evidence_quote":"supplies the parabolic regularity and R-sectorial perturbation framework used to analyze the linearized system."}],"review_version":1}