Pith. sign in

REVIEW 2 major objections 2 minor 26 references

Nonlocal Busenberg-Travis cross-diffusion system with nonlinear Brinkman law admits global weak solutions for broad power-law exponents

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-29 16:58 UTC pith:RSMQWMVY

load-bearing objection This extends existence results for nonlocal cross-diffusion to a nonlinear Brinkman law and adds the localization limit, using Tsallis entropy on a standard approximation-plus-compactness route. the 2 major comments →

arxiv 2605.27037 v1 pith:RSMQWMVY submitted 2026-05-26 math.AP

A nonlocal Busenberg-Travis cross-diffusion system with nonlinear Brinkman law

Peter Hirvonen , Ansgar J\"ungel This is my paper
classification math.AP
keywords cross-diffusionBusenberg-Travis systemnonlocal interactionBrinkman lawweak solutionsTsallis entropylocalization limitpower-law nonlinearity
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves global existence of weak solutions to a nonlocal cross-diffusion system modeling segregating populations, where the density-pressure relation is a power-law nonlinearity and velocities obey a regularized Darcy law viewed as a Brinkman equation. Uniform estimates are derived from the Tsallis entropy inequality, after which the problem is approximated by auxiliary schemes whose limits are recovered by compactness. The localization limit, recovering a local interaction from the nonlocal term, is established as part of the same argument. A sympathetic reader would care because the result supplies a well-posedness foundation for population-segregation models under nonlinear pressure relations that previous linear analyses did not cover.

Core claim

For the nonlocal Busenberg-Travis cross-diffusion system posed in a bounded domain with no-flux boundary conditions, with velocities satisfying a regularized Brinkman law and density-pressure relation given by a power law, global weak solutions exist for a broad range of the power-law exponents; the localization limit is also proved. The argument proceeds by obtaining uniform estimates from the Tsallis entropy inequality, introducing approximating schemes to overcome regularity issues, and passing to the limit via compactness.

What carries the argument

The Tsallis entropy inequality, which produces the uniform estimates that close the existence proof for the nonlinear system and enable passage through the approximating schemes.

Load-bearing premise

The power-law exponents in the density-pressure relation lie in a range that lets the Tsallis entropy inequality deliver the required uniform estimates on the solutions.

What would settle it

An explicit construction or numerical computation demonstrating that solutions fail to exist globally for some exponent inside the claimed admissible range would falsify the existence statement.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Global weak solutions exist for the full nonlinear nonlocal system over the stated exponent interval.
  • The localization limit holds, recovering the local-interaction model as a limit case.
  • The approximation schemes converge strongly enough to pass to the weak solution.
  • The entropy-derived bounds prevent finite-time blow-up for admissible exponents.

Where Pith is reading between the lines

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

  • The same entropy-compactness strategy may extend directly to related cross-diffusion systems that replace the Brinkman regularization with other viscous terms.
  • Long-time behavior or steady-state analysis of the weak solutions could now be attempted without first proving short-time existence separately.
  • Biological applications to cell segregation or species competition gain a mathematically controllable nonlinear-pressure regime.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The paper studies a nonlocal Busenberg-Travis cross-diffusion system for segregating populations in a bounded domain subject to no-flux boundary conditions. The species velocities are governed by a regularized Darcy law interpreted as a Brinkman equation. The density-pressure relation is taken to be a nonlinear power-law. Global existence of weak solutions is established for a broad range of the power-law exponents via uniform estimates derived from the Tsallis entropy inequality; the proofs proceed by constructing approximation schemes whose de-regularization limits are recovered by compactness arguments. The localization limit is also proved.

Significance. If the stated range of exponents is correctly identified and the compactness passages are justified, the result extends the literature on cross-diffusion systems by accommodating nonlinear pressure laws together with nonlocal interactions and a Brinkman regularization. The reliance on the Tsallis entropy to produce the necessary a-priori bounds and the explicit treatment of the localization limit constitute the main technical contributions.

major comments (2)
  1. [§3] §3 (Existence theorem): the precise interval of admissible exponents for the power-law nonlinearity must be stated explicitly in the main theorem statement, because the abstract only refers to a 'broad range' and the applicability of the Tsallis entropy inequality is sensitive to the precise value of the exponent.
  2. [Approximation schemes] Section on approximation schemes: the passage from the regularized Brinkman term to the original Darcy law is only sketched; the precise form of the regularization and the corresponding error estimates that permit the limit should be recorded in a dedicated lemma, as this step is load-bearing for the existence result.
minor comments (2)
  1. [Introduction] The notation for the nonlocal interaction kernel is introduced without a dedicated display equation; a numbered equation would improve readability.
  2. [Proofs] Several references to compactness theorems (Aubin-Lions, etc.) are invoked without page or theorem numbers; adding these citations would aid verification.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and will make the corresponding revisions.

