pith. sign in

arxiv: 2607.01857 · v1 · pith:C26YPNIPnew · submitted 2026-07-02 · 🧮 math.AP

Refined blow-up criteria and global solutions for triangular cross-diffusion systems

Alexandre Bertolino (LJLL , DMA) This is my paper

Pith reviewed 2026-07-03 09:53 UTC · model grok-4.3

classification 🧮 math.AP
keywords triangular cross-diffusionblow-up criteriaglobal existenceShigesada-Kawasaki-TeramotoSobolev well-posednessKolmogorov equationslogistic reactions
0
0 comments X

The pith

Finite-time blow-up in triangular cross-diffusion systems requires the L infinity norm of the solution to diverge.

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

The paper develops a well-posedness theory for triangular cross-diffusion systems of Shigesada-Kawasaki-Teramoto type based on estimates for scalar Kolmogorov equations. It establishes that singularities can only occur if the supremum norm diverges. For nonlinearities with polynomial growth, the blow-up condition is refined to divergence in some Lp norm, providing a weaker condition than classical Sobolev criteria. This hierarchical dependence allows proving global existence for two-species systems with logistic reactions in dimensions up to two.

Core claim

Finite-time singularities can occur only through the divergence of the L∞(Td) norm of the solution. Assuming polynomial growth of the nonlinearities, this criterion is refined to an Lp-based blow-up condition for some finite exponent p, yielding a substantially weaker obstruction to global existence than classical Sobolev blow-up criteria. The proof uses refined tame estimates for composition in Sobolev spaces, and the theory applies to prove global existence of non-negative strong solutions for two-species systems with logistic-type reaction terms in dimensions d ≤ 2.

What carries the argument

The triangular hierarchical structure where each diffusion coefficient depends only on species of lower index, combined with regularity estimates for scalar Kolmogorov equations.

If this is right

  • Global existence holds for non-negative strong solutions in two-species logistic systems when d ≤ 2.
  • Well-posedness is obtained in the space C^0([0, T]; H^s(T^d)).
  • Refined tame estimates for composition operators in Sobolev spaces support the blow-up criteria.
  • The Lp blow-up condition is substantially weaker than Sobolev-based ones under polynomial growth.

Where Pith is reading between the lines

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

  • The hierarchical structure might enable similar Lp refinements in other multi-species models with triangular diffusion.
  • Numerical simulations could use the Lp criterion to detect blow-ups more efficiently than higher norm monitoring.
  • The global existence result for d ≤ 2 suggests the method could be adapted for systems with additional species under suitable growth conditions.

Load-bearing premise

The diffusion coefficient of each species depends only on species of lower index, creating a hierarchical structure.

What would settle it

Constructing a solution that blows up in finite time while its L∞ norm remains bounded would falsify the refined blow-up criterion.

read the original abstract

We study the Cauchy problem associated with a class of triangular cross-diffusion systems of Shigesada-Kawasaki-Teramoto type. We develop a self-contained well-posedness theory in C 0 ([0, T ]; H s (T d )) based on regularity estimates for scalar Kolmogorov equations. The diffusion coefficient of each species depends only on species of lower index, yielding a hierarchical structure that allows for refined blow-up criteria. Finite-time singularities can occur only through the divergence of the L $\infty$ (T d ) norm of the solution. Assuming polynomial growth of the nonlinearities, this criterion is refined to an L p -based blow-up condition for some finite exponent p, yielding a substantially weaker obstruction to global existence than classical Sobolev blow-up criteria. The proof is achieved through refined tame estimates for composition in Sobolev spaces. As an application, we prove global existence of non-negative strong solutions for two-species systems with logistic-type reaction terms in dimensions d $\le$ 2.

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

0 major / 3 minor

Summary. The manuscript develops a well-posedness theory in C^0([0,T];H^s(T^d)) for triangular cross-diffusion systems of Shigesada-Kawasaki-Teramoto type on the torus, based on regularity estimates for scalar Kolmogorov equations. The triangular (hierarchical) structure of the diffusion coefficients is used to obtain refined blow-up criteria: finite-time singularities can occur only through divergence of the L^∞ norm, and under polynomial growth of the nonlinearities this is further weakened to an L^p blow-up condition for some finite p via tame composition estimates in Sobolev spaces. As an application, global existence of non-negative strong solutions is proved for two-species systems with logistic reaction terms when d≤2.

