Rappelons que la dérivabilité d’une fonction f en un point x0 permet de la représenter au voisinage de ce point:
Animation explicative
f(x)=f(x0)+(f′(x0)+rx0(x))(x−x0)=1erordreordre zeˊrof(x0)+f′(x0)(x−x0)+=R(x), resterx0(x)(x−x0), où limx→x0rx0(x)=0.
Cette dernière expression doit être lue de la façon suivante: pour un x proche de x0, f(x) se calcule en prenant
sa valeur en x0, f(x0), à laquelle il faut rajouter...
une correction linéaire en x−x0, f′(x0)(x−x0), à laquelle on rajoute encore...
un resteR(x)=(x−x0)rx0(x).
La somme des trois termes donne exactementf(x), et ils sont en ordre décroissant d’importance (voir la figure ci-dessus): la correction linéaire est petite puisque x−x0 est petit, et le reste est petit puisque limx→x0R(x)=0. Mais en fait le reste est beaucoup plus petit que la correction linéaire, puisque x→x0limx−x0R(x)=x→x0limrx0(x)=0.
Informel 10.1.En d’autres termes, R(x) est “doublement” petit, puisque c’est le produit de x−x0 (qui est petit lorsque x est proche de x0) par rx0(x) (qui est aussi petit lorsque x est proche de x0).
Exemple 10.1.
Considérons f(x)=ex, au voisinage du point x0=0.Si on s’intéresse par exemple au point x=0.3, on obtient f(0.3)=1f(0)+0.3f′(0)0.3+0.0498…0.3r0(0.3)=1.3498…
Une question naturelle est de savoir si il est possible d’obtenir une approximation de la fonction qui aille au-delà de l’approximation linéaire (et de son reste): pour un point fixé x=x0, peut-on approximer f(x) à l’aide d’une expression qui soit plus précise que l’approximation linéaire? La première amélioration naturelle serait une approximation quadratique (du deuxième ordre), qui du point de vue graphique consiste à approximer le graphe, localement, par une parabole plutôt que par une droite. Une telle approximation, si elle existe, est plus précise puisqu’elle doit tenir compte de la courbure du graphe dans le voisinage du point. Après l’approximation quadratique, on pourra essayer de produire une approximation cubique, et ainsi de suite, on pourra considérer des approximations d’ordres de plus en plus grand, à l’aide de polynômes. C’est le but de ce chapitre que de présenter cette construction, et de donner des conditions sur f qui garantissent que ces approximations sont possibles.
Informel 10.2.Certaines formules/expressions, dans ce chapitre, sont assez longues. On pourra donc augmenter la largeur du texte visible avec les boutons “+” et “−” dans la barre ci-dessus.