Pith. sign in

REVIEW 3 major objections 5 minor 32 references

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

T0 review · 3 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read The 1D hyperbolic Keller-Segel system admits entropy-admissible traveling waves for every speed; non-vacuum profiles are necessarily continuous.

desk verdict The vacuum half of this paper is new and sound; the non-vacuum half, as written, rests on a false inequality that leaves Theorem 1.2's main clause unproved, though the flaw is local and fixable. read the letter →

arxiv 2608.12226 v1 pith:IS56FTXH submitted 2026-08-12 math.AP

classification math.AP MSC 35D3035L0335Q92
keywords hyperbolicKeller-SegelequationstravelingwavesolutionsquorumsensitivityentropyweakRankine-Hugoniotjumpconditionsvacuumfarfieldnon-vacuumnon-uniqueness
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

This paper proves that the one-dimensional hyperbolic Keller-Segel system with quorum sensitivity admits traveling wave solutions for every wave speed, under a one-sided far-field condition. The waves are piecewise smooth in the moving frame and satisfy the entropy inequality at any discontinuity. In the vacuum far-field case the profiles may be continuous or contain exactly one jump, with the jump direction fixed by the sign of the speed. In the non-vacuum case all traveling profiles are continuous and split into four families according to the sign of the speed and whether the density lies above or below the far-field value. The construction matters because it supplies explicit global weak solutions and shows that the entropy inequality alone does not select a unique solution.

What carries the argument

The organizing object is the reduced profile system obtained in the moving frame $\xi=x-ct$. Integrating the first PDE once and using the far-field condition fixes a flux constant: in the vacuum case the zero-flux relation $-c\sigma_c+\sigma_c(1-\sigma_c)\partial_\xi S_c=0$, and in the non-vacuum case equation (5.13). On any interval where $\sigma_c>0$ this relation expresses $\sigma_c$ algebraically in terms of $\partial_\xi S_c$, converting the PDE pair into a two-dimensional ODE system for $(S_c,\partial_\xi S_c)$; the entropy inequality supplies Rankine-Hugoniot conditions (2.8)-(2.10) that select admissible jumps. For the non-vacuum case the algebraic relation is a quadratic, $p(x)=0$, and the proof of continuity rests on the fact that $p(\sigma_\infty)<0$, so the two possible values at a jump would straddle $\sigma_\infty$ and force a sign change in $\partial_\xi S_c$, violating the entropy condition.

What would settle it

Numerically shoot the non-vacuum profile equations with far-field data $\sigma(-\infty)=\sigma_\infty$, $S(-\infty)=\sigma_\infty$, but $\partial_\xi S(-\infty)=\delta\neq 0$: any bounded entropy-admissible solution of (1.1) found this way would lie outside the four families of Propositions 5.7-5.10 and would refute exhaustiveness of the classification.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.2: for every $c\in\mathbb{R}$ there exist traveling wave solutions $\sigma(t,x)=\sigma_c(x-ct)$, $S(t,x)=S_c(x-ct)$ of system (1.1) satisfying the entropy inequality (2.4), with either vacuum far field (1.2) or non-vacuum far field (1.3). In the vacuum case the classification gives continuous right-going and left-going profiles as well as profiles with a single jump, with the entropy condition permitting a jump only between a vacuum state and a non-vacuum state and fixing the required sign of the speed. In the non-vacuum case, for $\sigma_\infty\in(0,1)$, Propositions 5.6 through 5.10 show that every non-trivial traveling profile is continuous, never touches the far-field value except at infinity, and belongs to one of four families determined by the sign of $c$ and whether $\sigma_c$ stays above or below $\sigma_\infty$. A companion classification of stationary solutions gives one-parameter families with a single jump. The paper's stated conclusion is that these results provide explicit examples of the non-uniqueness of entropy-admissible weak solutions and highlight the limitations of the entropy condition as a selection criterion.

Load-bearing premise

The load-bearing assumption is that the profile reaches its far-field equilibrium with $\partial_\xi S_c\to 0$, because that is what fixes the integration constant; if a bounded front approaches infinity with a non-vanishing or oscillatory derivative, the classification need not be exhaustive.

Editorial extensions

