Pith. sign in

REVIEW 1 major objections 3 minor 56 references

Very mild diffusion enhancement and singular sensitivity: Existence of bounded weak solutions in a two-dimensional chemotaxis-Navier--Stokes system

T0 review · 1 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

Pith's one-line read For any prescribed bound on the initial oxygen concentration, a two-dimensional chemotaxis-Navier–Stokes system has a global bounded weak solution when diffusion grows, however slowly, to a sufficiently high limit and vanishes no faster…

desk verdict Solid extension of Winkler's 3D Stokes result to 2D Navier-Stokes with gamma up to 5/6; the gamma=1/2 case-split typo in several lemma statements is cosmetic, and the boundary-estimate worry is a red herring. read the letter →

arxiv 2411.18336 v1 pith:N45N5UNP submitted 2024-11-27 math.AP

classification math.AP MSC 35D3035A0135K6535Q3535Q9292C17
keywords chemotaxis-Navier-Stokessystemdegeneratediffusionsingularchemotacticsensitivityglobalweaksolutionboundednessporousmediumtwo-dimensionalchemotaxis-fluid
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 a chemotaxis-Navier–Stokes system in a two-dimensional bounded domain, describing oxygen-consuming bacteria in a fluid, admits global bounded weak solutions under two structural assumptions on bacterial movement. The chemotactic sensitivity may be singular, blowing up like a negative power $c^{-\gamma}$ of the oxygen concentration, with $\gamma$ up to $5/6$; this goes beyond the exponent $\gamma=1/2$ previously treated in a three-dimensional Stokes setting. In return, the diffusion coefficient only needs to be enhanced in a very mild sense: at large cell densities it must eventually exceed a threshold $L(M)$ that depends only on the initial oxygen bound, and near zero it must vanish no faster than linearly. No smallness condition on the initial data is needed, and if diffusion stays positive at zero density the constructed solution is classical.

What carries the argument

The proof revolves around a family of energy-like functionals built from the double primitive $D_{2,\varepsilon}(n)=\int_0^n\int_0^s D_\varepsilon(\sigma)\,d\sigma\,ds$ of the diffusion coefficient, weighted gradient integrals of the oxygen concentration, and a truncated primitive $\Psi$ of the reciprocal diffusion that captures behavior at low densities. For $\gamma\le\tfrac12$ the functional $F_\varepsilon=\int D_{2,\varepsilon}(n_\varepsilon)+b_1\int n_\varepsilon|\nabla c_\varepsilon|^2/c_\varepsilon+b_2\int|\nabla c_\varepsilon|^4/c_\varepsilon^3+b_3\int\Psi(n_\varepsilon)$ closes the estimates, while for $\gamma>\tfrac12$ a slimmer functional without the mixed $n|\nabla c|^2/c$ term is closed using a Young-splitting and the additional $L^1$ bound on $n_0$. A Trudinger–Moser inequality converts mass and gradient information into time-space control of $n\ln(n+1)$, an ODE comparison lemma transfers those bounds to the fluid component, and a Moser-type iteration upgrades the bounds to $L^\infty$; boundary integrals are controlled without convexity via a cited Neumann boundary estimate.

What would settle it

Take a smooth bounded domain in the plane with a concave boundary patch and a sequence of functions $w_j\in C^2(\overline{\Omega})$ satisfying $\partial w_j/\partial\nu=0$ on $\partial\Omega$; compute the ratio $\partial|\nabla w_j|^2/\partial\nu$ divided by $|\nabla w_j|^2$ on the boundary. If this ratio is unbounded, the boundary estimate quoted from [27, Lemma 4.2] fails on non-convex domains, and the boundary integrals used to close the energy estimates cannot be absorbed, so the theorem's claim about arbitrary smoothly bounded domains would not follow.

Watch

Extended reading notes

Core claim

