Pith. sign in

REVIEW 5 minor 1 cited by

Stability and instability for the fully parabolic Keller-Segel system around constant equilibrium

T0 review · 0 major / 5 minor · reviewed 2026-07-14 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Constant equilibria of the fully parabolic Keller–Segel system are nonlinearly stable precisely when the background density is at most 1, and unstable above it.

desk verdict Solid, complete dichotomy for fully parabolic KS around constants, including the missing critical nonlinear stability and half-heat rates. read the letter →

arxiv 2607.10384 v1 pith:JHPFUIHI submitted 2026-07-11 math.AP

Jaewook Ahn , Jae-Myoung Kim , Junha Kim This is my paper · ORCID
classification math.AP MSC 35K4535B3535B4092C17
keywords Keller-SegelsystemfullyparabolicnonlinearstabilityinstabilitycriticalthresholdasymptoticdecayrateschemotaxisCauchyproblem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper settles a stability dichotomy for constant steady states of the fully parabolic Keller–Segel chemotaxis system on the whole space. After shifting to perturbations around a constant density A, the authors prove that the zero state is nonlinearly Lyapunov stable for A less than or equal to 1 and nonlinearly unstable for A greater than 1. The threshold is sharp: subcritical solutions decay at the same rate as the heat equation, while critical solutions decay at half that rate; the difference between the two components decays even faster. The same analysis shows that the presence of a linear damping term in the chemoattractant equation destroys any critical-mass blow-up threshold that exists when that damping vanishes. A sympathetic reader cares because the result supplies the first complete stable-versus-unstable picture for the fully parabolic model, including the critical case that remained open even for the simpler parabolic-elliptic reduction.

What carries the argument

Spectral decomposition of the Fourier-space linear operator L_A(ξ) into eigenvalues λ±(|ξ|), whose lower branch λ– is non-negative precisely when A ≤ 1 and becomes negative on a frequency band when A > 1. This spectral gap (or its absence) controls both the a-priori estimates that close global existence for small data and the growing mode used to prove nonlinear instability.

What would settle it

Construct, for some A > 1 and arbitrarily small initial data in the Sobolev space of the theorem, a global solution whose L2 norms of the density and chemoattractant perturbations remain smaller than any fixed positive constant for all time; or, for A = 1, exhibit a family of small data whose solutions fail to decay at least as fast as t to the power minus one-half times the heat rate.

Watch

Extended reading notes

Core claim

There exists a critical threshold A_crit = 1 such that the constant equilibrium (A,A) of the fully parabolic Keller–Segel system (with unit diffusion and degradation rates) is nonlinearly Lyapunov stable for every A ≤ 1 and nonlinearly unstable for every A > 1. The associated decay rates are heat-like when A < 1 and half heat-like when A = 1.

Load-bearing premise

The claim that the same critical value 1 works for every positive diffusion and degradation rates rests on the assertion that those rates play no role, yet all spectral and energy estimates are carried out only after both rates have been set to 1.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies the Cauchy problem for the fully parabolic Keller–Segel system (1.1) with τ = γ = 1 near constant equilibria (A, A). After rewriting the system for the perturbations (n, c) = (b − A, a − A), the authors perform a Fourier-space spectral analysis of the linear operator L_A(ξ) and identify the critical value A_crit = 1 from the sign of the eigenvalue λ_−. They prove nonlinear Lyapunov stability for A < 1 (Theorem 1.1) and A = 1 (Theorem 1.2) under smallness assumptions on the Fourier L^1 (and L^∞) norms of the initial data, together with heat-type and half-heat-type decay rates for (n, c) and faster rates for n − c. For A > 1 they construct initial data concentrated near an unstable Fourier mode and prove nonlinear instability via an escape-time argument (Theorem 1.3). Local existence, a-priori estimates, and the Duhamel formulae are developed in Sections 2–5 and the appendices.