If this is right

  • For every speed $c$ there is an explicit global weak solution to (1.1), so the entropy-admissible solution set is non-empty beyond the stationary states.
  • With vacuum far field, entropy permits both continuous and single-jump traveling waves; the jump must connect vacuum to a non-vacuum state, with $c<0$ for a vacuum-to-active jump and $c>0$ for an active-to-vacuum jump.
  • With non-vacuum far field in $(0,1)$, no entropy-admissible traveling wave can carry a shock; any moving discontinuity would have to connect states on opposite sides of $\sigma_\infty$, which contradicts the jump sign condition.
  • The stationary classification includes one-parameter families of piecewise smooth solutions, giving further concrete instances where the entropy inequality fails to single out a unique weak solution.
  • The saturated case $\sigma_\infty=1$ is reduced to the vacuum case by the change of variables $\eta=1-\sigma$, $Q=1-S$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the one-sided semi-wave convention were replaced by a two-sided far-field condition, the integration constant in the flux relation would generally be nonzero; the classification would likely become a family parameterized by that constant, and shocks connecting non-vacuum states might reappear.
  • The non-vacuum no-jump result suggests that, for initial data near a non-vacuum equilibrium, shocks formed dynamically by the Burgers-type nonlinearity cannot asymptotically persist as traveling discontinuities; they must either be smoothed out or leave the observable profile.
  • A natural next step is a stability analysis of these explicit profiles; the exponential asymptotics in Propositions 5.7-5.10 give concrete linearized operators for such a study.
  • One could test exhaustiveness numerically by shooting from the far field with a modified boundary condition on $\partial_\xi S_c$; a bounded entropy-admissible profile found there would lie outside the stated classification.
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

3 major / 5 minor

Summary. The paper constructs stationary and traveling wave solutions for the one-dimensional hyperbolic Keller-Segel system with quorum sensitivity, under one-sided far-field conditions. For the vacuum far-field case it classifies stationary profiles and builds both continuous and single-jump traveling waves for c>0 and c<0. For the non-vacuum far-field case, after reducing σ∞=1 by symmetry, it claims that all nontrivial traveling profiles are continuous and characterizes them by four families. The intended contribution is to exhibit explicit entropy-admissible weak solutions and thereby show that the entropy condition alone does not select uniqueness. The stationary and vacuum sections are largely self-contained and explicit, with jump conditions checked by hand. The non-vacuum construction, however, rests on a comparison estimate, Eq. (5.36), that is algebraically false, and the claimed global exponential bounds in Propositions 5.7–5.10 are therefore unsupported. The proof of the entropy jump condition in Proposition 2.1 is also circular as written.

Significance. If the non-vacuum part were correctly proved, the paper would give a valuable explicit family of entropy-admissible weak solutions, including piecewise smooth profiles, and would provide a clean demonstration that the entropy inequality (2.4) is not a uniqueness selection criterion. The stationary and vacuum traveling-wave constructions are explicit, parameterized by A0, c, and σ∞, and the entropy checks for those jumps are concrete and verifiable. These parts represent a solid contribution. However, the main theorem’s non-vacuum clause is load-bearing for the paper’s central claim, and that clause is not established as printed because Eq. (5.36) is false and because the proof of Proposition 2.1 is circular. The defect is local and appears fixable in principle, but it is not a presentational issue: it directly invalidates the derivation of (5.37) and hence the asserted asymptotics and global existence in Propositions 5.7–5.10.

