{"id":"5b7eed1b-2e6c-4341-b77b-0b8fb6f6a824","arxiv_id":"1908.03354","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the exterior Burgers problem in dimensions n≥4, the paper proves nonlinear stability of the stationary wave for the full existence range v+<0, v_- ≤ |v_+| + μ(n-1)/r0, with algebraic and exponential convergence rates.","lead":"This paper proves that solutions of a multidimensional Burgers equation outside a ball stay close to a steady wave for a wider range of boundary data than before, and it gives exact rates at which they approach it. The result matters because it completes the stability picture for radially symmetric Burgers flows in dimensions four and higher.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Exponential decay rate in Theorem 2.3 appears overstated by a factor 2; as written, the lemmas only support sup decay e^{-γt/2}.","rationale":"My read: the nonlinear stability proof (Theorem 2.1) and the algebraic-rate proof (Theorem 2.2) are credible; the weight function Lemma 2.2 and the a priori estimates in Proposition 3.2 are standard, and the apparent sign/identity issues in §3.1 check out once one uses the once-differentiated equation for the boundary relation and the integration-by-parts identity ∫w_r w_rr w_rrr = -1/2∫w_rr³. The soft spot is the exponential-rate claim: the quantitative control proved in Lemmas 3.8-3.9 is for squared weighted L2 norms with a single factor e^{γt}, so the pointwise sup norm inherits only e^{-γt/2} through the Sobolev step used in the paper. This is not a challenge to existence or stability, and it is repairable by halving the stated rate or strengthening the energy identity, so the reader's CONDITIONAL verdict is appropriate; I would keep it unchanged pending this correction.","tokens_in":15000,"tokens_out":47428,"duration_ms":477020,"concrete_test":"Re-derive the final sup-estimate in the proof of Theorem 2.3 from Lemma 3.9 exactly as (3.24) is derived: insert ‖w_r(t)‖≤C e^{-γt/2} and ‖w_rr(t)‖≤C e^{-γt/2} into sup|w_r|≤C‖w_r‖^{1/2}‖w_rr‖^{1/2}. If the best exponent obtained is γ/2, then either (2.21) must be changed to exp(-γt/2), or Lemmas 3.8-3.9 must be re-proved with e^{2γt}; a decisive check is whether the weighted energy identity (3.30) can be multiplied by e^{2γt} under condition (2.20).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 2.3 asserts sup|v(t,r)-φ(r)|=O(e^{-γt}). The proof relies on Lemmas 3.8-3.9, but these give e^{γt}|w(t)|²_{β,exp}≤C and e^{γt}|w_rr(t)|²_{β,exp}≤C. Consequently ‖w_r(t)‖ and ‖w_rr(t)‖ are both O(e^{-γt/2}). The pointwise bound used elsewhere in the paper, sup|v-φ|=sup|w_r|≤C‖w_r‖^{1/2}‖w_rr‖^{1/2} (the same Sobolev interpolation as (3.24)), therefore yields only sup|w_r(t)|=O(e^{-γt/2}), not O(e^{-γt}). The alternative weighted embedding sup|w_r(r)|≤C e^{-βr0/2}|w_rr|_{β,exp} gives the same half-rate. Thus, unless Lemmas 3.8-3.9 are strengthened to e^{2γt}, or an additional direct pointwise decay estimate is supplied, inequality (2.21) is unsupported; the correct rate implied by the given estimates is e^{-γt/2}. This does not affect Theorems 2.1-2.2, but it is a concrete quantitative overclaim in a stated main result.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the large-time behavior of radially symmetric solutions to the multidimensional Burgers equation in the exterior of a ball in R^n, n >= 3, with boundary data v_- and far-field state v_+ corresponding to a stationary wave. The main results are: (i) nonlinear stability of the stationary wave for the full parameter range v_+ < 0 and V_- <= |v_+|, extending the earlier result of Hashimoto-Matsumura which covered only the monotone case; (ii) algebraic temporal decay of order (1+t)^{-alpha/2} when the anti-derivative of the initial perturbation belongs to a weighted L^2 space; and (iii) exponential temporal decay of order e^{-gamma t} when the initial anti-derivative lies in an exponentially weighted Sobolev space. The analysis is based on an anti-derivative transformation that converts the problem into a scalar parabolic equation, combined with a space-weighted energy method using a specially constructed weight function chi(r), and a space-time weighted energy method for the decay rates.","tokens_in":15273,"tokens_out":15199,"duration_ms":128530,"significance":"If correct, the paper fills a genuine gap in the asymptotic classification of radially symmetric Burgers flow: it removes the monotonicity restriction on the stationary wave and covers the full existence range. The construction of the weight function in Lemma 2.2 and the resulting a priori estimates in Proposition 3.2 are nontrivial and carefully presented. The stability result for the whole range is a solid contribution to the literature. However, the exponential decay rate in Theorem 2.3 is not justified by the estimates actually proved; this is a concrete quantitative overclaim in a stated main result. The algebraic rate in Theorem 2.2 and the stability in Theorem 2.1 appear sound.","major_comments":[{"comment":"The exponential decay rate in (2.21) is not supported by the estimates in Lemmas 3.8 and 3.9. These lemmas yield e^{gamma t}|w(t)|^2_{beta,exp} <= C and e^{gamma t}|w_r(t)|^2_{beta,exp} + e^{gamma t}|w_rr(t)|^2_{beta,exp} <= C; hence each of ||w_r(t)|| and ||w_rr(t)|| is O(e^{-gamma t/2}). The Sobolev interpolation (3.24), sup|w_r| <= C||w_r||^{1/2}||w_rr||^{1/2}, then gives sup|w_r(t,r)| = O(e^{-gamma t/2}). The alternative weighted bound |w_r(r)| <= C e^{-beta r0/2}|w_rr|_{beta,exp} gives the same half-rate. To obtain O(e^{-gamma t}) one would need e^{2gamma t}-weighted estimates in Lemmas 3.8-3.9 or a separate pointwise decay argument. Thus inequality (2.21) as stated is an overclaim; the correct rate implied by the given estimates is e^{-gamma t/2}. This does not affect Theorems 2.1-2.2, but it is a quantitative error in a stated main result.","section":"Section 3.3, Theorem 2.3"}],"minor_comments":[{"comment":"There are several typos throughout the manuscript: 'radiall y' in the abstract, 'is quite is different' in Section 1, and 'estiamtes' in Section 3.1.","section":"Various"},{"comment":"The introduction states 'we will focus on the case n >= 4' after Lemma 2.1, but Theorems 2.1-2.3 do not explicitly state a dimension restriction; please clarify whether the results also apply to n=3 or are restricted to n>=4.","section":"Section 2"},{"comment":"The proofs of Lemmas 3.4-3.6 are deferred to 'repeating the arguments used in [8]'. Since the problem here has a different weight and boundary term, a sketch or explicit statement of the adapted induction would make the proof more self-contained.","section":"Section 3.2"},{"comment":"In the display following (3.29), the text contains LaTeX artifacts '/bracehtipupleft /bracehtipdownright/bracehtipdownleft /bracehtipupright' that should be removed.","section":"Section 3.3"},{"comment":"Lemma 3.9 is stated without proof ('Similarly...'). Since it is used for the exponential decay theorem, the details of its derivation should be provided or at least carefully outlined.","section":"Section 3.3"}],"recommendation":"major_revision","confidential_remarks":"The main stability result appears sound and is a meaningful contribution, but the exponential decay rate in Theorem 2.3 must be corrected or proved; I would not recommend acceptance until this is addressed. The reliance on [7] and [8] is appropriate, but the level of detail for the cited arguments should be increased to make the paper more self-contained."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the paper does what it claims: it extends the nonlinear stability of the stationary wave for the exterior multidimensional Burgers problem from the subrange V_- ≤ v+ to the full existence range V_- ≤ |v+| for n ≥ 4, and it proves algebraic convergence rates for that range. That is a real advance within the subfield. Second, the exponential decay stated in Theorem 2.3 is too strong: the lemmas as written give e^{-γt/2}, not e^{-γt}, for sup|v-φ|. The stress-test note holds up, and the paper needs a correction or a sharper estimate before the exponential claim can stand.\n\nWhat is genuinely new: the weighted energy method around a carefully chosen χ(r). The identity (3.2) is clean, the sign conditions in Lemma 2.2 are the heart, and they make the zeroth-order estimate work despite the non-monotone stationary wave. The algebraic rate argument follows the standard Kawashima-Matsumura path and seems correct. The paper is honest about what is open: large perturbations and the other unsolved cases listed in the introduction.\n\nWhere it is soft. The exponential rate problem is the main one. Lemma 3.9 only yields e^{γt}|w_r|^2 and e^{γt}|w_rr|^2 bounded. The pointwise bound via Sobolev interpolation (3.24) then gives sup|w_r| ≤ C e^{-γt/2}, not e^{-γt}. The statement says 'follows easily', but no additional estimate is supplied. This is a quantitative overclaim rather than a fatal flaw: the stability and algebraic rates are unaffected, but Theorem 2.3 must either claim the half-rate or prove e^{2γt} bounds. A referee should demand this.\n\nAlso, several ingredients are deferred. Proposition 3.1 is standard iteration, fine. Lemmas 3.4-3.6 lean on 'repeating arguments in [8]' without page-level direction; a referee can verify but it slows things down. The smallness of the anti-derivative in H2 is an explicit hypothesis, not hidden. The citation pattern looks appropriate: [7] is the natural target to extend, [8] and [15] are the rate machinery.\n\nBottom line: the central stability result is credible and the paper belongs in the literature after the exponential rate is fixed or weakened. It deserves a serious referee. I would bring it to reading group because the weighted energy identity is instructive even if Theorem 2.3 ends up being a half-rate result. My recommendation is to send it to peer review with a clear request to address the exponential decay gap.","headline":"Extends the stability range and gives rates for the multidimensional Burgers stationary wave, but the exponential decay claim in Theorem 2.3 is overstated by a factor of two and needs fixing.","tokens_in":15782,"tokens_out":3026,"would_cite":true,"duration_ms":30031,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B35","35B40","35Q35","35K55"],"pacs":[],"model":"deepseek-v4-flash","headline":"The stationary wave of the radially symmetric multidimensional Burgers equation is nonlinearly stable over its entire existence range, with algebraic or exponential convergence rates for small perturbations.","keywords":["multidimensional Burgers equation","radially symmetric solution","exterior domain","stationary wave","nonlinear stability","weighted energy method","temporal decay rate","anti-derivative method"],"falsifier":"Solve the exterior initial-boundary value problem numerically in $n=4$ with parameters in the non-monotone range, say $v_+=-1$, $V_-=0.5$, $\\mu=r_0=1$, starting from a small $H^2$ anti-derivative $w_0$ with compact support and $w_0(r_0)=0$, and measure $\\sup_{r\\ge r_0}|v(t,r)-\\varphi(r)|$ in time; observing no convergence, or slower decay than $(1+t)^{-\\alpha/2}$, would contradict the theorems.","tokens_in":14797,"feed_emoji":"🌊","tokens_out":12264,"duration_ms":115348,"temperature":0.7,"pith_summary":"For radially symmetric solutions of the multidimensional Burgers equation outside a ball in dimensions $n\\ge 4$, the paper proves that the stationary wave is nonlinearly stable for every boundary/far-field pair for which the wave exists: $v_+<0$ and $V_-\\le |v_+|$. Earlier work had only established stability in the subcase $v_\\pm<0$ with $V_-\\le v_+$, so this paper closes the gap that includes non-monotone stationary waves. The proof passes to the anti-derivative of the perturbation, obtaining a scalar parabolic equation for $w$, and uses a custom positive weight function to control the non-monotonicity. With algebraic or exponential spatial weights on the initial anti-derivative, the paper obtains matching temporal rates, $(1+t)^{-\\alpha/2}$ or $e^{-\\gamma t}$, in the sup norm. If correct, this means the existence condition for the stationary wave is also a stability condition over the same parameter range.","feed_headline":"Burgers wave stability extended to its full range","feed_subtitle":"Small perturbations of radially symmetric exterior flows converge to the stationary wave, with algebraic or exponential rates.","key_machinery":"The central object is the anti-derivative $w(t,r)=-\\int_r^{\\infty}(v(t,y)-\\varphi(y))\\,dy$, which turns the perturbation equation into $w_t+\\psi w_r-\\mu w_{rr}=-\\frac{1}{2}w_r^2$ with $\\psi=\\varphi-\\mu(n-1)/r$. Because $\\varphi$ is non-monotone, the usual energy method leaves an indefinite term, so the paper constructs the weight $\\chi(r)=\\exp\\left(-\\frac{1}{\\mu}\\int_{r_0}^r\\psi(s)\\,ds\\right)\\int_r^{\\infty}\\left(\\frac{2}{r_0}-\\frac{1}{s}\\right)\\exp\\left(\\frac{1}{\\mu}\\int_{r_0}^s\\psi(\\tau)\\,d\\tau\\right)ds$. This $\\chi$ is bounded above and below by positive constants and solves $\\chi'+(\\psi/\\mu)\\chi=1/r-2/r_0$, making the boundary term at $r=r_0$ strictly negative and the effective spatial coefficient positive. Multiplying the equation by $\\chi w$ and integrating yields coercive zeroth-order estimates; higher derivatives and the space-time weighted method then convert the spatial weights into the algebraic and exponential temporal rates.","core_discovery":"On the paper's own terms, the central discovery is that the stationary wave $\\varphi(r)$ built from the boundary value $v_-$ and far-field state $v_+$ is time-asymptotically nonlinearly stable for the full range $v_+<0$, $V_-\\le |v_+|$, where $V_-=v_- - \\mu(n-1)/r_0$. Theorem 2.1 states that whenever the anti-derivative $w_0(r)=-\\int_r^{\\infty}(v_0(y)-\\varphi(y))\\,dy$ is small in $H^2$, the initial-boundary value problem has a unique global solution $v(t,r)$ and $\\sup_{r\\ge r_0}|v(t,r)-\\varphi(r)|\\to 0$ as $t\\to\\infty$. Theorems 2.2 and 2.3 sharpen this to explicit rates: initial data in $L^2_\\alpha$ give the algebraic decay $(1+t)^{-\\alpha/2}$, and initial data in $H^{2,\\beta}_{\\mathrm{exp}}$ give exponential decay $e^{-\\gamma t}$. The previously open case is the non-monotone regime $V_->v_+$ with $V_-+v_+<0$; the paper includes it and thereby matches the full existence range with a stability result.","pith_inferences":["In our reading, the weight construction in Lemma 2.2 is not tied to the Burgers equation specifically: any profile $\\psi$ for which the chosen $f(r)=1/r-2/r_0$ satisfies $f'<0$, $f(r_0)<0$, and $f'\\in L^1$ would yield the same coercivity, so the method should transfer to other exterior parabolic problems with non-monotone stationary states.","The algebraic exponent $\\alpha/2$ is the natural parabolic diffusion rate; we would expect the same half-rate in other dissipative conservation laws after the same anti-derivative reduction, with the dimension entering only through the effective profile $\\psi$.","The authors explicitly leave the large-perturbation regime open; a natural next test is whether smallness of $\\|w_0\\|_{H^2}$ can be relaxed while keeping the same weight function."],"forward_implications":["For every pair $(v_-,v_+)$ with $v_+<0$ and $V_-\\le |v_+|$, the stationary wave attracts all sufficiently small $H^2$ perturbations of its anti-derivative.","Algebraic spatial weights on the initial perturbation produce the matching temporal decay $(1+t)^{-\\alpha/2}$ uniformly in $r$.","Exponential spatial weights on the initial perturbation produce exponential decay $e^{-\\gamma t}$, with the rate $\\gamma$ fixed by the weight parameters in (2.20).","The previously open non-monotone regime $V_->v_+$ with $V_-+v_+<0$ is included in the stability statement."],"supporting_citations":[{"why":"Supplies the existence and properties of the stationary wave under condition (1.9), together with the stability proof for the monotone subcase that this paper extends.","marker":"[7]"},{"why":"Supplies the space-time weighted energy method that converts weighted spatial estimates into temporal decay rates.","marker":"[8]"},{"why":"Provides the additional space-time weighted energy technique used for the algebraic and exponential convergence rates.","marker":"[15]"}],"fun_headline_variants":["Full stability for exterior Burgers waves","Burgers wave stability with decay rates","Exterior Burgers: stable in all regimes","Algebraic and exponential decay for Burgers waves","Non-monotone Burgers waves finally stable"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the anti-derivative of the initial perturbation is small in $H^2$ and lies in the appropriate weighted space, which requires both small energy and zero integrated mass at infinity; the authors note in Remark 2.1 that large perturbations are left open.","fun_headline_variants_meta":{"raw":{"variants":["Full stability for exterior Burgers waves","Burgers wave stability with decay rates","Exterior Burgers: stable in all regimes","Algebraic and exponential decay for Burgers waves","Non-monotone Burgers waves finally stable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000179,"raw_usage":{"total_tokens":1405,"prompt_tokens":1153,"completion_tokens":252,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":769,"completion_tokens_details":{"reasoning_tokens":184}},"tokens_in":769,"tokens_out":252,"duration_ms":2863,"temperature":1.0,"reasoning_tokens":184,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:18:14.374494+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the exterior initial-boundary value problem numerically in $n=4$ with parameters in the non-monotone range, say $v_+=-1$, $V_-=0.5$, $\\mu=r_0=1$, starting from a small $H^2$ anti-derivative $w_0$ with compact support and $w_0(r_0)=0$, and measure $\\sup_{r\\ge r_0}|v(t,r)-\\varphi(r)|$ in time; observing no convergence, or slower decay than $(1+t)^{-\\alpha/2}$, would contradict the theorems.","supporting_citations":[{"cited_title":"Hashimoto, A","cited_arxiv_id":null,"evidence_quote":"Supplies the existence and properties of the stationary wave under condition (1.9), together with the stability proof for the monotone subcase that this paper extends."},{"cited_title":"Kawashima and A","cited_arxiv_id":null,"evidence_quote":"Supplies the space-time weighted energy method that converts weighted spatial estimates into temporal decay rates."},{"cited_title":"Yin and H.-J","cited_arxiv_id":null,"evidence_quote":"Provides the additional space-time weighted energy technique used for the algebraic and exponential convergence rates."}],"review_version":1}