Significance. If the central claims hold, the work supplies measurably weaker obstructions to global existence than classical Sobolev-type criteria, which is of direct interest for the long-time analysis of cross-diffusion models arising in mathematical biology. The explicit use of the triangular hierarchy to obtain sequential a-priori estimates, together with the tame-estimate approach, constitutes a technical contribution that could extend to other structured systems.

minor comments (3)
  1. [Introduction / §2] The abstract and introduction should state the precise range of s (e.g., s > d/2 + k) required for the Sobolev embedding and tame estimates to close; this is load-bearing for the well-posedness statement but appears only implicitly.
  2. [§3 / §4] Clarify whether the tame estimates invoked in the proof of the L^p criterion are taken from a cited reference or derived in an appendix; if the latter, the derivation should be referenced by equation number in the main text.
  3. [§5] In the application section, verify that the logistic reaction terms satisfy the stated polynomial-growth hypothesis uniformly in the parameters; a short remark on the admissible range of the growth exponents would strengthen the statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper develops well-posedness and blow-up criteria for triangular cross-diffusion systems using regularity estimates on scalar Kolmogorov equations and tame composition estimates in Sobolev spaces. The hierarchical structure is explicitly used to enable sequential estimates, but this is a standard structural assumption in the literature on such systems rather than a self-referential definition or fitted input. No load-bearing step reduces by construction to its own inputs, no self-citation chain is invoked to justify uniqueness or ansatzes, and the L^∞ and L^p criteria follow from polynomial growth hypotheses via functional-analytic arguments that remain independent of the target results. The derivation is self-contained against external benchmarks in PDE theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard tools of PDE analysis; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • domain assumption Regularity estimates for scalar Kolmogorov equations hold in the required function spaces
    Invoked as the foundation for the well-posedness theory in C0([0,T];Hs).
  • standard math Tame estimates for composition operators are valid in Sobolev spaces under the stated growth conditions
    Used to obtain the refined blow-up criteria.

pith-pipeline@v0.9.1-grok · 5699 in / 1287 out tokens · 32181 ms · 2026-07-03T09:53:34.119822+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