major comments (3)
  1. [§5.3.1, Eq. (5.36)] Equation (5.36) is false. With V=Tc+Rc/(2c), equation (5.35) gives ∂ξV=Rc+αTc with α=1/(2c)−σc(1−σc)/c ∈ [1/(4c), 1/(2c)). The claimed lower bound (1/(4c)+2c)V ≤ ∂ξV would require Rc(1−(1/(4c)+2c)/(2c)) + Tc(α−(1/(4c)+2c)) ≥ 0. Since (1/(4c)+2c)/(2c) = 1/(8c^2)+1 > 1, the coefficient of Rc is negative, so the inequality fails whenever Rc is large relative to Tc. For example, c=0.1, Rc=1, Tc=0.01 satisfy (5.35) but give ∂ξV ≈ 1.025–1.05, whereas (1/(4c)+2c)V ≈ 13.5. Consequently the exponential bounds (5.37) are unsupported. Since Proposition 5.7 items 2–3 use (5.37) for global existence and asymptotics, and since Propositions 5.8–5.10 say the proof follows by analogous comparison arguments, the non-vacuum half of Theorem 1.2 is not proved as written. A correct lower comparison coefficient would have to be of the form min(2c, 1/(4c)) (or arise from a different c-dependent estimate), not the sum 2c+1/(4c).
  2. [§2, Proposition 2.1] The proof of Proposition 2.1 is circular. After deriving the Rankine–Hugoniot relations (2.14)–(2.16), the authors introduce Kružkov entropies and, in the case σ−≤σ0≤σ+, write “Thus (2.10) implies (2.19)” and similarly in the reverse case. But (2.10) is exactly the statement being proved. The entropy inequality (2.16) should be used to derive (2.19) and its counterpart; as printed, the key jump condition (2.10), which is used throughout Sections 3–5 to rule out discontinuities, is not established. This is a local but load-bearing gap in the admissibility verification.
  3. [§5.3.1, integral curve construction] The construction of the integral curve for (5.38) through (R++,Y++)=(0,0) is not fully justified. The right-hand side of (5.38) is not Lipschitz in Y at Y=0, because σc(√Y) has the expansion σ∞+c1√Y+o(√Y) with c1>0 by (5.39), so the Picard–Lindelöf theorem does not apply at the origin. The ε→0 limit and bootstrap give a solution, but the sentence “Thus one can conclude that (R++,Y++,0(R++)) is the unique integral curve for (5.38) passing through (R++,Y++)=(0,0)” does not follow from the displayed estimates; multiple tangent directions at the origin are not excluded. Since Proposition 5.7 item 1 asserts uniqueness of this curve, the non-vacuum classification needs an additional argument here.
minor comments (5)
  1. [§5.3.3 and §5.3.4] In Propositions 5.9 and 5.10, item 2 says the ODE system is “with (5.46)”, but for those cases the correct formulas are (5.51) and (5.56), respectively.
  2. [§4.3.1, after (4.67)] The sentence “for some 0<−2c<c1” is unclear; presumably a positive lower bound comparable to |c| was intended, and the notation should be made precise.
  3. [§5.3.1, after (5.37)] The phrase “provided that the solution to (5.30)” is an incomplete sentence; it should read “provided that the solution to (5.30) exists.”
  4. [§4.2.2, paragraph before Proposition 4.7] The argument that ξ2=∞ should state explicitly that continuity of Sc and Yc at ξ2 follows from (2.8); as written the contradiction in (4.53) is compressed and easy to misread.
  5. [§6 Conclusion] The phrase “complete classification” overstates what is proved: the theorems establish existence of explicit families, and for the non-vacuum case the classification claim is conditional on Definition 4.1 and on the repairs described above. The wording of the conclusion should be aligned with the precise statements of Theorems 1.1–1.2.

Circularity Check

1 steps flagged · score 2.0 of 10

Only circular thread is a proof-direction slip in Proposition 2.1; the traveling-wave constructions themselves are self-contained and do not reduce to fitted inputs.

  1. other [Section 2, proof of Proposition 2.1, Eqs. (2.18)–(2.20)]
    "Thus (2.10) implies ∂xS(σ0−σ+)(σ0−σ−)≥0.(2.19) Similarly, for σ+≤σ0≤σ−, one has that ∂xS(σ0−σ+)(σ0−σ−)≤0.(2.20) This finishes the proof of Proposition 2.1."

    Proposition 2.1 is supposed to derive the jump conditions, including the sign condition (2.10), from the entropy inequality (2.4)/(2.16). Instead, the proof inserts (2.10) itself as an assumption to obtain the intermediate inequalities (2.19)–(2.20), then immediately concludes. Thus the target condition (2.10) is assumed rather than shown to follow from the entropy inequality; no independent derivation of (2.10) from (2.16) is displayed. The surrounding algebra indicates the intended reverse implication, so this is a logical-direction slip rather than a deep circularity, but as printed it is a genuine instance of using the conclusion as an input.

full rationale

