pith. sign in

arxiv: 2401.09311 · v2 · submitted 2024-01-17 · 🧮 math.AP

Uniqueness and nonlinear stability of positive entire solutions in parabolic-parabolic chemotaxis models with logistic source on bounded heterogeneous environments

Pith reviewed 2026-05-24 04:30 UTC · model grok-4.3

classification 🧮 math.AP
keywords chemotaxislogistic sourceentire solutionsasymptotic stabilityparabolic-parabolic systemheterogeneous domain
0
0 comments X

The pith

Under suitable parameter assumptions the chemotaxis system with logistic source possesses a unique positive entire solution that attracts all other solutions uniformly over starting times.

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

The paper analyzes the long-term dynamics of a parabolic-parabolic chemotaxis model with logistic-type growth in a bounded heterogeneous domain. It identifies regimes of the time- and space-dependent coefficients where a unique positive entire solution exists. In those regimes every classical solution starting from nonnegative initial data with the first component not identically zero converges to this unique solution in the uniform norm, with the convergence uniform with respect to the initial time.

Core claim

Under suitable assumptions on the model's parameters, the system has a unique entire positive solution (u*,v*) such that for any t0 and nonnegative initial data with u0 not identically zero, the solution satisfies lim t→∞ (sup over t0 of the C0 norms of the differences) = 0.

What carries the argument

The unique positive entire solution (u*,v*) of the parabolic-parabolic chemotaxis system with logistic source, which serves as the global attractor for all admissible initial data.

If this is right

  • All admissible solutions become asymptotically independent of their starting time.
  • The long-time profile is completely determined by the coefficients alone.
  • Heterogeneity in the domain does not destroy the uniqueness or stability property inside the identified parameter region.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result supplies a rigorous justification for replacing the full time-dependent system by its unique entire solution when studying large-time population distributions.
  • The uniform-in-time convergence may allow reduction of certain control or optimization problems on the model to a stationary problem on the attractor.

Load-bearing premise

There exist suitable assumptions on the coefficients a0, a1, a2 that guarantee both uniqueness of the positive entire solution and its global asymptotic stability.

What would settle it

An explicit choice of coefficients a0,a1,a2 for which either two distinct positive entire solutions exist or some orbit fails to converge uniformly in the sup norm over initial times.

read the original abstract