32 extracted references · 32 canonical work pages · 4 internal anchors

  1. [1]

    Di Francesco, P

    Herbert Amann. “Nonhomogeneous Linear and Quasilinear Elliptic and Parabolic Boundary Value Problems”. en. In:Function Spaces, Differential Operators and Nonlinear Analysis. Ed. by Hans-Jürgen Schmeisser and Hans Triebel. Wiesbaden: Vieweg+Teubner Verlag, 1993, pp. 9–126.isbn: 978-3-663-11336-2. doi: 10.1007/978- 3- 663- 11336- 2_1 . url: https: //doi.org...

    work page doi:10.1007/978- 1993

  2. [2]

    Hajer Bahouri, Jean-Yves Chemin, and Raphaël Danchin.Fourier Analysis and Nonlinear Partial Differential Equations. en. Vol. 343. Grundlehren der mathematischen Wissenschaften. Berlin, Heidelberg: Springer, 2011.isbn: 978-3-642-16830-7. doi: 10.1007/978-3-642-16830-

    work page doi:10.1007/978-3-642-16830- 2011

  3. [3]

    url: https://link.springer.com/10.1007/978-3-642-16830-7. 26

    work page doi:10.1007/978-3-642-16830-7

  4. [4]

    arXiv:2510.07138 [math]

    Vincent Bansaye, Alexandre Bertolino, and Ayman Moussa.Stability of non-conservative cross diffusion model and approximation by stochastic particle systems. arXiv:2510.07138 [math]. Oct. 2025. doi: 10.48550/arXiv.2510.07138. url: http://arxiv.org/abs/2510.07138

    work page doi:10.48550/arxiv.2510.07138 2025

  5. [5]

    Global strong solutions for the triangular Shigesada-Kawasaki-Teramoto cross-diffusion system in three dimensions and parabolic regularisation for increasing functions

    Hector Bouton, Laurent Desvillettes, and Helge Dietert. Global strong solutions for the triangular Shigesada-Kawasaki-Teramoto cross-diffusion system in three dimensions and parabolic regularisation for increasing functions. arXiv:2503.08186 [math.AP]. Aug. 2025. doi: 10.48550/arXiv.2503.08186. url: http://arxiv.org/abs/2503.08186

    work page doi:10.48550/arxiv.2503.08186 2025

  6. [6]

    arXiv:1910.03436 [math.AP]

    Maxime Breden, Christian Kuehn, and Cinzia Soresina.On the influence of cross-diffusion in pattern formation. arXiv:1910.03436 [math.AP]. Oct. 2019.doi: 10.48550/arXiv.1910.03436. url: http://arxiv.org/abs/1910.03436

    work page doi:10.48550/arxiv.1910.03436 1910

  7. [7]

    Gagliardo-Nirenberg, composition and products in frac- tional Sobolev spaces

    Haïm Brezis and Petru Mironescu. “Gagliardo-Nirenberg, composition and products in frac- tional Sobolev spaces”. en. In:Journal of Evolution Equations1.4 (Dec. 2001), pp. 387–404. issn: 1424-3199. doi: 10.1007/PL00001378. url: https://doi.org/10.1007/PL00001378

    work page doi:10.1007/pl00001378 2001

  8. [8]

    Analysis of a parabolic cross-diffusion population model without self-diffusion

    Li Chen and Ansgar Jüngel. “Analysis of a parabolic cross-diffusion population model without self-diffusion”. In:Journal of Differential Equations224.1 (May 2006), pp. 39–59.issn: 0022-

    work page 2006

  9. [9]

    url: https://www.sciencedirect.com/science/ article/pii/S002203960500286X

    doi: 10.1016/j.jde.2005.08.002. url: https://www.sciencedirect.com/science/ article/pii/S002203960500286X

    work page doi:10.1016/j.jde.2005.08.002 2005

  10. [10]

    A note on the uniqueness of weak solutions to a class of cross- diffusion systems

    Xiuqing Chen and Ansgar Jüngel. “A note on the uniqueness of weak solutions to a class of cross- diffusion systems”. en. In:Journal of Evolution Equations18.2 (June 2018), pp. 805–820.issn: 1424-3202. doi: 10.1007/s00028-017-0420-4 . url: https://doi.org/10.1007/s00028- 017-0420-4

    work page doi:10.1007/s00028-017-0420-4 2018

  11. [11]

    Weak–strong uniqueness of renormalized solutions to reaction–cross-diffusion systems

    Xiuqing Chen and Ansgar Jüngel. “Weak–strong uniqueness of renormalized solutions to reaction–cross-diffusion systems”. In:Mathematical Models and Methods in Applied Sciences 29.02 (Feb. 2019), pp. 237–270.issn: 0218-2025. doi: 10.1142/S0218202519500088 . url: https://www.worldscientific.com/doi/10.1142/S0218202519500088

    work page doi:10.1142/s0218202519500088 2019

  12. [12]

    Existence of global solutions for the Shigesada- Kawasaki-Teramoto model with weak cross-diffusion

    Y. S. Choi, Roger Lui, and Yoshio Yamada. “Existence of global solutions for the Shigesada- Kawasaki-Teramoto model with weak cross-diffusion”. en. In:Discrete and Continuous Dynami- cal Systems9.5 (June 2003), pp. 1193–1200.issn: 1078-0947.doi: 10.3934/dcds.2003.9.1193. url: https://www.aimsciences.org/en/article/doi/10.3934/dcds.2003.9.1193

    work page doi:10.3934/dcds.2003.9.1193 2003

  13. [13]

    On the Entropic Structure of Reaction-Cross Diffusion Systems

    L. Desvillettes et al. “On the Entropic Structure of Reaction-Cross Diffusion Systems”. In: Communications in Partial Differential Equations40.9 (Sept. 2015), pp. 1705–1747.issn: 0360-5302. doi: 10.1080/03605302.2014.998837 . url: https://www.tandfonline.com/ doi/full/10.1080/03605302.2014.998837

    work page doi:10.1080/03605302.2014.998837 2015

  14. [14]

    Persisting entropy structure for nonlocal cross-diffusion systems

    Helge Dietert and Ayman Moussa. “Persisting entropy structure for nonlocal cross-diffusion systems”. fr. In:Annales de la Faculté des sciences de Toulouse : Mathématiques33.1 (2024), pp. 69–104.issn: 2258-7519. doi: 10 . 5802 / afst . 1762. url: https : / / afst . centre - mersenne.org/articles/10.5802/afst.1762/

    work page doi:10.5802/afst.1762/ 2024

  15. [15]

    Partial Differential Equations

    W. D. Evans. “Partial Differential Equations”. en. In:Bulletin of the London Mathematical Soci- ety 20.4(1988)._eprint:https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/blms/20.4.375, pp. 375–376.issn: 1469-2120. doi: 10.1112/blms/20.4.375. url: https://onlinelibrary. wiley.com/doi/abs/10.1112/blms/20.4.375. 27

    work page doi:10.1112/blms/20.4.375 1988

  16. [16]

    Transference on certain multilinear multiplier operators

    Dashan Fan and Shuichi Sato. “Transference on certain multilinear multiplier operators”. en. In: Journal of the Australian Mathematical Society70.1 (Feb. 2001), pp. 37–55.issn: 1446-8107, 1446-7887. doi: 10.1017/S1446788700002263. url: https://www.cambridge. org / core / journals / journal - of - the - australian - mathematical - society / article / trans...

    work page doi:10.1017/s1446788700002263 2001

  17. [17]

    Isabelle Gallagher and Ayman Moussa.The Cauchy Problem For Quasi-Linear Parabolic Systems Revisited. en. arXiv:2407.08226 [math]. Sept. 2025.doi: 10.48550/arXiv.2407.08226. url: http://arxiv.org/abs/2407.08226

    work page doi:10.48550/arxiv.2407.08226 2025

  18. [18]

    Global smooth solutions for triangular reaction-cross diffusion systems

    Jessica Guerand, Angeliki Menegaki, and Ariane Trescases. “Global smooth solutions for triangular reaction-cross diffusion systems”. In:Bulletin des Sciences Mathématiques 189 (Dec. 2023), p. 103342.issn: 0007-4497. doi: 10.1016/j.bulsci.2023.103342. url: https: //www.sciencedirect.com/science/article/pii/S0007449723001161

    work page doi:10.1016/j.bulsci.2023.103342 2023

  19. [19]

    Gradient Estimates and Global Existence of Smooth Solutions to a Cross-Diffusion System

    Luan T. Hoang, Truyen V. Nguyen, and Tuoc V. Phan. “Gradient Estimates and Global Existence of Smooth Solutions to a Cross-Diffusion System”. In:SIAM Journal on Mathematical Analysis 47.3 (Jan. 2015), pp. 2122–2177.issn: 0036-1410. doi: 10.1137/140981447. url: https://epubs.siam.org/doi/10.1137/140981447

    work page doi:10.1137/140981447 2015

  20. [20]

    Coexistence-segregation dichotomy in the full cross-diffusion limit of the stationary SKT model

    Jumpei Inoue, Kousuke Kuto, and Homare Sato. “Coexistence-segregation dichotomy in the full cross-diffusion limit of the stationary SKT model”. In:Journal of Differential Equations 373 (Nov. 2023), pp. 48–107.issn: 0022-0396. doi: 10.1016/j.jde.2023.07.006 . url: https://www.sciencedirect.com/science/article/pii/S0022039623004710

    work page doi:10.1016/j.jde.2023.07.006 2023

  21. [21]

    Smooth solutions to a quasi-linear system of diffusion equations for a certain population model

    Jong Uhn Kim. “Smooth solutions to a quasi-linear system of diffusion equations for a certain population model”. In:Nonlinear Analysis: Theory, Methods & Applications8.10 (Oct. 1984), pp. 1121–1144.issn: 0362-546X. doi: 10.1016/0362-546X(84)90115-9 . url: https://www.sciencedirect.com/science/article/pii/0362546X84901159

    work page doi:10.1016/0362-546x(84)90115-9 1984

  22. [22]

    Entropic structure and duality for multiple species cross-diffusion systems

    Thomas Lepoutre and Ayman Moussa. “Entropic structure and duality for multiple species cross-diffusion systems”. In:Nonlinear Analysis. Advances in Reaction-Cross-Diffusion Systems 159 (Aug. 2017), pp. 298–315.issn: 0362-546X. doi: 10.1016/j.na.2017.02.008 . url: https://www.sciencedirect.com/science/article/pii/S0362546X17300445

    work page doi:10.1016/j.na.2017.02.008 2017

  23. [23]

    Dong Li.On Kato-Ponce and fractional Leibniz. en. Sept. 2016.doi: 10.4171/rmi/1049. url: https://arxiv.org/abs/1609.01780v2

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/rmi/1049 2016

  24. [24]

    On the global existence of a cross-diffusion system

    Yuan Lou, Wei-Ming Ni, and Yaping Wu. “On the global existence of a cross-diffusion system”. en. In:Discrete and Continuous Dynamical Systems4.2 (Feb. 1998), pp. 193–203.issn: 1078-

    work page 1998

  25. [25]

    url: https://www.aimsciences.org/en/article/ doi/10.3934/dcds.1998.4.193

    doi: 10.3934/dcds.1998.4.193. url: https://www.aimsciences.org/en/article/ doi/10.3934/dcds.1998.4.193

    work page doi:10.3934/dcds.1998.4.193 1998

  26. [26]

    From non-local to classical SKT systems: triangular case with bounded coefficients

    Ayman Moussa. From non-local to classical SKT systems: triangular case with bounded coefficients. arXiv:1711.08662 [math]. July 2018.doi: 10.48550/arXiv.1711.08662 . url: http://arxiv.org/abs/1711.08662

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1711.08662 2018

  27. [27]

    Hitchhiker's guide to the fractional Sobolev spaces

    Eleonora Di Nezza, Giampiero Palatucci, and Enrico Valdinoci.Hitchhiker’s guide to the fractional Sobolev spaces. arXiv:1104.4345 [math]. Nov. 2011.doi: 10.48550/arXiv.1104

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1104 2011

  28. [28]

    url: http://arxiv.org/abs/1104.4345. 28

    work page internal anchor Pith review Pith/arXiv arXiv

  29. [29]

    Global existence of solutions for a strongly coupled quasilinear parabolic system

    M. A. Pozio and A. Tesei. “Global existence of solutions for a strongly coupled quasilinear parabolic system”. In:Nonlinear Analysis: Theory, Methods & Applications14.8 (Apr. 1990), pp. 657–689.issn: 0362-546X. doi: 10.1016/0362-546X(90)90043-G . url: https://www. sciencedirect.com/science/article/pii/0362546X9090043G

    work page doi:10.1016/0362-546x(90)90043-g 1990

  30. [30]

    Parabolic Lp - Lq estimates

    Dietmar A Salamon. “Parabolic Lp - Lq estimates”. en. In:ETH Zürich pre-print(2017). url: https://people.math.ethz.ch/~salamon/PREPRINTS/parabolic.pdf

    work page 2017

  31. [31]

    Spatial segregation of interacting species

    Nanako Shigesada, Kohkichi Kawasaki, and Ei Teramoto. “Spatial segregation of interacting species”. In:Journal of Theoretical Biology79.1 (July 1979), pp. 83–99.issn: 0022-5193. doi: 10.1016/0022-5193(79)90258-3 . url: https://www.sciencedirect.com/science/ article/pii/0022519379902583

    work page doi:10.1016/0022-5193(79)90258-3 1979

  32. [32]

    Hans Triebel.Theory of Function Spaces. en. Basel: Springer, 1983.isbn: 978-3-0346-0415-4. doi: 10.1007/978-3-0346-0416-1 . url: https://link.springer.com/10.1007/978-3- 0346-0416-1. 29

    work page doi:10.1007/978-3-0346-0416-1 1983