Formules de Taylor

Les formules de Taylor justifient les approximations locales de fonctions réelles, au voisinage d'un réel de leur domaine de définition, par des expressions polynomiales. L'erreur de cette approximation peut être majorée à l'aide d'une majoration de la valeur absolue d'une dérivée d'ordre supérieur.

Appliquées aux polynômes, elles permettent d'exprimer le changement de base de la base canonique vers une translatée.

Pour une fonction n fois dérivable en un réel a de son domaine de définition, la formule de Taylor-Young donne un développement limité à l'ordre n en a.

Formule de Taylor avec reste intégral.
Soit I un intervalle réel non dégénéré et soit aI. Soit nN et f une fonction de classe Cn+1 sur I.

On a pour tout xI, f(x) = k=0n (xa)k / k! f(k)(a) + ax (xt)n / n! f(n+1)(t) dt.

On procède par récurrence sur n.

Pour toute fonction f de classe C1 sur I, on a f(x) = f(a) + ax f′(t) dt par théorème fondamental de l'analyse.

Soit nN tel que pour toute fonction f de classe Cn+1 sur I, on ait pour tout xI, f(x) = k=0n (xa)k / k! f(k)(a) + ax (xt)n / n! f(n+1)(t) dt.

Soit f une fonction de classe Cn+2 sur I. En particulier, la fonction f est de classe Cn+2 sur I donc en appliquant l'hypothèse de récurrence on trouve pour tout xI, f(x) = k=0n (xa)k / k! f(k)(a) + ax (xt)n / n! f(n+1)(t) dt.
Or par intégration par parties, on trouve pour tout xI, ax (xt)n / n! f(n+1)(t) dt[−(xt)n+1 / (n + 1)! f(n+1)(t)]axax −(xt)n+1 / (n + 1)! f(n+2)(t) dt(xa)n+1 / (n + 1)! f(n+1)(a) + ax (xt)n+1 / (n + 1)! f(n+2)(t) dt.

Finalement, la propriété est vraie pour tout nN.

Majoration du reste intégral
Soit I un intervalle réel non dégénéré et nN. Soit f une fonction de classe Cn+1 sur I et soit (a, x) ∈ I2.
On note M un majorant de |f(n+1)| sur I.
Alors on a |f(x) − k=0n (xa)k / k! f(k)(a)||xa|n+1 / (n + 1)! M.
On applique l'inégalité triangulaire au reste intégral en gardant des valeurs absolues pour que la formule soit valable même si a > x. |ax (xt)n / n! f(n+1)(t) dt||ax (xt)n / n! |f(n+1)(t)| dt| puis par croissance de l'intégrale on trouve |ax (xt)n / n! |f(n+1)(t)| dt||ax (xt)n / n! M dt||[(xt)n+1 / (n + 1)!]ax M||ba|n+1 / (n + 1)! M

Exercices