{"id":"906f7b99-192b-4a46-b176-4ebc275f4bb6","arxiv_id":"1908.04041","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A spreading-vanishing dichotomy is proved for a free-boundary invasive species model with an improving climate, with the spreading profile given by a forced semi-wave when the climate shift is slow and by the usual semi-wave when it is fast.","lead":"This paper analyzes a mathematical model of an invasive species spreading into a habitat that is becoming more favourable as the climate shifts. It proves that the species either dies out or spreads, and determines the exact spreading speed and population profile in every case.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the classification is supported by the proof structure; a repairable sign typo in Lemma 3.8 does not threaten the central claim.","rationale":"The central claim is a complete classification of long-time behaviour in Theorems 1.2-1.4. What would have to be true is that the auxiliary semi-wave problem in Proposition 1.1 supplies a unique profile L0, and that comparison and compactness arguments force the asymptotic selection of L0 (for c < c0) or of c0 (for c >= c0). I checked the main line of proof. Proposition 1.1's uniqueness and monotonicity arguments use standard logistic comparison and the Hopf lemma; the strict monotonicity of the product mu(A(L))v'_L(L) follows from the assumed monotonicity directions of A and mu, and the existence of L0 relies only on the stated continuous dependence together with the limits at L=0 and L=infty. Sections 3-5 then use standard supersolution/subsolution constructions, parabolic compactness, and the cited entire-solution classifications from [7] and [8]; the delegation to prior published results is acceptable. The only false-looking inequality I found is in Lemma 3.8, where the text claims u(0,t) > a/b + epsilon for large t; this is not implied by (3.5) when the solution approaches a/b from below. The proof is easily repaired by using u(0,t) > a/(b+epsilon) or u(0,t) > a/b - epsilon, and the rest of the contradiction is unchanged. Because this is a repairable sign error in a supporting lemma rather than a gap in the central classification, I do not regard it as a load-bearing objection. The reader's flagged monotonicity of A and mu is a genuine structural premise, but it is explicitly assumed in the model, so it does not create a correctness risk within the stated theorem.","tokens_in":19116,"tokens_out":21193,"duration_ms":215631,"concrete_test":"Recompute the comparison in Lemma 3.8 with the corrected lower bound: choose T so that u(0,t) > a/(b+epsilon) for t >= T, keep v_epsilon solving -d v'' - c v' = a v - (b+epsilon) v^2 with v_epsilon(0)=0, and verify v_epsilon(x - c(t-T)) <= u(x,t) on 0 <= x <= c(t-T). Then v_epsilon(-infty) = a/(b+epsilon) yields liminf u(x_n,t_n) >= a/(b+epsilon), contradicting u(x_n,t_n) < a/b - sigma for epsilon small. If this corrected step checks out, Lemma 3.8 stands and no further change is needed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The spread-vanishing classification in Theorems 1.2-1.4 is obtained from Proposition 1.1 through comparison arguments and compactness limits; the monotonicity assumptions on A and mu are explicit hypotheses of the model, not hidden gaps, and they are exactly what makes L0 unique. The one concrete blemish is in Lemma 3.8: from (3.5) the text asserts u(0,t) > a/b + epsilon for large t, but uniform convergence to a/b only gives a one-sided lower bound such as u(0,t) > a/(b+epsilon) (or u(0,t) > a/b - epsilon). The intended lower-comparison proof goes through with this correction, because v_epsilon(0,t) < a/(b+epsilon) < a/b and u(0,t) tends to a/b. Thus the lemma and its use in Theorem 3.9 and Theorem 1.2 are not endangered. Proposition 1.1 also asserts continuous dependence of v'_L(L) on L without proof, but this is a standard elliptic regularity step and does not affect the central claim.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper analyzes a free boundary problem for a diffusive logistic equation in a habitat that shifts to a favorable environment at speed c>0. The model (1.4) is the Du-Wei-Zhou model but with the free boundary condition h'(t) = -mu(A(h(t)-ct)) u_x(h(t),t), where mu depends monotonically on the resource function A. The main theorems (Theorems 1.2-1.4) establish a spreading-vanishing dichotomy and, in the spreading case, sharp asymptotics: for 0<c<c0 the front position satisfies h(t)-ct -> L0 and the solution converges to the forced semi-wave v_{L0}(.+L0-h(t)); for c>=c0 the profile is the classical semi-wave q_{c0} with speed c0. Theorem 1.5 gives initial-data threshold criteria for vanishing and spreading. The proofs rely on an auxiliary elliptic problem (Proposition 1.1) that constructs a unique forced semi-wave and a unique L0 satisfying -mu(A(L0))v'_L0(L0)=c, plus comparison arguments and compactness/limiting arguments.","tokens_in":19318,"tokens_out":10338,"duration_ms":87941,"significance":"The paper gives a complete asymptotic classification for a natural variant of the shifting-climate free boundary model, complementing earlier works that treated the unfavorable-shift case. The identification of the forced semi-wave as the spreading profile when c<c0 is a new structural result, and the sharp convergence statements are strong. The proofs are detailed and largely self-contained, using standard tools such as comparison principles, upper/lower solutions, and parabolic compactness. The explicit monotonicity assumptions on A and mu are exactly what make the auxiliary profile unique, so the classification is coherent and non-circular. The main results make precise, falsifiable predictions about the asymptotic position and shape of the front, and the manuscript ships with no ad hoc parameters fitted to data.","major_comments":[],"minor_comments":[{"comment":"In the proof of Lemma 3.8, the inequality 'u(0,t) > a/b + epsilon for t >= T' is incompatible with the uniform convergence (3.5) to a/b; the correct lower bound is, for example, u(0,t) > a/(b+epsilon) for large t (or u(0,t) > a/b - epsilon), which suffices for the subsequent comparison with u_epsilon. With this correction, the lower-solution argument and the conclusion of the lemma go through unchanged.","section":"Section 3.2, Lemma 3.8"},{"comment":"In the proof of Lemma 3.6, the displayed chain '-mu(A(H))V'_H(H) = -mu(A(H*))V'_H*(H*) > mu(A(L0))V'_L0(L0) = c' is missing a minus sign on the right-hand side; it should read '-mu(A(H*))V'_H*(H*) > -mu(A(L0))V'_L0(L0) = c'. The intended comparison is clear and the argument is otherwise correct.","section":"Section 3.1, Lemma 3.6"},{"comment":"In Proposition 1.1(iii), the existence of L0 invokes 'continuous dependence of mu(A(L))v'_L(L) on L' without proof; since this is a standard elliptic regularity consequence, please add a brief justification (as is done for the convergence in Lemma 3.1) so the proof is fully rigorous.","section":"Section 2.4, Proposition 1.1(iii)"},{"comment":"There are several typographical errors: 'Liptschitz' should be 'Lipschitz' (Introduction); in Lemma 3.3 the definition 'B(t) := min_{t in [0,+infty)} {h(t), ct}' should use a different variable inside the min (e.g., B(t) := min{h(t), ct}); and in several chain inequalities the quantity mu(A(L))v'_L(L) appears without the leading minus sign, which can confuse the reader even though the context makes the intended sign clear.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a solid contribution to the literature on free boundary problems in shifting environments. The sign errors in Lemmas 3.6 and 3.8 are local and repairable, and the central classification is well supported. No concerns about novelty or fit with the journal's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth knowing: this is a competent, careful follow-up to Du-Wei-Zhou [9] that covers the opposite climate-shift sign (a>0>a0) and adds a climate-dependent Stefan coefficient mu(A(h-ct)). The main novelty is the asymptotic selection rule: for 0<c<c0, spreading is governed by a forced-speed semi-wave v_{L0} with h(t)-ct->L0; for c>=c0 the classical c0 semi-wave wins. That classification is genuinely new and is not present in [9] or the other cited works. The paper also delivers the auxiliary semi-wave theory in Proposition 1.1, which is the load-bearing piece, and it is proved, not imported: existence, uniqueness, monotonicity of v'_L(L), and existence/uniqueness of L0 are all established. The comparison arguments in The proofs of Theorems 3.7 and 3.9 are structurally sound, and the paper is honest about the open threshold question in Remark 1.6. Delegating several standard estimates to earlier published papers is acceptable practice here. The citation pattern is not a problem; the paper builds on the authors' own prior work, but the cited items are published tools, not unpublished claims. Soft spots: the monotonicity assumptions on A and mu are explicit and are doing real work in Proposition 1.1, but the paper acknowledges this in the model statement. Lemma 3.8 contains a sign slip: after uniform convergence of u(0,t) to a/b, the text asserts u(0,t)>a/b+epsilon for large t, which cannot be right. The intended lower-comparison goes through with a/b-epsilon (or a/(b+epsilon)), so the lemma and its use in Theorem 3.9 are not endangered. Proposition 1.1 also asserts continuous dependence of v'_L(L) on L without proof; standard elliptic regularity covers it, but the paper should say so. These are minor blemishes in a paper whose central argument holds up. This is for mathematical biology and PDE readers working on Stefan-type free boundaries and shifting environments. It deserves a serious referee; the classification is a solid advance and the errors are repairable. I would send it out.","headline":"Solid extension of the Du-Wei-Zhou shifting-climate free boundary model to the favourable-shift case; the forced-speed semi-wave selection rule is new and the proofs essentially check out, modulo a repairable sign slip in Lemma 3.8.","tokens_in":19879,"tokens_out":1939,"would_cite":true,"duration_ms":20143,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K57","35R35","92D25"],"pacs":[],"model":"deepseek-v4-flash","headline":"A single critical speed $c_0$ completely determines whether a species spreading into a shifting, improving climate vanishes or spreads, and what profile it takes.","keywords":["diffusive logistic equation","free boundary problem","spreading and vanishing dichotomy","shifting climate","semi-wave","critical spreading speed","asymptotic profile","invasive species"],"falsifier":"Solve (1.5) numerically for a function $A$ satisfying (1.3) but with a non-monotone transition on $[0,l_0]$, and plot $-\\mu(A(L))v_L'(L)$; if this curve crosses the level $c$ more than once for some $0<c<c_0$, the uniqueness of $L_0$ fails. Alternatively, simulate (1.4) in that case and check whether two different initial data produce different limits of $h(t)-ct$.","tokens_in":18918,"feed_emoji":"🌱","tokens_out":7205,"duration_ms":70945,"temperature":0.7,"pith_summary":"The paper studies a species whose habitat interval expands at a moving front while the climate shifts from lethal to livable at speed $c$. It claims that the eventual outcome is always one of two possibilities—extinction or unbounded spread—and that the boundary between them is a single critical speed $c_0$ computed from the homogeneous favourable habitat. When spread occurs below $c_0$, the front settles into a travelling profile that lags the climate edge by a fixed distance $L_0$; at or above $c_0$, the front moves at the classical speed $c_0$ with the classical semi-wave profile. It also gives a sharp initial-size rule: populations starting in an interval at least $\\frac{\\pi}{2}\\sqrt{d/a}$ long always spread.","feed_headline":"One critical speed decides spread or vanish as climate shifts","feed_subtitle":"Below it the front lags the habitat edge; at or above it, the range advances at the classical wave speed.","key_machinery":"The auxiliary semi-wave problem (1.5), $$-dv''-cv'=A(x)v-$bv^{2}$,\\quad -\\infty<x<L,\\ v(L)=0,$$ has a unique positive solution $v_L$ for each $L\\ge 0$, with $v_L(-\\infty)=a/b$ and $v_L'<0$. The map $L\\mapsto -\\mu(A(L))v_L'(L)$ is strictly increasing, so there is a unique $L_0$ with $-\\mu(A(L_0))v_{L_0}'(L_0)=c$; $L_0=0$ exactly when $c=c_0$, where $c_0$ is the classical spreading speed and $v_0=q_{c_0}$. This monotone family supplies the forced profiles and the comparison barriers used to control $h(t)-ct$ and to extract convergent limits along time shifts.","core_discovery":"The central discovery is a complete classification of the long-time behaviour of the free-boundary logistic equation (1.4), where the environment changes from unfavourable ($A=a<0$) to favourable ($A=a_0>0$) and the front moves by the Stefan-type condition $h'(t)=-\\mu(A(h(t)-ct))u_x(h(t),t)$. The paper proves a spreading–vanishing dichotomy: every solution either has $h(t)\\to h_\\infty<\\infty$ with $u\\to 0$, or $h(t)\\to\\infty$. In the spreading case the asymptotic profile depends on a critical speed $c_0$ from the homogeneous problem. If $0<c<c_0$, then $h(t)-ct\\to L_0$ and $u(\\cdot,t)-v_{L_0}(\\cdot+L_0-h(t))\\to 0$ in $L^\\infty$, with $v_{L_0}$ the unique semi-wave of (1.5); if $c=c_0$ or $c>c_0$, then $h(t)-c_0t$ converges to a constant and $u(\\cdot,t)-q_{c_0}(\\cdot-h(t))\\to 0$, where $q_{c_0}$ is the classical semi-wave. The paper also establishes a sharp initial-range threshold for the spread-vanish alternative.","pith_inferences":["Because $L_0$ is characterized by a single monotone equation, the model predicts a directly measurable lag: a spreading front below the critical speed should trail the moving habitat edge by roughly $L_0$ units; time series of range edges could test this without any parameter fitting beyond $c$ and $c_0$.","The monotone dependence in Proposition 1.1 suggests that as $c$ rises to $c_0$, $L_0$ shrinks to zero and the forced semi-wave $v_{L_0}$ degenerates into $q_{c_0}$, so the two regimes connect continuously; the paper does not prove this convergence explicitly.","If the same classification were attempted with a non-monotone $A$ or $\\mu$, multiple $L_0$ values could appear and the front could in principle select different lags from different initial data, so the dichotomy may be a special property of monotone environmental gradients."],"forward_implications":["For $0<c<c_0$, a spreading population's front converges to $h(t)-ct\\to L_0$, so the invasion lags the shifting habitat edge by a fixed distance and the density approaches the forced semi-wave $v_{L_0}$.","For $c\\ge c_0$, the front asymptotically moves at the homogeneous-environment speed $c_0$ rather than the climate speed, with profile $q_{c_0}$; in particular a faster climate shift does not speed up the invasion.","Every solution either vanishes or spreads; there is no intermediate state, and vanishing implies the population density decays to zero uniformly over the shrinking range.","If the initial range is at least $\\frac{\\pi}{2}\\sqrt{d/a}$, vanishing is impossible, so a sufficiently large starting habitat guarantees spread regardless of the climate speed.","For smaller initial ranges with initial density $\\sigma\\varphi$, there is a threshold $\\sigma_0$: densities below it vanish, above it spread, with $\\sigma_0=+\\infty$ left as an open possibility."],"supporting_citations":[{"why":"Sets the base model of an invasive species in a shifting environment, which this paper modifies with a favourable-to-unfavourable direction and state-dependent front speed.","marker":"[9]"},{"why":"Supplies the free-boundary logistic model, local and global existence, the comparison principle, and the spreading-vanishing dichotomy for the homogeneous case.","marker":"[4]"},{"why":"Gives the sharp limit $h(t)-c_0t\\to$ constant and the semi-wave profile $q_{c_0}$ for spreading in the homogeneous favourable environment.","marker":"[7]"},{"why":"Provides the ecological derivation of the Stefan-type free-boundary condition and the construction of the semi-wave $q_{c_0}$.","marker":"[3]"},{"why":"Provides the comparison principle and squeezing argument used to prove uniqueness of the auxiliary semi-wave solution $v_L$.","marker":"[6]"},{"why":"Supplies the classification of entire solutions needed to rule out the case $\\bar{H}=0$ with a negative limit in the proof of Theorem 1.3.","marker":"[8]"}],"fun_headline_variants":["Critical speed sets spread-vanish line for shifting climate","One critical speed governs spread or die-out as climate moves","Species fate under shifting climate: a single critical speed","Spreading profile shifts at a critical speed, says new model","Climate shift speed determines if invasion spreads or fails"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole classification rests on the auxiliary semi-wave problem having a unique solution $v_L$ and a unique $L_0$ where $-\\mu(A(L))v_L'(L)=c$; this uniqueness relies on $A$ and $\\mu$ being monotone in the assumed directions.","fun_headline_variants_meta":{"raw":{"variants":["Critical speed sets spread-vanish line for shifting climate","One critical speed governs spread or die-out as climate moves","Species fate under shifting climate: a single critical speed","Spreading profile shifts at a critical speed, says new model","Climate shift speed determines if invasion spreads or fails"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000227,"raw_usage":{"total_tokens":1497,"prompt_tokens":999,"completion_tokens":498,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":615,"completion_tokens_details":{"reasoning_tokens":420}},"tokens_in":615,"tokens_out":498,"duration_ms":6045,"temperature":1.0,"reasoning_tokens":420,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:55:04.691299+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve (1.5) numerically for a function $A$ satisfying (1.3) but with a non-monotone transition on $[0,l_0]$, and plot $-\\mu(A(L))v_L'(L)$; if this curve crosses the level $c$ more than once for some $0<c<c_0$, the uniqueness of $L_0$ fails. Alternatively, simulate (1.4) in that case and check whether two different initial data produce different limits of $h(t)-ct$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Sets the base model of an invasive species in a shifting environment, which this paper modifies with a favourable-to-unfavourable direction and state-dependent front speed."},{"cited_title":"Du and Z","cited_arxiv_id":null,"evidence_quote":"Supplies the free-boundary logistic model, local and global existence, the comparison principle, and the spreading-vanishing dichotomy for the homogeneous case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the sharp limit $h(t)-c_0t\\to$ constant and the semi-wave profile $q_{c_0}$ for spreading in the homogeneous favourable environment."},{"cited_title":"Bunting, Y","cited_arxiv_id":null,"evidence_quote":"Provides the ecological derivation of the Stefan-type free-boundary condition and the construction of the semi-wave $q_{c_0}$."},{"cited_title":"Du and L","cited_arxiv_id":null,"evidence_quote":"Provides the comparison principle and squeezing argument used to prove uniqueness of the auxiliary semi-wave solution $v_L$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the classification of entire solutions needed to rule out the case $\\bar{H}=0$ with a negative limit in the proof of Theorem 1.3."}],"review_version":1}