pith. sign in

arxiv: 2512.10456 · v2 · submitted 2025-12-11 · 🧮 math.DS

Global dynamics of three-dimensional Lotka-Volterra competition models with seasonal succession: II. Uniqueness of positive fixed points

Pith reviewed 2026-05-16 23:15 UTC · model grok-4.3

classification 🧮 math.DS
keywords Lotka-Volterra competitionseasonal successionPoincaré mappositive fixed pointsdynamical equivalence classesuniquenessthree-dimensional models
0
0 comments X

The pith

In 3D Lotka-Volterra models with seasonal succession, classes 26 and 27 can have multiple positive fixed points.

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

The paper investigates uniqueness of positive fixed points for the Poincaré map of a three-dimensional Lotka-Volterra competition system that includes seasonal succession. Building on an earlier classification of 33 dynamical equivalence classes, it proves that most classes admit exactly one positive fixed point, so all orbits converge to a harmonic solution. Classes 26 and 27 are different: they can possess multiple positive fixed points and therefore support continua of invariant closed curves whose orbits are periodic, quasi-periodic, or consist entirely of equilibria. A reader would care because this shows seasonal forcing can produce dynamical richness absent from both the two-dimensional analogue and the classical autonomous three-dimensional competitive model.

Core claim

For the model restricted to identical growth and death rates, classes 19–25 and 28–33 each possess a unique positive fixed point, and every trajectory converges to one such point. Classes 26 and 27, by contrast, admit non-uniqueness of positive fixed points; their Poincaré maps can contain a continuum of invariant closed curves on which orbits may be periodic, dense, or entirely fixed.

What carries the argument

The Poincaré map of the seasonally forced three-dimensional competitive Lotka-Volterra system, restricted to the 33 dynamical equivalence classes.

Load-bearing premise

The prior classification into 33 dynamical equivalence classes is valid and the model is specialized to identical growth and death rates for every species.

What would settle it

An explicit parameter set belonging to class 26 or 27 whose associated Poincaré map has exactly one positive fixed point would falsify the stated non-uniqueness.

Figures

Figures reproduced from arXiv: 2512.10456 by Lei Niu, Xizhuang Xie, Yi Wang.

Figure 1
Figure 1. Figure 1: The phase portrait on the carrying simplex for class 26. A fixed point is represented by a closed dot • if it attracts on the carrying simplex, by an open dot ◦ if it repels, and by the intersection of its stable and unstable manifolds if it is a saddle. The circle full of slashes denotes a region of unknown dynamics where there might be more than one fixed points or other complex dynamics such as invarian… view at source ↗
read the original abstract

In this second part of the series, we investigate the uniqueness of positive fixed points of the Poincare map associated with the 3-dimensional Lotka-Volterra competition model with seasonal succession. Building on our first part of the series on the classification of 33 dynamical equivalence classes (regardless of the uniqueness of positive fixed points), we demonstrate in this paper that classes 26 and 27 may indeed exhibit multiple positive fixed points. This reveals a fundamental distinction from both its 2-dimensional analogue and the classical 3-dimensional competitive Lotka-Volterra model. More concretely, by focusing on the model with identical growth and death rates, we establish an equivalent characterization for the (non)uniqueness of positive fixed points. Based on this characterization, we further show that classes 19-25 and 28-33 admit a unique positive fixed point and exhibit trivial dynamics: all trajectories converge to some fixed point (corresponding to harmonic solutions). In contrast, classes 26 and 27 possess richer dynamical scenarios: there can contain a continuum of invariant closed curves, on which orbits may be periodic (corresponding to subharmonic solutions), dense (corresponding to quasi-periodic solutions), or may even consist entirely of positive fixed points (which exhibits the nonuniqueness of positive fixed points).

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

1 major / 2 minor

Summary. The manuscript is the second part of a series on three-dimensional Lotka-Volterra competition models with seasonal succession. It focuses on the uniqueness of positive fixed points of the associated Poincaré map, restricted to the case of identical growth and death rates across species. Building on the 33 dynamical equivalence classes established in Part I, the authors derive an equivalent characterization of (non)uniqueness. They prove that classes 19–25 and 28–33 admit a unique positive fixed point, with all trajectories converging to fixed points (harmonic solutions). In contrast, classes 26 and 27 can exhibit multiple positive fixed points and support continua of invariant closed curves on which orbits may be periodic, dense, or consist entirely of fixed points.

Significance. If the central characterization holds, the work identifies a genuine distinction from both the two-dimensional seasonal analogue and the classical non-seasonal three-dimensional competitive Lotka-Volterra system, where uniqueness of positive equilibria is the norm. The explicit separation of classes 26–27 as admitting richer dynamics (including continua of invariant curves) is a substantive contribution to the global analysis of seasonally forced competitive systems. The equivalent characterization itself is a technical strength that renders the uniqueness claims falsifiable and directly tied to the Poincaré map fixed-point equation.

