title: Modèles de Taylor
text: # Modèles de Taylor
  
  En calcul scientifique, les modèles de Taylor sont une approche permettant d'approximer les fonctions mathématiques de manière rigoureuse à l'aide de polynômes de Taylor et d'intervalles d'encadrement.
  
  ## Contexte
  
  Au croisement des mathématiques et de l'informatique, le calcul certifié consiste à estimer de manière rigoureuse l'influence de différentes incertitudes numériques sur le calcul. Ces incertitudes proviennent surtout de deux sources :
  
  * Des erreurs de calculs dues à la précision finie des ordinateurs.
  * Des incertitudes sur les variables du modèle de calcul.
  
  Les méthodes d'intervalles permettent de prendre en compte ces deux sources d'erreurs, mais elles entraînent un coût non négligeable en complexité, notamment du fait qu'il devient nécessaire de contrôler à tout instant ces intervalles de contrôle dont la taille peut exploser lors d'applications algorithmiques.
  
  ## Définition
  
  Si $v$ est un entier, soit $f$ une fonction supposée ${\mathcal {C}}^{n+1}$ sur $D_{f}\subset R^{v}$, et soit ${\vec {B}}\subset [a_{1},b_{1}]\times \cdots \times [a_{v},b_{v}]\subset D_{f}$ une boîte d'intervalles contenant le point ${\vec {x_{0}}}$.
  
  Soit $T$ le polynôme de Taylor de $f$ en ${\vec {x_{0}}}$. L'intervalle $I$ est une borne du reste d'ordre $n$ pour $f$ sur ${\vec {B}}$ si
  
  $f({\vec {x}})-T({\vec {x}})\in I\quad {\text{pour tout }}{\vec {x}}\in {\vec {B}}$
  
  La paire $(T,I)$ est un modèle de Taylor de $f$ d'ordre $n$. L'ensemble de toutes les bornes de restes est appelée la famille des restes.
  
  ## Propriétés
  
  Le but des modèles de Taylor est de servir d'objets de calculs. Il est donc nécessaire de définir les opérations élémentaires d'addition et de multiplication de modèles de Taylor, ainsi que des fonctions élémentaires comme l'exponentielle ou le logarithme. Par exemple, l'addition :
  
  Si $(T_{f},I_{f})$ et $(T_{g},I_{g})$ sont des modèles de Taylor d'ordre $n$, le modèle de Taylor $(T_{f}+T_{g},I_{f}+I_{g})$ est un modèle de Taylor de $f+g$ étant donné que
  
  $(f+g)({\vec {x}})\in (T_{f}+T_{g})({\vec {x}})+(I_{f}+I_{g})\quad {\text{pour tout }}{\vec {x}}\in {\vec {B}}$
  
  En appliquant ces règles de manière répétée, il est possible de calculer des modèles de Taylor de toutes les fonctions qui consistent en la répétition d'opérations d'addition, multiplication, et de fonctions élémentaires - ce qui inclut toutes les fonctions représentables par un ordinateur.
  
  ## Applications
  
  * Lors de la résolution d'équations différentielles ordinaires.
  * Dans des problèmes d'optimisation sous contraintes.
  * Dans la résolution d'équations différentielles algébriques (en).
  