read point-by-point responses

  1. Referee: [§3] §3 (Existence theorem): the precise interval of admissible exponents for the power-law nonlinearity must be stated explicitly in the main theorem statement, because the abstract only refers to a 'broad range' and the applicability of the Tsallis entropy inequality is sensitive to the precise value of the exponent.

    Authors: We agree that the precise range of admissible exponents should be stated explicitly rather than described only as 'broad'. The conditions under which the Tsallis entropy inequality yields the required a-priori bounds are indeed exponent-dependent. In the revised manuscript we will update the statement of the main existence theorem (currently Theorem 3.1) to record the exact interval, and we will adjust the abstract accordingly. revision: yes

  2. Referee: [Approximation schemes] Section on approximation schemes: the passage from the regularized Brinkman term to the original Darcy law is only sketched; the precise form of the regularization and the corresponding error estimates that permit the limit should be recorded in a dedicated lemma, as this step is load-bearing for the existence result.

    Authors: We acknowledge that the regularization of the Brinkman term and the subsequent limit passage were only sketched. We will add a dedicated lemma that specifies the precise form of the regularization, states the corresponding error estimates, and justifies the passage to the Darcy law in the de-regularization limit. This lemma will be placed in the section on approximation schemes. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation consists of standard PDE existence techniques: deriving uniform a-priori bounds from the Tsallis entropy inequality for a stated range of power-law exponents, followed by compactness passage to the limit in regularized approximation schemes that include a Brinkman regularization term. These steps invoke external inequalities and compactness theorems rather than any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The central claims (global weak solutions and localization limit) therefore remain independent of the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard PDE assumptions (bounded domain, no-flux boundary conditions) and the existence of a Tsallis entropy functional that produces uniform estimates for the chosen power-law exponents; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Tsallis entropy inequality yields uniform a-priori estimates for the system under power-law nonlinearity
    Invoked to obtain bounds before approximation and limit passage (abstract).
  • standard math Compactness arguments suffice to pass to the limit in the approximated problems
    Standard Aubin-Lions or similar lemma application after regularization.

pith-pipeline@v0.9.1-grok · 5642 in / 1271 out tokens · 37640 ms · 2026-06-29T16:58:32.858221+00:00 · methodology

0 comments
read the original abstract

A nonlocal Busenberg-Travis cross-diffusion system for segregating populations is analyzed in a bounded domain with no-flux boundary conditions. The velocities of the species solve a regularized Darcy law, which can be interpreted as a Brinkman equation. Compared to results in the literature, the density-pressure relation is assumed to be nonlinear. The global existence of weak solutions to this system is shown for a broad range of the exponents of the power-law nonlinearity, and the localization limit is proved. The proofs are based on uniform estimates coming from the Tsallis entropy inequality. Due to regularity issues, the original problem is approximated by various schemes, and the de-regularization limits are obtained through compactness arguments.

Figures

Figures reproduced from arXiv: 2605.27037 by Ansgar J\"ungel, Peter Hirvonen.

Figure 1
Figure 1. Figure 1: Sum u1 + u2 + u3 for β = 0.5 (left column), β = 1, 5 (middle column), and β = 2.5 (right column) at times t = 6·10−4 (N = 15, top row), t = 2 · 10−3 (N = 50, middle row), and t = 10−2 (N = 250, bottom row). velocity ξ ∈ R d , and time t > 0, reads in the diffusion scaling as δ∂tf δ i + ξ · ∇xf δ i + ∇xΦ δ i · ∇ξf δ i = νi δ (Mi(f δ i ) − f δ i ) in R d (25) , t > 0, for i = 1, . . . , n, where the scaling … view at source ↗

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

