Liouville integrable Lotka-Volterra systems

Abstract: We present $\frac{m^{2}}{4}+\frac{m}{2}+\frac{1-\left(-1\right)^{m}}{8}$ homogeneous $(3m-2)$-parameter families of Liouville integrable $(2m)$- and $(2m-1)$-dimensional Lotka-Volterra systems. We also study inhomogeneous versions of these systems.

• The paper establishes explicit parametric families of Liouville integrable Lotka-Volterra systems using combinatorial hypergraph structures and Darboux polynomials.
• It develops a systematic construction methodology for both homogeneous and inhomogeneous systems by exploiting Poisson geometry and antisymmetric coefficient matrices.
• The study reveals a quadratic growth in distinct integrable classes relative to the system dimensions, offering a comprehensive framework for integrability in nonlinear dynamics.

Liouville Integrable Lotka-Volterra Systems: Classification and Construction

Introduction and Context

This work establishes general parametric families of Liouville integrable Lotka-Volterra (LV) systems, both homogeneous and inhomogeneous, in arbitrary dimensions. LV systems, originally introduced in ecological contexts, are quadratic ODEs of the form $$\dot{x}_i = x_i \left( r_i + \sum_j A_{ij} x_j \right)$$. The paper considers both the standard setting (homogeneous systems with $r=0$) and generalizations with inhomogeneous terms.

Integrability of finite-dimensional LV systems is a central algebraic and geometric problem due to their highly nonlinear interaction terms, nontrivial Hamiltonian structures, and the possibility of chaotic dynamics. This study leverages recent advances on Darboux polynomials, Poisson geometry, and combinatorial structures (notably hypergraphs and trees) to systematically construct broad classes of LV systems that are Liouville integrable.

Parametric Families and Combinatorial Organization

The main contribution consists of the explicit construction and classification of a large number of $n$-dimensional LV systems admitting sufficient independent integrals in involution for Liouville integrability. For even $n=2m$ dimensions, the number of fundamentally distinct classes grows quadratically with $m$, given by:

$$P(m) = \frac{m^2}{4} + \frac{m}{2} + \frac{1-(-1)^m}{8}$$

Each family is characterized by a triple of integers $[j,k,l]$ labeling the underlying combinatorial (hypergraph) structure, with $j+k+l = m-1$ and $k \geq l \geq 0$.

For clarity, the various families are systematically organized as follows:

• Type $[j,0,0]$: Disjoint unions of $r=0$0 edges of length $r=0$1
• Type $r=0$2 and $r=0$3: Nested hyperedges of increasing odd degree
• General type $r=0$4: Combining these structures, yielding maximal parameter flexibility

The associated coefficient matrices $r=0$5 are constructed explicitly, ensuring antisymmetry—a necessary condition for a well-defined Hamiltonian Poisson algebra.

Integrability Results and Explicit Constructions

The systems constructed satisfy the Liouville integrability criterion: for an $r=0$6-dimensional Hamiltonian system with $r=0$7 Casimirs, the existence of $r=0$8 functionally independent, commuting integrals is established, together with formulas for the integrals themselves.

Key technical advances include:

• Homogeneous Families: For each even $r=0$9 and each admissible triple $n$0, an explicit $n$1-parameter LV system is defined. For odd $n$2, reduction yields systems with $n$3 parameters, $n$4 involutive integrals, and a Casimir.
• Inhomogeneous Extensions: The construction is generalized to include constant inhomogeneities, provided certain algebraic compatibility conditions ($n$5) are met. Integrals homogeneous of weight zero in $n$6 remain integrals after adding inhomogeneity.
• Explicit Integrals: For each class, the integrals—rational functions of linear combinations and monomials of the $n$7—are constructed from Darboux polynomials. The precise structure and involutivity of these integrals are established by direct calculation using the explicitly specified Poisson bracket.
• Comparison with Superintegrable Systems: The number of Liouville integrable classes grows quadratically with $n$8, in stark contrast to the exponential growth for superintegrable classes associated with tree systems detailed in prior work [Trees1, Trees2]. Additionally, the number of parameters for the Liouville integrable families is roughly half that of the superintegrable ones.

Mathematical Formalism

The mathematical innovation is rooted in the use of Darboux polynomials (DPs)—polynomials $n$9 with $n=2m$0 proportional to $n=2m$1—to systematically generate integrals. A substantial portion of the analysis is devoted to constructing coefficient matrices $n=2m$2 such that specified DPs exist and that the resulting integrals Poisson-commute.

For even dimensions, all matrices are of full rank; for odd dimensions, the kernel yields Casimir functions. The work exploits combinatorial hypergraph labeling to efficiently organize the different integrable families and their parameter counts. For each class, the recursive patterns in the matrices and integrals are detailed, allowing extension to arbitrarily high dimensions.

Concrete Examples

To facilitate application and further study, explicit matrices and integrals are provided for low-dimensional cases ($n=2m$3). For instance, the $n=2m$4 homogeneous $n=2m$5 system is explicitly presented with its Hamiltonian, Poisson structure, and integral; so are $n=2m$6, $n=2m$7, $n=2m$8, and other families.

Additionally, the existence of Liouville integrable systems not falling into the $n=2m$9 classification is demonstrated via explicit construction of ten-component systems with additional DPs and integrals, confirming that the classification, while comprehensive, is not exhaustive.

Implications, Limitations, and Outlook

The explicit construction of broad, parameterized families of Liouville integrable LV systems advances both the theory and application of integrability in population dynamics, chemical kinetics, and mathematical physics. The quadratic growth in the number of integrable classes, relative to $m$0, sharply contrasts with the exponential growth of superintegrable constructions, suggesting potential tractability for enumeration and classification beyond those handled here.

From a practical perspective, these results supply a catalog of high-dimensional, multi-parameter integrable LV systems amenable to symbolic analysis and, potentially, closed-form solutions—most directly relevant for theoretical studies of dynamical systems with complicated Poisson and algebraic structure.

Theoretically, the methodology foregrounds the role of combinatorial and algebraic data (hypergraphs, Darboux polynomials, and matrix representations) in the systematic discovery of integrable systems. The extension to inhomogeneous cases—by characterizing how integrals behave under the addition of affine terms—clarifies the structure of non-Hamiltonian perturbations. The existence of parameter regimes and system types beyond the $m$1 families suggests further work is required to achieve a complete classification.

Concerning future directions, this work opens avenues for:

• Systematic enumeration of integrable LV systems outside the families constructed here.
• Exploration of quantization for these finite-dimensional Poisson systems.
• Investigation of possible connections to cluster algebras, representation theory, and combinatorics in connection to hypergraph-encoded integrability structures.
• Extension to non-polynomial and non-autonomous generalizations, as well as discrete integrable analogs.

Conclusion

This paper achieves a comprehensive classification and explicit construction of large, multi-parameter families of Liouville integrable Lotka-Volterra systems in arbitrary dimension, including both homogeneous and certain inhomogeneous cases. The approach synthesizes algebraic, combinatorial, and geometric tools, yielding new insights into the structure and abundance of integrable kinetic-type dynamical systems. The results stand as a valuable reference point for ongoing work in Poisson geometry, integrable hierarchies, and nonlinear dynamical systems analysis.

---

References:

• (2604.01743)