pith. sign in

arxiv: 2605.17114 · v1 · pith:GJJW6CNGnew · submitted 2026-05-16 · 🧮 math.AP

Global Well-posedness of the 2D Stochastic Self-consistent Keller-Segel-Navier-Stokes System with Subcritical Cellular Mass

Fanze Kong , Chen-Chih Lai , Krutika Tawri This is my paper

Pith reviewed 2026-05-20 14:43 UTC · model grok-4.3

classification 🧮 math.AP
keywords Keller-SegelNavier-Stokesstochasticglobal well-posednesssubcritical massmild solutiontwo dimensions
0
0 comments X

The pith

The two-dimensional stochastic Keller-Segel-Navier-Stokes system admits a unique global mild solution when the cellular mass is subcritical.

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

The paper examines a coupled system in which cells move toward a chemical attractant while being carried by a surrounding fluid whose flow is generated by forces from the cells themselves, with stochastic terms added to the fluid equations. Under the condition that the total mass of cells lies below a critical threshold, the authors establish that a unique mild solution exists for all time. This global existence result matters because the model describes collective cell behavior in fluid environments, such as bacterial films or tissue development, and ensures that solutions do not develop singularities in finite time even with random fluid fluctuations. The subcritical mass assumption is used to control the nonlinear interactions that could otherwise lead to blow-up.

Core claim

We prove the existence of a unique mild solution globally-in-time to the two-dimensional stochastic Keller-Segel-Navier-Stokes system with subcritical mass.

What carries the argument

The subcritical cellular mass condition, invoked to control concentration and obtain global-in-time existence of mild solutions for the coupled stochastic system.

If this is right

  • The model remains well-defined over arbitrarily long time intervals instead of developing singularities.
  • Unique mild solutions permit consistent long-term simulation of cell aggregation in stochastic flows.
  • Stochastic perturbations to the fluid do not prevent global existence when mass is subcritical.

Where Pith is reading between the lines

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

  • Similar mass thresholds might control global behavior in related deterministic or three-dimensional versions of chemotaxis-fluid models.
  • The result suggests that controlled cell density could stabilize patterns even when random fluid forces are present, which could be tested in simplified numerical settings.
  • Long-time limits of these solutions may converge to equilibrium states whose stability can be analyzed separately.

Load-bearing premise

The total mass of cells must stay below the threshold that would otherwise allow the cell density to concentrate and produce a singularity.

What would settle it

An explicit construction or numerical example demonstrating finite-time blow-up of a mild solution when the cellular mass exceeds the subcritical value would show that the mass condition is necessary for global existence.

read the original abstract

We consider a stochastic Keller-Segel-Navier-Stokes system in $R^2$ describing the collective motion of cells in an ambient stochastic fluid flow, where the cells are attracted by a chemical substance and transported by the ambient fluid velocity, and the fluid motion is self-consistently driven by forces induced by the cells. We prove the existence of a unique mild solution globally-in-time to the two-dimensional stochastic Keller-Segel-Navier-Stokes system with subcritical mass.

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

1 major / 2 minor

Summary. The manuscript considers the 2D stochastic self-consistent Keller-Segel-Navier-Stokes system in which cells are attracted to a chemical signal and transported by a stochastic fluid velocity that is itself driven by cell-induced forces. The central claim is the existence of a unique global-in-time mild solution when the total cellular mass is subcritical.

Significance. If the result holds, it would extend deterministic global-existence theorems for subcritical-mass Keller-Segel systems to a coupled stochastic fluid setting. Such an extension is relevant for mathematical biology models that incorporate random ambient flows, and the self-consistent stochastic coupling adds technical interest to the stochastic-PDE literature.

major comments (1)
  1. [Proof of global existence (likely §3–4)] The global-continuation argument rests on a priori bounds that, in the deterministic case, follow from mass conservation and entropy estimates controlled by the subcritical-mass threshold. In the stochastic setting the cell equation contains the transport term u·∇ρ with u solving a stochastic Stokes/NS problem; applying Itô’s formula to ∫ρ or to the entropy functional therefore produces quadratic-variation corrections. The manuscript must exhibit the precise calculation showing that these corrections either vanish or remain absorbable by the subcritical gap (see the estimates following the local-existence theorem). Without this verification the passage from local to global existence is not justified.
