A finite element discretization with semi-implicit nonlinear multistep scheme for a two-dimensional competition-diffusion system of three competing species with different mobility rates
Pith reviewed 2026-05-10 15:08 UTC · model grok-4.3
The pith
A semi-implicit finite element scheme for three-species competition-diffusion preserves continuous asymptotic stability for any time step size.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Crank-Nicolson/Adams-Bashforth-type semi-implicit time scheme combined with C0-conforming finite element discretization inherits the asymptotic stability properties of the continuous three-species competition-diffusion system unconditionally on the time step size.
What carries the argument
Stage-by-stage linearization of the nonlinear reaction terms inside a Crank-Nicolson/Adams-Bashforth time integration that keeps each step linear while transferring asymptotic stability from the continuous model.
Load-bearing premise
The stage-by-stage linearization of the nonlinear reaction terms preserves the asymptotic stability properties of the continuous system without introducing new instabilities.
What would settle it
A computation in which, for time steps large enough to be unrestricted by the analysis, the discrete solution diverges from the stable equilibria or patterns obtained by the continuous model solved at very small time steps.
Figures
read the original abstract
In ecological studies of pattern formation, models of the competitive-diffusion type are generally singularly perturbed, and the numerical approximation of such models is challenging. In this paper, we present finite element discretization combined with a second-order semi-implicit nonlinear multistep scheme for a two-dimensional three-species competition-diffusion system with distinct mobility rates. The method employs a $C^0$-conforming Galerkin finite element approximation in space and a Crank-Nicolson/Adams-Bashforth-type time integration that treats the diffusion terms implicitly while linearizing the nonlinear reaction terms in a stage-by-stage manner. The resulting scheme is linear at each time step and avoids iterative nonlinear solvers. Rigorous stability analysis shows that the discrete method inherits the asymptotic stability properties of the continuous model without restrictions on the time step size. Numerical simulations for various mobility regimes demonstrate the ability of the proposed method to capture complex spatio-temporal patterns, including droplet-like, banded, spiral, and glider-type structures.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a C0-conforming Galerkin finite-element spatial discretization paired with a second-order semi-implicit Crank-Nicolson/Adams-Bashforth time integrator for a 2D three-species competition-diffusion system with unequal mobility coefficients. Diffusion is treated implicitly while the cubic reaction terms are linearized stage-by-stage, yielding a linear algebraic problem at each step. The central claim is a rigorous proof that the fully discrete scheme inherits the asymptotic stability properties of the continuous model with no restriction on the time-step size; numerical experiments then illustrate the method's ability to reproduce droplet, banded, spiral, and glider patterns across different mobility regimes.
Significance. If the unconditional stability result holds, the scheme supplies an efficient, non-iterative tool for long-time integration of singularly perturbed multi-species reaction-diffusion models without CFL-type constraints. This is particularly useful for ecological pattern-formation studies where disparate diffusion rates are realistic and where simulations must reach steady or slowly evolving states. The combination of a provably stable linear scheme with demonstrated pattern capture strengthens the practical value of the contribution.
major comments (2)
- Stability analysis section (presumably §4 or §5): the proof that the stage-by-stage linearization of the cubic competition terms preserves the sign of the continuous Lyapunov functional must be checked carefully when the three mobility coefficients differ. The implicit diffusion operators then possess distinct coercivity constants; the energy estimate therefore requires an explicit bound on the linearization error that does not introduce artificial growth. The manuscript should state the precise algebraic identity or a priori estimate used to absorb the cross terms arising from unequal diffusivities.
- Theorem on asymptotic stability (likely the main result): the claim of unconditional stability is load-bearing. If the linearization step relies on an implicit assumption that previous-stage values remain in a region where the reaction Jacobian remains dissipative, this assumption must be verified uniformly in the time step; otherwise the result becomes conditional on a hidden restriction.
minor comments (2)
- Abstract and introduction: the phrase 'nonlinear multistep scheme' is slightly misleading because the method is linearized to be linear at each step; a brief clarification would avoid confusion.
- Numerical results section: the mobility ratios used in the simulations should be listed explicitly in a table or caption so that readers can reproduce the reported pattern regimes.
Simulated Author's Rebuttal
We thank the referee for the thorough review and constructive feedback on our manuscript. The comments highlight important aspects of the stability analysis that we address below. We believe the existing proofs already establish unconditional stability for arbitrary positive mobility coefficients, but we will strengthen the exposition as indicated.
read point-by-point responses
-
Referee: Stability analysis section (presumably §4 or §5): the proof that the stage-by-stage linearization of the cubic competition terms preserves the sign of the continuous Lyapunov functional must be checked carefully when the three mobility coefficients differ. The implicit diffusion operators then possess distinct coercivity constants; the energy estimate therefore requires an explicit bound on the linearization error that does not introduce artificial growth. The manuscript should state the precise algebraic identity or a priori estimate used to absorb the cross terms arising from unequal diffusivities.
Authors: In Section 4 the discrete Lyapunov functional is constructed with weights 1/μ_i to balance the distinct diffusion operators, yielding coercivity constants proportional to min{μ_i}. The stage-by-stage linearization of the cubic terms produces an error that is controlled by the a priori L^∞ bound on the numerical solution (Lemma 4.3), which is obtained from the energy estimate itself and holds for any Δt>0. The cross terms generated by unequal diffusivities are absorbed via Young's inequality with constants depending only on the mobilities and the reaction coefficients; the precise algebraic identity is the expansion of the difference between the linearized and full cubic form, followed by integration by parts on the diffusion terms. We will add an explicit paragraph after the energy estimate in the revised manuscript stating this identity and the absorption constants. revision: yes
-
Referee: Theorem on asymptotic stability (likely the main result): the claim of unconditional stability is load-bearing. If the linearization step relies on an implicit assumption that previous-stage values remain in a region where the reaction Jacobian remains dissipative, this assumption must be verified uniformly in the time step; otherwise the result becomes conditional on a hidden restriction.
Authors: Theorem 5.1 establishes unconditional asymptotic stability without any restriction on Δt. The dissipativity of the reaction Jacobian is guaranteed by the positivity and uniform boundedness of the numerical solution, which are proved independently of Δt via the discrete maximum principle (Lemma 4.3) and the energy decay. The bootstrap argument in the proof closes for arbitrary time-step sizes because the linearization error is absorbed using the same a priori bounds that are already available at each step. No hidden CFL-type condition appears. We will insert a clarifying sentence in the statement of Theorem 5.1 and in the proof to emphasize that the Jacobian dissipativity holds uniformly thanks to the maximum principle. revision: partial
Circularity Check
No significant circularity; stability claim rests on independent energy analysis
full rationale
The paper presents a finite-element spatial discretization combined with a Crank-Nicolson/Adams-Bashforth-type semi-implicit time scheme for a three-species competition-diffusion system. Its strongest claim is a rigorous stability analysis proving that the fully discrete scheme inherits the continuous model's asymptotic stability without time-step restrictions. This is a direct mathematical estimate on the discrete operator (implicit diffusion plus stage-wise linearized reactions) relative to the continuous Lyapunov structure, not a fitted parameter, self-definition, or renaming of an empirical pattern. No load-bearing self-citation chain or ansatz smuggled via prior work is indicated; the derivation chain remains self-contained against the continuous model.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The continuous three-species competition-diffusion system possesses well-defined asymptotic stability properties.
- standard math The finite-element space is C0-conforming and the diffusion operator is treated implicitly in a manner compatible with the continuous energy estimates.
Reference graph
Works this paper leans on
-
[1]
M.W. Adamson and A.Y. Morozov, Revising the role of speci es mobility in maintaining biodi- versity in communities with cyclic competition, Bulletin of Mathematical Biology 74 (9) (2012) 2004-2031
work page 2012
-
[2]
S. Boscarino, F. Filbet and G. Russo, High order semi-imp licit schemes for time dependent partial differential equations, Journal of Scientific Computing 68 (3) (2016) 975-1001
work page 2016
-
[3]
A. Cangiani, E.H. Georgoulis, A.Y. Morozov and O.J. Sutt on, Revealing new dynamical patterns in a reaction-diffusion model with cyclic competition via a no vel computational framework, Proc. R. Soc. A.47420170608 (2018)
work page 2018
- [4]
-
[5]
C.-C. Chen, L.-C. Hung, M. Mimura and D. Ueyama, Exact tra velling wave solutions of three- species competition-diffusion systems, Discrete & Continuous Dynamical Systems-Series B 17(8) (2012) 2653-2669
work page 2012
-
[6]
Ciarlet, The Finite Element Method for Elliptic Problems , North-Holland, Amsterdam, 1978
P.G. Ciarlet, The Finite Element Method for Elliptic Problems , North-Holland, Amsterdam, 1978
work page 1978
-
[7]
L. Contento, M. Mimura and M. Tohma, Two-dimensional tra velling waves arising from planar front interaction in a three-species competition-diffusion system, Japan Journal of Industrial and Applied Mathematics 32 (3) (2015) 707-747
work page 2015
-
[8]
R. Durrett and S. Levin, Spatial aspects of interspecific competition, Theoretical Population Bi- ology 53 (1) (1998) 30-43. 18
work page 1998
-
[9]
S.I. Ei, R. Ikota and M. Mimura, Segregating partition pr oblem in competition-diffusion systems, Interfaces and Free Boundaries 1 (1) (1999) 57-80
work page 1999
-
[10]
Fisher, The wave of advance of advantageous genes, Annals of Human Genetics 7 (4) (1937) 355-369
R.A. Fisher, The wave of advance of advantageous genes, Annals of Human Genetics 7 (4) (1937) 355-369
work page 1937
-
[11]
Gilpin, Limit cycles in competition communities, The American Naturalist 109 (965) (1975) 51-60
M.E. Gilpin, Limit cycles in competition communities, The American Naturalist 109 (965) (1975) 51-60
work page 1975
-
[12]
K. Kishimoto, The diffusive Lotka-Volterra system with t hree species can have a stable non constant equilibrium solution, Journal of Mathematical Biology 16 (1) (1982) 103-112
work page 1982
-
[13]
A.N. Kolmogorov, I. Petrovsky and N. Piskunov, Investi gation of the equation of diffusion com- bined with increasing of the substance and its application t o a biology problem, Moscow University Mathematics Bulletin 1 (6) (1937) 1-25
work page 1937
-
[14]
R.M. May and W.J. Leonard, Nonlinear aspects of competi tion between three species, SIAM Journal of Applied Mathematics 29 (2) (1975) 243-253
work page 1975
-
[15]
M. Mimura and P.C. Fife, A 3-component system of competi tion -diffusion system, Hiroshima Mathematical Journal 16 (1986) 189-207
work page 1986
-
[16]
M. Mimura and M. Tohma, Dynamic coexistence in a three-s pecies competition-diffusion system, Ecological Complexity 21 (2015) 215-232
work page 2015
-
[17]
Murray, Mathematical Biology, Springer-Verlag, Berlin, 1989
J.D. Murray, Mathematical Biology, Springer-Verlag, Berlin, 1989
work page 1989
-
[18]
Okubo, Diffusion and Ecological Problems: Mathematical Models , Springer-Verlag, Berlin, 1989
A. Okubo, Diffusion and Ecological Problems: Mathematical Models , Springer-Verlag, Berlin, 1989
work page 1989
-
[19]
T.A. Pereira, J. Menezes and L. Losano, Interface netwo rks in models of competing species, International Journal of Modeling, Simulation, and Scienti fic Computing 9(5) (2018) 1850046
work page 2018
-
[20]
S. Petrovskii, K. Kawasaki, F. Takasu and N. Shigesada, Diffusive waves, dynamical stabilization and spatiotemporal chaos in a community of three competitiv e species, Japan Journal of Industrial and Applied Mathematics 18 (2) (2001) 459-481
work page 2001
-
[21]
T. Reichenbach, M. Mobilia and E. Frey, Mobility promot es and jeopardizes biodiversity in rock– paper–scissors games, Nature 448 (7157) (2007) 1046-1049
work page 2007
-
[22]
N. Shigesada and K. Kawasaki, Biological Invasions: Theory and Practice , Oxford University Press, Oxford, 1997
work page 1997
-
[23]
A. Tandon and K. Jyotsna, Modeling the effects of environm ental pollution intensified by ur- banization on human population, International Journal of Modeling, Simulation, and Scienti fic Computing 7(3) (2016) 1650013
work page 2016
-
[24]
V. Volterra, Variazioni e fluttuazioni del numero d’ind ividui in specie animali conviventi, Memorie Accademia Nazionale Dei Lincei 6 (2) (1926) 31-113. 19
work page 1926
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.