Rigorous uniform approximation of D-finite functions using Chebyshev expansions

Alexandre Benoit 1 Mioara Joldes 2 Marc Mezzarobba 3
2 LAAS-MAC - Équipe Méthodes et Algorithmes en Commande
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
3 PEQUAN - Performance et Qualité des Algorithmes Numériques
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : A wide range of numerical methods exists for computing polynomial approximations of solutions of ordinary differential equations based on Chebyshev series expansions or Chebyshev interpolation polynomials. We consider the application of such methods in the context of rigorous computing (where we need guarantees on the accuracy of the result), and from the complexity point of view. It is well-known that the order-n truncation of the Chebyshev expansion of a function over a given interval is a near-best uniform polynomial approximation of the function on that interval. In the case of solutions of linear differential equations with polynomial coefficients, the coefficients of the expansions obey linear recurrence relations with polynomial coefficients. Unfortunately, these recurrences do not lend themselves to a direct recursive computation of the coefficients, owing among other things to a lack of initial conditions. We show how they can nevertheless be used, as part of a validated process, to compute good uniform approximations of D-finite functions together with rigorous error bounds, and we study the complexity of the resulting algorithms. Our approach is based on a new view of a classical numerical method going back to Clenshaw, combined with a functional enclosure method.
Type de document :
Article dans une revue
Mathematics of Computation, American Mathematical Society, 2017, 86 (305), pp.1303-1341. 〈http://www.ams.org/journals/mcom/2017-86-305/S0025-5718-2016-03135-X/〉
Liste complète des métadonnées

Littérature citée [63 références]  Voir  Masquer  Télécharger

Contributeur : Marc Mezzarobba <>
Soumis le : jeudi 10 juillet 2014 - 13:54:16
Dernière modification le : lundi 9 avril 2018 - 12:20:04
Document(s) archivé(s) le : vendredi 10 octobre 2014 - 11:43:12


Fichiers produits par l'(les) auteur(s)


Distributed under a Creative Commons CC0 - Transfert dans le Domaine Public 4.0 International License


  • HAL Id : hal-01022420, version 1
  • ARXIV : 1407.2802


Alexandre Benoit, Mioara Joldes, Marc Mezzarobba. Rigorous uniform approximation of D-finite functions using Chebyshev expansions. Mathematics of Computation, American Mathematical Society, 2017, 86 (305), pp.1303-1341. 〈http://www.ams.org/journals/mcom/2017-86-305/S0025-5718-2016-03135-X/〉. 〈hal-01022420〉



Consultations de la notice


Téléchargements de fichiers