{"id":"9d309cfe-3ed4-49d5-b788-d0816cc1ea17","arxiv_id":"2608.00972","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Exponential decay of energy is established for 3D Boussinesq and Navier-Stokes flows with Navier slip boundary conditions under only localized positive friction, via a new weighted Korn-Poincaré inequality.","lead":"This paper proves exponential decay of the total energy for the 3D Boussinesq fluid equations when the slip boundary has friction that is positive on at least a small patch, and also proves decay of the scalar field and the non-rigid part of the velocity in the frictionless case. It resolves an open Navier-Stokes decay question from a 2025 paper by Kelliher and coauthors.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest assumption identifies the energy-inequality limit as the key risk. I agree that this is the most load-bearing step, but the paper's detailed argument closes the gap: the L∞ nature of α is handled by strong trace convergence rather than lower semicontinuity, and the sign-changing weight (Λ−α) is integrable because u_m→u strongly on the boundary. The weighted Korn–Poincaré proof is a standard compactness argument; the rigid-motion zero-set reasoning is correct; the two-time Gronwall proof is algebraically verified with no sign assumption needed. The Galerkin construction and Aubin–Lions compactness are standard and consistent. No circularity, no omitted proof that affects the central claim, and no fitted parameters. The constant dependence in Theorem 5.1 is existential, so the non-constructive nature of C(KP,α) is not a correctness issue. Therefore the verdict should remain ACCEPT/UNCHANGED.","tokens_in":21279,"tokens_out":44270,"duration_ms":420008,"concrete_test":"Re-derive Eqs. (4.7)–(4.9) of Lemma 4.1 without invoking [10, Thm 4.4], verifying that the boundary term with weight (Λ−α) is passed to the limit by the strong trace convergence of u_m to u in L^2((0,T);L^2(∂Ω)) from (3.6), and that the finite-horizon truncation leaves no residual boundary integral; if the trace convergence used the wrong subsequence, (4.2) would fail.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most plausible load-bearing step is the L∞-friction extension of the energy-inequality limiting argument in Lemma 4.1, since Theorem 5.1 depends on (4.2). On inspection, the paper does not merely quote [10, Thm 4.4]: it supplies the one-sided mollifier passage and uses the strong trace convergence established in (3.6) to handle the sign-changing boundary term (Λ−α)|u|^2. Each liminf step is valid: the LHS terms are lower-semicontinuous or Fatou limits, and the boundary and buoyancy terms converge strongly. The L∞ coefficient therefore causes no gap. No other assumption (weighted Korn–Poincaré, two-time Gronwall, Galerkin existence) appears internally inconsistent or unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the 3D incompressible Boussinesq system on a bounded smooth domain with Navier slip boundary conditions and an L∞ nonnegative friction coefficient α. It constructs global weak solutions by a Galerkin approximation and proves Leray–Hopf energy inequalities for the constructed solution (Lemma 4.1). The main decay result, Theorem 5.1, states that if α ≥ 0 and H²({α>0}) > 0 then the total L² energy of every global Leray–Hopf weak solution decays exponentially, with constants depending only on ν, κ, Ω, α. The proof combines a new weighted Korn–Poincaré inequality (Prop. 4.3), which controls the full velocity whenever the friction is positive on a set of positive boundary measure, with a new two-time Gronwall inequality (Prop. A.1) that does not require a sign assumption. In the frictionless case (Theorem 6.1) the scalar field and the velocity component orthogonal to the rigid-motion kernel Ker S decay exponentially, and the kernel component converges exponentially to a (generally nonzero) rigid motion; when Ker S is trivial this gives full energy decay. Corollary 5.2 gives the corresponding Navier–Stokes decay result for nonnegative L∞ friction, including the case left open by [10].","tokens_in":21437,"tokens_out":28335,"duration_ms":313985,"significance":"If correct, the paper is a meaningful extension of [10]: it replaces continuity of α by L∞, replaces positivity everywhere by positivity on a positive-measure boundary subset, and passes from Navier–Stokes to the full Boussinesq system. The two auxiliary lemmas are independently useful: the weighted Korn–Poincaré inequality is a clean compactness/geometry statement, and the sign-free two-time Gronwall lemma removes an unnecessary hypothesis in the corresponding lemma of [10]. The Galerkin existence proof is essentially complete, and the crucial step of passing the energy inequality from the Galerkin sequence to the weak limit, including the boundary term for merely L∞ α, is supplied rather than merely quoted. The decay mechanism—the scalar acting as an exponentially decaying forcing on the velocity—is natural and the argument is internally consistent. I consider the central claims sound.","major_comments":[],"minor_comments":[{"comment":"The passage from the mollified Galerkin inequality to the limit is compressed. The strong trace convergence of the boundary term, proved in (3.6), is used but not restated; a sentence making explicit the convergence of ∫∫(Λ−α)|u_m|² and ∫∫α|u_m|² would improve readability.","section":"Lemma 4.1, Eq. (4.8)"},{"comment":"The displayed inequality is obtained after dropping the nonnegative term 2ν∫∥S(u)∥² from a combined estimate. This should be indicated, as otherwise the coefficient (2ν/C−ε) appears to follow directly from (4.2) without an extra step.","section":"Theorem 5.1, Eq. (5.5)"},{"comment":"The calculation leading to (A.4) is terse. Expanding the algebra for z_s would help, especially because the nonnegativity of y is deliberately not assumed.","section":"Proposition A.1, around (A.4)"},{"comment":"The notation for the shifted operator, typeset as 'eBβ', is unusual and not defined clearly; please use a standard symbol such as \\tilde B_β.","section":"Section 2, Proposition 2.2"},{"comment":"There are several places where inline derivations are slightly too compressed (e.g., the shape-operator bound following (4.4) and the trace interpolation estimates in (3.6)). Expanding these by one or two lines would make the paper easier to check. Also, the running header on page 1 contains an accidental line break in 'DECAY'.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"To the editor: this is a solid paper that does what it claims. The only issues I found are presentational, mostly places where a limiting or algebraic step is compressed. I recommend minor revision and do not think another round of mathematical refereeing is needed. The novelty relative to [10] is substantial but incremental; it fits the journal's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it over the weekend. The paper does what it says: it extends Kelliher et al.'s 3D Navier-Stokes decay results to the Boussinesq system, and it genuinely weakens the hypothesis from continuous positive friction everywhere to L∞ friction positive on a boundary patch. The weighted Korn-Poincare inequality (Prop. 4.3) is the right new tool, and the proof via compactness and rigid-motion classification is clean. The two-time Gronwall lemma is also solid and useful on its own, and the paper is upfront about borrowing the limiting energy-inequality argument from [10].\n\nThe main decay theorem is proved without hidden assumptions: the scalar field decays because rho=0 on the boundary, the buoyancy term becomes an exponentially decaying forcing, and the weighted Korn-Poincare inequality closes the velocity estimate. The frictionless section is a sensible counterpart: the kernel projection is tracked, the orthogonal component decays, and they recover the Navier-Stokes rigid-motion limit. The Navier-Stokes corollary for L∞ alpha with a positive patch does resolve the open case in [10].\n\nSoft spots are minor. Lemma 4.1 does rely on the energy-inequality limiting passage from [10, Thm. 4.4]; for L∞ alpha, the one-sided mollifier and trace-limit argument is sketched rather than fully written out. I checked the trace convergence in (3.6), and it is enough—the sign-changing (Lambda-alpha) term is controlled by strong trace convergence—so I do not see a real gap, but a referee should ask for the details to be made explicit. Also, in the proof of Theorem 5.1, the displayed inequality appears to use an implicit doubling of (4.2); the algebra works if you multiply by 2 first, but as written it is easy to trip over. Both are presentation fixes.\n\nThe citation pattern is appropriate: [10] is the direct antecedent and is cited with precision; self-citations are to relevant prior work, not padding. No fitted parameters, no invented entities.\n\nThis is a paper for people working on long-time behavior of fluids with slip boundary conditions. It deserves a serious referee and likely publication after minor revision. I would bring it to reading group and cite it.","headline":"Solid, honest extension of the Navier-Stokes decay theory to the 3D Boussinesq system; the weighted Korn-Poincare inequality is a real new tool and the main theorem holds up.","tokens_in":21916,"tokens_out":8117,"would_cite":true,"duration_ms":89017,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","35Q35","35B40","76D05","76R50"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that for the 3D Boussinesq equations with Navier boundary conditions, any global weak solution's total energy decays exponentially whenever the boundary friction is nonnegative and positive on a set of positive surface mea","keywords":["Boussinesq equations","Navier boundary conditions","exponential decay","weak solutions","Leray–Hopf energy inequality","Korn–Poincaré inequality","Galerkin approximation","slip boundary friction"],"falsifier":"Take a concrete domain (e.g., unit ball) and α = 1 on an open cap, 0 elsewhere; compute the Galerkin sequence's boundary traces and check whether they converge strongly in L²(∂Ω). If a subsequence loses trace compactness, the energy inequality (4.2) might fail and exponential decay would not follow from this proof; alternatively, if a numerical simulation of the full Boussinesq system with such localized friction shows energy persisting indefinitely, the theorem's conclusion is false.","tokens_in":21174,"feed_emoji":"🌊","tokens_out":6354,"duration_ms":65886,"temperature":0.7,"pith_summary":"This paper studies the three-dimensional Boussinesq equations—the coupled system for a viscous fluid and a diffusing scalar such as temperature—in a bounded container whose boundary allows slip with friction. The authors construct global weak solutions for any square-integrable initial data and prove that the total energy decays exponentially whenever the friction coefficient is nonnegative and positive on some boundary patch of positive surface area. The key mechanism is a weighted Korn–Poincaré inequality that controls the velocity's L2 norm by its symmetric-gradient dissipation plus the frictional boundary dissipation, together with a two-time Gronwall inequality that handles the buoyancy forcing as an exponentially decaying term. In the frictionless case, the scalar and the non-rigid part of the velocity decay, and if there are no tangential rigid motions, the whole velocity decays. A corollary gives exponential decay for the Navier–Stokes equations with slip friction on solids of revolution, settling a case left open in [10].","feed_headline":"Wall friction on a patch forces 3D Boussinesq exponential decay","feed_subtitle":"Positive friction on any boundary patch of positive area drives total energy to zero at a uniform exponential rate.","key_machinery":"The central objects are (i) the weighted Korn–Poincaré inequality (Proposition 4.3), which asserts that ‖u‖² ≤ C(‖S(u)‖² + ∫∂Ω α|u|² dS) whenever α≥0 has positive support on the boundary, so frictional dissipation controls even rigid motions; and (ii) a two-time Gronwall-type inequality (Proposition A.1) that turns the scalar's exponential decay into a forcing term for the velocity without requiring a sign condition on the energy. The Leray–Hopf energy inequalities (Lemma 4.1), obtained by a one-sided time-mollification passage from the Galerkin approximation, feed both.","core_discovery":"The paper's central claim is Theorem 5.1: for any global Leray–Hopf weak solution of the 3D Boussinesq system with Navier boundary conditions, if the friction coefficient α ∈ L∞(∂Ω) is nonnegative and positive on a boundary subset of positive surface measure, then the total L2 energy decays exponentially: ‖u(t)‖² + ‖ρ(t)‖² ≤ D(‖u0‖² + ‖ρ0‖²)$e^{{-Kt}}$ for all t≥0, with K,D depending only on ν, κ, Ω, and α. The proof does not require the rigid-motion kernel to be trivial nor any geometric restriction on the domain; the weighted boundary term in the Korn–Poincaré inequality accounts for the kernel component. When α≡0, the scalar ρ and the velocity component orthogonal to the rigid-motion kernel K","pith_inferences":["The weighted Korn–Poincaré inequality is likely to transfer to other slip-boundary problems where damping acts only on part of the boundary, since it shows that a control set of positive surface measure is enough to tame the rigid-motion kernel.","The two-time Gronwall inequality without a sign condition may have independent use in coupled parabolic systems where one component decays exponentially and drives another; the proof's shift trick avoids nonnegativity assumptions.","One testable extension: the same machinery should yield exponential decay for the partially dissipative Boussinesq models (e.g., zero diffusivity) only if the scalar equation itself provides decay; when κ=0 the scalar does not decay, so the present argument stops, suggesting a threshold condition on κ.","The result also suggests that the friction coefficient could be replaced by a measure supported on a positive-measure set, since only the support matters in the weighted Korn–Poincaré proof."],"forward_implications":["Every Leray–Hopf weak solution of the 3D Boussinesq system with localized positive wall friction decays to zero in L²; there is no need for small initial data or for the friction to be positive everywhere.","The decay rate is explicit in terms of the weighted Korn–Poincaré constant and the Poincaré constant: K = min{2ν/C(KP,α) − ε, 2κ/CP}, so the result gives quantitative rates, not just qualitative stability.","For the Navier–Stokes equations (ρ0≡0), any nonnegative L∞ friction that is positive on a boundary set of positive surface measure yields exponential decay of the velocity, including on solids of revolution—resolving the open case in [10].","In the frictionless case, the buoyancy force breaks conservation of the rigid-motion projection, but the non-rigid part decays; if the domain admits no tangential rigid motions, the full velocity decays."],"supporting_citations":[{"why":"Supplies the geometric boundary identity (Lemma 2.1), the Leray–Hopf energy-inequality limiting argument, the (KerS)⊥ Korn–Poincaré inequality, the rigid-motion kernel characterization, and the open solid-of-revolution case that this paper resolves.","marker":"[10]"}],"fun_headline_variants":["Positive friction on a boundary patch forces Boussinesq exponential decay","Any wall friction on a positive-area set makes Boussinesq energy vanish","3D Boussinesq: exponential decay from friction on any surface patch","Boussinesq energy decays exponentially if wall friction on a set","Partial wall friction suffices for full Boussinesq energy decay"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The whole decay proof starts from an energy inequality for the limiting weak solution that is obtained by a mollification-and-limit argument tailored to continuous friction; extending it to essentially bounded friction requires the Galerkin approximations' boundary traces to converge strongly, a step that is only sketched.","fun_headline_variants_meta":{"raw":{"variants":["Positive friction on a boundary patch forces Boussinesq exponential decay","Any wall friction on a positive-area set makes Boussinesq energy vanish","3D Boussinesq: exponential decay from friction on any surface patch","Boussinesq energy decays exponentially if wall friction on a set","Partial wall friction suffices for full Boussinesq energy decay"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00035,"raw_usage":{"total_tokens":1755,"prompt_tokens":762,"completion_tokens":993,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":506,"completion_tokens_details":{"reasoning_tokens":898}},"tokens_in":506,"tokens_out":993,"duration_ms":11507,"temperature":1.0,"reasoning_tokens":898,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T00:37:27.560252+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete domain (e.g., unit ball) and α = 1 on an open cap, 0 elsewhere; compute the Galerkin sequence's boundary traces and check whether they converge strongly in L²(∂Ω). If a subsequence loses trace compactness, the energy inequality (4.2) might fail and exponential decay would not follow from this proof; alternatively, if a numerical simulation of the full Boussinesq system with such localized friction shows energy persisting indefinitely, the theorem's conclusion is false.","supporting_citations":[{"cited_title":"Kelliher, Christophe Lacave, Milton C","cited_arxiv_id":null,"evidence_quote":"Supplies the geometric boundary identity (Lemma 2.1), the Leray–Hopf energy-inequality limiting argument, the (KerS)⊥ Korn–Poincaré inequality, the rigid-motion kernel characterization, and the open solid-of-revolution case that this paper resolves."}],"review_version":1}