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
Abstract : For purposes of evaluation and manipulation, mathematical functions f are commonly replaced by approximation polynomials p. Examples include floating-point implementations of elementary functions, integration, ordinary differential equations (ODE) solving. For that, a wide range of numerical methods exists. We consider the application of such methods in the context of rigorous computing, where we need guarantees on the accuracy of the result, with respect to both the truncation and rounding errors.A rigorous polynomial approximation (RPA) for a function f defined over an interval [a,b] is a couple (P, Delta) where P is a polynomial and Delta is an interval such that f(x)-P(x) belongs to Delta, for all x in [a,b]. In this work we analyse and bring forth several ways of obtaining RPAs for univariate functions. Firstly, we analyse and refine an existing approach based on Taylor expansions. Secondly, we replace them with better approximations such as minimax approximations, Chebyshev truncated series or interpolation polynomials.Several applications are presented: one from standard functions implementation in mathematical libraries (libm), another regarding the computation of Chebyshev series expansions solutions of linear ODEs with polynomial coefficients, and finally an automatic process for function evaluation with guaranteed accuracy in reconfigurable hardware.
Document type :
Theses
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. 〈NNT : 2011ENSL0655〉
Liste complète des métadonnées

Cited literature [160 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00657843
Contributor : Abes Star <>
Submitted on : Monday, February 27, 2012 - 11:26:48 AM
Last modification on : Friday, June 16, 2017 - 11:15:57 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

1371

Document downloads

803