Theorem 1.1 asserts the following: for every $M>0$ and $\gamma\in[0,\tfrac56]$, if the tensor-valued sensitivity satisfies $|S(x,n,c)|\le S_0(c)/c^\gamma$ with non-decreasing $S_0$, and if $D$ is smooth and positive on $(0,\infty)$ with $\liminf_{n\to\infty}D(n)>L(M)$ and $\liminf_{n\to0}D(n)/n>0$, then suitably regular initial data with $\|c_0\|_{L^\infty}\le M$ (and additionally $\|n_0\|_{L^1}\le M$ when $\gamma>\tfrac12$) lead to a global weak solution satisfying uniform $L^\infty$ bounds on $n$, $\nabla c$, and $\nabla u$. If $D(0)>0$, the solution is classical. The theorem covers all smoothly bounded planar domains, not only convex ones, and as a corollary it applies to porous-medium diffusion $D(n)=n^{m-1}$ for $m\in(1,2]$, yielding continuous solutions.

Load-bearing premise

The proof's load-bearing premise is a boundary estimate valid for all smoothly bounded domains without convexity: for any $C^2$ function $w$ with zero normal derivative on the boundary, the normal derivative of $|\nabla w|^2$ is bounded by a constant times $|\nabla w|^2$ there. That estimate is quoted from a cited lemma; if it fails for some smooth non-convex domain, the boundary integrals in Lemmas 3.2 and 3.4 cannot be absorbed and the energy inequalities do not close.

Editorial extensions

If this is right

  • For any fixed upper bound $M$ on the initial oxygen level, choosing diffusion that eventually exceeds $L(M)$ at high density and remains linear near zero guarantees global bounded weak solutions, regardless of the size of other data components (apart from an $L^1$ bound on cell mass when $\gamma>\tfrac12$).
  • The allowed singularity exponent $\gamma=\tfrac56$ improves the previous $\gamma=\tfrac12$ in the three-dimensional Stokes analogue and applies directly to the two-dimensional Navier–Stokes coupling.
  • Porous-medium diffusion $D(n)=n^{m-1}$ with $m\in(1,2]$ falls under the theorem, and the corresponding weak solutions are continuous rather than merely bounded.
  • If the diffusion coefficient does not degenerate at zero ($D(0)>0$), the obtained solution is classical, with $C^{2,1}$ regularity in space-time and a pressure.
  • The result holds on arbitrary smoothly bounded planar domains; convexity of the domain is not required.

Reading between the lines

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

  • The exponent $\tfrac56$ appears to be a technical cutoff imposed by the Young-splitting in the proof, so a natural test is whether the same result extends to every $\gamma<1$ with a sharper interpolation.
  • The double-primitive energy combined with the small-density correction term may transfer to three-dimensional Navier–Stokes, but the diffusion threshold would likely depend on additional norms of the initial data.
  • If the quoted boundary estimate turns out to require convexity, the theorem would shrink to convex or weakly convex domains, so verifying or refuting that estimate on concave boundary patches is a concrete way to test the paper's scope.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 3 minor

Summary. The paper proves a global boundedness and existence result for a two-dimensional chemotaxis-Navier-Stokes system with degenerate nonlinear diffusion D(n) and singular, possibly tensor-valued sensitivity satisfying |S(x,n,c)| ≤ S0(c)/c^γ for γ∈[0,5/6]. The main theorem (Theorem 1.1) states that for each M>0 there is a threshold L(M) such that whenever D has liminf at infinity greater than L and D(n)/n remains positive near zero, and the initial data satisfy the stated regularity with ||c0||_∞ ≤ M (and additionally ||n0||_1 ≤ M when γ>1/2), the approximate problems admit a limit which is a global bounded weak solution; if D(0)>0, the solution is classical. The proof follows and extends the strategy of Winkler [52]: it derives spatio-temporal estimates via a Trudinger-Moser inequality, constructs energy-like functionals involving the second primitive of D and powers of ∇c, treats the regimes γ≤1/2 and γ>1/2 separately in Sections 3 and 4, then performs an iterative bootstrap to obtain uniform L∞ bounds, establishes time-derivative bounds, and passes to the limit via an Aubin-Lions argument. Corollaries cover porous medium type diffusion D(n)=n^{m-1}, m∈(1,2].

Significance. If correct, this is a meaningful advance: it extends the three-dimensional Stokes result of [52] to the two-dimensional Navier-Stokes setting and enlarges the admissible singular exponent from the prototypical γ=1/2 to γ=5/6 under very mild diffusion enhancement. The proof is largely self-contained, with detailed estimates and explicit constants, and the energy structure is elegantly adapted to avoid convexity restrictions on the domain. In particular, the boundary estimate used in Lemmas 3.2 and 3.4 is valid on arbitrary smooth bounded domains, so the apparent non-convexity concern raised in the evaluation of this paper does not actually land. The main defect is a repeated case-split omission of γ=1/2 in the statements of several lemmas; this is local and repairable, but it does leave the written proof of Theorem 1.1 incomplete at that parameter value.