26 extracted references · 2 canonical work pages

  1. [1]

    Agmon, A

    S. Agmon, A. Douglis, and L. Nirenberg, Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions.Commun. Pure Appl. Math.12 (1959), 623–727

    1959

  2. [2]

    Bertsch, M

    M. Bertsch, M. Gurtin, D. Hilhorst, and L. Peletier. On interacting populations that disperse to avoid crowding: preservation of segregation.J. Math. Biol.23 (1985), 1–13

    1985

  3. [3]

    Bertsch, D

    M. Bertsch, D. Hilhorst, H. Izuhara, and M. Mumura. A nonlinear parabolic–hyperbolic system for contact inhibition of cell-growth.Differ. Eqs. Appl.4 (2012), 137–157

    2012

  4. [4]

    Brinkman

    H. Brinkman. A calculation of the viscous force exerted by a flowing fluid on a dense swarm of particles.Flow Turbul. Conbust.1 (1949), 27–34

    1949

  5. [5]

    Burger and A

    M. Burger and A. Esposito. Porous medium equation and cross-diffusion systems as limit of nonlocal interaction.Nonlin. Anal.235 (2023), no. 113347, 30 pages

    2023

  6. [6]

    Busenberg and C

    S. Busenberg and C. Travis. Epidemic models with spatial spread due to population migration.J. Math. Biol.16 (1983), 181–198. A NONLOCAL BUSENBERG–TRA VIS SYSTEM 29

    1983

  7. [7]

    J. A. Carrillo, A. Esposito, and J. S.-H. Wu. Nonlocal approximation of nonlinear diffusion equations. Calc. Var. Partial Differ. Eqs.63 (2024), no. 100, 44 pages

    2024

  8. [8]

    J. A. Carrillo, Y. Salmaniw, and J. Skrzeczkowski. Well-posedness of aggregation-diffusion systems with irregular kernels.Ann. Inst. H. Poincar´ e Anal. Non Lin.(2026), published online first. DOI 10.4171/AIHPC/173

    work page doi:10.4171/aihpc/173 2026

  9. [9]

    L. Chen, E. Daus, and A. J¨ ungel. Rigorous mean-field limit and cross diffusion.Z. Angew. Math. Phys.70 (2019), no. 122, 21 pages

    2019

  10. [10]

    X. Chen, A. J¨ ungel, and J.-G. Liu. A note on Aubin-Lions-Dubinski˘ ı lemmas.Acta Appl. Math.133 (2014), 33–43

    2014

  11. [11]

    Doumic, S

    M. Doumic, S. Hecht, B. Perthame, and D. Peurichard. Multispecies cross-diffusions: From a nonlocal mean-field to a porous medium system without self-diffusion.J. Differ. Eqs.389 (2024), 228–256

    2024

  12. [12]

    Dreher and A

    M. Dreher and A. J¨ ungel. Compact families of piecewise constant functions inL p(0, T;B).Nonlin. Anal.75 (2012), 3072–3077

    2012

  13. [13]

    Druet, K

    P.-E. Druet, K. Hopf, and A. J¨ ungel. Hyperbolic–parabolic normal form and local classical solutions for cross-diffusion systems with incomplete diffusion.Commun. Partial Differ. Eqs.48 (2023), 863– 894

    2023

  14. [14]

    Druet and A

    P.-E. Druet and A. J¨ ungel. Analysis of cross-diffusion systems for fluid mixtures driven by a pressure gradient.SIAM J. Math. Anal.52 (2020), 2179–2197

    2020

  15. [15]

    Gilbarg and N

    D. Gilbarg and N. Trudinger,Elliptic Partial Differential Equations of Second Order. Springer, Hei- delberg, 2001

    2001

  16. [16]

    Grindrod

    P. Grindrod. Models of individual aggregation or clustering in single and multi-species communities. J. Math. Biol.26 (1988), 651–660

    1988

  17. [17]

    Gr¨ oger

    K. Gr¨ oger. AW1,p-estimate for solutions to mixed boundary value problems for second order elliptic differential equations.Math. Ann.283 (1989), 679–687

    1989

  18. [18]

    Giunta, T

    V. Giunta, T. Hillen, M. Lewis, and J. Potts. Local and global existence for nonlocal multispecies advection-diffusion models.SIAM J. Appl. Dyn. Sys.21 (2022), 1686–1708

    2022

  19. [19]

    J¨ ungel, A

    A. J¨ ungel, A. Pollino, and S. Taguchi. Cross-diffusion limits in multispecies kinetic models.Kinet. Relat. Models23 (2026), 69–90

    2026

  20. [20]

    J¨ ungel, S

    A. J¨ ungel, S. Portisch, and A. Zurek. A convergent finite-volume scheme for nonlocal cross-diffusion systems for multi-species populations.ESAIM Math. Model. Numer. Anal.58 (2024), 759–792

    2024

  21. [21]

    J¨ ungel, M

    A. J¨ ungel, M. Vetter, and A. Zurek. A nonlocal regularization of a generalized Busenberg–Travis cross-diffusion system. Submitted for publication, 2024. arXiv:2407.01123

    work page arXiv 2024

  22. [22]

    Kurowski, A

    L. Kurowski, A. Krause, H. Mizuguchi, P. Grundrod, and R. Van Gorder. Two-species migration and clustering in two-dimensional domains.Bull. Math. Biol.79 (2017), 2302–2333

    2017

  23. [23]

    Lorenzi, A

    T. Lorenzi, A. Lorz, and B. Perthame. On interfaces between cell populations with different mobilities. Kinet. Relat. Models10 (2017), 299–311

    2017

  24. [24]

    N. Meyers. AnL p-estimate for the gradient of solutions to second order elliptic divergence equations. Ann. Sc. Norm. Sup. Pisa17 (1963), 189–206

    1963

  25. [25]

    Sch¨ oberl

    J. Sch¨ oberl. C++11 implementation of finite elements in NGSolve.ASC Report30/2014, TU Wien (2014), 23 pages. http://hdl.handle.net/20.500.12708/28346

    2014

  26. [26]

    J. Simon. Compact sets in the spaceL p(0, T;B).Ann. Math. Pura Appl.146 (1987), 65–96. Institute of Analysis and Scientific Computing, TU Wien, Wiedner Hauptstraße 8–10, 1040 Wien, Austria Email address:peter.hirvonen@tuwien.ac.at Institute of Analysis and Scientific Computing, TU Wien, Wiedner Hauptstraße 8–10, 1040 Wien, Austria Email address:juengel@tu...

    1987