Computer-assisted techniques for the verification of the Chebyshev property of abelian integrals
abelian integralsChebyshev systemsHilbert's 16th probleminterval arithmeticrigorous computer methods
Theory of limit cycles of polynomial and analytic vector fields (existence, uniqueness, bounds, Hilbert's 16th problem and ramifications) for ordinary differential equations (34C07) Bifurcation theory for ordinary differential equations (34C23) Bifurcations of limit cycles and periodic orbits in dynamical systems (37G15) Interval and finite arithmetic (65G30)
In [\textit{M. Grau} et al., Trans. Am. Math. Soc. 363, No. 1, 109--129 (2011; Zbl 1217.34052)], a criterion ensuring that a finite set of abelian integrals has the Chebyshev property was provided. This criterion is based on proving that certain functions, namely the Wronskians of balanced functions of the integrands, have no zero on a real interval. When the involved functions are algebraic, this criterion can be effectively applied by using resultants. The present paper describes a technique to prove that a real analytic function has no zeros on a real interval using interval arithmetic and a rigorous computer analysis, see [\textit{W. Tucker}, Validated numerics. A short introduction to rigorous computations. Princeton, NJ: Princeton University Press (2011; Zbl 1231.65077)]. This technique can be applied to analytic functions which are either algebraic or not algebraic. Therefore, a method to effectively apply the aforementioned criterion in any case is provided in this manuscript. In the paper [\textit{F. Dumortier} and \textit{R. Roussarie}, Discrete Contin. Dyn. Syst., Ser. S 2, No. 4, 723--781 (2009; Zbl 1186.34080)], a conjecture about the Chebyshev property for abelian integrals involving real polynomials and exponential functions was formulated. By combining both the sufficient criterion and the interval arithmetic technique, the authors are able to prove this conjecture for the first three abelian integrals.
- On the Chebyshev property of certain abelian integrals near a polycycle
- A Chebyshev criterion for Abelian integrals
- The Chebyshev's property of certain hyperelliptic integrals of the first kind
- Une propriété de Chebychev pour certaines intégrales abéliennes généralisées
- A proof of a Dumortier-Roussarie's conjecture
- Using a computer to obtain Chebotarev bounds in the nonhomogeneous Minkowski's conjecture
- Studies of the Petrov module for a family of generalized Liénard integrable systems
- On the Chebyshev property of certain abelian integrals near a polycycle
- Variety of strange pseudohyperbolic attractors in three-dimensional generalized Hénon maps
- Fractal dimensions and two-dimensional slow-fast systems
- On the number of limit cycles bifurcated from some non-polynomial Hamiltonian systems
- Abelian integrals and non-generic turning points
- New family of abelian integrals satisfying Chebyshev property
- Perturbation theory of a symmetric center within Liénard equations
- Cyclicity of the origin in slow-fast codimension 3 saddle and elliptic bifurcations
- Limit cycles in slow-fast codimension 3 saddle and elliptic bifurcations
- Fractal codimension of nilpotent contact points in two-dimensional slow-fast systems
- Regular and slow-fast codimension 4 saddle-node bifurcations
- Cyclicity of a family of generic reversible quadratic systems with one center
- Abelian integrals in unfoldings of codimension 3 singularities with nilpotent linear parts
- The cyclicity of the period annulus of a reversible quadratic system
- Bound the number of limit cycles bifurcating from center of polynomial Hamiltonian system via interval analysis
- Abelian integrals from an unfolding of codimension-3 singularities with nilpotent linear part
- A proof of a Dumortier-Roussarie's conjecture
- scientific article; zbMATH DE number 7703263 (Why is no real title available?)
- On a computer-aided approach to the computation of Abelian integrals
- Example of simplest bifurcation diagram for a monotone family of vector fields on a torus
- Limit cycle bifurcations of a non-polynomial analytic model with infinite nilpotent centers
- On the number of limit cycles of a class of near-Hamiltonian systems near a degenerate center
This page was built for publication: Computer-assisted techniques for the verification of the Chebyshev property of abelian integrals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1945874)
