pith. sign in

arxiv: 2606.02070 · v1 · pith:IJTNR7JEnew · submitted 2026-06-01 · 🧮 math.AP

Critical mass threshold for the 2D Patlak-Keller-Segel-Navier-Stokes system

Wendong Wang , Dongyi Wei , Zhifei Zhang This is my paper

Pith reviewed 2026-06-28 13:46 UTC · model grok-4.3

classification 🧮 math.AP
keywords Patlak-Keller-SegelNavier-Stokesglobal existencecritical masschemotaxisstrong solutions2D
0
0 comments X

The pith

The 2D Patlak-Keller-Segel-Navier-Stokes system has global strong solutions when initial mass is at most 8π.

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

This paper shows that the coupled chemotaxis-fluid system in two dimensions admits global-in-time strong solutions as long as the total initial mass of the cell density stays at or below 8π. The result is independent of the size of the initial fluid velocity. The authors derive an inequality for the rearranged local mass of the density that does not involve the velocity field at all. They then use this to run an improved maximum-principle argument with a suitable auxiliary function that prevents density blow-up. A sympathetic reader would see this as identifying a sharp mass threshold that survives the addition of fluid coupling.

Core claim

The paper proves global existence of strong solutions to the 2D Patlak-Keller-Segel-Navier-Stokes system whenever the initial mass is less than or equal to 8π, irrespective of the initial velocity norm. The proof relies on a new observation that the local mass of the density function after rearrangement satisfies a velocity-independent inequality, which is then used to apply an improved maximum principle via a carefully chosen auxiliary function.

What carries the argument

The velocity-independent inequality satisfied by the rearranged local mass of the density, which enables an improved maximum principle.

If this is right

  • Global strong solutions exist for any initial velocity when the mass is at most 8π.
  • The critical mass threshold is unchanged from the pure Patlak-Keller-Segel model despite the Navier-Stokes coupling.
  • Finite-time blow-up is prevented below this mass for strong solutions.
  • The velocity size no longer needs to be controlled to guarantee global existence.

Where Pith is reading between the lines

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

  • The fluid coupling does not reduce the critical aggregation mass in two dimensions.
  • Numerical tests with mass slightly above 8π could check whether blow-up occurs independently of velocity.
  • The rearrangement inequality may extend to other chemotaxis-fluid models.

Load-bearing premise

The local mass of the density rearrangement obeys a good inequality independent of the velocity field.

What would settle it

A concrete initial datum with mass exactly 8π and arbitrarily large velocity whose corresponding strong solution blows up in finite time would falsify the claim.

read the original abstract

In this paper, we investigate critical mass threshold for the Patlak-Keller-Segel-Navier-Stokes system on the two-dimensional whole space and obtain global existence of strong solutions if the initial mass is less than or equal to $8\pi$, regardless of the initial norm of the velocity. One new observation is that the local mass of the density function rearrangement satisfies a good inequality that is independent of velocity; and then an improved maximum principle is applied by choosing a nice auxiliary function.

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 / 2 minor

Summary. The manuscript claims global existence of strong solutions to the 2D Patlak-Keller-Segel-Navier-Stokes system on R^2 whenever the initial mass M ≤ 8π, independent of the initial velocity norm. The argument rests on a new observation that the local mass of the density rearrangement satisfies a velocity-independent inequality, which is then combined with an improved maximum principle via a suitable auxiliary function.

Significance. If the central claim holds, the result shows that the Navier-Stokes coupling does not raise the critical mass threshold above the classical 8π value known for the uncoupled Patlak-Keller-Segel system. This would be a meaningful extension for aggregation models in fluid environments and would highlight the robustness of rearrangement-based techniques when advection is present.