This paper studies the asymptotic behavior of solutions of the parabolic-parabolic chemotaxis model with logistic-type sources in heterogeneous bounded domains: \begin{equation*} \label{u-v-eq00} \begin{cases} u_t=\Delta u-\chi\nabla\cdot (u \nabla v)+u\Big(a_0(t,x)-a_1(t,x)u-a_2(t,x)\int_{\Omega}u\Big),\quad x\in \Omega\cr \tau v_t=\Delta v-\lambda v +\mu u,\quad x\in \Omega \cr \frac{\p u}{\p \nu}=\frac{\p v}{\p \nu}=0,\quad x\in\p\Omega. \end{cases}\qquad(\ast) \end{equation*} \noindent We find parameter regions in which the system has a unique positive entire solution, which is globally asymptotically stable. {More precisely under suitable assumptions on the model's parameters, the system has a unique entire positive solution $(u^*(x,t),v^*(x,t))$ such that for any %$t_0\in\RR$ and $u_0 \in C^0(\bar{\Omega}),$ $v_0 \in W^{1,\infty}(\bar{\Omega})$ with $u_0,v_0\ge 0$ and $u_0\not\equiv 0$, the global classical solution $(u(x,t;t_0,u_0,v_0)$, $v(x,t;t_0,u_0,v_0))$ of $(\ast)$ satisfies $$ \lim_{t \to \infty}\Big(\sup_{t_0 \in \mathbb{R}}\|u(\cdot,t;t_0,u_0,v_0)-u^*(\cdot,t)\|_{C^0(\bar\Omega)}+\sup_{t_0 \in \mathbb{R}}\|v(\cdot,t;t_0,u_0,v_0)-v^*(\cdot,t)\|_{C^0(\bar\Omega)}\Big)=0. $$

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript studies the asymptotic behavior of solutions to the parabolic-parabolic chemotaxis model (*) with logistic-type sources in heterogeneous bounded domains. It claims that under suitable assumptions on the parameters a0,a1,a2, the system admits a unique positive entire solution (u*,v*) that is globally asymptotically stable, with the convergence of solutions to (u*,v*) holding uniformly with respect to the initial time t0 for nonnegative initial data with u0 not identically zero.

Significance. If the result holds under explicitly characterized parameter regimes, it would provide a strong uniform-in-t0 global stability theorem for chemotaxis systems with logistic growth, which is of interest for long-term behavior in heterogeneous environments. The uniformity over initial times is a technically notable feature.

major comments (2)
  1. [Abstract] Abstract: The phrase 'suitable assumptions on the model's parameters' (a0,a1,a2) is invoked to delimit the regime of uniqueness and sup_{t0} convergence, but no explicit conditions (bounds, sign restrictions, or relations among a0,a1,a2) are supplied. This is load-bearing for the central claim, as the abstract states the result applies precisely in this undefined regime.
  2. [Abstract] Abstract, equation (*): The claim asserts existence of a unique entire solution with the stated uniform attraction property, yet the abstract supplies neither the explicit parameter conditions nor any proof outline or verification steps, preventing assessment of whether the mathematics supports the conclusion for any concrete instance of the system.
minor comments (1)
  1. [Abstract] Abstract: The statement of initial-data conditions contains commented-out LaTeX fragments (e.g., '%$t_0∈ℝ$'), which should be removed for readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed reading and valuable comments on the abstract. We address each major comment below and will make revisions to improve clarity regarding the parameter assumptions.

read point-by-point responses
  1. Referee: [Abstract] Abstract: The phrase 'suitable assumptions on the model's parameters' (a0,a1,a2) is invoked to delimit the regime of uniqueness and sup_{t0} convergence, but no explicit conditions (bounds, sign restrictions, or relations among a0,a1,a2) are supplied. This is load-bearing for the central claim, as the abstract states the result applies precisely in this undefined regime.

    Authors: We agree that the abstract would be strengthened by a more explicit reference to the parameter regime. The precise assumptions (including positivity and lower bounds on a0, a1, a2 ensuring the logistic terms dominate the chemotactic aggregation) are stated in Theorem 1.1 and the subsequent hypotheses in Section 2. We will revise the abstract to briefly indicate these conditions (e.g., a0 bounded below by a positive constant, a1 and a2 positive with suitable coercivity) without altering the result's scope. revision: yes

  2. Referee: [Abstract] Abstract, equation (*): The claim asserts existence of a unique entire solution with the stated uniform attraction property, yet the abstract supplies neither the explicit parameter conditions nor any proof outline or verification steps, preventing assessment of whether the mathematics supports the conclusion for any concrete instance of the system.

    Authors: The abstract serves as a concise summary; the full parameter conditions appear in Theorem 1.1, while the existence, uniqueness, and uniform-in-t0 global asymptotic stability are proved in Sections 3–5 using comparison principles, Lyapunov functionals, and uniform estimates independent of t0. We do not view a proof sketch as appropriate for the abstract, but the revision noted above will make the applicable regime clearer for readers to locate the supporting arguments in the body. revision: partial

Circularity Check

0 steps flagged

No circularity; derivation is self-contained mathematical proof.

full rationale

The paper establishes uniqueness of a positive entire solution and its uniform global asymptotic stability for the given parabolic-parabolic system under explicitly invoked (though abstractly phrased) parameter assumptions. No step reduces a claimed prediction or uniqueness result to a fitted quantity, self-citation, or definitional tautology; the argument proceeds from the PDE system via standard comparison, Lyapunov, or fixed-point techniques without importing the target conclusion as an input. The 'suitable assumptions' clause is a standard qualifier for the regime of validity rather than a circular placeholder.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on unspecified 'suitable assumptions' on the time- and space-dependent coefficients a0, a1, a2; these are treated as domain assumptions typical for positivity and boundedness in such PDE models. No free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption Suitable assumptions on coefficients a0(t,x), a1(t,x), a2(t,x) (likely positivity, boundedness, and regularity)
    The uniqueness and stability hold only under these assumptions, which are invoked as the regime where the theorem applies.

pith-pipeline@v0.9.0 · 5914 in / 1207 out tokens · 24636 ms · 2026-05-24T04:30:18.128412+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

40 extracted references · 40 canonical work pages

  1. [1]

    E. E. E.Arenas, A. Stevens, and J. J. L. Vel´ azquez, Simul taneous finite time blow-up in a two-species model for chemotaxis, Analysis, 29(2009), 317-338

  2. [2]

    Bellomo, A

    N. Bellomo, A. Bellouquid, Y. Tao, and M. Winkler, Toward a mathematical theory of Keller-Segel models of pattern formation in biological tis sues, Math. Models Methods Appl. Sci., 25(9) (2015), 1663-1763

  3. [3]

    Discrete and Continuous Dy- namical Systems

    Halil Ibrahim Kurt, Wenxian Shen, Stabilization in two- species chemotaxis systems with singular sensitivity and Lotka-Volterra competitive kine tics. Discrete and Continuous Dy- namical Systems. doi: 10.3934/dcds.2023130 11

  4. [4]

    Halil Ibrahim Kurt, Wenxian Shen,Chemotaxis systems wi th singular sensitivity and logistic source: Boundedness, persistence, absorbing set , and entire solutions, Non- linear Analysis: Real World Applications , Volume 69, (2023),103762,ISSN 1468-1218, https://doi.org/10.1016/j.nonrwa.2022.103762

  5. [5]

    M. A. Herrero and J. J. L. Vel´ azquez, A blow-up mechanism for a chemotaxis model, Ann. Sc. Norm. Super. Pisa, Cl. Sci. , IV. Ser. 24 (1997), 633-683

  6. [6]

    M. A. Herrero, E. Medina, and J. J. L. Vel´ azquez, Singula rity patterns in a chemotaxis model, Math. Ann. , 306 (1996), 583-623

  7. [7]

    Hetzer and W

    G. Hetzer and W. Shen, Convergence in almost periodic com petition diffusion systems, J. Math. Anal. Appl. 262 (2001), 307-338

  8. [8]

    Hillen, K

    T. Hillen, K. J. Painter, A users guide to PDE models for ch emotaxis , Math. Biol. 58 (2009) 183-217

  9. [9]

    Horstmann, From 1970 until present: The Keller-Segel model in chemotaxis and its consequences, I

    D. Horstmann, From 1970 until present: The Keller-Segel model in chemotaxis and its consequences, I. Jber. DMW , 105 (2003), 103-165

  10. [10]

    Horstmann and G

    D. Horstmann and G. Wang, Blow-up in a chemotaxis model w ithout symmetry assump- tions, Eur. J. Appl. Math. , 12(2001), 159-177

  11. [11]

    Isenbach, Chemotaxis

    M. Isenbach, Chemotaxis. Imperial College Press , London (2004)

  12. [12]

    T. B. Issa and R. Salako, Asymptotic dynamics in a two-sp ecies chemotaxis model with non-local terms, Discrete Contin. Dyn. Syst. Ser. B , 22 (2017), no. 10, 3839-3874

  13. [13]

    T. B. Issa and W. Shen, Dynamics in chemotaxis models of p arabolic-elliptic type on bounded domain with time and space dependent logistic sourc es, SIAM J. Appl. Dyn. Syst. , 16 (2017), no. 2, 926-973

  14. [14]

    T. B. Issa and W. Shen, Persistence, coexistence and ext inction in two species chemo- taxis models on bounded heterogeneous environments, J. Dyn. Diff. Equat. , (2018). https://doi.org/10.1007/s10884-018-9686-7

  15. [15]

    T. B. Issa and W. Shen, Uniqueness and stability of coexi stence states in two species models with/without chemotaxis on bounded heterogeneous environ ments, Journal of Dynamics and Differential Equations (2018) https://doi.org/10.1007/s10884-018-9706-7

  16. [16]

    T. B. Issa and W. Shen, Pointwise persistence in full che motaxis models with logistic source on bounded heterogeneous environments, Journal of Mathematical Analysis and Ap- plications, 4¯90(1)(2020), 124204 . 12

  17. [17]

    T. B. Issa, R.B. Salako, W. Shen, Traveling wave solutio ns for two species competitive chemotaxis systems, Nonlinear Analysis , 212(2021),https://doi.org/10.1016/j.na.2021.112480

  18. [18]

    J¨ager and S

    W. J¨ager and S. Luckhaus, On explosions of solutions to a system of partial differential equations modeling chemotaxis, Trans. Amer. Math. Soc. , 329 (1992), 819-824

  19. [19]

    Doumat` e, Tahir B

    Jonas T. Doumat` e, Tahir B. Issa, Rachidi B. Salako, Com petition-exclusion and coexis- tence in a two-strain SIS epidemic model in patchy environme nts. Discrete and Continuous Dynamical Systems - B. (2023) doi: 10.3934/dcdsb.2023213

  20. [20]

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

  21. [21]

    E. F. Keller and L. A. Segel, A model for chemotaxis, J.Theoret. Biol., 30 (1971), 225-234

  22. [22]

    K. Kuto, K. Osaki, T. Sakurai, and T. Tsujikawa, Spatial pattern formation in a chemotaxis- diffusion-growth model. Physica D , 241 (2012), 1629-1639

  23. [23]

    D. A. Lauffenburger, Quantitative studies of bacterial c hemotaxis and microbial population dynamics Microbial. Ecol., 22(1991), 175-85

  24. [24]

    J. Li, Y. Ke, and Y. Wang, Large time behavior of solution s to a fully parabolic attraction- repulsion chemotaxis system with logistic source, Nonlinear Anal. Real World Appl. 39 (2018), 261-277

  25. [25]

    Lin and C

    K. Lin and C. Mu, Global dynamics in a fully parabolic che motaxis system with logistic source, Discrete Contin. Dyn. Syst. 36 (2016), no. 9, 5025-5046

  26. [26]

    Nagai, Blow-up of radially symmetric solutions of a c hemotaxis system, Adv

    T. Nagai, Blow-up of radially symmetric solutions of a c hemotaxis system, Adv. Math. Sci. Appl., 5 (198), 581-601

  27. [27]

    Nagai, Blowup of nonradial solutions to parabolic-e lliptic systems modeling chemotaxis in two-dimensional domains, J

    T. Nagai, Blowup of nonradial solutions to parabolic-e lliptic systems modeling chemotaxis in two-dimensional domains, J. Inequal. Appl. , 6 (2001), 37-55

  28. [28]

    Negreanu and J

    M. Negreanu and J. I. Tello, On a competitive system unde r chemotaxis effects with non- local terms, Nonlinearity, 26 (2013), 1083-1103

  29. [29]

    Negreanu and J

    M. Negreanu and J. I. Tello, Asysmptotic stability of a t wo species chemotaxis system with non-diffusive chemoattractant, J. Differential Eq. , 258 (2015), 1592-1617

  30. [30]

    K. J. Painter, and T. Hillen, Spatio-temporal chaos in a chemotaxis model. Physica D , 240(2011), 363-375 13

  31. [31]

    R. B. Salako and W. Shen, Global existence and asymptoti c behavior of classical solutions to a parabolic-elliptic chemotaxis system with logistic sour ce on RN , J. Differential Equations , 262(11) (2017), 5635-5690

  32. [32]

    R. B. Salako, W Shen, Parabolic–elliptic chemotaxis mo del with space–time-dependent logistic sources on RN . I. Persistence and asymptotic spreading, Mathematical Models and Methods in Applied Sciences 28(11) (2018), 2237-2273

  33. [33]

    R. B. Salako, W. Shen, Parabolic–elliptic chemotaxis m odel with space–time dependent logistic sources on RN . II. Existence, uniqueness, and stability of strictly posit ive entire solutions, Journal of Mathematical Analysis and Applications , 464 (1) (2018), 883-910

  34. [34]

    J. I. Tello, Mathematical analysis and stability of a ch emotaxis problem with a logistic growth term, Math. Methods Appl. Sci. , 27 (2004), 1865-1880

  35. [35]

    J. I. Tello and M. A. J. Chaplain, On the steady states and stability of solutions of a chemotaxis problem with a logistic growth term, Preprint

  36. [36]

    J. I. Tello and W. Winkler M, A chemotaxis system with log istic source, Common Partial Diff. Eq. , 32 (2007), 849-877

  37. [37]

    Winkler, Aggregation vs

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

  38. [38]

    Winkler, Blow-up in a higher-dimensional chemotaxi s system despite logistic growth restriction, Journal of Mathematical Analysis and Applications , 384(2011), 261-272

    M. Winkler, Blow-up in a higher-dimensional chemotaxi s system despite logistic growth restriction, Journal of Mathematical Analysis and Applications , 384(2011), 261-272

  39. [39]

    Winkler, Global asymptotic stability of constant eq uilibria in a fully parabolic chemo- taxis system with strong logistic damping, J

    M. Winkler, Global asymptotic stability of constant eq uilibria in a fully parabolic chemo- taxis system with strong logistic damping, J. Differential Equations. , 257 (2014), 1056-1077

  40. [40]

    Zheng, Boundedness and global asymptotic stability of constant equilibria in a fully parabolic chemotaxis system with nonlinear logistic sourc e, J

    J. Zheng, Boundedness and global asymptotic stability of constant equilibria in a fully parabolic chemotaxis system with nonlinear logistic sourc e, J. Math. Anal. Appl. 450 (2017), no. 2, 1047-1061. 14