Limit cycles and invariant algebraic curves

Basic Information

• Paper ID: 2510.11705
• Title: Limit cycles and invariant algebraic curves
• Authors: Armengol Gasull (Universitat Autònoma de Barcelona), Paulo Santana (IBILCE–UNESP)
• Classification: math.DS (Dynamical Systems)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11705

Abstract

This paper establishes lower bounds for the number of limit cycles in n-degree polynomial vector fields with arbitrarily given invariant algebraic curves. By applying these results to cases where the ovals of curves are also algebraic limit cycles, new recursive properties of the Hilbert number are obtained. Finally, the results are applied to two important model families: Kolmogorov systems and general system families arising in game theory.

Research Background and Motivation

1. Core Problem: This research focuses on the second part of Hilbert's 16th problem, namely determining upper bounds for the number of limit cycles in n-degree planar polynomial vector fields. This is one of the most important mathematical problems of the 20th century.
2. Problem Significance:
   • Hilbert's 16th problem is a central problem in dynamical systems theory
   • It remains unclear whether H(2) is finite, demonstrating the depth and difficulty of the problem
   • The study of limit cycles is crucial for understanding the global behavior of nonlinear dynamical systems
3. Limitations of Existing Methods:
   • Existing lower bound estimates for the Hilbert number H(n) are relatively sparse
   • Lack of systematic methods to construct systems with large numbers of limit cycles
   • Insufficient research on systems with specific invariant algebraic curves
4. Research Motivation: By studying polynomial vector fields with preset invariant algebraic curves, establish new lower bounds for the number of limit cycles and explore recursive relationships between Hilbert numbers.

Core Contributions

1. Establishes New Lower Bound Theorem: For n-degree polynomial vector fields with given invariant algebraic curve C=0, provides lower bounds for limit cycle numbers: HC(n+c) ≥ H(n) + O(C)
2. Discovers Recursive Properties of Hilbert Numbers: Proves that H(n+m) ≥ H(n) + Har(m), where Har(m) = (m-1)(m-2)/2 + 1+(-1)^m/2
3. Applications to Important Model Families:
   • Provides new lower bounds for limit cycle numbers in Kolmogorov systems
   • Analyzes limit cycle problems in game-theoretic models
4. Constructive Proofs: All results are constructive, providing concrete vector fields with desired properties

Methodology Details

Task Definition

Input:

• Non-degenerate algebraic curve C ∈ Rx,y of degree c > 0
• Positive integer n

Output:

• Polynomial vector field X of degree n+c such that C=0 is its invariant algebraic curve
• X possesses at least H(n) + O(C) limit cycles

Constraints:

• All ovals of C=0 are hyperbolic limit cycles
• Vector field X is non-degenerate (at most finitely many singular points on C=0)

Core Theoretical Framework

1. Definition of Invariant Algebraic Curves

For polynomial vector field X = (P,Q) and polynomial C ∈ Rx,y, if there exists polynomial K such that:

CₓP + CᵧQ = KC

then C=0 is called an invariant algebraic curve of X, and K is the cofactor.

2. Definition of Hilbert-C Number

HC(n) = sup{π(X) : X ∈ XₙC}

where XₙC denotes the set of all polynomial vector fields of degree n with C=0 as an invariant algebraic curve.

Main Theorems

Theorem A: Given a non-degenerate polynomial C of degree c > 0 and n ∈ Z≥0:

(a) If H(n) < ∞, then there exists X ∈ Σₙ₊cC such that each oval of C=0 is a limit cycle, and π(X) ≥ H(n) + O(C)

(b) If H(n) = ∞, then for each k ∈ N there exists Xₖ ∈ Σₙ₊cC such that π(Xₖ) ≥ k + O(C)

All limit cycles are hyperbolic, therefore HC(n+c) ≥ H(n) + O(C).

Technical Innovations

1. Combinatorial Construction Method: Combines known vector fields with H(n) limit cycles with special vector fields that make ovals of C=0 into limit cycles
2. Geometric Separation Technique: Through appropriate translations and scaling, ensures geometric separation of the two classes of limit cycles, avoiding mutual interference
3. Perturbation Theory Application: Utilizes stability of hyperbolic limit cycles to preserve existence of all limit cycles through small perturbations

Experimental Setup

Theoretical Verification Methods

This paper is primarily theoretical research, verified through:

1. Known Results Verification: Utilizes known Hilbert number lower bounds from literature to verify the effectiveness of new methods
2. Special Case Analysis: Provides detailed analysis of Kolmogorov systems and game-theoretic models
3. Constructive Proofs: Each theorem provides concrete construction methods

Applied Known Lower Bounds

According to existing literature, known lower bounds for Hilbert numbers are:

Experimental Results

Results for Kolmogorov Systems