major comments (2)
  1. [Main theorem and rearrangement argument (likely §3 or §4)] The key step asserting that the rearranged local-mass inequality is independent of the velocity field u must be verified explicitly. In the continuity equation the term u·∇ρ appears as transport; the manuscript must show (with the precise rearrangement inequality employed) that this term produces no contribution that would make the bound depend on ||u||_0 or on div u. Without this calculation the independence claim is load-bearing for the global-existence statement.
  2. [Maximum-principle section] The improved maximum principle is applied after the rearrangement inequality; the choice of auxiliary function and the precise function-space setting (e.g., whether solutions are strong in L^∞ or in a Besov space) must be stated so that the maximum principle applies directly to the rearranged quantity. The current abstract-level description leaves open whether the auxiliary function absorbs possible lower-order terms generated by the Stokes coupling.
minor comments (2)
  1. Define all function spaces and the precise notion of “strong solution” in the statement of the main theorem.
  2. Clarify the initial-data assumptions on u_0 (e.g., divergence-free, decay at infinity) that are compatible with the claimed independence of ||u_0||.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript to incorporate the requested clarifications and explicit calculations.

read point-by-point responses

  1. Referee: [Main theorem and rearrangement argument (likely §3 or §4)] The key step asserting that the rearranged local-mass inequality is independent of the velocity field u must be verified explicitly. In the continuity equation the term u·∇ρ appears as transport; the manuscript must show (with the precise rearrangement inequality employed) that this term produces no contribution that would make the bound depend on ||u||_0 or on div u. Without this calculation the independence claim is load-bearing for the global-existence statement.

    Authors: We agree that an explicit verification of the independence is necessary for clarity. The local-mass rearrangement inequality is stated in Lemma 3.2. Because the velocity satisfies the incompressible Navier-Stokes equations (div u = 0), the transport term u·∇ρ does not alter the distribution function of ρ. Consequently, when the inequality is tested against the characteristic functions or level sets used in the rearrangement, the contribution of u·∇ρ integrates to zero and produces no dependence on ||u||_∞. We will insert a short paragraph immediately after the statement of Lemma 3.2 that performs this calculation line-by-line, using the precise form of the rearrangement inequality employed in the paper. revision: yes

  2. Referee: [Maximum-principle section] The improved maximum principle is applied after the rearrangement inequality; the choice of auxiliary function and the precise function-space setting (e.g., whether solutions are strong in L^∞ or in a Besov space) must be stated so that the maximum principle applies directly to the rearranged quantity. The current abstract-level description leaves open whether the auxiliary function absorbs possible lower-order terms generated by the Stokes coupling.

    Authors: We accept that the function-space setting and the role of the auxiliary function require explicit statement. The solutions under consideration are strong solutions belonging to L^∞(0,T; L¹(ℝ²) ∩ L^∞(ℝ²)) with the velocity recovered from the Stokes system. The auxiliary function is chosen as φ(s) = s(log s – 1) + 8π (or an equivalent convex function with φ'' > 0), which is applied directly to the rearranged density. The lower-order terms arising from the Stokes coupling are controlled by the L^∞ bound on u already obtained from the energy estimates and by integration by parts that exploits div u = 0. We will rewrite the opening paragraph of Section 4 to record the precise function space and to display the absorption step for the coupling terms. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation self-contained via direct inequality

full rationale

The paper derives that the local mass of the density rearrangement satisfies a velocity-independent inequality from the continuity equation structure, then applies an improved maximum principle to obtain global existence for mass ≤8π. This step does not reduce to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain; the independence is presented as a new observation verified within the coupled system equations. No ansatz is smuggled, no known result is merely renamed, and the central threshold claim retains independent content from the rearrangement inequality. The argument is self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result relies on standard rearrangement inequalities and maximum-principle techniques from PDE theory; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math Rearrangement inequalities for nonnegative densities on R^2 yield velocity-independent local-mass bounds.
    Invoked as the new observation that enables the proof.
  • standard math Improved maximum principle applies once an auxiliary function is chosen appropriately.
    Used to close the a-priori estimates.

