Abstract:The popularity of estimation to bounds for sums of eigenvalues started from P. Li and S. T. Yau for the study of the Pólya conjecture. This subject is extended to different types of differential operators. This paper explores for the sums of the first $m$ eigenvalues of Sturm-Liouville operators from two aspects. Firstly, by the complete continuity of eigenvalues, we propose a family of critical systems consisting of nonlinear ordinary differential equations, indexed by the exponent $p\in(1,\infty)$ of the Lebesgue spaces concerned. There have profound relations between the solvability of these systems and the optimal lower or upper bounds for the sums of the first $m$ eigenvalues of Sturm-Liouville operators, which provides a novel idea to study the optimal bounds. Secondly, we investigate the integrability or solvability of the critical systems. With suitable selection of exponents $p$, the critical systems are equivalent to the polynomial Hamiltonian systems of $m$ degrees of freedom. Using the differential Galois theory, we perform a complete classification for meromorphic integrability of these polynomial critical systems. As a by-product of this classification, it gives a positive answer to the conjecture raised by Tian, Wei and Zhang [J. Math. Phys. 64, 092701 (2023)] on the critical systems for optimal eigenvalue gaps. The numerical simulations of the Poincaré cross sections show that the critical systems for sums of eigenvalues can appear complex dynamical phenomena, such as periodic trajectories, quasi-periodic trajectories and chaos.

Remarks on the integrable systems associated with rank 2 perturbations

A Formula of Two-Partition Hodge Integrals

Linear Estimate of the Number of Zeros of Abelian Integrals for A Class of Integrable Non-Hamiltonian Systems

The smallest upper bound on the number of zeros of Abelian integrals

Integrability from categorification and the 2-Kac-Moody Algebra

Integrable spin Calogero-Moser systems

Globally integrable quantum systems and their perturbations

Remarks on intersection numbers and integrable hierarchies. II. Tau-structure

Classical and quantum integrable systems in 263-1263-1263-1and separation of variables

On Completely Integrability Systems of Differential Equations

On the Meromorphic Integrability of the Critical Systems for Optimal Sums of Eigenvalues

Nonresonant smooth integrable Hamiltonian systems which don't admit a local smooth Birkhoff normal form

Formally Integrable Structures II. Division Problem

Semitoric systems of non-simple type

Calogero-Moser-Sutherland systems

On a Theorem of Halphen and its Application to Integrable Systems

Superintegrable systems associated to commutants of Cartan subalgebras in enveloping algebras

Perturbation Analysis of Singular Linear Systems with Arbitrary Index

Remarks on mod-2 elliptic genus

On the Holonomic Rank Problem

On the Polynomial Integrability of the Critical Systems for Optimal Eigenvalue Gaps