Significance. The work supplies a complete nonlinear stability–instability dichotomy for the fully parabolic Keller–Segel system around constant states on R^d, including the critical case A = 1 that had remained open even for the parabolic–elliptic counterpart. The spectral threshold A_crit = 1 is parameter-free and arises cleanly from the linear symbol; the subsequent nonlinear estimates close rigorously. The paper also shows that the classical critical-mass phenomenon disappears when γ > 0 (Remark 1.3) and obtains sharp asymptotic rates that distinguish the subcritical and critical regimes. These results fill a genuine gap between the parabolic–elliptic theory of Cygan et al. and the fully parabolic setting, and the detailed Fourier-Lebesgue and Sobolev estimates are of independent technical interest.

minor comments (5)
  1. Page 2 (after (1.1)): the claim that τ, γ > 0 “do not play any role” and may be set to 1 without loss of generality is left unproved. While the stated theorems concern only the normalized system, a short remark or reference explaining the invariance of the threshold would remove any ambiguity.
  2. Definition A (nonlinear Lyapunov stability): the pair of spaces ⟨X, Z⟩ is introduced but never specialized; it would help the reader if the concrete spaces used in Theorems 1.1–1.3 were identified explicitly with X and Z.
  3. Lemma 2.1 / Remark 2.1: the refined blow-up criterion (2.1) is stated without proof; a one-line energy estimate for ∥c∥_{H^{s+1}} would make the argument self-contained.
  4. Throughout Sections 3–4 the generic constant C is allowed to depend on A, but this dependence is not always recorded; a uniform convention (e.g., C = C(A, d, s)) would improve readability.
  5. Appendix A.5 (construction of unstable data): the cut-off radius ε(θ) is chosen so that λ_− ≤ −θ(A−1)^2/(4A) on the support; a brief numerical illustration of how small ε must be for a typical A would make the construction more transparent.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: A_crit=1 is the explicit sign-change of the linear eigenvalue λ_-, and all nonlinear stability/instability proofs are independent a-priori estimates and mode constructions that do not feed back into that value.

full rationale

The derivation chain is standard Fourier-mode linearization followed by closed nonlinear estimates. The matrix L_A(ξ) is written down from the Fourier transform of the linearized system (2.4); its eigenvalues λ_± are obtained by solving the quadratic characteristic equation, and the sign of λ_- is elementary: λ_- ≥ 0 for all ξ precisely when A ≤ 1, while min λ_- = -(A-1)^2/(4A) < 0 when A > 1 (Remark 2.2 and (5.1)). Theorems 1.1–1.2 then control the quadratic remainder - abla·(n abla c) by smallness of Fourier L^1 norms (Proposition 3.1, Lemmas 4.2–4.3) and energy inequalities (Lemmas 3.2, 4.1) that never re-use the value of A_crit; the decay rates follow from the same ODIs once global existence is secured. Theorem 1.3 constructs data concentrated on the unstable Fourier shell and shows linear growth dominates the Duhamel remainder up to an explicit escape time T_η; again the argument is self-contained and does not presuppose the nonlinear conclusion. No parameters are fitted, no uniqueness theorem is imported from the authors’ prior work, and the parenthetical claim that τ,γ are inessential is peripheral to the stated theorems (which are proved only for τ=γ=1). The paper is therefore free of circular steps.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

Pure PDE analysis; the only external inputs are standard Sobolev embeddings, Kato-Ponce commutator estimates, and the local well-posedness theory for quasilinear parabolic systems. No free parameters or invented physical entities appear.

assumptions (3)
  • standard math Local existence and uniqueness of regular solutions in H^s imes H^{s+1} for s > d/2 (Lemma 2.1)
    Invoked throughout; proved by standard fixed-point argument, cited as routine.
  • standard math Kato-Ponce-type product estimate (Lemma 2.2)
    Used repeatedly for nonlinear terms; stated without proof but standard.
  • ad hoc to paper The parameters τ,γ > 0 may be set to 1 without changing the stability threshold
    Asserted on page 2; never proved for general τ,γ.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stability and instability for the fully parabolic Keller-Segel system around constant equilibrium." pith.science (2026). https://pith.science/paper/JHPFUIHI