minor comments (2)
  1. [Abstract] The abstract is concise but does not specify the precise noise structure (additive versus multiplicative) or the function spaces in which the mild solution is sought.
  2. [Preliminaries] Notation for the stochastic integral and the mild-solution formulation should be introduced with a short reminder of the underlying probability space and filtration.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment on the global-continuation argument. We address the concern regarding the Itô corrections below and will revise the manuscript to make the relevant calculations fully explicit.

read point-by-point responses

  1. Referee: [Proof of global existence (likely §3–4)] The global-continuation argument rests on a priori bounds that, in the deterministic case, follow from mass conservation and entropy estimates controlled by the subcritical-mass threshold. In the stochastic setting the cell equation contains the transport term u·∇ρ with u solving a stochastic Stokes/NS problem; applying Itô’s formula to ∫ρ or to the entropy functional therefore produces quadratic-variation corrections. The manuscript must exhibit the precise calculation showing that these corrections either vanish or remain absorbable by the subcritical gap (see the estimates following the local-existence theorem). Without this verification the passage from local to global existence is not justified.

    Authors: We agree that the stochastic corrections must be displayed explicitly. In the current manuscript the a priori bounds after the local-existence result already account for the transport by the stochastic velocity field u. Because u is divergence-free, the integral of u·∇ρ vanishes pathwise and the quadratic-variation correction for the mass functional is identically zero. For the entropy functional the additional Itô terms are controlled by the subcritical-mass gap (M<8π) together with Burkholder–Davis–Gundy estimates on the martingale part; these terms are absorbed exactly as in the deterministic case. Nevertheless, we acknowledge that the presentation is not as transparent as it should be. In the revised version we will insert a short lemma (or an expanded paragraph immediately after the local-existence theorem) that writes out the full application of Itô’s formula to both functionals and verifies the absorption by the subcritical threshold. This change will make the passage from local to global existence completely rigorous and self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the global well-posedness argument

full rationale

The paper establishes global-in-time unique mild solutions for the 2D stochastic KS-NS system under the subcritical cellular mass assumption. This proceeds via standard stochastic PDE methods: local existence by fixed-point iteration on the mild formulation, followed by a priori estimates that close globally precisely when mass is subcritical, controlling the aggregation term and the stochastic transport. The subcritical mass threshold is an explicit hypothesis, not a fitted or self-derived quantity; no Itô corrections or mass-conservation identities are shown to reduce to prior self-citations. The derivation chain relies on external analytic tools (stochastic integrals, maximal regularity, entropy dissipation) rather than self-referential definitions or renamings, rendering the central claim independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Limited information from abstract only; the result likely rests on standard functional-analytic assumptions for mild solutions of stochastic evolution equations and the subcritical mass hypothesis typical of Keller-Segel literature.

axioms (2)
  • standard math Mild solutions exist in suitable Banach spaces for the stochastic evolution system
    Standard setup for well-posedness proofs of stochastic PDEs
  • domain assumption Subcritical mass prevents finite-time blow-up
    Invoked in the abstract as the condition enabling global existence