major comments (1)
  1. §3 (characterization of the Poincaré map fixed-point equation): the reduction to an equivalent algebraic condition for uniqueness is load-bearing for the entire classification; the manuscript must explicitly verify that this condition is independent of the 33-class partition inherited from Part I and does not inadvertently reintroduce parameters excluded by the identical-rates assumption.
minor comments (2)
  1. The abstract and introduction should state more explicitly that the uniqueness results apply only under identical growth and death rates; the current phrasing risks suggesting the result holds for the full 33-class family without this restriction.
  2. Notation for the Poincaré map and its fixed-point equation should be made uniform between the main text and any figures illustrating the continua of invariant curves in classes 26–27.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment and the recommendation of minor revision. The single major comment is addressed point-by-point below; we will incorporate the requested explicit verification in the revised manuscript.

read point-by-point responses
  1. Referee: §3 (characterization of the Poincaré map fixed-point equation): the reduction to an equivalent algebraic condition for uniqueness is load-bearing for the entire classification; the manuscript must explicitly verify that this condition is independent of the 33-class partition inherited from Part I and does not inadvertently reintroduce parameters excluded by the identical-rates assumption.

    Authors: We agree that an explicit verification strengthens the presentation. In the revised manuscript we will insert a short subsection (or paragraph) immediately after the derivation of the algebraic condition in §3. This subsection will (i) restate that the condition is obtained solely from the Poincaré map under the identical growth-and-death-rate hypothesis, (ii) confirm that no parameters from the 33-class partition of Part I enter the final algebraic expression, and (iii) note that the identical-rates restriction already excludes the parameters that would otherwise appear in the general case. The verification is therefore independent of the class labels and does not reintroduce excluded parameters. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper reduces the seasonal model to a Poincaré map and derives an equivalent algebraic characterization of positive fixed-point (non)uniqueness directly from the map equations under the identical growth/death rates assumption. This characterization is then applied to the 33 classes previously labeled in part I; the part-I citation functions only as background labeling and is not invoked to justify the uniqueness statements themselves. No step equates a claimed prediction to a fitted input, renames a known result, or imports a uniqueness theorem from the authors' own prior work as an external axiom. The central claims (unique fixed point for classes 19-25/28-33 versus possible multiplicity or continua for 26-27) therefore follow from explicit map analysis without circular reduction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the 33-class partition established in part I and on the restriction to identical growth and death rates for the uniqueness characterization; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption The prior classification of the system into 33 dynamical equivalence classes (part I)
    All subsequent uniqueness and dynamics statements are conditioned on this partition.
  • ad hoc to paper Identical growth and death rates across species
    Used to obtain an equivalent characterization of (non)uniqueness.

