Skip to Main content Skip to Navigation
Theses

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.
Document type :
Theses
Complete list of metadatas

Cited literature [160 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00657843
Contributor : Abes Star :  Contact
Submitted on : Monday, February 27, 2012 - 11:26:48 AM
Last modification on : Wednesday, November 20, 2019 - 2:38:34 AM
Document(s) archivé(s) le : Monday, May 28, 2012 - 2:41:05 AM

File

JOLDES_Mioara_-_Maria_2011_The...
Version validated by the jury (STAR)

Identifiers

  • 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⟩

Share

Metrics

Record views

2219

Files downloads

2258