Thèse soutenue

Approximations polynomiales rigoureuses et applications

FR  |  
EN
Auteur / Autrice : Mioara Maria Joldes
Direction : Jean-Michel MullerNicolas Brisebarre
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 26/09/2011
Etablissement(s) : Lyon, École normale supérieure
Ecole(s) doctorale(s) : École doctorale en Informatique et Mathématiques de Lyon (2009-....)
Partenaire(s) de recherche : Laboratoire : Laboratoire de l'informatique du parallélisme (Lyon ; 1988-....) - ARENAIRE / Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme
Jury : Président / Présidente : Frédéric Benhamou
Examinateurs / Examinatrices : Jean-Michel Muller, Nicolas Brisebarre, Frédéric Benhamou, Didier Henrion, Warwick Tucker
Rapporteurs / Rapporteuses : Didier Henrion, Warwick Tucker

Résumé

FR  |  
EN

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.