@misc{pith2026260710384,
  author       = {Pith},
  title        = {Pith review of: Stability and instability for the fully parabolic Keller-Segel system around constant equilibrium},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JHPFUIHI}},
  note         = {Machine review of arXiv:2607.10384}
}
abstract

This paper studies the Cauchy problem for the fully parabolic Keller-Segel system. The main results show that there exists a critical threshold $A_{\rm crit}>0$ for steady states $(A,A)$ such that the steady states are nonlinearly stable when $A\le A_{\rm crit}$ and nonlinearly unstable when $A>A_{\rm crit}$. We discuss asymptotic convergence rates as well. In the subcritical case $A<A_{\rm crit}$, the rates correspond to those of the heat equation, and in the critical case $A=A_{\rm crit}$, the rates correspond to half those of the heat equation.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The traveling wave solutions of the 1D hyperbolic Keller-Segel equations

    math.AP 2026-08 conditional novelty 6.0 of 10

    Explicit families of entropy-admissible stationary and traveling wave solutions are constructed and classified for the 1D hyperbolic Keller-Segel system with quorum sensitivity.

Reference graph

Works this paper leans on

27 extracted references · cited by 1 Pith paper

  1. [1]

    J. Ahn, K. Kang, J. Kim, J. Lee, Lower bound of mass in a chemotactic model with advection and absorbing reaction, SIAM J. Math. Anal. 49 (2017) 723–755. 34

    2017

  2. [2]

    Bellomo, A

    N. Bellomo, A. Bellouquid, Y. Tao, M. Winkler, Toward a mathematical theory of Keller-Segel models of pattern formation in biological tissues, Math. Mod. Meth. Appl. Sci. 25 (2015) 1663–1763

    2015

  3. [3]

    Biler, Global solutions to some parabolic-elliptic systems of chemotaxis, Adv

    P. Biler, Global solutions to some parabolic-elliptic systems of chemotaxis, Adv. Math. Sci. 9 (1999) 347-359

    1999

  4. [4]

    Biler, G

    P. Biler, G. Karch, P. Lauren¸ cot, T. Nadzieja, The 8π-problem for radially symmetric solutions of a chemotaxis model in the plane, Math. Methods Appl. Sci. 29 (2006) 1563–1583

    2006

  5. [5]

    Blanchet, J.A

    A. Blanchet, J.A. Carrillo, N. Masmoudi, Infinite time aggregation for the critical Patlak–Keller–Segel model in R2, Comm. Pure Appl. Math. 61 (2008) 1449—1481

    2008

  6. [6]

    Blanchet, E

    A. Blanchet, E. A. Carlen, J. A. Carrillo, Functional inequalities, thick tails and asymptotics for the critical mass Patlak-Keller-Segel model, J. Funct. Anal., 262 (2012) 2142–2230

    2012

  7. [7]

    Blanchet, J

    A. Blanchet, J. Dolbeault, B. Perthame, Two-dimensional Keller–Segel model: optimal critical mass and qualitative properties of the solutions, Electron. J. Differential Equations 44 (2006) pp 32

    2006

  8. [8]

    E. A. Carlen, A. Figalli, Stability for a GNS inequality and the log-HLS inequality, with application to the critical mass Keller-Segel equation, Duke Math. J., 162 (2013), 579–625

    2013

