Rigorous Polynomial Approximations and Applications

Mioara Maria Joldes 1, 2
2 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Résumé : Quand on veut évaluer ou manipuler une fonction mathématique f, il est fréquent de la remplacer par une approximation polynomiale p. On le fait, par exemple, pour implanter des fonctions élémentaires en machine, pour la quadrature ou la résolution d'équations différentielles ordinaires (ODE). De nombreuses méthodes numériques existent pour l'ensemble de ces questions et nous nous proposons de les aborder dans le cadre du calcul rigoureux, au sein duquel on exige des garanties sur la précision des résultats, tant pour l'erreur de méthode que l'erreur d'arrondi.Une approximation polynomiale rigoureuse (RPA) pour une fonction f définie sur un intervalle [a,b], est un couple (P, Delta) formé par un polynôme P et un intervalle Delta, tel que f(x)-P(x) appartienne à Delta pour tout x dans [a,b].Dans ce travail, nous analysons et introduisons plusieurs procédés de calcul de RPAs dans le cas de fonctions univariées. Nous analysons et raffinons une approche existante à base de développements de Taylor.Puis nous les remplaçons par des approximants plus fins, tels que les polynômes minimax, les séries tronquées de Chebyshev ou les interpolants de Chebyshev.Nous présentons aussi plusieurs applications: une relative à l'implantation de fonctions standard dans une bibliothèque mathématique (libm), une portant sur le calcul de développements tronqués en séries de Chebyshev de solutions d'ODE linéaires à coefficients polynômiaux et, enfin, un processus automatique d'évaluation de fonction à précision garantie sur une puce reconfigurable.
Type de document :
Thèse
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. 〈NNT : 2011ENSL0655〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00657843
Contributeur : Abes Star <>
Soumis le : lundi 27 février 2012 - 11:26:48
Dernière modification le : vendredi 16 juin 2017 - 11:15:57
Document(s) archivé(s) le : lundi 28 mai 2012 - 02:41:05

Fichier

JOLDES_Mioara_-_Maria_2011_The...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00657843, version 2

Collections

Citation

Mioara Maria Joldes. Rigorous Polynomial Approximations and Applications. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. 〈NNT : 2011ENSL0655〉. 〈tel-00657843v2〉

Partager

Métriques

Consultations de
la notice

1371

Téléchargements du document

803