pith-pipeline@v0.9.1-grok · 5606 in / 1150 out tokens · 21141 ms · 2026-06-28T13:46:55.863635+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. Global bounded solutions for a class of generalized Hillen-Painter models near Couette flow in $\mathbb{R}^2$

    math.AP 2026-06 unverdicted novelty 6.0

    Global existence of bounded solutions for generalized Hillen-Painter chemotaxis systems in R^2 is established for large Couette flow amplitude via frequency decomposition, removing prior mass thresholds.

Reference graph

Works this paper leans on

29 extracted references · 3 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Graduate Stud

    Bedrossian, Jacob; Vicol, Vlad; The Mathematical Analysis of the Incompress- ible Euler and Navier-Stokes Equations. Graduate Stud. Math. 225 (2022)

    2022

  2. [2]

    Biler, G

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

    2006

  3. [3]

    Blanchet, Adrien; Carrillo, Jos´ e A.; Masmoudi, Nader; Infinite time aggregation for the critical Patlak-Keller-Segel model inR 2. Comm. Pure Appl. Math. 61 (2008), no. 10, 1449-1481

    2008

  4. [4]

    Electron

    Blanchet, Adrien; Dolbeault, Jean; Perthame, Benoit; Two-dimensional Keller- Segel model: optimal critical mass and qualitative properties of the solutions. Electron. J. Differential Equations 2006, No. 44, 32 pp

    2006

  5. [5]

    and Musso M

    Buseghin F., Davila J., del Pino M. and Musso M. Existence of finite time blow- up in Keller-Segel system, arXiv:2312.01475

    work page arXiv

  6. [6]

    Calvez, Vincent; Corrias, Lucilla; The parabolic-parabolic Keller-Segel model in R2. Commun. Math. Sci. 6 (2008), no. 2, 417-447

    2008

  7. [7]

    Carrillo, L

    J.A. Carrillo, L. Chen, J. Liu, J. Wang, A note on the subcritical two dimensional Keller–Segel system, Acta Appl. Math. 119 (2012) 43-55

    2012

  8. [8]

    Collot, Charles; Ghoul, Tej-Eddine; Masmoudi, Nader; Nguyen, Van Tien; Re- fined description and stability for singular solutions of the 2D Keller-Segel sys- tem. Comm. Pure Appl. Math. 75 (2022), no. 7, 1419-1516

    2022

  9. [9]

    D´ avila, Juan; del Pino, Manuel; Dolbeault, Jean; Musso, Monica; Wei, Juncheng; Existence and stability of infinite time blow-up in the Keller-Segel system. Arch. Ration. Mech. Anal. 248 (2024), no. 4, Paper No. 61, 154 pp

    2024

  10. [10]

    Delort, Existence de nappes de tourbillon en dimension deux, J

    J.M. Delort, Existence de nappes de tourbillon en dimension deux, J. Amer. Math. Soc. 4 (1991) 553-586

    1991

  11. [11]

    Diaz, Jesus Ildefonso; Nagai, Toshitaka; Symmetrization in a parabolic-elliptic system related to chemotaxis. Adv. Math. Sci. Appl. 5 (1995), no. 2, 659-680

    1995

  12. [12]

    Dolbeault, B.T

    J. Dolbeault, B.T. Perthame, Optimal critical mass in the two-dimensional Keller–Segel model in R2, C. R. Math. Acad. Sci. Paris 339 (2004) 611-616

    2004

  13. [13]

    Dolbeault, C

    J. Dolbeault, C. Schmeiser, The two-dimensional Keller–Segel model after blow- up, Discrete Contin. Dyn. Syst. 25 (2009) 109-121. CRITICAL MASS THRESHOLD FOR THE 2D PKSNS SYSTEM 19

    2009

  14. [14]

    Measure theory and fine properties of functions

    Evans, Lawrence C.; Gariepy, Ronald F. Measure theory and fine properties of functions. Revised edition. Textbooks in Mathematics. CRC Press, Boca Raton, FL, 2015. xiv+299 pp. ISBN: 978-1-4822-4238-6 28-01

    2015

  15. [15]

    Gong, Yishu; He, Siming; On the 8π-critical-mass threshold of a Patlak-Keller- Segel-Navier-Stokes system. SIAM J. Math. Anal. 53 (2021), no. 3, 2925-2956

    2021

  16. [16]

    Hosono T.; Global existence for the fully parabolic Keller–Segel system with critical mass on the plane, arXiv:2602.03768 [math.AP]

    work page arXiv

  17. [17]

    Initiation of slime mold aggregation viewed as an instability

    Keller, Evelyn F.; Segel, Lee A. Initiation of slime mold aggregation viewed as an instability. J. Theoret. Biol. 26 (1970), no. 3, 399–415

    1970

  18. [18]

    Indiana Univ

    Lai, Chen-Chih; Wei, Juncheng; Zhou, Yifu; Global existence of free-energy solutions to the 2D Patlak-Keller-Segel-Navier-Stokes system with critical and subcritical mass. Indiana Univ. Math. J. 72 (2023), no. 1, 43-87

    2023

  19. [19]

    Rakotoson, J.-M

    Mossino, J. ; Rakotoson, J.-M. Isoperimetric inequalities in parabolic equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 13 (1986), no. 1, 51-73

    1986

  20. [20]

    Nagai, Toshitaka; Behavior of solutions to a parabolic-elliptic system modelling chemotaxis. J. Korean Math. Soc. 37 (2000), no. 5, 721-733

    2000

  21. [21]

    Nagai, T

    T. Nagai, T. Senba, K. Yoshida, Application of the Trudinger–Moser inequality to a parabolic system of chemotaxis, Funkcial. Ekvac. 40 (1997) 411-433

    1997

  22. [22]

    Osserman, Robert; The isoperimetric inequality. Bull. Amer. Math. Soc. 84 (1978), no. 6, 1182-1238

    1978

  23. [23]

    Random walk with persistence and external bias

    Patlak, Clifford S. Random walk with persistence and external bias. Bull. Math. Biophys. 15 (1953), 311-338

    1953

  24. [24]

    Senba, Takasi; Suzuki, Takashi; Weak solutions to a parabolic-elliptic system of chemotaxis. J. Funct. Anal. 191 (2002), no. 1, 17-51

    2002

  25. [25]

    Stable blow-up dynamic for the parabolic-parabolic Patlak-Keller-Segel model

    Schweyer R. Stable blow-up dynamic for the parabolic-parabolic Patlak-Keller- Segel model. arxiv:1403.4975

    work page internal anchor Pith review Pith/arXiv arXiv

  26. [26]

    Souplet, Philippe; Winkler, Michael; Blow-up profiles for the parabolic-elliptic Keller-Segel system in dimensionsn≥3. Comm. Math. Phys. 367 (2019), no. 2, 665-681

    2019

  27. [27]

    Tao, Youshan; Winkler, Michael; Critical mass for infinite-time aggregation in a chemotaxis model with indirect signal production. J. Eur. Math. Soc. (JEMS) 19 (2017), no. 12, 3641-3678

    2017

  28. [28]

    Wei, Dongyi; Global well-posedness and blow-up for the 2-D Patlak-Keller-Segel equation. J. Funct. Anal. 274 (2018), no. 2, 388-401

    2018

  29. [29]

    Winkler, Michael; Finite-time blow-up in the higher-dimensional parabolic- parabolic Keller-Segel system. J. Math. Pures Appl. (9) 100 (2013), no. 5, 748- 767. 20 WENDONG W ANG, DONGYI WEI, AND ZHIFEI ZHANG (Wendong Wang)School of Mathematical Sciences, Dalian University of Technol- ogy, Dalian, 116024, China Email address:wendong@dlut.edu.cn (Dongyi Wei)...

    2013