major comments (1)
  1. [Lemmas 5.2, 5.4, 5.5, 5.7, 5.8, 6.1, 7.1, 7.3, 7.4 and Corollary 5.6] Theorem 1.1 asserts the result for all γ∈[0,5/6], including γ=1/2. However, all these lemmas are stated with a first case γ∈[0,1/2) and a second case γ∈(1/2,5/6], so that γ=1/2 falls under neither branch. The proof of Lemma 5.2 actually begins with 'If γ∈[0,1/2]' and invokes Lemma 3.6, which does cover γ=1/2, so the estimates themselves are available; nevertheless, as written, the proof of Theorem 1.1 does not cover γ=1/2 through the cited lemmas. Please correct the case split to γ∈[0,1/2] in the first branch throughout, and in the first branch cite L(M) from Lemma 3.6 rather than Lemma 3.1, which does not define L(M).
minor comments (3)
  1. [Lemmas 5.2 onward] The first case in these lemmas refers to 'L(M)>0 provided by Lemma 3.1'; Lemma 3.1 only furnishes a constant C(M) in a differential inequality, while L(M) is introduced in Lemma 3.6. This citation should be corrected.
  2. [Lemma 5.2, proof] The proof of Lemma 5.2 writes 'If γ∈[0,1/2]' in the first branch, while the statement says γ∈[0,1/2); please harmonize the statement and proof so that the intended coverage of γ=1/2 is explicit.
  3. [Section 3, Lemmas 3.2 and 3.4] The boundary estimate ∂|∇w|²/∂ν ≤ C|∇w|² for w∈C²(Ω̄) with ∂w/∂ν=0 is valid on any smooth bounded domain, not only convex ones; the citations to [27, Lemma 4.2] and [17, Lemma 4.2] are appropriate, so no revision is needed there, but it would help to state this explicitly once to avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

Conditional existence proof with no target-equivalent circularity; the theorem's threshold is a hypothesis, not a fitted output, and cited technical lemmas are independent.

full rationale

The paper is a conditional existence proof in PDE analysis: Theorem 1.1 states that for any M>0 and gamma in [0,5/6] there exists L(M)>0 such that if the diffusion coefficient D satisfies liminf D(n)>L and liminf D(n)/n>0, then a global bounded weak solution exists. The proof constructs approximate problems, defines energy-like functionals, and derives epsilon-uniform estimates; no parameter is fitted to the conclusion and then renamed as a prediction. The constant L(M) is produced from constants in the energy estimates, and the condition on D is an explicit hypothesis of the theorem rather than a consequence disguised as an output. The heavy use of prior work, especially [52], supplies technical lemmas and structural ideas from the same research group, but these are external mathematical results or are reproduced with proof, and they do not include the target theorem as an assumption. The only self-citation is [2], used in the proof of Corollary 1.3 to obtain Holder bounds in a porous-medium setting; it is parameter-free and concerns a distinct regularity result, so it is independent support rather than a circular premise. The reader's boundary-estimate concern is not circular and is in fact answered by the boundedness of the second fundamental form on any smooth bounded domain. A genuine non-circular correctness issue exists: the case splits in Lemmas 5.2 through 7.4 use gamma in [0,1/2) and gamma in (1/2,5/6], leaving gamma=1/2 out of the written proof of Theorem 1.1; this is an omitted case, not a circular reduction. Overall, no step of the derivation reduces by construction to its own inputs.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No fitted parameters and no introduced physical entities appear; the only 'free' choices are auxiliary constants in the proof (L, b1, b2, b3, s0, etc.) that depend on the data and are chosen to close the estimates, not fitted to observations. The paper's contribution is a conditional theorem, and the ledger reflects the structural assumptions plus standard PDE tools it imports.

