On a Keller--Segel System with Density-Suppressed Motility, Indirect Signal Production, and External Sources
Pith reviewed 2026-05-13 22:51 UTC · model grok-4.3
The pith
A Keller-Segel system with non-increasing density-suppressed motility admits global classical solutions in any dimension, with uniform boundedness under superlinear external damping and a critical mass phenomenon in two dimensions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish the global existence of classical solutions in arbitrary spatial dimensions for a broad class of non-increasing motility functions, both with and without external source terms. Any external damping source with superlinear growth ensures uniform-in-time boundedness, while in its absence solutions may become unbounded as time tends to infinity. In the two-dimensional homogeneous case with the exponentially decaying motility function γ(v)=e^{-v}, classical solutions remain uniformly bounded for subcritical initial mass, while supercritical initial masses can lead to infinite-time blow-up.
What carries the argument
The non-increasing motility function γ(v) in a parabolic-parabolic-ODE coupled system that suppresses cellular movement at high signal densities through indirect signal production.
If this is right
- Global classical solutions exist in any dimension for non-increasing motility functions with or without external sources.
- Superlinear growth in external damping guarantees uniform boundedness in time.
- Without superlinear damping, solutions can become unbounded as time goes to infinity.
- In two dimensions with γ(v)=e^{-v} and no sources, there is a critical mass separating bounded solutions from those with infinite-time blow-up.
Where Pith is reading between the lines
- Similar critical mass thresholds may exist for other forms of motility decay or in higher dimensions under adjusted conditions.
- The auxiliary function and comparison method approach could extend to other chemotaxis systems with variable motility.
- Without external damping, the long-time behavior might involve aggregation patterns rather than complete blow-up in some cases.
- The self-trapping effect from indirect signal production stabilizes the system against finite-time singularities.
Load-bearing premise
The motility function must be non-increasing and sufficiently smooth so that the auxiliary functions and refined comparison methods apply to the coupled system.
What would settle it
Construct a counterexample where a non-increasing motility function leads to finite-time blow-up in three dimensions, or find an initial mass above the supposed critical value in 2D with γ=e^{-v} that remains bounded.
read the original abstract
This paper investigates an initial-Neumann boundary value problem for a Keller--Segel system with parabolic-parabolic-ODE coupling. The model incorporates a signal-dependent, non-increasing motility function that, through indirect signal production, captures a self-trapping effect suppressing cellular movement at high densities. We establish the global existence of classical solutions in arbitrary spatial dimensions for a broad class of non-increasing motility functions, both with and without external source terms. Furthermore, we demonstrate that any external damping source exhibiting superlinear growth ensures uniform-in-time boundedness. Conversely, in the absence of such damping, solutions may become unbounded as time tends to infinity. More precisely, in the two-dimensional homogeneous case with the exponentially decaying motility function $\gamma(v) = e^{-v}$, a critical mass phenomenon emerges: classical solutions remain uniformly bounded for subcritical initial mass, while supercritical initial masses can lead to infinite-time blow-up. Our analysis relies on the construction of carefully designed auxiliary functions along with refined comparison methods and iteration arguments.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript analyzes a Keller-Segel system with parabolic-parabolic-ODE coupling, density-suppressed motility via a non-increasing smooth function γ(v), indirect signal production, and optional external source terms. It claims global existence of classical solutions in arbitrary spatial dimensions for any such γ, uniform-in-time boundedness when external damping sources have superlinear growth, and, in the 2D homogeneous case with γ(v)=e^{-v}, a critical-mass threshold separating uniformly bounded solutions from those that become unbounded as t→∞.
Significance. If the central claims hold, the work extends the mathematical theory of chemotaxis models with motility suppression to arbitrary dimensions and clarifies the role of external damping in preventing blow-up. The auxiliary-function and iteration techniques are standard in the field but are adapted here to the indirect-production setting; the 2D critical-mass result is a concrete, falsifiable prediction that strengthens the contribution.
major comments (2)
- [§4] §4 (global-existence proof, iteration step): the bootstrap from L^p to L^∞ bounds absorbs the cross-diffusion term via the factor γ(v) in the diffusion coefficient. In d≥3 the Gagliardo-Nirenberg constants grow with d, yet the argument imposes no uniform lower bound on |γ'| nor tracks explicit d-dependence. For slowly decaying γ (e.g., γ(v)=(1+v)^{-α} with small α) the absorption threshold can fail for large initial data, contradicting the claim of global classical solutions for arbitrary d and any non-increasing γ.
- [§5.2] §5.2 (boundedness under external sources): the superlinear-growth condition on the damping term is stated to guarantee uniform bounds, but the proof does not quantify the minimal growth rate needed relative to the decay of γ and the dimension d; the comparison argument may therefore require an additional structural assumption on the source that is not stated in the theorem.
minor comments (2)
- [§2, §4] The notation for the motility function γ and the signal variable v is introduced clearly in §2 but occasionally re-used with different subscripts in the estimates of §4; a single consistent symbol list would improve readability.
- [Figure 1] Figure 1 (schematic of the model) would benefit from explicit labels for the indirect-production term and the external source to match the equations in (1.1).
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below, indicating where clarifications or revisions will strengthen the presentation while defending the validity of the central claims.
read point-by-point responses
-
Referee: [§4] §4 (global-existence proof, iteration step): the bootstrap from L^p to L^∞ bounds absorbs the cross-diffusion term via the factor γ(v) in the diffusion coefficient. In d≥3 the Gagliardo-Nirenberg constants grow with d, yet the argument imposes no uniform lower bound on |γ'| nor tracks explicit d-dependence. For slowly decaying γ (e.g., γ(v)=(1+v)^{-α} with small α) the absorption threshold can fail for large initial data, contradicting the claim of global classical solutions for arbitrary d and any non-increasing γ.
Authors: We appreciate this observation on the details of the iteration argument. The bootstrap in Section 4 first derives L^p bounds for sufficiently large p by testing the equation with u^{p-1} and exploiting the indirect signal production structure to control the cross term. The subsequent Gagliardo-Nirenberg interpolation to L^∞ then absorbs the motility-weighted cross-diffusion term because γ(v) is bounded above (by γ(0)) for any non-increasing positive γ; no derivative lower bound on γ is used. Although the G-N constants depend on d, the dimension is fixed for each application of the theorem, so p can always be chosen large enough depending on d to close the estimate. For slowly decaying γ such as (1+v)^{-α} with small α>0, the same choice of p works uniformly in the initial data because the auxiliary-function estimates bound the signal v independently of the decay rate of γ. We will revise the manuscript to explicitly record the d- and γ-dependence of the constants and add a remark verifying the argument for power-law motility with arbitrary α>0. The global-existence claim for the broad class of non-increasing γ therefore stands. revision: partial
-
Referee: [§5.2] §5.2 (boundedness under external sources): the superlinear-growth condition on the damping term is stated to guarantee uniform bounds, but the proof does not quantify the minimal growth rate needed relative to the decay of γ and the dimension d; the comparison argument may therefore require an additional structural assumption on the source that is not stated in the theorem.
Authors: We thank the referee for this remark. In Section 5.2 the uniform boundedness follows from a comparison principle applied to a carefully chosen auxiliary function that includes the external damping term. Any superlinear growth (i.e., f(s)/s → ∞ as s→∞) is sufficient to dominate the remaining production and motility terms, whose coefficients depend on d and the decay of γ but remain bounded on finite time intervals and are absorbed by the superlinear damping in the ODE comparison. No further structural assumption on the source is required. We will revise the manuscript to include a short paragraph quantifying this absorption, making the independence from the specific decay rate of γ and from d explicit. revision: yes
Circularity Check
No circularity: standard PDE analysis via auxiliary functions and comparisons
full rationale
The paper proves global existence of classical solutions and boundedness results for the given Keller-Segel system in arbitrary dimensions using constructions of auxiliary functions, refined comparison methods, and iteration arguments applied to the parabolic-parabolic-ODE system. These steps derive directly from the model equations and structural assumptions on the non-increasing motility function γ(v), without any reduction to fitted parameters, self-definitional loops, self-citation load-bearing premises, or renaming of known results. The critical mass phenomenon in 2D is stated as a theorem under the specific exponential motility, established via the same comparison techniques rather than by construction from inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Motility function γ(v) is non-increasing and sufficiently regular for comparison principles to apply
- standard math Standard existence and regularity theory for parabolic-parabolic-ODE systems holds under the given boundary conditions
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlphaCoordinateFixation.leanJ_uniquely_calibrated_via_higher_derivative unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce the key quantity φ≜γ(v)u, which satisfies a parabolic equation dual to that of u. Leveraging the aforementioned decomposition structure along with the monotonicity of γ, we employ comparison argument or energy method to derive the boundedness of φ
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
S.-Y. A. Chang and P. C. Yang , Conformal deformation of metrics on s2 , Journal of Differential Geometry, 27 (1988), pp. 259--296
work page 1988
- [4]
-
[5]
K. Fujie and J. Jiang , Global existence for a kinetic model of pattern formation with density-suppressed motilities , Journal of Differential Equations, 269 (2020), pp. 5338--5378
work page 2020
-
[6]
height 2pt depth -1.6pt width 23pt, Boundedness of classical solutions to a degenerate Keller--Segel type model with signal-dependent motilities , Acta Applicandae Mathematicae, 176 (2021), p. 3
work page 2021
-
[7]
height 2pt depth -1.6pt width 23pt, Comparison methods for a Keller--Segel -type model of pattern formations with density-suppressed motilities , Calculus of Variations and Partial Differential Equations, 60 (2021), p. 92
work page 2021
-
[8]
K. Fujie and T. Senba , Blowup of solutions to a two-chemical substances chemotaxis system in the critical dimension , Journal of Differential Equations, 266 (2019), pp. 942--976
work page 2019
-
[9]
K. Fujie and T. Senba , Global boundedness of solutions to a parabolic--parabolic chemotaxis system with local sensing in higher dimensions , Nonlinearity, 35 (2022), pp. 3777--3811
work page 2022
-
[10]
height 2pt depth -1.6pt width 23pt, Global existence and infinite time blow-up of classical solutions to chemotaxis systems of local sensing in higher dimensions , Nonlinear Analysis: Theory, Methods & Applications, 222 (2022), p. 112987
work page 2022
- [11]
-
[12]
D. Horstmann and G. Wang , Blow-up in a chemotaxis model without symmetry assumptions , European Journal of Applied Mathematics, 12 (2001), pp. 159--177
work page 2001
- [13]
-
[14]
J. Jiang and P. Lauren c ot , Global existence and uniform boundedness in a chemotaxis model with signal-dependent motility , Journal of Differential Equations, 299 (2021), pp. 513--541
work page 2021
-
[15]
height 2pt depth -1.6pt width 23pt, Global boundedness induced by asymptotically non-degenerate motility in a fully parabolic chemotaxis model with local sensing . arXiv:2411.11430, 2024
- [16]
- [17]
-
[18]
H.-Y. Jin and Z.-A. Wang , Critical mass on the Keller-Segel system with signal-dependent motility , Proceedings of the American Mathematical Society, 148 (2020), pp. 4855--4873
work page 2020
-
[19]
height 2pt depth -1.6pt width 23pt, The Keller-Segel system with logistic growth and signal-dependent motility , Discrete and Continuous Dynamical Systems-Series B, 26 (2021), pp. 3023--3041
work page 2021
-
[20]
E. F. Keller and L. A. Segel , Model for chemotaxis , Journal of Theoretical Biology, 30 (1971), pp. 225--234
work page 1971
-
[21]
P. Lauren c ot , Global bounded and unbounded solutions to a chemotaxis system with indirect signal production , Discrete and Continuous Dynamical Systems-Series B, 24 (2019), pp. 6419--6444
work page 2019
- [22]
- [23]
- [24]
- [25]
-
[26]
W. Lyu and Z.-A. Wang , Logistic damping effect in chemotaxis models with density-suppressed motility , Advances in Nonlinear Analysis, 12 (2022), pp. 336--355
work page 2022
-
[27]
H. Miao and Y. Nie , Boundedness in the cauchy problem for a chemotaxis system with indirect signal production and logistic growth , Journal of Differential Equations, 357 (2023), pp. 332--361
work page 2023
- [28]
-
[29]
G. Ren , Global existence of a quasilinear chemotaxis model with signal-dependent motility and indirect signal production mechanism , Journal of Mathematical Physics, 63 (2022), p. 091508
work page 2022
- [30]
-
[31]
Y. Soga , Concentration phenomena to a chemotaxis system with indirect signal production , Journal of Evolution Equations, 25 (2025), p. 95
work page 2025
- [32]
- [33]
- [34]
-
[35]
height 2pt depth -1.6pt width 23pt, Effects of signal-dependent motilities in a Keller--Segel -type Reaction--Diffusion system , Mathematical Models and Methods in Applied Sciences, 27 (2017), pp. 1645--1683
work page 2017
-
[36]
Temam , Infinite-Dimensional Dynamical Systems in Mechanics and Physics , vol
R. Temam , Infinite-Dimensional Dynamical Systems in Mechanics and Physics , vol. 68 of Applied Mathematical Sciences, Springer, New York, 1988
work page 1988
-
[37]
J. Wang and M. Wang , Boundedness in the higher-dimensional Keller-Segel model with signal-dependent motility and logistic growth , Journal of Mathematical Physics, 60 (2019), p. 011507
work page 2019
-
[38]
M. Winkler , Aggregation vs. global diffusive behavior in the higher-dimensional Keller--Segel model , Journal of Differential Equations, 248 (2010), pp. 2889--2905
work page 2010
- [39]
-
[40]
Y. Xiao and J. Jiang , Global existence and uniform boundedness in a fully parabolic Keller--Segel system with non-monotonic signal-dependent motility , Journal of Differential Equations, 354 (2023), pp. 403--429
work page 2023
-
[41]
height 2pt depth -1.6pt width 23pt, Prevention of infinite-time blowup by slightly super-linear degradation in a Keller--Segel system with density-suppressed motility , Nonlinearity, 37 (2024), p. 095007
work page 2024
- [42]
-
[43]
C. Yoon and Y.-J. Kim , Global existence and aggregation in a Keller--Segel model with Fokker--Planck diffusion , Acta Applicandae Mathematicae, 149 (2017), pp. 101--123
work page 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.