Existence, uniqueness, stability, and monotonicity of traveling waves for repulsion/attraction chemotaxis models with logistic type source
Pith reviewed 2026-05-08 17:47 UTC · model grok-4.3
The pith
Traveling waves connecting (1,1) and (0,0) exist for the chemotaxis system when χ ≤ 0 with large speeds or when 0 < χ < 1/2 with any speed above 2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove the existence of traveling wave solutions of (CM) connecting (1,1) and (0,0) for any χ≤0 with speed c larger than some number c*_{χ,m,γ}, or for 0<χ<1/2 with any speed c>2. We prove that the traveling wave solutions are monotone when χ≤0. We also prove the uniqueness and stability of traveling wave solutions of (CM) connecting (1,1) and (0,0) when the speed c is larger than some number c**_{χ,m,α,γ}(≥c*_{χ,m,γ}).
What carries the argument
The traveling-wave ODE system obtained by substituting the ansatz u(x,t)=U(x-ct), v(x,t)=V(x-ct) into the PDE system (CM), analyzed via comparison principles, phase-plane methods and shooting arguments to establish heteroclinic orbits between the equilibria.
If this is right
- Monotonicity of the waves for χ ≤ 0 implies that the population density profile has no oscillations during invasion.
- Existence for every speed c > 2 when 0 < χ < 1/2 shows that mild positive sensitivity does not raise the minimal propagation speed above the linear threshold.
- Uniqueness and stability for large c imply that the invasion front is the unique asymptotic profile selected by the dynamics.
- The results hold for arbitrary powers m, α, γ ≥ 1 and therefore apply to models with nonlinear production or consumption of the chemical.
Where Pith is reading between the lines
- The speed thresholds c* and c** are likely to be the minimal speeds of propagation in the original time-dependent system, allowing direct prediction of spreading rates from the traveling-wave analysis.
- The comparison and phase-plane methods may carry over to the fully parabolic version of the model if analogous maximum principles remain available.
- Numerical continuation of the heteroclinic orbits for concrete parameter values could locate the exact value of c* and test its dependence on χ.
Load-bearing premise
The parameters satisfy m, α, γ ≥ 1 and χ lies in the stated ranges, so that standard comparison and phase-plane techniques apply directly to the traveling-wave ODE without further restrictions on the nonlinearities.
What would settle it
A numerical integration of the traveling-wave ODE that produces a non-monotone profile for some χ ≤ 0 and c > c*, or that fails to connect (1,1) to (0,0) for any c > c* when χ ≤ 0, would falsify the existence or monotonicity statements.
read the original abstract
This paper is devoted to the study of existence, uniqueness, stability, and monotonicity of traveling wave solutions to the following parabolic-elliptic chemotaxis system with logistic type source \begin{equation}\label{E:main-abstract-eq}\tag{CM} \begin{cases} u_t=u_{xx}-\chi(u^m v_x)_x +u(1-u^\alpha),\quad &x\in\mathbb{R}\cr 0=v_{xx}-v+u^\gamma,\quad&x\in\mathbb{R}, \end{cases} \end{equation} where $m,\alpha,\gamma\ge 1$ and $\chi\in\mathbb{R}$. System (CM) can be used to describe the evolution of a biological species influenced by a chemical substance produced by the species itself. In this context, the function $u$ denotes the population density of the biological species, and $v$ denotes the concentration of the chemical agent. Traveling wave solutions of (CM) connecting the two constant solutions $(1,1)$ and $(0,0)$ are among important types of solutions, which characterize the front propagation phenomena in (CM). The existence of such traveling wave solutions to (CM) with $m=\alpha=\gamma=1$ has been studied in several papers. However, there is little study on the uniqueness, stability, and monotonicity of traveling wave solutions of (CM) in literature and there is also no study on the existence of traveling wave solutions of (CM) connecting $(1,1)$ and $(0,0)$ for general $m,\alpha,\gamma\ge 1$. In the current paper, we prove the existence of traveling wave solutions of (CM) connecting $(1,1)$ and $(0,0)$ for any $\chi\le 0$ with speed $c$ large than some number $c^*_{\chi,m,\gamma}$, or for $0<\chi<1/2$ with any speed $c>2$. We prove that the traveling wave solutions are monotone when $\chi\le 0$. We also prove the uniqueness and stability of traveling wave solutions of (CM) connecting $(1,1)$ and $(0,0)$ when the speed $c$ is larger than some number $c^{**}_{\chi,m,\alpha, \gamma}(\ge c^*_{\chi,m,\gamma})$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves existence of traveling-wave solutions to the parabolic-elliptic chemotaxis system (CM) connecting (1,1) and (0,0) for χ ≤ 0 and c > c*_{χ,m,γ} or for 0 < χ < 1/2 and any c > 2; monotonicity of these waves when χ ≤ 0; and uniqueness plus stability when c > c**_{χ,m,α,γ} (≥ c*). The results hold for all m,α,γ ≥ 1 and are obtained via the traveling-wave ODE reduction, phase-plane analysis, comparison principles, and stability estimates.
Significance. If the proofs are complete, the work supplies the first general-parameter existence, monotonicity, uniqueness, and stability results for traveling waves in this class of models, extending the m=α=γ=1 literature and furnishing explicit speed thresholds that control front propagation.
major comments (2)
- [Traveling-wave ODE / §2–3] Traveling-wave ODE reduction (likely §2–3): after the ansatz ξ = x − ct the system becomes a 4D first-order ODE whose right-hand side contains the terms m u^{m−1} p q and u^γ (from (u^m q)' and the elliptic equation). These terms are continuous but not locally Lipschitz at the equilibrium (0,0,0,0) whenever 1 ≤ m < 2 or 1 ≤ γ < 2. Standard shooting, phase-plane, comparison, and uniqueness arguments invoked for existence, monotonicity, and stability all presuppose local Lipschitz continuity; the manuscript states the theorems for the full range m,α,γ ≥ 1 without regularization or alternative estimates, so the central claims rest on an unverified technical step precisely where the abstract asserts generality.
- [Existence for χ > 0] Existence statement for 0 < χ < 1/2 and c > 2: the threshold c = 2 is asserted to work for any such χ, yet the linearization at (0,0) is affected by the chemotactic term −χ(u^m v_x)_x whose contribution to the principal eigenvalue depends on m and γ. It is unclear whether the comparison or supersolution construction used to obtain the lower bound c > 2 remains valid uniformly in m,γ ≥ 1 when the nonlinearity is only Hölder continuous at zero.
minor comments (2)
- [Introduction / abstract] Notation for the speed thresholds c*_{χ,m,γ} and c**_{χ,m,α,γ} is introduced in the abstract but should be defined explicitly (e.g., via variational characterization or explicit formula) in the introduction or the existence section so that the relation c** ≥ c* is immediately verifiable.
- [Preliminaries] The elliptic equation is written as 0 = v_xx − v + u^γ; the manuscript should confirm that the same decay estimates at ±∞ hold for the general exponent γ ≥ 1 as for γ = 1, or supply the necessary modifications.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address each major comment below with clarifications on the technical steps in our proofs. Where appropriate, we indicate revisions that will be incorporated to make the arguments fully rigorous and transparent.
read point-by-point responses
-
Referee: Traveling-wave ODE reduction (likely §2–3): after the ansatz ξ = x − ct the system becomes a 4D first-order ODE whose right-hand side contains the terms m u^{m−1} p q and u^γ (from (u^m q)' and the elliptic equation). These terms are continuous but not locally Lipschitz at the equilibrium (0,0,0,0) whenever 1 ≤ m < 2 or 1 ≤ γ < 2. Standard shooting, phase-plane, comparison, and uniqueness arguments invoked for existence, monotonicity, and stability all presuppose local Lipschitz continuity; the manuscript states the theorems for the full range m,α,γ ≥ 1 without regularization or alternative estimates, so the central claims rest on an unverified technical step precisely where the abstract asserts generality.
Authors: We acknowledge that the vector field of the traveling-wave ODE is merely continuous (Hölder) rather than locally Lipschitz at the origin when 1 ≤ m < 2 or 1 ≤ γ < 2. Our analysis proceeds by first constructing monotone solutions in the region where u > 0 and away from the origin using standard phase-plane techniques, then verifying the connection to (0,0) via asymptotic matching with the linearized decay rates. Comparison principles and differential inequalities are applied in their integral form, which remain valid for continuous nonlinearities (see, e.g., standard references on traveling waves for degenerate diffusion). Uniqueness and stability estimates likewise rely on energy methods or comparison that do not require local Lipschitz continuity at the single equilibrium point. We will add a new subsection in §2 that explicitly justifies these extensions, including a brief proof that trajectories cannot leave the origin in finite time and that the shooting parameter can still be varied continuously. revision: yes
-
Referee: Existence for χ > 0: Existence statement for 0 < χ < 1/2 and c > 2: the threshold c = 2 is asserted to work for any such χ, yet the linearization at (0,0) is affected by the chemotactic term −χ(u^m v_x)_x whose contribution to the principal eigenvalue depends on m and γ. It is unclear whether the comparison or supersolution construction used to obtain the lower bound c > 2 remains valid uniformly in m,γ ≥ 1 when the nonlinearity is only Hölder continuous at zero.
Authors: The chemotactic contribution −χ(u^m v_x)_x is of strictly higher order near (0,0) for all m,γ ≥ 1. When m > 1 the factor u^m vanishes faster than linear; when γ > 1 the elliptic relation implies v = O(u^γ) with γ > 1, so the product is at least quadratic. In the boundary case m = γ = 1 the term enters the linearized operator with a coefficient controlled by χ < 1/2, which preserves the principal eigenvalue corresponding to the minimal speed 2 of the Fisher equation. Supersolutions are built from the explicit exponential solutions of the linearized problem and verified by direct substitution; the comparison principle holds in the weak (integral) sense, which is insensitive to the Hölder modulus at zero. This uniformity is already implicit in the proofs of Theorems 3.1–3.2. We will insert an explicit linearization calculation immediately after the statement of the existence result for χ > 0 to make the independence from m and γ transparent. revision: partial
Circularity Check
No circularity: standard traveling-wave ODE analysis with independently characterized thresholds
full rationale
The derivation begins from the traveling-wave ansatz applied to the given parabolic-elliptic system, yielding a first-order ODE whose equilibria and linearization determine the speed thresholds c* and c** via standard spectral or comparison arguments. These thresholds are not fitted to the nonlinear orbits nor defined in terms of the claimed existence/uniqueness results. Prior literature on the special case m=α=γ=1 is cited only for context; the general-case proofs rely on phase-plane techniques and comparison principles applied directly to the ODE, without load-bearing self-citation chains or self-definitional reductions. The paper is self-contained against external mathematical benchmarks once the ODE is written down.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard comparison principles and maximum principles hold for the parabolic-elliptic system under the given regularity assumptions on the nonlinearities.
- domain assumption The traveling-wave ODE obtained by the ansatz u(x-ct), v(x-ct) admits a phase-plane analysis with the stated equilibria.
Lean theorems connected to this paper
-
IndisputableMonolith.Cost.FunctionalEquation (J cost / φ ladder)washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
c*_{χ,m,γ} := max{1/m + m, 1/√(mγ|χ|+γ²|χ|+γ²) + √(mγ|χ|+γ²|χ|+γ²)}
-
IndisputableMonolith.Foundation (zero-parameter forcing chain)reality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
u_t = u_xx − χ(u^m v_x)_x + u(1−u^α); 0 = v_xx − v + u^γ, with m,α,γ ≥ 1 and χ ∈ ℝ as free model parameters
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]
S. Ai, W. Huang, and Z.-A. Wang, Reaction, diffusion and ch emotaxis in wave propagation, Discrete Contin. Dyn. Syst. Ser. B 20 (2015), no. 1, 1-21
work page 2015
-
[2]
S. Ai and Z.-A. Wang, Traveling bands for the Keller-Sege l model with population growth, Math. Biosci. Eng. 12 (2015), no. 4, 717-737
work page 2015
-
[3]
D. G. Aronson, Density-dependent interaction-diffusio n systems.Dynamics and modelling of reactive systems, (Proc. Adv. Sem., Math. Res. Center, Univ. Wisconsin, Madis on, Wis., 1979), pp. 161-176 Publication of the Mathematics Research Center, University of Wisconsin, 44
work page 1979
-
[4]
D. G. Aronson and H. F. Weinberger, Multidimensional non linear diffusions arising in population genetics, Adv. Math., 30 (1978), pp. 33-76
work page 1978
-
[5]
C. Atkinsonm G.E.H. Reuter, and C. J. Ridler-Rowe, Trave ling wave solution for some nonlinear diffusion equa- tions, SIAM J. Math. Anal. 12 (1981), no. 6, 880-892
work page 1981
- [6]
-
[7]
H. Berestycki, F. Hamel, and N. Nadirashvili, The speed o f propagation for KPP type problems, I - Periodic framework, J. Eur. Math. Soc. , 7 (2005), 172-213
work page 2005
-
[8]
H. Berestycki and G. Nadin, Asymptotic spreading for gen eral heterogeneous Fisher-KPP type, Mem. Amer. Math. Soc. 280 (2022), no. 1381, vi+100 pp
work page 2022
-
[9]
H. Berestycki, F. Hamel, and N. Nadirashvili, The speed o f propagation for KPP type problems, II - General domains, J. Amer. Math. Soc. , 23 (2010), no. 1, 1-34
work page 2010
-
[10]
Bir´ o, Stability of travelling waves for degenerate reaction-diffusion equations of KPP-type, Adv
Z. Bir´ o, Stability of travelling waves for degenerate reaction-diffusion equations of KPP-type, Adv. Nonlinear Stud. 2 (2002), no. 4, 357-371
work page 2002
-
[11]
M. Chae and K. Choi, Nonlinear stability of planar trave ling waves in a chemotaxis model of tumor angiogenesis with chemical diffusion, J. Differential Equations , 268 (2020), no. 7, 3449-3496
work page 2020
- [12]
-
[13]
Y. Chen, and F. Zou, Nonlinear stability of strong trave ling waves for a chemotaxis model with logarithmic sensitivity and periodic perturbations, Math. Methods Appl. Sci. 46 (2023), no. 14, 15123-15146
work page 2023
-
[14]
Fisher, The wave of advance of advantageous genes., Ann of Eugenics , 7 (1937), 335-369
R. Fisher, The wave of advance of advantageous genes., Ann of Eugenics , 7 (1937), 335-369
work page 1937
-
[15]
Freidlin, On wave front propagation in periodic medi a
M. Freidlin, On wave front propagation in periodic medi a. In: Stochastic analysis and applications, ed. M. Pinsky, Advances in probablity and related topics , 7:147-166, 1984
work page 1984
-
[16]
M. Freidlin and J. G¨ artner, On the propagation of conce ntration waves in periodic and ramdom media, Soviet Math. Dokl. , 20 (1979), 1282-1286
work page 1979
- [17]
-
[18]
E. Galakhov, O. Salieva, and J. I. Tello, On a parabolic- elliptic system with chemotaxis and logistic type growth, J. Differential Equations , 261 (2016), no. 8, 4631-4647
work page 2016
-
[19]
D. Gilbarg and N. S. Trudinger, Elliptic partial differe ntial equations of second order, 2nd edition, Springer, 1983
work page 1983
-
[20]
B. H. Gilding, and R. Kersner, Travelling waves in nonli near diffusion-convection reaction, Progr. Nonlinear Differential Equations Appl., 60, 2004
work page 2004
-
[21]
Q. Griette, C. Henderson, and O. Turanova, Speed-up of t raveling waves by negative chemotaxis, J. Funct. Anal. 285 (2023), no. 10, Paper No. 110115, 67 pp
work page 2023
-
[22]
F. Hamel and C. Henderson, Propagation in a Fisher-KPP e quation with non-local advection, J. Funct. Anal. 278 (2020), no. 7, 108426, 53 pp
work page 2020
- [23]
-
[24]
Henderson, Slow and fast minimal speed traveling wav es of the FKPP equation with chemotaxis, J
C. Henderson, Slow and fast minimal speed traveling wav es of the FKPP equation with chemotaxis, J. Math. Pures Appl. (9) 167 (2022), 175-203. 48
work page 2022
-
[25]
C. Henderson and M. Rezek, Traveling waves for the Kelle r-Segel-FKPP equation with strong chemotaxis, J. Differential Equations , 379 (2024), 497-523
work page 2024
-
[26]
D. Henry, , Geometric Theory of Semilinear Parabolic Eq uations, Springer-Verlag Berlin Heidelberg New York, 1981
work page 1981
-
[27]
D. Horstmann and A. Stevens, A constructive approach to traveling waves in chemotaxis, J. Nonlin. Sci. , 14 (2004), 1-25
work page 2004
-
[28]
Kolmogorov, I/ Petrowsky, and N
A. Kolmogorov, I/ Petrowsky, and N. Piskunov, A study of the equation of diffusion with increase in the quantity of matter, and its application to a biological problem, Bjul Moskovskogo Gos Univ , 1 (1931), 1-26
work page 1931
-
[29]
J. Li, T. Li, and Z.-A. Wang, Stability of traveling wave s of the Keller-Segel system with logarithmic sensitivity, Math. Models Methods Appl. Sci. 24 (2014), no. 14, 2819-2849
work page 2014
-
[30]
X. Liang and X.-Q. Zhao, Asymptotic speeds of spread and traveling waves for monotone semiflows with appli- cations, Comm. Pure Appl. Math. , 60 (2007), no. 1, 1-40
work page 2007
-
[31]
X. Liang and X.-Q. Zhao, Spreading speeds and traveling waves for abstract monostable evolution systems, Journal of Functional Analysis , 259 (2010), 857-903
work page 2010
-
[32]
S. Liu, J. Li, and L. Xu, Nonlinear stability of planar tr aveling waves to a multidimensional parabolic-hyperbolic system arising from chemotaxis, J. Differential Equations , 439 (2025), Paper No. 113414, 52 pp
work page 2025
-
[33]
B. P. Marchant, J. Norbury, and J. A. Sherratt, Travelli ng wave solutions to a haptotaxis-dominated model of malignant invasion, Nonlinearity, 14 (2001), 1653-1671
work page 2001
-
[34]
Nadin, Traveling fronts in space-time periodic medi a, J
G. Nadin, Traveling fronts in space-time periodic medi a, J. Math. Pures Anal. , 92 (2009), 232-262
work page 2009
- [35]
- [36]
-
[37]
J. Nolen and J. Xin, Existence of KPP type fronts in space -time periodic shear flows and a study of minimal speeds based on variational principle, Discrete and Continuous Dynamical Systems , 13 (2005), 1217-1234
work page 2005
-
[38]
R. B. Salako, Traveling waves of a full parabolic attrac tion-repulsion chemotaxis system with logistic source, Discrete Contin. Dyn. Syst. 39 (2019), no. 10, 5945-5973
work page 2019
-
[39]
R. B. Salako and W. Shen, Global existence and asymptoti c behavior of classical solutions to a parabolic-elliptic chemotaxis system with logistic source on RN , J. Differential Equations , 262 (2017), no. 11, 5635-5690
work page 2017
-
[40]
R. B. Salako and W. Shen, Spreading speeds and traveling waves of a parabolic-elliptic chemotaxis system with logistic source on RN , Discrete Contin. Dyn. Syst. 37 (2017), no. 12, 6189-6225
work page 2017
-
[41]
R. B. Salako and W. Shen, Existence of traveling wave sol utions of parabolic-parabolic chemotaxis systems, Nonlinear Anal. Real World Appl. 42 (2018), 93-119
work page 2018
-
[42]
R.B. Salako and W. Shen, Global classical solutions, st ability of constant equilibria, and spreading speeds in attraction-repulsion chemotaxis systems with logistic so urce on RN , J. Dynam. Differential Equations , 31 (2019), no. 3, 1301-1325
work page 2019
-
[43]
R. B. Salako and W. Shen, Existence of traveling wave sol utions to parabolic-elliptic-elliptic chemotaxis system s with logistic source, Discrete Contin. Dyn. Syst. Ser. S 13 (2020), no. 2, 293-319
work page 2020
-
[44]
R. B. Salako and W. Shen, Traveling wave solutions for fu lly parabolic Keller-Segel chemotaxis systems with a logistic source, Electron. J. Differential Equations , (2020), Paper No. 53, 18 pp
work page 2020
-
[45]
R. B. Salako, W. Shen, and S. Xue, Can chemotaxis speed up or slow down the spatial spreading in parabolic- elliptic Keller-Segel systems with logistic source? J. Math. Biol. 79 (2019), no. 4, 1455-1490
work page 2019
-
[46]
W. Shen, Variational principle for spatial spreading s peeds and generalized propgating speeds in time almost and space periodic KPP models, Trans. Amer. Math. Soc. , 362 (2010), 5125-5168
work page 2010
-
[47]
W. Shen, Existence of generalized traveling waves in ti me recurrent and space periodic monostable equations, J. Appl. Anal. Comput. , 1 (2011), 69-93
work page 2011
-
[48]
D. H. Sattinger, On the stability of waves of nonlinear p arabolic systems, Advances in Math. 22 (1976), no. 3, 312-355
work page 1976
-
[49]
D. H. Sattinger, Weighted norms for the stability of tra veling waves, J. Differential Equations , 25 (1977), no. 1, 130-144. 49
work page 1977
-
[50]
Wang, Mathematics of traveling waves in chemotax is—review paper, Discrete Contin
Z.-A. Wang, Mathematics of traveling waves in chemotax is—review paper, Discrete Contin. Dyn. Syst. Ser. B 18 (2013), no. 3, 601-641
work page 2013
-
[51]
H. F. Weinberger, Long-time behavior of a class of biolo gy models, SIAM J. Math. Anal. , 13 (1982), 353-396
work page 1982
-
[52]
H. F. Weinberger, On spreading speeds and traveling wav es for growth and migration models in a periodic habitat, J. Math. Biol. , 45 (2002), 511-548
work page 2002
-
[53]
Zlatoˇ s, Transition fronts in inhomogeneous Fisher-KPP reaction-diffusion equations, J
A. Zlatoˇ s, Transition fronts in inhomogeneous Fisher-KPP reaction-diffusion equations, J. Math. Pures Appl. (9) 98 (2012), no. 1, 89-102. 50
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.