assumptions (6)
  • domain assumption Omega subset of R^2 is a bounded domain with smooth boundary and Phi in W^{2,infinity}(Omega)
    Assumed in Theorem 1.1; needed for Sobolev embeddings, trace inequalities, and Stokes operator theory throughout the proof.
  • domain assumption S in C^2(Omega bar x [0,infinity) x (0,infinity); R^{2x2}) with |S(x,n,c)| <= S0(c)/c^gamma and S0 non-decreasing
    The bound is the stated singularity condition (1.2); non-decreasing S0 is used to replace S0(c_epsilon) by S0(M+1) in Lemmas 2.4, 3.1, 3.2, and 4.1.
  • domain assumption D in union_{theta in (0,1)} C^theta([0,infinity)) cap C^2((0,infinity)) is positive on (0,infinity) and satisfies liminf_{n->infinity} D(n) > L and liminf_{n->0} D(n)/n > 0
    The large-n threshold provides the dissipative term in the energy inequalities; the small-n ratio kappa > 0 is used in Lemmas 2.4 and 3.5 to control taxis terms at low density.
  • domain assumption Initial data satisfy (1.4): n0 in W^{1,infinity}, nonnegative and not identically zero; c0 in W^{1,infinity} with c0 > 0; u0 in D(A^rho_r) for some rho in (1/2,1) and all r in (1,infinity)
    Required for local classical solvability of the approximate problems and for the fractional Stokes estimates in Lemma 5.7.
  • standard math Background PDE facts: maximum principle, Trudinger-Moser inequality, Gagliardo-Nirenberg inequality, Aubin-Lions lemma, Schauder theory, Neumann heat semigroup estimates, Stokes semigroup estimates, and existence theory for the approximate problems
    Invoked without proof in many places (e.g., Lemmas 2.3, 2.5, 3.3, 5.1, 6.1, 7.4); these are established results in the literature.
  • standard math Boundary estimate d|nabla w|^2/dnu <= C|nabla w|^2 for w in C^2(Omega bar) with dw/dnu = 0, from [27, Lemma 4.2]
    Used in Lemma 3.2 for I_{8,epsilon} and Lemma 3.4 for Jtilde_{2,epsilon} to handle boundary integrals on non-convex domains; the proof depends on this external lemma.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Very mild diffusion enhancement and singular sensitivity: Existence of bounded weak solutions in a two-dimensional chemotaxis-Navier--Stokes system." pith.science (2026). https://pith.science/paper/N45N5UNP

@misc{pith2026241118336,
  author       = {Pith},
  title        = {Pith review of: Very mild diffusion enhancement and singular sensitivity: Existence of bounded weak solutions in a two-dimensional chemotaxis-Navier--Stokes system},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/N45N5UNP}},
  note         = {Machine review of arXiv:2411.18336}
}
abstract