pith-pipeline@v0.9.0 · 5537 in / 1365 out tokens · 48608 ms · 2026-05-16T23:15:40.383359+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Time-periodic carrying simplex for a competitive system of Carath\'eodory ODEs

    math.DS 2026-05 unverdicted novelty 6.0

    Time-periodic competitive Carathéodory ODEs possess a carrying simplex defined as the compact attractor of an extended flow on which the restricted dynamics are topologically conjugate to a one-dimension-lower system.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · cited by 1 Pith paper

  1. [1]

    Baigent, Carrying simplices for competitive maps, difference equations, discrete dynamical systems and application , Springer Proc

    S. Baigent, Carrying simplices for competitive maps, difference equations, discrete dynamical systems and application , Springer Proc. Math. Stat., Springer, Cham., 287 (2017), pp. 3– 29

  2. [2]

    X. Chen, J. Jiang, and L. Niu , On Lotka-Volterra equations with identical minimal intrinsic growth rate, SIAM J. Applied Dyn. Sys., 14 (2015), pp. 1558–1599

  3. [3]

    Diekmann, Y

    O. Diekmann, Y. Wang, and P. Yan, Carrying simplices in discrete competitive systems and age-structured semelparous populations, Discrete Contin. Dyn. Syst., 20 (2008), pp. 37–52

  4. [4]

    Gyllenberg, J

    M. Gyllenberg, J. Jiang, and L. Niu , A note on global stability of three-dimensional Ricker models, J. Differ. Equ. Appl., 25 (2019), pp. 142–150

  5. [5]

    Gyllenberg, J

    M. Gyllenberg, J. Jiang, L. Niu, and P. Yan , On the dynamics of multi-species Ricker models admitting a carrying simplex , J. Differ. Equ. Appl., 25 (2019), pp. 1489–1530

  6. [6]

    Gyllenberg, J

    M. Gyllenberg, J. Jiang, L. Niu, and P. Yan , Permanence and universal classification of discrete-time competitive systems via the carrying simplex , Discrete Contin. Dyn. Syst., 40 (2020), pp. 1621–1663

  7. [7]

    M. W. Hirsch , Systems of differential equations which are competitive or cooperative: III. Competing species, Nonlinearity, 1 (1988), pp. 51–71

  8. [8]

    Hou, On existence and uniqueness of a carrying simplex in Kolmogorov differential systems , Nonlinearity, 33 (2020), pp

    Z. Hou, On existence and uniqueness of a carrying simplex in Kolmogorov differential systems , Nonlinearity, 33 (2020), pp. 7067–7087

  9. [9]

    S. B. Hsu and X. Q. Zhao , A Lotka–Volterra competition model with seasonal succession , J. Math. Biol., 64 (2012), pp. 109–130

  10. [10]

    Jiang and L

    J. Jiang and L. Niu , On the equivalent classification of three-dimensional competitive Atkin- son/Allen models relative to the boundary fixed points , Discrete Contin. Dyn. Syst., 36 (2016), pp. 217–244

  11. [11]

    Jiang and L

    J. Jiang and L. Niu , On the equivalent classification of three-dimensional competitive Leslie/Gower models via the boundary dynamics on the carrying simplex , J. Math. Biol., 74 (2017), pp. 1223–1261

  12. [12]

    Jiang and L

    J. Jiang and L. Niu , On the validity of Zeeman’s classification for three dimensional compet- itive differential equations with linearly determined nullclines , J. Differential Equations, 263 (2017), pp. 7753–7781

  13. [13]

    Jiang, L

    J. Jiang, L. Niu, and D. Zhu , On the complete classification of nullcline stable competitive three-dimensional Gompertz models, Nonlinear Anal. R.W.A., 20 (2014), pp. 21–35

  14. [14]

    C. A. Klausmeier, Successional state dynamics: A novel approach to modeling nonequilibrium foodweb dynamics, J. Theor. Biol., 262 (2010), pp. 584–595

  15. [15]

    C. A. Klausmeier and E. Litchman, Successional dynamics in the seasonally forced diamond food web, Am. Nat., 180 (2012), pp. 1–16

  16. [16]

    Y. Liu, J. Yu, and J. Li , Global dynamics of a competitive system with seasonal succession and different harvesting strategies , J. Differential Equations, 382 (2024), pp. 211–245

  17. [17]

    Mierczy ´nski, L

    J. Mierczy ´nski, L. Niu, and A. Ruiz-Herrera , Linearization and invariant manifolds on the carrying simplex for competitive maps , J. Differential Equations, 267 (2019), pp. 7385– 7410

  18. [18]

    Niu and A

    L. Niu and A. Ruiz-Herrera , Trivial dynamics in discrete-time systems: carrying simplex and translation arcs, Nonlinearity, 31 (2018), pp. 2633–2650

  19. [19]

    L. Niu, Y. Wang, and X. Xie , Carrying simplex in the Lotka-Volterra competition model with seasonal succession with applications , Discrete Contin. Dyn. Syst. Ser. B, 26 (2021), pp. 2161–2172

  20. [20]

    L. Niu, Y. Wang, and X. Xie, Global dynamics of three-dimensional Lotka–Volterra competi- tion models with seasonal succession: I. Classification of dynamics , SIAM J. Appl. Math., 85 (2025), pp. 499–523

  21. [21]

    Ruiz-Herrera, Exclusion and dominance in discrete population models via the carrying simplex, J

    A. Ruiz-Herrera, Exclusion and dominance in discrete population models via the carrying simplex, J. Differ. Equ. Appl., 19 (2013), pp. 96–113

  22. [22]

    Wang and J

    Y. Wang and J. Jiang , Uniqueness and attractivity of the carrying simplex for discrete-time competitive dynamical systems, J. Differential Equations, 186 (2002), pp. 611–632

  23. [23]

    M. L. Zeeman , Hopf bifurcations in competitive three-dimensional Lotka-Volterra systems , Dynam. Stability Systems, 8 (1993), pp. 189–217

  24. [24]

    Zhang, L

    Z. Zhang, L. Chang, Q. Huang, R. Yan, B. Zheng, B. Zheng, L. Chang, H. Guo, and J. Yu, A mosquito population suppression model with a saturated Wolbachia release strategy in 3-D L-V COMPETITION MODEL WITH SEASONAL SUCCESSION 17 seasonal succession, J. Math. Biol., 86 (2023), p. 51

  25. [25]

    Zheng, L

    B. Zheng, L. Chang, H. Guo, and J. Yu , Global competitive dynamics of Aedes aegypti and Aedes albopictus with favorable-unfavorable seasonal shifts , SIAM J. Appl. Math., 85 (2025), pp. 1189–1211. Appendix A. The global dynamics for CLVSE(3). Table 1: The 37 global dynamical scenarios in the 33 equivalence classes for CLVSE(3) which are described in term...