Efficient and Validated Numerical Evaluation of Abelian Integrals - Université Toulouse 1 Capitole Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Mathematical Software Année : 2023

Efficient and Validated Numerical Evaluation of Abelian Integrals

Résumé

Abelian integrals play a key role in the infinitesimal version of Hilbert's 16th problem. Being able to evaluate such integrals - with guaranteed error bounds - is a fundamental step in computer-aided proofs aimed at this problem. Using interpolation by trigonometric polynomials and quasi-Newton-Kantorovitch validation, we develop a validated numerics method for computing Abelian integrals in a quasi-linear number of arithmetic operations. Our approach is both effective, as exemplified on two practical perturbed integrable systems, and amenable to an implementation in a formal proof assistant, which is key to provide fully reliable computer-aided proofs.
Fichier principal
Vignette du fichier
hal-abintvalid.pdf (1.11 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03561096 , version 1 (08-02-2022)
hal-03561096 , version 2 (12-12-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-03561096 , version 1

Citer

Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker. Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Transactions on Mathematical Software, In press. ⟨hal-03561096v1⟩
273 Consultations
149 Téléchargements

Partager

Gmail Facebook X LinkedIn More