Two species nonlocal diffusion systems with free boundaries
Pith reviewed 2026-05-24 23:54 UTC · model grok-4.3
The pith
Nonlocal diffusion free boundary systems for two species have unique global solutions and a spreading-vanishing dichotomy.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that such a nonlocal diffusion problem with free boundary has a unique global solution, and for models with Lotka-Volterra type competition or predator-prey growth terms, we show that a spreading-vanishing dichotomy holds, and obtain criteria for spreading and vanishing; moreover, for the weak competition case and for the weak predation case, we can determine the long-time asymptotic limit of the solution when spreading happens.
What carries the argument
The free boundary that represents the spreading front of the species, paired with nonlocal diffusion operators that describe population dispersal.
If this is right
- The nonlocal diffusion problem with free boundary admits a unique global solution.
- A spreading-vanishing dichotomy holds for the competition and predator-prey models.
- Criteria are obtained that distinguish spreading from vanishing.
- Long-time asymptotic limits of the solution are determined for the weak competition and weak predation cases when spreading occurs.
Where Pith is reading between the lines
- The spreading-vanishing behavior appears robust under replacement of local diffusion by nonlocal diffusion.
- The new techniques developed to handle nonlocality may transfer to other multi-species free boundary problems.
- Ecological models of population invasion may retain the same qualitative predictions even when long-range dispersal is included.
Load-bearing premise
The nonlocal diffusion operators and free boundary conditions satisfy comparison principles and regularity properties that allow extension of local-diffusion techniques.
What would settle it
A concrete instance of the two-species model in which the solution is shown to be non-unique or in which spreading occurs without the predicted long-time asymptotic limit in the weak competition case.
read the original abstract
We study a class of free boundary systems with nonlocal diffusion, which are natural extensions of the corresponding free boundary problems of reaction diffusion systems. As before the free boundary represents the spreading front of the species, but here the population dispersal is described by "nonlocal diffusion" instead of "local diffusion". We prove that such a nonlocal diffusion problem with free boundary has a unique global solution, and for models with Lotka-Volterra type competition or predator-prey growth terms, we show that a spreading-vanishing dichotomy holds, and obtain criteria for spreading and vanishing; moreover, for the weak competition case and for the weak predation case, we can determine the long-time asymptotic limit of the solution when spreading happens. Compared with the single species free boundary model with nonlocal diffusion considered recently in \cite{CDLL}, and the two species cases with local diffusion extensively studied in the literature, the situation considered in this paper involves several extra difficulties, which are overcome by the use of some new techniques.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies two-species free boundary problems where population dispersal is governed by nonlocal diffusion operators rather than local Laplacians. It proves existence of a unique global solution, establishes a spreading-vanishing dichotomy together with explicit criteria for each alternative in Lotka-Volterra competition and predator-prey models, and determines the long-time asymptotic profiles in the weak-competition and weak-predation regimes when spreading occurs.
Significance. If the comparison and regularity arguments are valid, the work supplies a technically nontrivial extension of both the single-species nonlocal free-boundary results in CDLL and the two-species local-diffusion literature. The explicit spreading-vanishing criteria and the asymptotic limits constitute falsifiable predictions that could be tested numerically or against data.
major comments (2)
- [Section 3 (comparison principle and global existence)] The spreading-vanishing dichotomy and the subsequent asymptotic analysis rest on comparison principles for the coupled nonlocal system. Because the Lotka-Volterra reaction terms are not monotone in both components simultaneously, it is not immediate that the standard integral-kernel comparison carries over when the free boundary is also moving. The manuscript must supply a self-contained verification (or a precise statement of the monotonicity hypotheses) that the upper/lower-solution method remains valid for the system under consideration.
- [Section 4 (spreading-vanishing criteria)] The criteria that distinguish spreading from vanishing are derived from the sign of a certain principal eigenvalue or from the size of the initial data relative to a threshold. The nonlocality of the diffusion kernel enters these thresholds; the paper should make explicit how the kernel support or decay rate affects the critical value, and whether the threshold reduces to the known local-diffusion value when the kernel concentrates.
minor comments (2)
- [Introduction and Section 2] Notation for the nonlocal operator (integral kernel, domain of integration) should be fixed once at the beginning and used consistently; several places appear to switch between different normalizations.
- [Section 5] The statement of the long-time limit in the weak-competition case should include the precise convergence topology (uniform on compact sets, or in L^∞) and the rate if available.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate the suggested clarifications and verifications in the revised version.
read point-by-point responses
-
Referee: [Section 3 (comparison principle and global existence)] The spreading-vanishing dichotomy and the subsequent asymptotic analysis rest on comparison principles for the coupled nonlocal system. Because the Lotka-Volterra reaction terms are not monotone in both components simultaneously, it is not immediate that the standard integral-kernel comparison carries over when the free boundary is also moving. The manuscript must supply a self-contained verification (or a precise statement of the monotonicity hypotheses) that the upper/lower-solution method remains valid for the system under consideration.
Authors: We agree that a self-contained verification is required. In the revised manuscript we will add a dedicated subsection (or appendix) that states the precise monotonicity hypotheses on the reaction terms for both the competition and predator-prey cases and provides a complete proof of the comparison principle for the coupled nonlocal system with moving free boundaries. revision: yes
-
Referee: [Section 4 (spreading-vanishing criteria)] The criteria that distinguish spreading from vanishing are derived from the sign of a certain principal eigenvalue or from the size of the initial data relative to a threshold. The nonlocality of the diffusion kernel enters these thresholds; the paper should make explicit how the kernel support or decay rate affects the critical value, and whether the threshold reduces to the known local-diffusion value when the kernel concentrates.
Authors: We will expand Section 4 with an additional remark that explicitly describes the dependence of the critical thresholds on the support and decay properties of the kernel. We will also include a short argument showing that, under suitable concentration of the kernel to a Dirac measure, the thresholds recover the corresponding local-diffusion criteria. revision: yes
Circularity Check
No circularity: proofs are self-contained mathematical arguments
full rationale
The paper establishes global existence, uniqueness, spreading-vanishing dichotomy, and long-time limits via direct analysis and new techniques for the nonlocal setting. These results do not reduce to fitted inputs, self-definitions, or load-bearing self-citations; the cited single-species work [CDLL] supplies background but the two-species proofs introduce independent arguments. No step equates a claimed prediction or theorem to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Comparison principles and regularity hold for the nonlocal diffusion operators with free boundaries
Reference graph
Works this paper leans on
- [1]
- [2]
- [3]
-
[4]
H. Berestycki, J. Coville, H. Vo, On the definition and the properties of the principal eigenva lue of some nonlocal operators, J. Funct. Anal., 271 (2016), 2701-2751
work page 2016
-
[5]
H. Berestycki, J. Coville, H. Vo, Persistence criteria for populations with non-local dispe rsion, J. Math. Biol. 72 (2016), 1693-1745
work page 2016
-
[6]
J.-F. Cao, Y. H. Du, F. Li, W.-T. Li, The dynamics of a Fisher-KPP nonlocal diffusion model with fre e boundaries, J. Functional Anal., in press (https:/ /doi.org/10.1016/j .jfa.2019.02.013)
work page doi:10.1016/j 2019
-
[7]
J. Coville, On a simple criterion for the existence of a principal eigenf unction of some nonlocal operators , J. Differential Equations, 249 (2010), 2921-2953
work page 2010
-
[8]
Y. H. Du and Z. G. Lin, Spreading-Vanishing dichotomy in the diffusive logistic mod el with a free boundary , SIAM J. Math. Anal., 42 (2010), 377-405
work page 2010
-
[9]
J. Guo, C. H. Wu, On a free boundary problem for a two-species weak competitio n system , J. Dynam. Differential Equations 24 (2012), 873-895
work page 2012
- [10]
- [11]
-
[12]
C. Kao, Y. Lou, W. Shen, Random dispersal vs. non-local dispersal , Discrete Contin. Dyn. Syst., 26 (2010), 551-596
work page 2010
- [13]
-
[14]
M. X. Wang, On some free boundary problems of the prey-predator model , J. Differential Equations, 256 (2014), 3365-3394
work page 2014
-
[15]
M. X. Wang and Y. Zhang, The time-periodic diffusive competition models with a free bo undary and sign-changing growth rates, Z. Angew. Math. Phys. 67 (2016), no. 5, Art. 132, 24 pp
work page 2016
-
[16]
M. X. Wang and J. F. Zhao, Free boundary problems for a Lotka-Volterra competition sy stem, J. Dyn. Diff. Equat., 26(3)(2014), 655-672
work page 2014
-
[17]
M. X. Wang and J. F. Zhao, A free boundary problem for a predator-prey model with doubl e free boundaries , J. Dyn. Diff. Equat., 29 (3)(2017), 957-979
work page 2017
-
[18]
Y. Zhang and M. X. Wang, A free boundary problem of the ratio-dependent prey-predat or model , Appl. Anal. 94 (10)(2015), 2147-2167
work page 2015
-
[19]
Y. G. Zhao and M. X. Wang, Free boundary problems for the diffusive competition system i n higher dimension with sign-changing coefficients , IMA J. Appl. Math., 81 (2016), 255-280
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.