{"id":"693f48b0-fe59-4233-93ef-f2f2217bd517","arxiv_id":"2607.19736","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the linearized fluid-rigid body system with Navier-slip friction in an exterior domain, the associated operator has maximal L^q regularity, generates a bounded analytic semigroup, and obeys L^r–L^q decay estimates.","lead":"This paper proves regularity and decay estimates for the linearized motion of a rigid body in a viscous fluid with slip-at-the-surface friction, extending results from bounded containers to unbounded exterior domains. If correct, it supplies the linear groundwork needed for constructing strong solutions of the nonlinear fluid-solid system with Navier-slip boundary conditions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 8.4's energy-decay proof uses an invalid interpolation exponent, so the claimed L^r–L^q decay estimates in Theorem 2.6 are not proved as written.","rationale":"The paper's central claim comprises three parts: maximal L^q regularity, bounded analyticity, and sharp L^r–L^q decay. The reader's weakest assumption targeted the passage from finite-time to infinite-time maximal regularity in Section 7.2, which is indeed a real gap but one that can likely be closed by a standard limiting argument using uniqueness (Lemma 6.2). A more concrete and less easily repaired obstruction sits in the proof of Lemma 8.4, the engine for the decay estimates in Theorem 2.6 for 1<r<6/5. The interpolation exponent used there is not the Gagliardo–Nirenberg exponent for the 3D estimate being invoked; the asserted inequality fails under an explicit scaling family. The subsequent Gronwall inequality also has an exponent that does not produce the claimed decay. These are internal inconsistencies in the proof of a main theorem, not merely missing details. Because the correct interpolation exponent is standard and the argument appears salvageable, the appropriate verdict remains CONDITIONAL rather than REJECT: the manuscript needs a corrected derivation of the energy decay step in Lemma 8.4 (and the Section 7.2 limiting argument should be supplied) before the claimed L^r–L^q estimates can be accepted. I partially agree with the reader: the Section 7.2 concern is legitimate, but the more load-bearing flaw is the incorrect energy-decay proof in Section 8.2.1.","tokens_in":37736,"tokens_out":27848,"duration_ms":243200,"concrete_test":"Take φ∈C_c^∞(Ω) with div φ=0 and ||φ||_{L^r}=1, supported away from ∂Ω, and set u_λ=(λ^{−3/r}φ(x/λ),0,0). As λ→∞, ||v_λ||_{L^2(Ω)} ∼ λ^{3/2−3/r}, Y:=||D(v_λ)||_{L^2(Ω)} ∼ λ^{1/2−3/r}, and ||u_λ||_{X_r}=1. Test the Lemma 8.4 inequality E^{1/2} ≤ C Y^θ ||u_0||^{1−θ}: for r=1 the left side scales as λ^{−3/2}, while the paper's θ=3/4 gives right side scaling λ^{−15/8}, so the inequality fails. Recompute with the correct interpolation exponent α=3(2−r)/(6−r); then the right side scales as λ^{α(1/2−3/r)} = λ^{3/2−3/r}, matching the left side, and the corrected Gronwall inequality dE/dt+cE^{1/α}≤0 yields E(t) ≤ C t^{−α/(1−α)} and hence the claimed decay. This scaling check settles whether the Lemma 8.4 energy step is valid.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In Section 8.2.1 (proof of Lemma 8.4), the authors combine Korn's inequality with Gagliardo–Nirenberg to assert, for 1<r≤2, that ||v||_{L^2(Ω)}+|ℓ|+|ω| ≤ C(||D(v)||_{L^2}+α||[v−ℓ−ω×x]_τ||_{L^2(∂Ω)})^θ ||u_0||_{X_r}^{1−θ}, with θ = (3/2)(1/r−1/2). The correct 3D interpolation exponent for an L^2 norm controlled by the L^r norm and the gradient is α = 3(2−r)/(6−r), not θ. For r=1, θ=3/4 but α=3/5. A concentrating family v_λ(x)=λ^{−3/r}φ(x/λ) with φ supported away from ∂Ω gives ||v_λ||_{L^2} ∼ λ^{3/2−3/r} while the claimed right-hand side scales like λ^{θ(1/2−3/r)}; for r=1 this is λ^{−3/2} vs λ^{−15/8}, so the asserted inequality fails uniformly. Moreover, the differential inequality in (8.12) is written as dE/dt + cE^{1/(2θ)} ≤ 0; for r=1 the exponent is 2/3<1, which does not yield the claimed decay. The correct derivation uses α in the interpolation inequality and gives dE/dt + cE^{1/α} ≤ 0, which does yield the claimed t^{−3/2(1/r−1/2)} decay. As written, the proof of the decay estimates for 1<r<6/5, and hence the full range in Theorem 2.6, is invalid.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the linearized motion of a rigid body in an incompressible viscous fluid occupying the exterior of a ball, with Navier-slip boundary conditions. The main object is the fluid–structure operator A_{α,q} on the space X_q. The authors claim: self-adjointness and accretivity in L^2; maximal L^q-regularity on finite time intervals for all 1<q<∞, with a T-independent constant for 1<q<3/2; bounded analyticity of the semigroup for all q; and sharp L^r–L^q decay estimates in the whole range 1<r≤q<∞. The proof strategy is a localization argument that patches known whole-space and bounded-domain estimates, followed by interpolation and duality to obtain sectoriality and decay. The paper also contains an appendix proving the required Stokes resolvent estimates and a uniqueness lemma.","tokens_in":38176,"tokens_out":7832,"duration_ms":75611,"significance":"If the main theorems are correct, this would be the first treatment of strong L^q-regularity and decay for the Navier-slip fluid–structure interaction in an exterior domain, a genuinely open problem. The overall architecture—using the spherical geometry through the Helmholtz–Weyl decomposition, localizing the exterior domain into a bounded-domain piece and a whole-space piece, and then interpolating between the q=2 and q<3/2 anchors—is sensible and likely repairable. However, the paper as written contains load-bearing gaps: the passage from finite-interval to infinite-interval maximal regularity is asserted without proof, and the energy-decay proof in Lemma 8.4 uses an invalid interpolation exponent. Since these steps are essential for Theorems 2.5 and 2.6, the manuscript cannot be accepted in its present form. The work does not ship machine-checked proofs or code, so the correctness rests entirely on the mathematical arguments.","major_comments":[{"comment":"The paper asserts that the T-independent maximal regularity estimate for 1<q<3/2 from Theorem 2.3 automatically yields maximal regularity on the infinite interval, and hence the uniform resolvent bound |λ|‖(λI+A_{α,q})^{-1}‖≤M for Re λ≥0. This is a nontrivial limiting statement. Finite-interval estimates with constant independent of T alone do not give the resolvent bound without a compactness/limiting argument and an a priori estimate on the whole half-line. No such argument is supplied. This step is load-bearing: Theorem 2.5 (bounded analyticity) and the later decay estimates rely on it.","section":"§7.2, Eq. (7.3)"},{"comment":"The interpolation exponent θ=3/2(1/r−1/2) used in the proof of Lemma 8.4 is not the correct Gagliardo–Nirenberg exponent in R^3. For the inequality ‖v‖_{L^2} ≤ C‖∇v‖_{L^2}^α‖v‖_{L^r}^{1−α}, the correct exponent is α=3(2−r)/(6−r), not θ. For example, r=1 gives θ=3/4 while α=3/5; a concentrating family v_λ(x)=λ^{−3/r}φ(x/λ) supported away from ∂Ω yields ‖v_λ‖_{L^2}∼λ^{−3/2} while the claimed right-hand side behaves like λ^{−15/8}, so the asserted inequality fails uniformly. Consequently the differential inequality in (8.12), dE/dt+cE^{1/(2θ)}≤0, has the wrong exponent; for r<6/5 the exponent is below 1 and does not give the claimed algebraic decay. Replacing θ by α would yield dE/dt+cE^{1/α}≤0 and the intended decay, but that is not what is written. This invalidates the proof of the full range 1<r<6/5 in Theorem 2.6.","section":"§8.2.1, Lemma 8.4, Eq. (8.12)"},{"comment":"The large-time estimates in Theorem 2.6 contain exponents that do not match the proof. The refined bound for ‖∇v‖ and ‖D^2v‖+‖∇π‖ includes t^{−3/(2r)+2/(2m)}, whereas the proofs in §8.2.4 and §8.2.5 conclude with t^{−3/2(1/r−1/m)}. These differ by t^{1/(2m)}; the theorem is stronger than the proof supports. In addition, the first displayed estimate in Theorem 2.6 for |ℓ(t)|+|ω(t)| has an extra factor (1+t)^{−1/2} compared to Remark 8.6 and the derivation in §8.2.2. The statement should be reconciled with the actual conclusions of the proof.","section":"Theorem 2.6 vs. §8.2.4–8.2.5"}],"minor_comments":[{"comment":"The proof refers to 'Lemma 8.8' when Lemma 8.1 is evidently meant.","section":"Corollary 8.2"},{"comment":"The phrase 'satisfying the compatibility conditions,' contains an extra comma; also the compatibility condition for L^r initial data is not stated precisely, although the reduced version in Section 2 suggests it.","section":"Theorem 2.6"},{"comment":"There is a duplicated word in the sentence 'ensures a natural transition transition of results between different domain geometries'.","section":"§2"},{"comment":"The energy functional is defined as E(t)=‖v‖_{L^2}^2+m|ℓ|^2+|J_0||ω|^2; the notation |J_0||ω|^2 is inconsistent with the vector/matrix convention used elsewhere, and the quadratic form (J_0ω)·ω would be more precise.","section":"Lemma 8.4"},{"comment":"The reference [14] appears garbled ('A. Dhifaoui-theory for the exterior Stokes problem...'). The author should verify the citation data.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The central claims are likely true and the overall strategy is credible, but the manuscript as it stands has two load-bearing unproved or incorrectly proved steps: the passage to infinite-interval maximal regularity in §7.2 and the interpolation exponent in §8.2.1. These are repairable within the scope of the paper, so I recommend major revision rather than rejection. The referee should ask specifically for a complete proof of the T=∞ limiting argument and a corrected derivation of Lemma 8.4 with the correct Gagliardo–Nirenberg exponent. The mismatch between Theorem 2.6 and the proofs also needs to be fixed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper gives the first exterior-domain treatment of maximal regularity and bounded analyticity for the linear Navier-slip fluid–structure problem. That is a genuine extension: slip FSI was confined to bounded containers, and exterior FSI to no-slip. The claimed estimates are exactly the linear tools needed for nonlinear strong solutions, so the use case is concrete. The L^2 theory in Section 5 is careful, and the localisation/contradiction framework in Section 6 is credible. It deserves a serious referee.\n\nThe soft spots, in order of size. The proof of Lemma 8.4 uses an invalid interpolation exponent. The paper asserts\n\n||v||_{L^2} + |ℓ| + |ω| ≤ c(||D(v)|| + ||[v−ℓ−ω×x]_τ||)^θ ||u0||_{X_r}^{1−θ} with θ = 3/2(1/r−1/2).\n\nThe correct 3D exponent is α = 3(2−r)/(6−r). For 1<r<6/5, θ > α, so the inequality is not true. The differential inequality that follows has exponent 1/(2θ) < 1, which does not yield the claimed t^{-3/2(1/r−1/2)} decay. Using α instead gives the claimed decay, so the flaw is fixable, but as written the L^r–L^2 estimates for 1<r<6/5 are not proved.\n\nSecond, Section 7.2 passes from finite-interval maximal regularity with a constant independent of T to T=∞ without writing the limiting argument. This is probably standard, but it is load-bearing for the resolvent estimate and hence for Theorem 2.5. It needs a few lines.\n\nThird, the large-time exponents in Theorem 2.6 do not match the proof: the statement has t^{-3/(2r)+1/m} where the proof yields t^{-3/(2r)+3/(2m)}. Likely a typo.\n\nThere is also a minor tension between 'ball' and 'arbitrary body' in the geometry—the role of the sphere is not made explicit, and the appendix's use of a bounded-domain slip estimate on an artificial boundary is fine but should be stated clearly.\n\nIn short, the central idea is plausible and the result is important for the FSI subfield, but the decay section and the T=∞ step need work. Send it to referees; they can ask for a corrected Lemma 8.4 and a clearer Section 7.2. Not desk-reject material.\n\nThis is for people working on semigroup methods for fluid–structure interaction who care about exterior domains. I would not cite it until the proof is fixed, but I'd bring it to the next reading group to discuss the decay argument.","headline":"Real step for Navier-slip FSI in exterior domains, but the decay proof has a wrong interpolation exponent and a few unproved passages.","tokens_in":38652,"tokens_out":8496,"would_cite":false,"duration_ms":75939,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76D05","35Q35","76D07"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the linearized Navier-slip fluid–rigid-body system in an exterior domain generates a bounded analytic semigroup, has maximal L^q regularity for every 1<q<∞, and decays with sharp L^r–L^q rates.","keywords":["fluid-rigid body interaction","Navier-slip boundary condition","exterior domain","analytic semigroup","maximal L^q regularity","L^q–L^r decay estimates","Korn-type inequality","Helmholtz–Weyl decomposition"],"falsifier":"For $1<q<3/2$, solve $(\\lambda I + A_{\\alpha,q})u = f$ with $\\operatorname{Re} \\lambda \\ge 0$ and check whether $\\|(\\lambda I + A_{\\alpha,q})^{-1}\\| \\le C/(1+|\\lambda|)$ holds uniformly. If a sequence $\\lambda_n \\to \\infty$ with $\\operatorname{Re} \\lambda_n \\ge 0$ admits approximate eigenfunctions—states $u_n$ with $\\|u_n\\|=1$ and $\\|(\\lambda_n - A_{\\alpha,q})u_n\\| \\to 0$—then sectoriality fails and Theorem 2.5 collapses. Equivalently, test whether the finite-$T$ maximal regularity constant really is independent of $T$ for a specific forcing; a counterexample would falsify the paper's central claim.","tokens_in":37585,"feed_emoji":"🌊","tokens_out":7539,"duration_ms":81508,"temperature":0.7,"texified_at":"2026-08-05T21:34:47.916989+00:00","pith_summary":"What the paper tries to establish: the linearized motion of a rigid body surrounded by a viscous incompressible fluid, with Navier slip-with-friction at the interface, is well-posed and decaying in the strongest linear sense even when the fluid occupies the whole space outside the body. Prior semigroup and decay results for the slip condition were confined to bounded containers; the paper extends them to exterior domains for all integrability exponents $1<q<\\infty$. The central object is the fluid–structure operator $A_{\\alpha,q}$, defined on an extended velocity space in which the body's translational and angular velocities are encoded as a rigid motion inside the body. The paper proves that this operator generates a bounded analytic semigroup, that the associated Cauchy problem has maximal $L^q$ regularity, and that solutions satisfy heat-like algebraic decay $t^{-(3/2)(1/r-1/q)}$. If correct, these linear estimates supply the foundation for constructing strong $W^{2,1}_q$ and Kato-type solutions to the nonlinear system, and they identify the decay mechanism that a nonlinear stability proof would need to control.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":8704,"prompt_tokens":958,"completion_tokens":7746,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":958,"completion_tokens_details":{"reasoning_tokens":6766}},"feed_headline":"Navier-slip fluid–body semigroup is analytic in every L^q","feed_subtitle":"For the exterior Navier-slip problem: maximal L^q regularity and algebraic decay.","key_machinery":"The central object is the fluid–structure operator $A_{\\alpha,q} := P_q A$, where $P_q$ is the Helmholtz projection for the decomposition $L^q(\\mathbb{R}^3) = X_q \\oplus G_1^q \\oplus G_2^q$ and $A$ acts as $-\\mu \\Delta$ in the fluid and as the rigid-body momentum balances inside the body. States $u \\in X_q$ are extended velocity fields whose restriction to the body is the rigid motion $u = \\ell + \\omega \\times x$, so the fluid–body coupling becomes boundary conditions on $\\partial \\Omega$ rather than a separate system. The proof machinery: a coercive bilinear form gives self-adjointness and surjectivity of $I + A_{\\alpha,2}$; cutoffs and Bogovski operators localize the general $L^q$ estimates to known whole-space and bounded-domain results; interpolation and duality propagate sectorialit","core_discovery":"On its own terms, the central claim is Theorem 2.5: for the exterior domain $\\Omega = \\mathbb{R}^3 \\setminus B$ and every $1<q<\\infty$, the fluid–structure operator $A_{\\alpha,q}$ generates a bounded analytic semigroup on the subspace $X_q$ of states satisfying the no-penetration condition. Together with Theorems 2.3 and 2.6, the paper claims the linearized system (1.7) with Navier-slip boundary conditions (C2)–(C3) has maximal $L^q$ regularity on finite intervals (with constants independent of T for $q<3/2$), and that its semigroup satisfies sharp $L^r$–$L^q$ decay estimates for $1<r\\le q<\\infty$, including derivative and pressure bounds. The proof route is: self-adjointness and accretivity of the $L^2$ operator via a coercive bilinear form; a localizat","pith_inferences":["The paper does not quantify how its constants depend on the friction coefficient α or the body's geometry; tracing the limits α→0 (perfect slip) and α→∞ (approaching no-slip) could show whether the decay rates interpolate between the known no-slip exterior results.","The body-velocity decay t^{−1/2} is slower than the fluid-velocity decay for most q, an asymmetry the paper does not highlight but which is a concrete prediction of the linear theory.","The q=∞ case is left open; a reader might try real interpolation or Marcinkiewicz arguments to push the L^r–L^q estimates to q=∞, which would give sup-norm decay, but the paper explicitly defers that question."],"forward_implications":["If the central claim is correct, the linearized slip fluid–structure problem is well-posed in the maximal-regularity sense: for every 1<q<∞, forcing in L^q produces a unique strong solution with the expected W^{2,1}_q regularity.","The semigroup is bounded analytic for every 1<q<∞, so solutions become smooth for t>0 and obey the parabolic estimate ||∂_t u(t)|| ≤ c t^{−1} ||u_0||.","Solutions decay algebraically: the fluid velocity decays like t^{−(3/2)(1/r−1/q)} in L^q from L^r data, and the body velocities decay at least like (1+t)^{−1/2} up to an arbitrarily large auxiliary exponent.","These linear decay rates match the heat-semigroup scaling, indicating that the body's presence and the slip condition do not slow the linear relaxation rate.","The regularity and decay theorems provide the linear foundation the paper indicates for constructing strong W^{2,1}_q and Kato-type solutions of the nonlinear system."],"fun_headline_variants":["Analytic semigroup for Navier-slip fluid–body in exterior domain","Maximal L^q regularity for spherical body in viscous flow with slip","Sharp L^q–L^r decay for Navier-slip fluid–structure operator","Exterior Navier-slip: bounded analytic semigroup for all q","Navier-slip fluid–body: analytic semigroup and sharp decay"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The paper asserts in Section 7.2 that the uniform-in-time maximal $L^q$ regularity for $1<q<3/2$ implies the resolvent estimate on the closed right half-plane, but the limiting passage from finite time intervals to $T=\\infty$ is not proved; this unproved step is load-bearing for bounded analyticity and the decay estimates that follow.","fun_headline_variants_meta":{"raw":{"variants":["Analytic semigroup for Navier-slip fluid–body in exterior domain","Maximal L^q regularity for spherical body in viscous flow with slip","Sharp L^q–L^r decay for Navier-slip fluid–structure operator","Exterior Navier-slip: bounded analytic semigroup for all q","Navier-slip fluid–body: analytic semigroup and sharp decay"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000898,"raw_usage":{"total_tokens":3678,"prompt_tokens":692,"completion_tokens":2986,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":436,"completion_tokens_details":{"reasoning_tokens":2885}},"tokens_in":436,"tokens_out":2986,"duration_ms":27429,"temperature":1.0,"reasoning_tokens":2885,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T11:54:57.802168+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $1<q<3/2$, solve $(\\lambda I + A_{\\alpha,q})u = f$ with $\\operatorname{Re} \\lambda \\ge 0$ and check whether $\\|(\\lambda I + A_{\\alpha,q})^{-1}\\| \\le C/(1+|\\lambda|)$ holds uniformly. If a sequence $\\lambda_n \\to \\infty$ with $\\operatorname{Re} \\lambda_n \\ge 0$ admits approximate eigenfunctions—states $u_n$ with $\\|u_n\\|=1$ and $\\|(\\lambda_n - A_{\\alpha,q})u_n\\| \\to 0$—then sectoriality fails and Theorem 2.5 collapses. Equivalently, test whether the finite-$T$ maximal regularity constant really is independent of $T$ for a specific forcing; a counterexample would falsify the paper's central claim.","supporting_citations":[],"review_version":1}