Show all 27 references
  1. [9]

    Collot, T.-E

    C. Collot, T.-E. Ghoul, N. Masmoudi, V. T. Nguyen, Refined description and stability for singular solutions of the 2D Keller-Segel system, Comm. Pure Appl. Math. 75 (2022) 1419–1516

    2022

  2. [10]

    Cygan, G

    S. Cygan, G. Karch, K. Krawczyk, H. Wakui, Stability of constant steady states of a chemotaxis model, J. Evol. Equ. 21 (2021) 4873–4896

    2021

  3. [11]

    D´ avila, M

    J. D´ avila, M. del Pino, J. Dolbeault, M. Musso, J. Wei, Existence and stability of infinite time blow-up in the Keller–Segel system, Arch. Rational. Mech. Anal. 248 (2024) pp 154

    2024

  4. [12]

    Friedlander, N

    S. Friedlander, N. Pavlovi´ c, R. Shvydkoy, Nonlinear Instability for the Navier-Stokes Equations, Com- mun. Math. Phys. 264 (2006) 335–347

    2006

  5. [13]

    Glogi´ c, B

    I. Glogi´ c, B. Sch¨ orkhuber, Stable singularity formation for the Keller-Segel system in three dimensions, Arch. Rational. Mech. Anal. 248 (2024) pp 40

    2024

  6. [14]

    Guo, H.-J

    Y. Guo, H.-J. Hwang, Pattern formation (I): The Keller-Segel model, J. Differential Equations 249 (2010) 1519–1530

    2010

  7. [15]

    E. F. Keller, L. A. Segel, Initiation of slime mold aggregation viewed as an instability, J. Theoret. Biol. 26 (1970) 399–415

    1970

  8. [16]

    L´ opez-G´ omez, T

    J. L´ opez-G´ omez, T. Nagai, T. Yamada, The basin of attraction of the steady-states for a chemotaxis model inR 2 with critical mass, Arch. Rational. Mech. Anal. 207 (2013) 159–184

    2013

  9. [17]

    Majda, A

    A. Majda, A. L. Bertozzi, Vorticity and incompressible flow. World Publishing Corporation (2003)

    2003

  10. [18]

    Mizoguchi, Type II blowup in a doubly parabolic Keller–Segel system in two dimensions, J

    N. Mizoguchi, Type II blowup in a doubly parabolic Keller–Segel system in two dimensions, J. Funct. Anal. 271 (2016) 3323–3347

    2016

  11. [19]

    Mizoguchi, Determination of blowup type in the parabolic–parabolic Keller–Segel system, Math

    N. Mizoguchi, Determination of blowup type in the parabolic–parabolic Keller–Segel system, Math. Ann. 376 (2020) 39–60

    2020

  12. [20]

    Mizoguchi, Finite-time blowup in Cauchy problem of parabolic-parabolic chemotaxis system, J

    N. Mizoguchi, Finite-time blowup in Cauchy problem of parabolic-parabolic chemotaxis system, J. Math. Pures. Appl. 136 (2020) 203–238

    2020

  13. [21]

    Osaki, A

    K. Osaki, A. Yagi, Finite dimensional attractor for one-dimensional Keller-Segel equations, Funkcial. Ekvac. 44 (2001) 441–469. 35

    2001

  14. [22]

    Rapha¨ el, R

    P. Rapha¨ el, R. Schweyer, On the stability of critical chemotactic aggregation, Math. Ann. 359 (2014) 267–377

    2014

  15. [23]

    Schaaf, Stationary solutions of chemotaxis systems, Trans

    R. Schaaf, Stationary solutions of chemotaxis systems, Trans. Amer. Math. Soc. 292 (1985) 531–556

    1985

  16. [24]

    J. J. L. Vel´ azquez, Stability of some mechanisms of chemotactic aggregation, SIAM J. Appl. Math. 62 (2002) 1581–1633

    2002

  17. [25]

    Winkler, Aggregation vs

    M. Winkler, Aggregation vs. global diffusive behavior in the higher-dimensional Keller-Segel model. J. Differential Equations 248 (2010) 2889–2905

    2010

  18. [26]

    Winkler, Finite-time blow-up in the higher-dimensional parabolic-parabolic Keller-Segel system

    M. Winkler, Finite-time blow-up in the higher-dimensional parabolic-parabolic Keller-Segel system. J. Math. Pures. Appl. 100 (2013) 748–767

    2013

  19. [27]

    Winkler, How unstable is spatial homogeneity in Keller-Segel systems? A new critical mass phe- nomenon in two- and higher-dimensional parabolic-elliptic cases

    M. Winkler, How unstable is spatial homogeneity in Keller-Segel systems? A new critical mass phe- nomenon in two- and higher-dimensional parabolic-elliptic cases. Math. Ann. 373 (2018) 1237–1282. 36

    2018

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.