This is a pure PDE construction paper. No parameter is fitted to data, no output quantity is defined in terms of the claim being proved, and no load-bearing result is imported from a self-citation chain. The main traveling-wave constructions start from the ansatz (4.1), integrate (4.2a) to obtain the zero-flux relation (4.4), and solve the resulting first-order ODE systems independently of the theorems being asserted; the vacuum and non-vacuum classifications are obtained from those ODEs, not from the claimed existence. The one-sided far-field convention in Definition 4.1 is a stated modeling assumption that fixes the integration constant; it is not derived from, nor identical to, the claimed existence result, so it is not circular. The only circular-seeming passage is in the proof of Proposition 2.1, where the target sign condition (2.10) is used to verify (2.19)–(2.20) and the proof then stops. Because the reverse implication from the entropy inequality (2.16) to (2.10) is elementary and the rest of the paper's profile constructions do not depend numerically on this slip, this is a presentation-level logical inversion rather than substantive circularity. The algebraic defect in (5.36) identified by the reviewer is a correctness concern, not a circularity, and is therefore not counted in this score.

Assumptions & free parameters 5 free parameters · 4 assumptions · 0 invented entities

The paper introduces no new physical entities and fits no data. The central existence results rest on standard entropy and ODE theory plus the modeling choice of one-sided far fields. The listed free parameters are the family parameters that appear in the theorems, not hidden fitted constants.

free parameters (5)
  • A0
    For vacuum far-field stationary solutions (Theorem 1.1), A0≤0 is an arbitrary amplitude; it sets the jump data via (3.12).
  • c
    The traveling wave speed; Theorem 1.2 claims existence for all real c, with c=0 corresponding to stationary solutions.
  • σ∞
    The non-vacuum far-field density in (0,1); the case σ∞=1 is mapped to the vacuum case by the change of variables in Section 5.1.
  • A
    For left-going discontinuous waves (Proposition 4.9), any A<c<0 parameterizes the vacuum branch before the jump.
  • R++ and analogous R+-, R-+, R--
    In Propositions 5.7-5.10, arbitrary values of the integral-curve coordinate select initial data on the stable manifold; these parameterize one-parameter families of non-vacuum traveling waves.
assumptions (4)
  • standard math Weak solutions and Kružkov entropy pairs are used as the admissibility framework; the entropy inequality (2.4) is imposed at shocks.
    Invoked in Section 2 to derive the jump conditions and in every construction to select admissible discontinuities.
  • standard math For σ∈L∞, the elliptic equation -S''+S=σ has S∈W^{2,p} with S and S' continuous, so [[S]]=[[S']]=0 holds at jumps.
    Used in Proposition 2.1 and throughout Sections 3-5 to patch piecewise profiles.
  • standard math Picard-Lindelöf existence, Gronwall's inequality, and Arzela-Ascoli compactness justify the ODE constructions and the integral-curve limits in Sections 4 and 5.
    Used for Propositions 4.4, 4.7, 4.9, 5.7-5.10, and Lemmas 4.5-4.6.
  • domain assumption The one-sided far-field convention permits profiles whose second equilibrium is replaced by unbounded growth or decay of S at the opposite infinity.
    Definition 4.1 imposes the equilibrium only at one spatial infinity; without this convention, the families, especially those with S→∞ or S→-∞, would not be admissible and the classification would change.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The traveling wave solutions of the 1D hyperbolic Keller-Segel equations." pith.science (2026). https://pith.science/paper/IS56FTXH

@misc{pith2026260812226,
  author       = {Pith},
  title        = {Pith review of: The traveling wave solutions of the 1D hyperbolic Keller-Segel equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IS56FTXH}},
  note         = {Machine review of arXiv:2608.12226}
}
read the original abstract

The goal of this paper is to investigate the traveling wave solutions with one-sided far field conditions for the one-dimensional hyperbolic Keller-Segel equations with quorum sensitivity. The traveling wave solutions are piece-wise smooth in the moving coordinate, and satisfy the entropy inequality at the discontinuity.

Figures

Figures reproduced from arXiv: 2608.12226 by the authors.