For Kolmogorov systems of the form ẋ = xp(x,y), ẏ = yq(x,y):

Main Findings:

• For n=1,2 systems have no limit cycles (known results)
• For n≥3 new lower bounds are provided, where values for n=3,4,5 are obtained through higher-order Andronov-Hopf bifurcations
• For larger n, lower bounds derive from the main theorem of this paper

Results for Game-Theoretic Models

For game-theoretic models of the form ẋ = x(x-1)p(x,y), ẏ = y(y-1)q(x,y):

Key Observations:

• For n=2 the system is integrable with no limit cycles
• Results for n=3,4 come from existing research
• Cases n=5,6 require further investigation for better lower bounds
• Lower bounds for n≥7 are new results from this paper

Verification of Recursive Properties

Corollary 2 verifies the new recursive relationship:

H(n+m) ≥ H(n) + Har(m)

where Har(m) = (m-1)(m-2)/2 + 1+(-1)^m/2 is the Harnack number.

This generalizes the previously known result H(n+1) ≥ H(n) + 1.

Related Work

Historical Background

1. Darboux-Poincaré Theory: Classical theory on invariant algebraic curves of planar polynomial vector fields
2. Hilbert's 16th Problem: Important research direction since its proposal in 1900
3. Algebraic Limit Cycle Theory: Work by Christopher and others on preset algebraic limit cycles

Recent Progress

1. Gasull-Santana (2025): Proves Hilbert numbers can be realized by structurally stable vector fields
2. Prohens-Torregrosa (2019): Provides new lower bounds using reversible centers
3. Itenberg-Shustin (2000): Establishes asymptotic lower bound O(n²ln n)

Advantages of This Paper

1. Unified Framework: Provides unified methods for handling invariant algebraic curves
2. Constructive Results: All theorems provide concrete constructions
3. Broad Applications: Applicable to multiple important application domains

Conclusions and Discussion

Main Conclusions

1. General Theorem: For any non-degenerate algebraic curve, one can construct polynomial vector fields with expected numbers of limit cycles
2. Recursive Properties: Hilbert numbers satisfy new recursive inequalities, revealing their intrinsic structure
3. Applied Value: Methods successfully applied to Kolmogorov systems and game-theoretic models

Limitations

1. Lower Bound Nature: Results only provide lower bounds, not involving upper bound estimates
2. Special Cases: Certain low-degree cases (such as n=5,6 for game-theoretic models) require more refined analysis
3. Computational Complexity: The construction process has high computational complexity

Future Directions

1. Improved Lower Bounds: Seek more precise lower bound estimation methods
2. Upper Bound Research: Combine lower bound results with corresponding upper bound problems
3. Algorithm Implementation: Develop efficient algorithms to construct desired vector fields
4. Other Applications: Explore method applications in other dynamical system models

In-Depth Evaluation

Strengths

1. Theoretical Innovation:
   • Establishes new connections between invariant algebraic curves and limit cycle numbers
   • Discovers recursive properties of Hilbert numbers, an important advance in the field
2. Systematic Methodology:
   • Provides unified framework for handling different types of application problems
   • Construction methods are general and generalizable to other cases
3. Strength of Results:
   • All limit cycles are hyperbolic, ensuring structural stability
   • Provided lower bounds are constructive with practical significance
4. Clarity of Presentation:
   • Well-structured paper with clear logic
   • Technical details handled appropriately with complete proofs

Weaknesses

1. Application Limitations:
   • Methods primarily applicable to systems with specific invariant algebraic curves
   • Limited applicability to general systems
2. Missing Numerical Verification:
   • Lacks numerical experiments to verify theoretical results
   • No concrete vector field examples provided
3. Insufficient Computational Considerations:
   • Does not discuss computational complexity of construction process
   • Lacks algorithmic implementation details

Impact

1. Academic Contribution:
   • Provides new research perspective on Hilbert's 16th problem
   • Establishes new connections between algebraic geometry and dynamical systems
2. Practical Value:
   • Provides important theoretical foundation for Kolmogorov systems and game-theoretic models
   • Methods potentially applicable to other application domains
3. Reproducibility:
   • All results are constructive and theoretically implementable
   • Requires further algorithmic development for practical implementation

Applicable Scenarios

1. Theoretical Research: Applicable to studying dynamical systems with specific invariant structures
2. Applied Mathematics: Can be applied to model analysis in biomathematics, economics, and other fields
3. Computational Mathematics: Provides theoretical foundation for developing related algorithms

References

The paper cites 20 important references, including:

• Classical literature on Hilbert problems
• Important works in limit cycle theory
• Related research on Kolmogorov systems and game-theoretic models
• Foundational results in algebraic curve theory

These references well support the paper's theoretical framework and application background.