Computer-assisted techniques for the verification of the Chebyshev property of abelian integrals
type: Item
instance of: scholarly article
title: Computer-assisted techniques for the verification of the Chebyshev property of abelian integrals
zbMATH Open document ID: 1270.34082
author: Jordi-Lluís Figueras
author: W. Tucker
author: J. Villadelprat
published in: Journal of Differential Equations
publication date: 2013-04-17T00:00:00Z
review text: 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.
reviewed by: Maite Grau
Mathematics Subject Classification ID: 34C23
Mathematics Subject Classification ID: 37G15
Mathematics Subject Classification ID: 34C07
Mathematics Subject Classification ID: 65G30
zbMATH DE Number: 6154875
zbMATH Keywords: Hilbert's 16th problem
zbMATH Keywords: Chebyshev systems
zbMATH Keywords: abelian integrals
zbMATH Keywords: rigorous computer methods
zbMATH Keywords: interval arithmetic
MaRDI profile type: Publication
full work available at URL: j.jde.2013.01.036
OpenAlex ID: W2048248040
DOI: 10.1016/J.JDE.2013.01.036
description: scientific article; zbMATH DE number 6154875