We consider an initial-boundary value problem for the chemotaxis-Navier--Stokes system \begin{align*} \left\{ \begin{array}{c@{\quad}l@{\quad}l@{\,}c} n_{t}+u\cdot\nabla n=\nabla\cdot\big(D(n)\nabla n-nS(x,n,c)\cdot\nabla c\big),\ &x\in\Omega,& t>0,\\ c_{t}+u\cdot\nabla c=\Delta c-cn,\ &x\in\Omega,& t>0,\\ u_{t}+(u\cdot\nabla)u=\Delta u+\nabla P+n\nabla\Phi,\quad \nabla\cdot u=0,\ &x\in\Omega,& t>0,\\ \big(D(n)\nabla n-nS(x,n,c)\cdot\nabla c)\cdot\nu=\nabla c\cdot\nu=0,\ u=0,\ &x\in\partial\Omega,& t>0,\\ n(\cdot,0)=n_0,\ c(\cdot,0)=c_0,\ u(\cdot,0)=u_0,\ &x\in\Omega. \end{array}\right. \end{align*} in a smoothly bounded domain $\Omega\subset\mathbb{R}^2$. Assuming $S:\overline{\Omega}\times[0,\infty)\times(0,\infty)\rightarrow \mathbb{R}^{2\times 2}$ to be sufficiently regular and such that with $\gamma\in[0,\frac56]$ and some non-decreasing $S_0:(0,\infty)\to(0,\infty)$, we have \begin{align*} \big|S(x,n,c)\big|\leq \frac{S_0(c)}{c^\gamma}\quad\text{for all }(x,n,c)\in\overline{\Omega}\times[0,\infty)\times(0,\infty), \end{align*} we show that if $D:[0,\infty)\to[0,\infty)$ is suitably regular and positive throughout $(0,\infty)$, then for all $M>0$ one can find $L(M)>0$ such that whenever $$\liminf_{n\to\infty} D(n)>L\quad\text{and}\quad \liminf_{n\searrow0}\frac{D(n)}{n}>0$$ are satisfied and the initial data $(n_0,c_0,u_0)$ are suitably regular and satisfy $\|c_0\|_{L^{\infty}(\Omega)}\leq M$ there is a global and bounded weak solution for the initial-boundary value problem above. Under the additional assumption of $D(0)>0$ this solution is moreover a classical solution of the same problem.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

56 extracted references · 55 canonical work pages

  1. [52]

    M. Winkler. Chemotaxis-Stokes interaction with very weak diffusion enhancement: Blow-up exclusion via detection of absorption-induced entropy structures involving multiplicative couplings. Adv. Nonlinear Stud., 22(1):88–117, 2022

  2. [2]

    T. Black. Refining hölder regularity theory in degenerate drift-diffusion equations. 2023. Preprint

  3. [1]

    Bellomo, A

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

  4. [3]

    S. C. Brenner and L. R. Scott.The Mathematical Theory of Finite Element Methods, Volume 15 ofTexts in Applied Mathematics. Springer New York, 1994

  5. [4]

    Cao and S

    X. Cao and S. Ishida. Global-in-time bounded weak solutions to a degenerate quasilinear Keller–Segel system with rotation. Nonlinearity, 27(8):1899–1913, 2014

  6. [5]

    Cao and J

    X. Cao and J. Lankeit. Global classical small-data solutions for a three-dimensional chemotaxis Navier-Stokes system involving matrix-valued sensitivities.Calc. Var. Partial Differential Equations, 55(4):Paper No. 107, 2016

  7. [6]

    Cao and Y

    X. Cao and Y. Wang. Global classical solutions of a 3D chemotaxis-Stokes system with rotation.Discret. Contin. Dyn. Syst. - Ser. B, 20(9):3235–3254, 2015

  8. [7]

    Cieślak and C

    T. Cieślak and C. Stinner. Finite-time blowup and global-in-time unbounded solutions to a parabolic-parabolic quasilinear Keller-Segel system in higher dimensions.J. Differential Equations, 252(10):5832–5851, 2012

Show all 56 references
  1. [8]

    Duan and Z

    R. Duan and Z. Xiang. A Note on Global Existence for the Chemotaxis–Stokes Model with Nonlinear Diffusion. International Mathematics Research Notices, 2014(7):1833–1852, 2014

  2. [9]

    Francesco, A

    M. Francesco, A. Lorz, and P. A. Markowich. Chemotaxis-fluid coupled model for swimming bacteria with nonlinear diffusion: Global existence and asymptotic behavior.Discret. Contin. Dyn. Syst., 28(4):1437–1453, 2010

  3. [10]

    M. Fuest. Chemotaxis(-fluid) systems with logarithmic sensitivity and slow consumption: Global generalized solutions and eventual smoothness.Discrete Contin. Dyn. Syst. Ser. B, 28(10):5177–5202, 2023

  4. [11]

    G. Galdi. An Introduction to the Mathematical Theory of the Navier-Stokes Equations: Steady-State Problems. Springer Monographs in Mathematics. Springer New York, 2011. ISBN 978-0-387-09619-3 978-0-387-09620-9

  5. [12]

    Y. Giga. Domains of fractional powers of the Stokes operator in Lr spaces. Arch. Rational Mech. Anal., 89(3): 251–265, 1985

  6. [13]

    Y. Giga. Solutions for semilinear parabolic equations in Lp and regularity of weak solutions of the Navier–Stokes system. J. Differential Equations, 62(2):186–212, 1986

  7. [14]

    F. Heihoff. Two New Functional Inequalities and Their Application to the Eventual Smoothness of Solutions to a Chemotaxis-Navier–Stokes System with Rotational Flux.SIAM J. Math. Anal., 55(6):7113–7154, 2023. 32

  8. [15]

    D. Henry. Geometric Theory of Semilinear Parabolic Equations, Volume 840 of Lecture Notes in Mathematics. Springer Berlin Heidelberg, 1981

  9. [16]

    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

  10. [17]

    Ishida, K

    S. Ishida, K. Seki, and T. Yokota. Boundedness in quasilinear Keller-Segel systems of parabolic-parabolic type on non-convex bounded domains.J. Differential Equations, 256(8):2993–3010, 2014

  11. [18]

    J. Jost. Partial Differential Equations, Volume 214 ofGraduate Texts in Mathematics. Springer New York, 2007. ISBN 978-0-387-49318-3

  12. [19]

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

  13. [20]

    D. Kim. Global solutions for chemotaxis-fluid systems with singular chemotactic sensitivity.Discrete Contin. Dyn. Syst. Ser. B, 28(10):5380–5395, 2023

  14. [21]

    O. A. Ladyženskaja, V. A. Solonnikov, and N. N. Ural’ceva.Linear and Quasilinear Equations of Parabolic Type. Translations of Mathematical Monographs. American Mathematical Society, 1968. ISBN 978-0-8218-1573-1

  15. [22]

    J. Lankeit. Locally bounded global solutions to a chemotaxis consumption model with singular sensitivity and nonlinear diffusion. J. Differential Equations, 262(7):4052–4084, 2017

  16. [23]

    Lankeit and M

    J. Lankeit and M. Winkler. A generalized solution concept for the Keller-Segel system with logarithmic sensitivity: Global solvability for large nonradial data.NoDEA Nonlinear Differ. Equ. Appl., 24(4):Art. 49, 33, 2017

  17. [24]

    Lankeit and M

    J. Lankeit and M. Winkler. Depleting the signal: Analysis of chemotaxis-consumption models—A survey.Stud. Appl. Math., 151(4):1197–1229, 2023

  18. [25]

    G. M. Lieberman. Hölder continuity of the gradient of solutions of uniformly parabolic equations with conormal boundary conditions. Ann. Mat. Pura Appl., 148(1):77–99, 1987

  19. [26]

    Globalclassicalsolvabilityandstabilizationinatwo-dimensionalchemotaxis–fluidsystemwithsub-logarithmic sensitivity

    J.Liu. Globalclassicalsolvabilityandstabilizationinatwo-dimensionalchemotaxis–fluidsystemwithsub-logarithmic sensitivity. Math. Models Methods Appl. Sci., 33(11):2271–2311, 2023

  20. [27]

    Mizoguchi and P

    N. Mizoguchi and P. Souplet. Nondegeneracy of blow-up points for the parabolic Keller-Segel system.Ann. Inst. H. Poincaré Anal. Non Linéaire, 31(4):851–875, 2014

  21. [28]

    Nagai and T

    T. Nagai and T. Senba. Global existence and blow-up of radial solutions to a parabolic-elliptic system of chemotaxis. Adv. Math. Sci. Appl., 8(1):145–156, 1998

  22. [29]

    Nagai, T

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

  23. [30]

    M. M. Porzio and V. Vespri. Hölder estimates for local solutions of some doubly nonlinear degenerate parabolic equations. J. Differential Equations, 103(1):146–178, 1993

  24. [31]

    Quittner and P

    P. Quittner and P. Souplet. Superlinear Parabolic Problems. Birkhäuser Advanced Texts: Basler Lehrbücher. Birkhäuser Verlag, Basel, 2007. ISBN 978-3-7643-8441-8

  25. [32]

    G. Rosen. Steady-state distribution of bacteria chemotactic toward oxygen.Bull. Math. Biol., 40(5):671–674, 1978

  26. [33]

    J. Simon. Compact sets in the space Lp(0,T;B). Ann. Mat. Pura Appl. (4), 146:65–96, 1987

  27. [34]

    H. Sohr. The Navier-Stokes Equations. Birkhäuser Advanced Texts: Basler Lehrbücher. Birkhäuser Verlag, Basel,

  28. [35]

    V. A. Solonnikov. Schauder estimates for the evolutionary generalized Stokes problem. InNonlinear Equations and Spectral Theory, Volume 220 ofAmer. Math. Soc. Transl. Ser. 2, pp. 165–200. Amer. Math. Soc., Providence, RI, 2007

  29. [36]

    Y. Tao. Boundedness in a chemotaxis model with oxygen consumption by bacteria.J. Math. Anal. Appl., 381(2): 521–529, 2011

  30. [37]

    Tao and M

    Y. Tao and M. Winkler. A chemotaxis-haptotaxis model: The roles of nonlinear diffusion and logistic source.SIAM J. Math. Anal., 43(2):685–704, 2011

  31. [38]

    Tao and M

    Y. Tao and M. Winkler. Global existence and boundedness in a Keller-Segel-Stokes model with arbitrary porous medium diffusion. Discrete Contin. Dyn. Syst., 32(5):1901–1914, 2012

  32. [39]

    Tao and M

    Y. Tao and M. Winkler. Locally bounded global solutions in a three-dimensional chemotaxis-Stokes system with nonlinear diffusion. Ann. Inst. H. Poincaré Anal. Non Linéaire, 30(1):157–178, 2013

  33. [40]

    Tuval, L

    I. Tuval, L. Cisneros, C. Dombrowski, C. W. Wolgemuth, J. O. Kessler, and R. E. Goldstein. Bacterial swimming and oxygen transport near contact lines.Proc. Natl. Acad. Sci. U.S.A., 102(7):2277–2282, 2005

  34. [41]

    J. Wang. Global Bounded Solution in a Chemotaxis-Stokes Model with Porous Medium Diffusion and Singular Sensitivity. Acta Appl Math, 187(1):7, 2023

  35. [42]

    M. Winkler. Lp bounds in the two-dimensional Navier–Stokes system and application to blow-up suppression in chemotaxis-fluid systems accounting for local sensing. preprint

  36. [43]

    M. Winkler. Global large-data solutions in a chemotaxis-(Navier-)Stokes system modeling cellular swimming in fluid drops. Commun. Partial. Differ. Equ., 37(2):319–351, 2012

  37. [44]

    M. Winkler. Finite-time blow-up in the higher-dimensional parabolic–parabolic Keller–Segel system.J. Math. Pures Appl., 100(5):748–767, 2013

  38. [45]

    M. Winkler. Stabilization in a two-dimensional chemotaxis-Navier-Stokes system.Arch. Ration. Mech. Anal., 211 (2):455–487, 2014. 33

  39. [46]

    M. Winkler. Boundedness and large time behavior in a three-dimensional chemotaxis-Stokes system with nonlinear diffusion and general sensitivity.Calc. Var. Partial Differential Equations, 54(4):3789–3828, 2015

  40. [47]

    M. Winkler. Large-data global generalized solutions in a chemotaxis system with tensor-valued sensitivities.SIAM J. Math. Anal., 47(4):3092–3115, 2015

  41. [48]

    M. Winkler. Global mass-preserving solutions in a two-dimensional chemotaxis-Stokes system with rotational flux components. Journal of Evolution Equations, 2018

  42. [49]

    M. Winkler. A three-dimensional Keller–Segel–Navier–Stokes system with logistic source: Global weak solutions and asymptotic stabilization. J. Funct. Anal., 276(5):1339–1401, 2019

  43. [50]

    M. Winkler. Small-Mass Solutions in the Two-Dimensional Keller–Segel System Coupled to the Navier–Stokes Equa- tions. SIAM J. Math. Anal., 52(2):2041–2080, 2020

  44. [51]

    M. Winkler. Approaching logarithmic singularities in quasilinear chemotaxis-consumption systems with signal- dependent sensitivities. Discrete Continuous Dyn. Syst. Ser. B., 27(11):6565, 2022

  45. [53]

    M. Winkler. Does Leray’s structure theorem withstand buoyancy-driven chemotaxis-fluid interaction?J. Eur. Math. Soc., 2022

  46. [54]

    M. Winkler. Eventual regularity in a two-dimensional doubly degenerate nutrient taxis system. 2024. Preprint

  47. [55]

    C. Xue. Macroscopic equations for bacterial chemotaxis: Integration of detailed biochemistry of cell signaling.J. Math. Biology, 70(1-2):1–44, 2015

  48. [56]

    Xue and H

    C. Xue and H. G. Othmer. Multiscale models of taxis-driven patterning in bacterial populations.SIAM J. Appl. Math., 70(1):133–167, 2009. 34

Pith tools

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