Truncation Bounds for Differentially Finite Series

Marc Mezzarobba 1
1 PEQUAN - Performance et Qualité des Algorithmes Numériques
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : We describe a flexible symbolic-numeric algorithm for computing bounds on the tails of series solutions of linear differential equations with polynomial coefficients. Such bounds are useful in rigorous numerics, in particular in rigorous versions of the Taylor method of numerical integration of ODEs and related algorithms. The focus of this work is on obtaining tight bounds in practice at an acceptable computational cost, even for equations of high order with coefficients of large degree. Our algorithm fully covers the case of generalized series expansions at regular singular points. We provide a complete implementation in SageMath and use it to validate the method in practice.
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01817568
Contributeur : Marc Mezzarobba <>
Soumis le : lundi 18 juin 2018 - 10:19:08
Dernière modification le : vendredi 31 août 2018 - 09:25:55
Document(s) archivé(s) le : mercredi 19 septembre 2018 - 22:43:06

Fichier

adaptive_bounds (1).pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Partage selon les Conditions Initiales 4.0 International License

Identifiants

  • HAL Id : hal-01817568, version 1

Collections

Citation

Marc Mezzarobba. Truncation Bounds for Differentially Finite Series. 2018. 〈hal-01817568〉

Partager

Métriques

Consultations de la notice

110

Téléchargements de fichiers

19