Figure 1
Figure 1. Solution (3.19) for x0 = 0, A0 = 0 or (3.27), below −4 −3 −2 −1 0 1 2 3 4 −1 0 1 x Value Ss(x) σs(x) [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. Solution (3.19) for x0 = 0, A0 = −1 and hence C0e x0 = D0e −x0 = − 1 2 . (3.22) Moreover, (3.20) satisfies the entropy condition (2.10). At x = x1, we claim that it is impossible to have a jump from Type II (3.8) to Type III (3.9). Indeed, thanks to (3.22), we have C0, D0 < 0. Since x1 > x0, one has that ∂xSs(x1) = C0e x1 − D0e −x1 < C0e x0 − D0e −x0 = 0. (3.23) But any Type III solution has ∂xSs = 0. This violates … view at source ↗
Figure 3
Figure 3. Sample of traveling wave profile σc(ξ), c > 0, from Proposition 4.4 To show proposition 4.4, thanks to lemma 4.3, one has (4.13). Without loss of generality, we assume that ξ0 = 0 and it is the largest number such that σc is vaccum on the left. That is, 0 = sup{ξ0|σc(ξ) ≡ 0, ∀ ξ < ξ0}. (4.19) Therefore (4.2b) implies −∂ξξSc + Sc = 0 ∀ ξ < 0. (4.20) Thanks to (4.3), one can solve from (4.20) that Sc(ξ) = Aeξ , ∂ξSc(ξ… view at source ↗
Figures from the paper (5 more)
Figure 4
Figure 4. Figure 4: Sample of traveling wave profile σc(ξ), c > 0, from Proposition 4.7 4.3 Left-going traveling wave solutions 4.3.1 Left-going continuous traveling wave, i.e., c < 0 We consider c < 0. Following the same arguments as in section 4.2.1, without loss of generality, assume t…
Figure 5
Figure 5. Figure 5: Sample of traveling wave profile σc(ξ), c < 0, from Proposition 4.9 5 Non-vacuum far field In this section, we consider system (1.1) with non-vacuum far field (1.3). 19 [PITH_FULL_IMAGE:figures/full_fig_p019_5.png]
Figure 6
Figure 6. Figure 6: Solution (1.5)–(1.6) with x0 = 0, σ∞ = 1/4 with Ss(x0) = σ∞ = 1 + C0e x0 + D0e −x0 ∈ (0, 1), 0 = ∂xSs(x0) = C0e x0 − D0e −x0 . (5.9) In particular, C0e x0 = D0e −x0 = σ∞ − 1 2 < 0, C0, D0 < 0. (5.10) Thus, at x = x1 > x0, one will have ∂xSs(x1) = C0e x1 − D0e −x1 < C0e…
Figure 7
Figure 7. Figure 7: Solution (1.7)–(1.8) with x0 = 0, σ∞ = 1/4 5.3 Traveling wave solutions Consider (4.1)–(4.2) with σc(ξ), Sc(ξ) → σ∞, as ξ → −∞. (5.12) Then integrating (4.2a) once yields −cσc + σc(1 − σc)∂ξSc = −cσ∞. (5.13) 21 [PITH_FULL_IMAGE:figures/full_fig_p021_7.png]
Figure 8
Figure 8. Figure 8: Sample of traveling wave profile σc(ξ) > σ∞ = 1/4, c > 0, from Proposition 5.7 5.3.2 The case when σc > σ∞ and c < 0. Thanks to proposition 5.6, we have Tc = ∂ξSc < 0. Thus from (5.30), one has Rc(ξ) = Z ξ −∞ Tc(ξ ′ ) dξ′ < 0. (5.44) Moreover, p = p(x) from (5.27), one…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 29 canonical work pages

  1. [1]

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

    Jaewook Ahn, Jae-Myoung Kim, and Junha Kim. Stability and instability for the fully parabolic Keller-Segel system around constant equilibrium, July 2026. arXiv:2607.10384 [math.AP]

  2. [2]

    On the blow-up profile of Keller–Segel–Patlak system

    Xueli Bai and Maolin Zhou. On the blow-up profile of Keller–Segel–Patlak system. Mathematische Annalen, 392(1):313–337, May 2025

  3. [3]

    Carrillo, and Philippe Lauren¸ cot

    Adrien Blanchet, Jos´ e A. Carrillo, and Philippe Lauren¸ cot. Critical mass for a Pat- lak–Keller–Segel model with degenerate diffusion in higher dimensions.Calculus of Variations and Partial Differential Equations, 35(2):133–168, June 2009

  4. [4]

    Carrillo, and Nader Masmoudi

    Adrien Blanchet, Jos´ e A. Carrillo, and Nader Masmoudi. Infinite time aggre- gation for the critical Patlak-Keller-Segel model in$\mathbb Rˆ2$.Commu- nications on Pure and Applied Mathematics, 61(10):1449–1481, 2008. eprint: https://onlinelibrary.wiley.com/doi/pdf/10.1002/cpa.20225

  5. [5]

    Adrien Blanchet, Jean Dolbeault, and Benoˆ ıt Perthame. Two-dimensional Keller-Segel model: Optimal critical mass and qualitative properties of the solutions.Electronic Journal of Differential Equations (EJDE) [electronic only], 2006:Paper No. 44, 33 p., electronic only–Paper No. 44, 33 p., electronic only, 2006. 30

  6. [6]

    Bouchut and B

    F. Bouchut and B. Perthame. Kruzkov’s estimates for scalar conservation laws revisited. Transactions of the American Mathematical Society, 350(7):2847–2870, 1998

  7. [7]

    Existence of smooth solutions to coupled chemotaxis-fluid equations.Discrete and Continuous Dynamical Systems, 33(6):2271–2297, December 2012

    Myeongju Chae, Kyungkeun Kang, and Jihoon Lee. Existence of smooth solutions to coupled chemotaxis-fluid equations.Discrete and Continuous Dynamical Systems, 33(6):2271–2297, December 2012

  8. [8]

    Uniqueness and Long Time Asymp- totic for the Keller–Segel Equation: The Parabolic–Elliptic Case.Archive for Rational Mechanics and Analysis, 220(3):1159–1194, June 2016

    Giani Ega˜ na Fern´ andez and St´ ephane Mischler. Uniqueness and Long Time Asymp- totic for the Keller–Segel Equation: The Parabolic–Elliptic Case.Archive for Rational Mechanics and Analysis, 220(3):1159–1194, June 2016

Show all 32 references
  1. [9]

    On convergence to equilibria for the Keller–Segel chemotaxis model.Journal of Differential Equations, 236(2):551– 569, May 2007

    Eduard Feireisl, Philippe Lauren¸ cot, and Hana Petzeltov´ a. On convergence to equilibria for the Keller–Segel chemotaxis model.Journal of Differential Equations, 236(2):551– 569, May 2007

  2. [10]

    Strong so- lutions to the Keller-Segel-Navier-Stokes system in bounded Lipschitz domains, May

    Matthias Hieber, Hideo Kozono, Sylvie Monniaux, and Patrick Tolksdorf. Strong so- lutions to the Keller-Segel-Navier-Stokes system in bounded Lipschitz domains, May

  3. [11]

    Hillen and K

    T. Hillen and K. J. Painter. A user’s guide to PDE models for chemotaxis.Journal of Mathematical Biology, 58(1):183–217, January 2009

  4. [12]

    Nieders¨ achsische Staats- und Universit¨ atsbibliothek, 2003

    Dirk Horstmann.From 1970 Until Present: the Keller-Segel Model in Chemotaxis and Its Consequences. Nieders¨ achsische Staats- und Universit¨ atsbibliothek, 2003. Google- Books-ID: SfL xwEACAAJ

  5. [13]

    Long-time dynamics of classical Keller–Segel equation

    Chia-Yu Hsieh and Yong Yu. Long-time dynamics of classical Keller–Segel equation. Nonlinear Analysis: Real World Applications, 76:104026, April 2024

  6. [14]

    Keller and Lee A

    Evelyn F. Keller and Lee A. Segel. Initiation of slime mold aggregation viewed as an instability.Journal of Theoretical Biology, 26(3):399–415, March 1970

  7. [15]

    Existence and uniqueness theorem on weak solutions to the parabolic–elliptic Keller–Segel system.Journal of Differential Equations, 253(7):2295–2313, October 2012

    Hideo Kozono, Yoshie Sugiyama, and Yumi Yahagi. Existence and uniqueness theorem on weak solutions to the parabolic–elliptic Keller–Segel system.Journal of Differential Equations, 253(7):2295–2313, October 2012

  8. [16]

    S. N. Kruˇ zkov. FIRST ORDER QUASILINEAR EQUATIONS IN SEVERAL INDE- PENDENT VARIABLES.Mathematics of the USSR-Sbornik, 10(2):217, February 1970

  9. [17]

    Threshold for shock formation in the hyperbolic Keller–Segel model.Applied Mathematics Letters, 50:56–63, December 2015

    Yongki Lee and Hailiang Liu. Threshold for shock formation in the hyperbolic Keller–Segel model.Applied Mathematics Letters, 50:56–63, December 2015

  10. [18]

    Finite time blowup for Keller-Segel equation with logistic damping in three dimensions, July 2025

    Jiaqi Liu, Yixuan Wang, and Tao Zhou. Finite time blowup for Keller-Segel equation with logistic damping in three dimensions, July 2025. arXiv:2504.12231 [math]

  11. [19]

    Large friction limit of the almost pressureless Euler-Poisson system, March

    Xin Liu. Large friction limit of the almost pressureless Euler-Poisson system, March

  12. [20]

    Global well-posedness, blow- up phenomenon and ill-posedness for the hyperbolic Keller-Segel equations.Journal of Differential Equations, 413:828–850, December 2024

    Zhiying Meng, Yao Nie, Weikui Ye, and Zhaoyang Yin. Global well-posedness, blow- up phenomenon and ill-posedness for the hyperbolic Keller-Segel equations.Journal of Differential Equations, 413:828–850, December 2024

  13. [21]

    Finite-time blow-up in hyperbolic Keller–Segel system of consumption type with logarithmic sensitivity.Nonlinearity, 37(4):045003, February 2024

    Jungkyoung Na. Finite-time blow-up in hyperbolic Keller–Segel system of consumption type with logarithmic sensitivity.Nonlinearity, 37(4):045003, February 2024

  14. [22]

    Global well-posedness for a two-dimensional Keller-Segel-Euler system of consumption type.Journal of Differential Equations, 388:188–214, April 2024

    Jungkyoung Na. Global well-posedness for a two-dimensional Keller-Segel-Euler system of consumption type.Journal of Differential Equations, 388:188–214, April 2024

  15. [23]

    Clifford S. Patlak. Random walk with persistence and external bias.The bulletin of mathematical biophysics, 15(3):311–338, September 1953

  16. [24]

    Existence of Solutions of the Hyperbolic Keller-Segel Model.Transactions of the American Mathematical Society, 361(5):2319– 2335, 2009

    Benoˆ ıt Perthame and Anne-Laure Dalibard. Existence of Solutions of the Hyperbolic Keller-Segel Model.Transactions of the American Mathematical Society, 361(5):2319– 2335, 2009

  17. [25]

    Blow-up Profiles for the Parabolic–Elliptic Keller–Segel System in Dimensions$${n\geq 3}$$.Communications in Mathematical Physics, 367(2):665–681, April 2019

    Philippe Souplet and Michael Winkler. Blow-up Profiles for the Parabolic–Elliptic Keller–Segel System in Dimensions$${n\geq 3}$$.Communications in Mathematical Physics, 367(2):665–681, April 2019

  18. [26]

    Yoshie Sugiyama. Global existence in sub-critical cases and finite time blow-up in super- critical cases to degenerate Keller-Segel systems.Differential and Integral Equations, 19(8):841–876, January 2006

  19. [27]

    Application of the best constant of the Sobolev inequality to degen- erate Keller-Segel models.Advances in Differential Equations, 12(2):121–144, January 2007

    Yoshie Sugiyama. Application of the best constant of the Sobolev inequality to degen- erate Keller-Segel models.Advances in Differential Equations, 12(2):121–144, January 2007

  20. [28]

    Time periodic strong solutions to the Keller-Segel sys- tem coupled to Navier-Stokes equation.Journal of Differential Equations, 298:95–131, October 2021

    Zhong Tan and Zhonger Wu. Time periodic strong solutions to the Keller-Segel sys- tem coupled to Navier-Stokes equation.Journal of Differential Equations, 298:95–131, October 2021

  21. [29]

    Michael Winkler. Global Large-Data Solutions in a Chemotaxis-(Navier–)Stokes System Modeling Cellular Swimming in Fluid Drops.Communications in Partial Differential Equations, 37(2):319–351, February 2012. eprint: https://doi.org/10.1080/03605302.2011.591865

  22. [30]

    Stabilization in a two-dimensional chemotaxis-Navier–Stokes system

    Michael Winkler. Stabilization in a two-dimensional chemotaxis-Navier–Stokes system. Archive for Rational Mechanics and Analysis, 211(2):455–487, February 2014. 32

  23. [2025]

    arXiv:2505.04503 [math]

  24. [2026]

    arXiv:2603.18346 [math]. 31

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.