REVIEW 2 major objections 5 minor 1 cited by
On the logarithmic correction of transition fronts in shifting environments
T0 review · 2 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read The paper determines the exact logarithmic delay of transition fronts in a Fisher-KPP equation with a shifting environment, extending the homogeneous-space log correction to moving boundaries that drift logarithmically.
desk verdict Sharp eta-dependent log corrections for shifting environments look right, but Theorem 1.3's printed boundary assumption doesn't imply the boundary-speed bound used in its proof, and Theorem 1.7's proof is omitted. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is a KPP equation posed in a growing domain Ω_ζ={t>ζ(x)}, whose boundary data mimic the shifting discontinuity. The proof constructs super- and subsolutions by gluing a heat-kernel solution on the fast-moving side x>X(t) to the nonlinear KPP solution on the slow side, using heat-kernel estimates and a boundary matching condition at the interface. The load-bearing identity is the relation between the effective exponent λ_*=β/2−√a and the boundary's log-slope η, which converts the boundary drift into the coefficient √aη inside the logarithmic correction.
What would settle it
Take a=0.5, β=2.5, η=1, solve (1.22) numerically with compact initial data, and measure ξ_b(t). If ξ_b(t)−c_* t + (1/λ_*)(3/2−√aη) log t does not stay bounded as t grows past 10^4, the claimed O(1) precision fails. Separately, a constant boundary ζ'(x)=1/c_λ+ε0 satisfies (1.13) but gives (ζ^{-1})'(t)<c_λ, violating the proof's Lemma 4.1 requirement.
Extended reading notes
Core claim
For 0<a<1, the solution of u_t=u_xx+u(1−aχ_{(−∞,X(t)]}−u), with X(t)=βt−η log(t+1) and compactly supported initial data, approaches the traveling wave Φ_{λ,1−a}(x−m(t)) with m(t) specified regime by regime. In the supercritical pulling range 2<β<2(√a+√(1−a)), m(t)=c_* t − (1/λ_*)(3/2−√a η) log t + O(1), where c_*=λ_*+(1−a)/λ_* and λ_*=β/2−√a. At the critical boundary β=2(√a+√(1−a)), the front follows the critical-speed formula with q=−3/2+η√a, including the log-log correction when q=−2. Far beyond the pulling threshold, the correction is the homogeneous minimal-front value −3/(2√(1−a)) log t, independent of η.
Load-bearing premise
The growing-domain theorem relies on the boundary's inverse speed being strictly larger than c_λ+2δ eventually, but assumption (1.13) only guarantees a weaker bound, so the theorem as stated depends on an unstated stronger slope condition.
Editorial extensions
If this is right
- In the supercritical pulling regime, the front's logarithmic delay coefficient is −(1/λ_*)(3/2−√aη); a positive η can shrink or even reverse the delay, while negative η deepens it.
- At the critical value β=2(√a+√(1−a)), the logarithmic correction crosses over through the q=−2 case, producing an additional log-log factor in the front position.
- For β>2(√a+√(1−a)), the moving boundary is irrelevant to the correction: the front is the homogeneous minimal front with the classical 3/(2λ_min) log t delay.
- In every regime, after subtracting the sharp front position, the solution converges locally uniformly to the corresponding traveling wave profile.
- The same formula applies for β=2 with η<1/2, where the boundary is only marginally faster than the minimal speed.
Reading between the lines
- If the formula is correct, the logarithmic correction is continuously tunable by η, so a small logarithmic lag of the habitat edge changes the front's O(log t) position; this could be tested by level-set measurements in numerical simulations.
- The paper's growing-domain reformulation suggests a general principle: for piecewise-constant shifting environments, the exponent selection and the log correction are governed by the boundary's log-slope, not just its linear speed; similar explicit formulas may hold for other monostable reactions.
- Because the coefficient can change sign, there should be a critical η_*≈3/(2√a) at which the front neither lags nor advances logarithmically relative to c_* t; locating this crossover numerically would be a sharp test.
- The proof gap in the stated Theorem 1.3 hints that the theorem likely needs a stronger boundary-slope hypothesis; the applications to X(t)=βt−η log(t+1) satisfy it, but the general theorem as printed may fail for slow-growing domains.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the precise long-time location and profile convergence of solutions to Fisher-KPP equations in shifting environments. It first extends Bramson's logarithmic-correction theory to a KPP equation posed in a growing domain with a moving boundary (Theorem 1.3), and then applies this framework to the scalar equation u_t = u_xx + u(1 - a χ_{(-∞,X(t)]} - u) with X(t) = βt - η log(t+1). The main results, Theorems 1.6-1.8, give the exact logarithmic delay of the front in the supercritical-pulling, critical, and non-pulling regimes, together with convergence to a traveling-wave profile after subtracting the corrected front position. The proofs are PDE-based, combining heat-kernel estimates, Bramson-type comparison arguments, and gluing of super/subsolutions across the shifting discontinuity.
Significance. If correct, this is a substantial contribution: it extends Bramson's classical logarithmic correction to a class of shifting environments and identifies the precise dependence of the correction on the logarithmic drift η of the shifting boundary. The explicit formulas, e.g. (1.30), (1.9) and (1.31), are falsifiable and should be of interest to both the PDE and mathematical-biology communities. The paper also gives a clean PDE route using Dirichlet heat-kernel estimates in a moving half-line. The strongest feature is the parameter-free derivation of the log-correction coefficient from the linear heat-kernel exponent rather than by ansatz. However, two load-bearing issues need to be addressed: the printed hypothesis of Theorem 1.3 is weaker than the boundary-speed condition actually used in its proof, and the proof of Theorem 1.7 is omitted.
major comments (2)
- [§4, Lemma 4.1 and Theorem 1.3] The proof of Lemma 4.1(i) uses the bound "c_λ + 2δ < (ζ^{-1})'(t) ≤ 1/ε_0 for t≫1 (by (1.13))", but this is not a consequence of (1.13). From (1.13), ε_0 ≤ ζ'(x) ≤ 1/c_λ + ε_0, so (ζ^{-1})'(t) = 1/ζ'(ζ^{-1}(t)) lies in [c_λ/(1+c_λ ε_0), 1/ε_0]. The lower endpoint is strictly less than c_λ, so (1.13) permits a boundary speed below c_λ. In that case the front, moving at speed c_λ, overtakes the boundary, and the conclusion of Theorem 1.3 cannot hold as stated: the boundary condition would force u(t,ζ^{-1}(t)) to resemble Φ at a large negative argument (near B), while (1.16) with boundary speed v < c_λ forces the normalized boundary value to decay to zero. The proof therefore requires a stronger condition, for example ζ'(x) ≤ 1/(c_λ + 2δ) for large x, equivalently (ζ^{-1})'(t) ≥ c_λ + 2δ. The applications in Theorems 1.6-1.8 satisfy this because β > c_λ in the relevant regimes (with β=2 tre
- [§5.3, Proof of Theorem 1.7] Theorem 1.7, a main result, is not proved: the proof says "we can repeat the proof of Theorem 1.6, except to replace m_{λ,q}(t) by \tilde m_q(t) ... We omit the detailed proof here." The critical case λ = √(1-a) is precisely where Lemma 4.1(ii)/4.3(ii) and the three branches of (1.9) (q < -2, q = -2, q > -2) must be checked. One also needs to verify that Lemmas 5.2 and 5.3 apply at β = 2(√a+√(1-a)) for all real η. Please include the proof, or at least a detailed sketch that explicitly handles the q-threshold cases and the role of the O(1) constants in Lemma 4.1(ii)/4.3(ii).
minor comments (5)
- [§5.3, Lemma 5.3] In the proof of Lemma 5.3, \tilde φ is defined as e^{Rt}φ_{β,η} with R = 1-a, but the comparison with ψ that follows requires the factor e^t used in Lemma 5.2; with e^{(1-a)t} the two sides differ by e^{-a t} and the gluing inequalities (5.17)-(5.22) would not hold. This appears to be a typo ("as in the proof of Lemma 5.2" supports that), but it should be corrected explicitly.
- [§4, Proof of Theorem 1.3(ii)] The compactness argument contains the displayed inequality "Φ_{min,R}(x-c_min t + C_2) ≤ u_∞ ≤ Φ_{min,R}(x-c_min t + C_2)", with the same constant C_2 on both sides. It should be C_1 ≤ u_∞ ≤ C_2.
- [§4, Lemma 4.1] The proof refers to "Lemma 1.1" and "Lemma 1.2"; these should be Theorems 1.1 and 1.2.
- [§5.1, Lemma 5.1] In formula (5.3), the factor t_0^{βη/2 - 1} appears. The change of variables in (A.1) yields t_0^{1 - βη/2} times a constant; since t_0 is fixed and can be absorbed into C, this is not a mathematical obstruction, but the displayed formula is misleading and should be corrected.
- [Throughout] There are numerous typos and OCR-style errors: "recdueces", "givev", "ormtain", "nammer", "neighhorbood", "bXη", "Remark 5.4" referring to u_2 instead of \bar u_2, and "d/dt A(t) = ... for t < 0" in Lemma 5.2 where t > 0 is clearly intended. A careful proofreading pass is needed.
Circularity Check
No circularity: the logarithmic corrections are derived from the heat-kernel exponent and Bramson's theorems, not assumed as inputs.
full rationale
The derivation chain is self-contained in the relevant sense. Theorem 1.3 takes as hypothesis the boundary asymptotics (1.16), which contain no logarithmic front term, and concludes the Bramson-type front location m_{λ,q}(t) = c_λ t + (q/λ) log((c_λ-2λ)t) for interior points; the log coefficient is supplied by Bramson's Theorem 1.1, an external classical result, not by the authors' own fit. In the shifting-environment results, the parameter q = -3/2 + √a η is not fitted: it is computed from the heat-kernel estimate of Lemma 5.1, whose temporal exponent t^{-3/2+βη/2} is derived via the self-similar transformation (A.1), and from the identity λβ-λ^2-(1-a)=β^2/4-1. Lemmas 5.2 and 5.3 verify the boundary asymptotic (1.16) up to multiplicative constants, and Remarks 4.2/4.4 show those constants only shift the front by O(1). The final convergence to the traveling wave profile uses the Liouville theorem [8] and the classical comparison arguments, so no 'prediction' reduces by construction to an input. Self-citations ([20], [31], [30], [29]) are used for background spreading speeds, the Hamilton-Jacobi selection, and generalized sub/supersolution techniques; none of them is invoked to supply the logarithmic correction, so they are not load-bearing for the central claim. The printed assumption (1.13) in Theorem 1.3 indeed does not by itself imply the lower bound (ζ^{-1})'(t)>c_λ+2δ used in Lemma 4.1, and Theorem 1.7's proof is omitted; these are correctness and rigor gaps, not circularity, and they do not affect the main formulas, whose applications satisfy the stronger condition.
Assumptions & free parameters
assumptions (6)
- standard math Bramson's Theorems 1.1 and 1.2 on the homogeneous KPP equation with initial data x^q e^{-lambda x}
- standard math Hamel, Nolen, Roquejoffre and Ryzhik [22, Lemma 2.2] asymptotic expansion for the heat equation in a moving domain with Dirichlet boundary
- standard math Liouville-type theorem for entire solutions [8, Theorem 3.5]
- standard math Generalized super/subsolution comparison and gluing criterion [29, Remark 1.1.2] and [9, Definition 4.2]
- ad hoc to paper Stronger boundary-speed condition than the printed (1.13): (zeta^{-1})'(t) > c_lambda + 2 delta for large t
- domain assumption KPP reaction nonlinearity f satisfies (F) and initial data satisfy (W0) or (1.23)
Cite this review
Pith. "Pith review of On the logarithmic correction of transition fronts in shifting environments." pith.science (2026). https://pith.science/paper/RUYJGBHH
@misc{pith2026250911521,
author = {Pith},
title = {Pith review of: On the logarithmic correction of transition fronts in shifting environments},
year = {2026},
howpublished = {\url{https://pith.science/paper/RUYJGBHH}},
note = {Machine review of arXiv:2509.11521}
}
read the original abstract
In this paper, we investigate the location of the spreading front and convergence to traveling wave profile of solutions to the Fisher-KPP equation in the following two cases: (i) in unbounded domains with an expanding boundary; (ii) on the real line where the environment function has a shifting jump discontinuity. Our approach is based on extending ideas in Bramson's seminal work in 1983, and applying gluing technique to construct super/subsolutions.
Forward citations
Cited by 1 Pith paper
-
Invasion Fronts in Shifting Habitats and Competition Systems: A Hamilton-Jacobi Approach and Nonlocal Effects
For a Fisher–KPP population in a habitat whose beneficial region moves at speed β, the paper proves the invasion front stays within O(1) of the moving habitat interface in several parameter regimes, with Bramson-type ...
Reference graph
Works this paper leans on
- [1]
-
[2]
Alhasanat and C
A. Alhasanat and C. Ou , Minimal-speed selection of traveling waves to the lotka--volterra competition model , Journal of differential equations, 266 (2019), pp. 7357--7378
2019
-
[3]
J. An, C. Henderson, and L. Ryzhik , Pushed, pulled and pushmi-pullyu fronts of the burgers-fkpp equation , Journal of the European Mathematical Society, (2023)
2023
-
[4]
height 2pt depth -1.6pt width 23pt, Quantitative steepness, semi-fkpp reactions, and pushmi-pullyu fronts , Archive for Rational Mechanics and Analysis, 247 (2023), p. 88
2023
-
[5]
D. G. Aronson and H. F. Weinberger , Nonlinear diffusion in population genetics, combustion, and nerve pulse propagation , in Partial Differential Equations and Related Topics: Ford Foundation Sponsored Program at Tulane University, January to May, 1974, Springer, 2006, pp. 5--49
1974
-
[6]
Berestycki, O
H. Berestycki, O. Diekmann, C. J. Nagelkerke, and P. A. Zegeling , Can a species keep pace with a shifting climate? , Bulletin of mathematical biology, 71 (2009), pp. 399--429
2009
-
[7]
Berestycki and J
H. Berestycki and J. Fang , Forced waves of the fisher--kpp equation in a shifting environment , Journal of differential equations, 264 (2018), pp. 2157--2183
2018
-
[8]
Berestycki and F
H. Berestycki and F. Hamel , Generalized travelling waves for reaction-diffusion equations , in Perspectives in nonlinear partial differential equations, vol. 446 of Contemp. Math., Amer. Math. Soc., Providence, RI, 2007, pp. 101--123
2007
Show all 47 references
-
[9]
Berestycki, J.-M
H. Berestycki, J.-M. Roquejoffre, and L. Rossi , The shape of expansion induced by a line with fast diffusion in F isher- KPP equations , Comm. Math. Phys., 343 (2016), pp. 207--232
2016
-
[10]
Berestycki, L
H. Berestycki, L. Rossi, et al. , Reaction-diffusion equations for population dynamics with forced speed i-the case of the whole space , Discrete and Continuous Dynamical Systems, 21 (2008), pp. 41--67
2008
-
[11]
height 2pt depth -1.6pt width 23pt, Reaction-diffusion equations for population dynamics with forced speed ii-cylindrical-type domains , Discrete and Continuous Dynamical Systems, 25 (2009), pp. 19--61
2009
-
[12]
Bouin, C
E. Bouin, C. Henderson, and L. Ryzhik , The bramson delay in the non-local fisher-kpp equation , Annales de l'Institut Henri Poincar \'e C, 37 (2020), pp. 51--77
2020
-
[13]
Bramson , Convergence of solutions of the Kolmogorov equation to travelling waves , vol
M. Bramson , Convergence of solutions of the Kolmogorov equation to travelling waves , vol. 285, American Mathematical Soc., 1983
1983
-
[14]
F.-D. Dong, J. Shang, W. Fagan, and B. Li , Persistence and spread of solutions in a two-species lotka--volterra competition-diffusion model with a shifting habitat , SIAM Journal on Applied Mathematics, 81 (2021), pp. 1600--1622
2021
-
[15]
Ducrot, T
A. Ducrot, T. Giletti, J.-S. Guo, and M. Shimojo , Asymptotic spreading speeds for a predator--prey system with two predators and one prey , Nonlinearity, 34 (2021), p. 669
2021
-
[16]
J. Fang, Y. Lou, and J. Wu , Can pathogen spread keep pace with its host invasion? , SIAM J. Appl. Math., 76 (2016), pp. 1633--1657
2016
-
[17]
R. A. Fisher , The wave of advance of advantageous genes , Annals of eugenics, 7 (1937), pp. 355--369
1937
-
[18]
Giletti , Monostable pulled fronts and logarithmic drifts , Nonlinear Differential Equations and Applications NoDEA, 29 (2022), p
T. Giletti , Monostable pulled fronts and logarithmic drifts , Nonlinear Differential Equations and Applications NoDEA, 29 (2022), p. 35
2022
-
[19]
Girardin, T
L. Girardin, T. Giletti, and H. Matano , Spreading properties of the fisher--kpp equation when the intrinsic growth rate is maximal in a moving patch of bounded size , 2024
2024
-
[20]
Girardin and K.-Y
L. Girardin and K.-Y. Lam , Invasion of open space by two competitors: spreading properties of monostable two-species competition-diffusion systems , Proceedings of the London Mathematical Society, 119 (2019), pp. 1279--1335
2019
-
[21]
Hamel , Reaction-diffusion problems in cylinders with no invariance by translation
F. Hamel , Reaction-diffusion problems in cylinders with no invariance by translation. part ii: Monotone perturbations , in Annales de l'Institut Henri Poincar \'e C, Analyse non lin \'e aire, vol. 14, Elsevier, 1997, pp. 555--596
1997
-
[22]
Hamel, J
F. Hamel, J. Nolen, J.-M. Roquejoffre, and L. Ryzhik , A short proof of the logarithmic bramson correction in fisher-kpp equations , Networks and Heterogeneous Media, 8 (2013), pp. 275--279
2013
-
[23]
465--505
height 2pt depth -1.6pt width 23pt, The logarithmic delay of kpp fronts in a periodic medium , Journal of the European Mathematical Society, 18 (2016), pp. 465--505
2016
-
[24]
Holzer and A
M. Holzer and A. Scheel , Accelerated fronts in a two-stage invasion process , SIAM Journal on Mathematical Analysis, 46 (2014), pp. 397--427
2014
-
[25]
Hosono , The minimal speed of traveling fronts for a diffusive lotka-volterra competition model , Bulletin of Mathematical Biology, 60 (1998), pp
Y. Hosono , The minimal speed of traveling fronts for a diffusive lotka-volterra competition model , Bulletin of Mathematical Biology, 60 (1998), pp. 435--448
1998
-
[26]
C. Hu, J. Shang, and B. Li , Spreading speeds for reaction--diffusion equations with a shifting habitat , Journal of Dynamics and Differential Equations, 32 (2020), pp. 1941--1964
2020
-
[27]
Huang and M
W. Huang and M. Han , Non-linear determinacy of minimum wave speed for a lotka--volterra competition model , Journal of Differential Equations, 251 (2011), pp. 1549--1561
2011
-
[28]
Kolmogorov, I
A. Kolmogorov, I. Petrovski, and N. Piskunov , Study of the diffusion equation with a concentration-dependent source term and an application to a biological problem , Moscow Univ. Bull. Ser. Internat. Sect, 1 (1937), pp. 1--25
1937
-
[29]
Lam and Y
K.-Y. Lam and Y. Lou , Introduction to reaction-diffusion equations: Theory and applications to spatial ecology and evolutionary biology , Springer Nature, 2022
2022
-
[30]
K.-Y. Lam, G. Nadin, and X. Yu , Asymptotic spreading of kpp reactive fronts in heterogeneous shifting environments ii: Flux-limited solutions , Mathematische Annalen, (2025), pp. 1--53
2025
-
[31]
Lam and X
K.-Y. Lam and X. Yu , Asymptotic spreading of KPP reactive fronts in heterogeneous shifting environments , J. Math. Pures Appl. (9), 167 (2022), pp. 1--47
2022
-
[32]
Lau , On the nonlinear diffusion equation of kolmogorov, petrovsky, and piscounov , Journal of Differential Equations, 59 (1985), pp
K.-S. Lau , On the nonlinear diffusion equation of kolmogorov, petrovsky, and piscounov , Journal of Differential Equations, 59 (1985), pp. 44--70
1985
-
[33]
B. Li, S. Bewick, J. Shang, and W. F. Fagan , Persistence and spread of a species with a shifting habitat edge , SIAM Journal on Applied Mathematics, 74 (2014), pp. 1397--1417
2014
-
[34]
Li, J.-B
W.-T. Li, J.-B. Wang, and X.-Q. Zhao , Spatial dynamics of a nonlocal dispersal population model in a shifting environment , Journal of Nonlinear science, 28 (2018), pp. 1189--1219
2018
-
[35]
G. M. Lieberman , Second order parabolic differential equations , World scientific, 1996
1996
-
[36]
Q. Liu, S. Liu, and K.-Y. Lam , Asymptotic spreading of interacting species with multiple fronts i: A geometric optics approach , arXiv preprint arXiv:1908.05025, (2019)
1908 arXiv
-
[37]
665--718
height 2pt depth -1.6pt width 23pt, Stacked invasion waves in a competition-diffusion model with three species , Journal of Differential Equations, 271 (2021), pp. 665--718
2021
-
[38]
Nolen, J.-M
J. Nolen, J.-M. Roquejoffre, and L. Ryzhik , Convergence to a single wave in the fisher-kpp equation , Chinese Annals of Mathematics, Series B, 38 (2017), pp. 629--646
2017
-
[39]
Peng, C.-H
R. Peng, C.-H. Wu, and M. Zhou , Sharp estimates for the spreading speeds of the lotka-volterra diffusion system with strong competition , in Annales de l'Institut Henri Poincar \'e C, Analyse non lin \'e aire, vol. 38, Elsevier, 2021, pp. 507--547
2021
-
[40]
A. B. Potapov and M. A. Lewis , Climate and competition: the effect of moving range boundaries on habitat invasibility , Bulletin of mathematical biology, 66 (2004), pp. 975--1008
2004
-
[41]
Shigesada and K
N. Shigesada and K. Kawasaki , Biological invasions: theory and practice , Oxford University Press, UK, 1997
1997
-
[42]
Uchiyama , The behavior of solutions of some non-linear diffusion equations for large time , Journal of Mathematics of Kyoto University, 18 (1978), pp
K. Uchiyama , The behavior of solutions of some non-linear diffusion equations for large time , Journal of Mathematics of Kyoto University, 18 (1978), pp. 453--508
1978
-
[43]
Wang, W.-T
J.-B. Wang, W.-T. Li, F.-D. Dong, and S.-X. Qiao , Recent developments on spatial propagation for diffusion equations in shifting environments , Discrete and Continuous Dynamical Systems-B, 27 (2022), pp. 5101--5127
2022
-
[44]
C. Wu, Y. Wang, and X. Zou , Spatial-temporal dynamics of a lotka-volterra competition model with nonlocal dispersal under shifting environment , Journal of Differential Equations, 267 (2019), pp. 4890--4921
2019
-
[45]
C.-H. Wu, D. Xiao, and M. Zhou , Sharp estimates for the spreading speeds of the lotka-volterra competition-diffusion system: The strong-weak type with pushed front , Journal de Math \'e matiques Pures et Appliqu \'e es, 172 (2023), pp. 236--264
2023
-
[46]
Y. Yuan, Y. Wang, and X. Zou , Spatial dynamics of a lotka-volterra model with a shifting habitat , Discrete Contin. Dyn. Syst. Ser. B, 24 (2019), pp. 5633--5671
2019
-
[47]
Zhang , Sharp asymptotics for the kpp equation with some front-like initial data , hal-05065737, (2025)
M. Zhang , Sharp asymptotics for the kpp equation with some front-like initial data , hal-05065737, (2025)
2025
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.