pith-pipeline@v0.9.0 · 5613 in / 1185 out tokens · 46610 ms · 2026-05-20T14:43:51.278135+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    W. Beckner. Sharp Sobolev inequalities on the sphere and the Moser-Trudinger inequality. Ann. of Math., 138(1):213–242, 1993

    work page 1993

  2. [2]

    Biler, G

    P. Biler, G. Karch, P. Lauren¸ cot, and T. Nadzieja. The 8π-problem for radially symmetric solutions of a chemotaxis model in the plane.Math. Models Methods Appl. Sci., 29(13):1563– 1583, 2006

    work page 2006

  3. [3]

    Blanchet, J

    A. Blanchet, J. Carrillo, and N. Masmoudi. Infinite time aggregation for the critical Patlak- Keller-Segel model inR 2.Commun. Pure Appl. Math., 61(10):1449–1481, 2008

    work page 2008

  4. [4]

    Blanchet, J

    A. Blanchet, J. Dolbeault, and B. Perthame. Two-dimensional Keller-Segel model: optimal critical mass and qualitative properties of the solutions.Electron. J. Differential Equations, pages No. 44, 32, 2006

    work page 2006

  5. [5]

    Brze´ zniak

    Z. Brze´ zniak. On stochastic convolution in banach spaces and applications.Stochastics: Int. J. Probab. Stochastic Process, 61(3-4):245–295, 1997

    work page 1997

  6. [6]

    Carlen and M

    E. Carlen and M. Loss. Competing symmetries, the logarithmic HLS inequality and Onofri’s inequality onS n.Geom. Funct. Anal., 2(1):90–104, 1992

    work page 1992

  7. [7]

    Childress and K

    S. Childress and K. Percus. Nonlinear aspects of chemotaxis.Math. Biosci., 56(3-4):217–237, 1981

    work page 1981

  8. [8]

    Davila, M

    J. Davila, M. del Pino, J. Dolbeault, M. Musso, and J. Wei. Existence and stability of infinite time blow-up in the Keller-Segel system.Arch. Ration. Mech. Anal., 248(4):61, 2024

    work page 2024

  9. [9]

    Dolbeault and B

    J. Dolbeault and B. Perthame. Optimal critical mass in the two dimensional Keller–Segel model inR 2.C. R. Math. Acad. Sci. Paris, 339(9):611–616, 2004

    work page 2004

  10. [10]

    R. Duan, A. Lorz, and P. Markowich. Global solutions to the coupled chemotaxis-fluid equa- tions.Commun. Partial Differ. Equ., 35(9):1635–1673, 2010

    work page 2010

  11. [11]

    Duan and Z

    R. Duan and Z. Xiang. A note on global existence for the chemotaxis–Stokes model with nonlinear diffusion.IMRN, 2014(7):1833–1852, 2014

    work page 2014

  12. [12]

    Flandoli and D

    F. Flandoli and D. Gatarek. Martingale and stationary solutions for stochastic Navier-Stokes equations.Probab. Theory Relat. Fields, 102(3):367–391, 1995

    work page 1995

  13. [13]

    Friedman.Partial differential equations of parabolic type

    A. Friedman.Partial differential equations of parabolic type. Courier Dover Publications, 2008

    work page 2008

  14. [14]

    Gong and S

    Y. Gong and S. He. On the 8π-critical-mass threshold of a Patlak–Keller–Segel–Navier–Stokes system.SIAM J. Math. Anal., 53(3):2925–2956, 2021

    work page 2021

  15. [15]

    Hairer and J

    M. Hairer and J. Mattingly. Spectral gaps in Wasserstein distances and the 2D stochastic Navier–Stokes equations.Ann. Probab., 36(6):2050–2091, 2008. 50

    work page 2050

  16. [16]

    S. He. Enhanced dissipation and blow-up suppression in a chemotaxis-fluid system.SIAM J. Math. Anal., 55(4):2615–2643, 2023

    work page 2023

  17. [17]

    Herrero and J

    M. Herrero and J. Vel´ azquez. Chemotactic collapse for the Keller-Segel model.J. Math. Biol., 35(2):177–194, 1996

    work page 1996

  18. [18]

    Hillen and K

    T. Hillen and K. J. Painter. A user’s guide to PDE models for chemotaxis.J. Math. Biol., 58(1-2):183–217, 2009

    work page 2009

  19. [19]

    Horstmann

    D. Horstmann. From 1970 until present: the Keller-Segel model in chemotaxis and its conse- quences i.Jahresber Deutsch. Math.-Verein., 105:103–165, 2003

    work page 1970

  20. [20]

    Horstmann

    D. Horstmann. From 1970 until present: the Keller-Segel model in chemotaxis and its conse- quences ii.Jahresber Deutsch. Math.-Verein., 106:51–69, 2004

    work page 1970

  21. [21]

    Huang and J

    X. Huang and J. Shen. Bound/ positivity preserving SAV schemes for the Patlak-Keller-Segel- Navier-Stokes system.J. Comput. Phys., 480:112034, 2023

    work page 2023

  22. [22]

    Keller and L

    E. Keller and L. Segel. Initiation of slime mold aggregation viewed as an instability.J. Theor. Biol., 26(3):399–415, 1970

    work page 1970

  23. [23]

    Keller and L

    E. Keller and L. Segel. Model for chemotaxis.J. Theoret. Biol., 30(2):225–234, 1971

    work page 1971

  24. [24]

    F. Kong, C. Lai, and J. Wei. Global existence and aggregation of chemotaxis–fluid systems in dimension two.J. Differential Equations, 400:1–89, 2024

    work page 2024

  25. [25]

    Kozono, M

    H. Kozono, M. Miura, and Y. Sugiyama. Existence and uniqueness theorem on mild solutions to the Keller–Segel system coupled with the Navier–Stokes fluid.J. Funct. Anal., 270(5):1663– 1683, 2016

    work page 2016

  26. [26]

    C. Lai, J. Wei, and Y. Zhou. 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(1):43–87, 2023

    work page 2023

  27. [27]

    Mikulevicius and B

    R. Mikulevicius and B. Rozovskii. Stochastic Navier–Stokes equations for turbulent flows. SIAM J. Math. Anal., 35(5):1250–1310, 2004

    work page 2004

  28. [28]

    T. Nagai. Global existence and decay estimates of solutions to a parabolic-elliptic system of drift-diffusion type inR 2.Differential Integral Equations, 24(1-2):29–68, 2011

    work page 2011

  29. [29]

    Nanjundiah

    V. Nanjundiah. Chemotaxis, signal relaying and aggregation morphology.J. Theor. Biol., 42(1):63–105, 1973

    work page 1973

  30. [30]

    J. Nash. Continuity of solutions of parabolic and elliptic equations.Amer. J. Math., 80(4):931– 954, 1958

    work page 1958

  31. [31]

    C. Patlak. Random walk with persistence and external bias.Bull. Math. Biophys., 15(3):311– 338, 1953

    work page 1953

  32. [32]

    Pazy.Semigroups of linear operators and applications to partial differential equations, volume 44 ofApplied Mathematical Sciences

    A. Pazy.Semigroups of linear operators and applications to partial differential equations, volume 44 ofApplied Mathematical Sciences. Springer-Verlag, New York, 1983

    work page 1983

  33. [33]

    Da Prato and A

    G. Da Prato and A. Debussche. Ergodicity for the 3D stochastic Navier–Stokes equations.J. Math. Pures Appl., 82(8):877–947, 2003. 51

    work page 2003

  34. [34]

    Pr´ evˆ ot and M

    C. Pr´ evˆ ot and M. R¨ ockner.A concise course on stochastic partial differential equations, volume 1905 ofLecture Notes in Mathematics. Springer, Berlin, 2007

    work page 1905

  35. [35]

    Senba and T

    T. Senba and T. Suzuki. Some structures of the solution set for a stationary system of chemo- taxis.Adv. Math. Sci. Appl., 10(1):191–224, 2000

    work page 2000

  36. [36]

    Vel´ azquez

    J. Vel´ azquez. Point dynamics in a singular limit of the Keller–Segel model I: Motion of the concentration regions.SIAM J. Appl. Math., 64(4):1198–1223, 2004

    work page 2004

  37. [37]

    Wang and J

    G. Wang and J. Wei. Steady state solutions of a reaction-diffusion system modeling chemotaxis. Math. Nachr., 233(1):221–236, 2002

    work page 2002

  38. [38]

    M. Winkler. Aggregation vs. global diffusive behavior in the higher-dimensional keller–segel model.J. Differential Equations, 248(12):2889–2905, 2010

    work page 2010

  39. [39]

    M. Winkler. Stabilization in a two-dimensional chemotaxis-Navier-Stokes system.Arch. Ra- tion. Mech. Anal., 211:455–487, 2014

    work page 2014

  40. [40]

    M. Winkler. Global weak solutions in a three-dimensional chemotaxis–Navier–Stokes system. InAnn. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, volume 33, pages 1329–1352. Elsevier, 2016

    work page 2016

  41. [41]

    Zhai and T

    J. Zhai and T. Zhang. 2D stochastic chemotaxis-Navier-Stokes system.J. Math. Pures Appl., 138:307–355, 2020

    work page 2020

  42. [42]

    Zhang and B

    L. Zhang and B. Liu. On the Keller-Segel models interacting with a stochastically forced incompressible viscous flow inR 2.J. Differential Equations, 414:487–554, 2025. 52

    work page 2025