Théorème de Taylor

En mathématiques, plus précisément en analyse, le théorème de Taylor (ou formule de Taylor), du nom du mathématicien anglais Brook Taylor qui l'établit en 1715, montre qu'une fonction plusieurs fois dérivable au voisinage d'un point peut être approchée par une fonction polynomiale dont les coefficients dépendent uniquement des dérivées de la fonction en ce point. Cette fonction polynomiale est parfois appelée polynôme de Taylor.

Représentation de la fonction exponentielle (en rouge) et du polynôme de Taylor d'ordre 4 au point 0 (en bleu).

Définition

Formulation standard

De manière plus précise, soit :

$I$ un intervalle réel ;
$a$ un élément de $I$ ;
$E$ un espace vectoriel normé réel ;
$f$ une fonction de $I$ dans $E$ dérivable en $a$ jusqu'à un certain ordre $n \geq 1$ .

Alors pour tout nombre réel $x$ appartenant à $I$ , on a la formule de Taylor-Young (voir infra) :

f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f^{(2)}(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}+R_{n}(x)

ou de façon équivalente :

\displaystyle f(x)=\sum _{k=0}^{n}{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}+R_{n}(x)

où le reste $R n (x)$ est une fonction négligeable par rapport à $(x - a) n$ au voisinage de $a$ .

Autre formulation

Par simple changement de variable, la formule de Taylor-Young peut aussi s'exprimer sous la forme :

f(a+h)=f(a)+{\frac {f'(a)}{1!}}h+{\frac {f^{(2)}(a)}{2!}}h^{2}+\cdots +{\frac {f^{(n)}(a)}{n!}}h^{n}+R_{n}(h)

ou de façon équivalente :

\displaystyle f(a+h)=\sum _{k=0}^{n}{\frac {f^{(k)}(a)}{k!}}h^{k}+R_{n}(h)

où le reste $R n (h)$ est une fonction négligeable par rapport à $h n$ au voisinage de 0,

forme souvent employée en se situant dans un voisinage de $a$ (c'est-à-dire pour $h$ petit).

Expressions et estimations du reste

En présentant cette formule en 1715[1]^,[2]^,[3], Taylor propose ainsi une méthode de développement en série[4], mais sans se préoccuper du reste $R n (x)$ . En effet, pendant tout le XVIII^e siècle, les mathématiciens n'établissent pas encore de différence entre développement limité et développement en série entière. C'est Joseph-Louis Lagrange qui, en 1799, soulignera le premier la nécessité de définir rigoureusement ce reste[5]^,[6]. Les propriétés de celui-ci s'énoncent différemment selon les hypothèses sur la fonction.

Formule de Taylor-Young

Si la fonction $f$ (à valeurs réelles ou complexes, ou même dans un espace normé) est dérivable en $a$ jusqu'à l'ordre $n \geq1$ , alors la fonction $R n (x)$ est négligeable devant $(x - a) n$ :

{R_{n}(x)}=o({(x-a)^{n}}).

La formulation suivante est équivalente :

\lim _{x\to a \atop x\neq a}{\frac {R_{n}(x)}{(x-a)^{n}}}=0.

L'énoncé se démontre par récurrence simple, à l'aide d'une « intégration » terme à terme d'un développement limité[7], ou encore par application itérée de la règle de l'Hôpital[8].

Formule de Taylor-Lagrange

Si la fonction $f$ est à valeurs réelles et est dérivable sur $I$ jusqu'à l'ordre $n + 1$ alors, pour tout $x\in I\setminus \{a\}$ , il existe un nombre réel $ξ$ strictement compris entre $a$ et $x$ tel que

R_{n}(x)={\frac {f^{(n+1)}(\xi )}{(n+1)!}}(x-a)^{n+1}.

Cette relation s'appelle également la forme de Lagrange. L'existence de $ξ$ se déduit directement[7] du théorème de Rolle (ou de sa variante, le théorème des accroissements finis[9]).

Le nombre $ξ$ est parfois noté $a + (x - a)θ$ , et la condition qu'il soit compris entre $a$ et $x$ s'écrit alors $0 < θ < 1$ .

Inégalité de Taylor-Lagrange

S'il existe $M$ tel que

\forall y\in I\quad |f^{(n+1)}(y)|\leq M,

alors, pour tout $x\in I$ :

|R_{n}(x)|\leq {\frac {M|x-a|^{n+1}}{(n+1)!}}.

Formule de Taylor-Cauchy

C'est une variante de la formule de Taylor-Lagrange[9]^,[10]. Si la fonction $f$ est à valeurs réelles et qu'elle est dérivable sur $I$ jusqu'à l'ordre $n + 1$ alors, pour tout $x\in I\setminus \{a\}$ , il existe un nombre $ξ$ strictement compris entre $a$ et $x$ tel que

R_{n}(x)={\frac {f^{(n+1)}(\xi )}{n!}}(x-a)(x-\xi )^{n}.

Formule de Taylor avec reste intégral de Laplace

Si la fonction $f$ est de classe C^{n + 1} sur $I$ et à valeurs dans un espace de Banach réel, alors, pour tout $x\in I$ :

R_{n}(x)=\int _{a}^{x}{\frac {f^{(n+1)}(t)}{n!}}(x-t)^{n}\,\mathrm {d} t.

Cet énoncé se démontre[7] par récurrence, à l'aide d'une intégration par parties.

Remarques

Formule de Taylor-Maclaurin : lorsque $a$ = 0, la formule s’écrit $f(x)=f(0)+{\frac {f'(0)}{1!}}x+{\frac {f^{(2)}(0)}{2!}}x^{2}+\cdots +{\frac {f^{(n)}(0)}{n!}}x^{n}+R_{n}(x).$
Contrairement à la formule de Taylor-Lagrange, les théorèmes de Taylor-Young et de Taylor-Laplace sont vrais pour des fonctions $f$ à valeurs complexes ou dans un espace vectoriel normé, complet pour pouvoir parler d'intégrale (de Bochner) pour le second.
Pour une fonction à valeurs réelles, l'inégalité de Taylor-Lagrange est un corollaire immédiat de la formule de Taylor-Lagrange. Pour une fonction à valeurs dans un espace vectoriel normé, on ne dispose pas de cette formule mais on peut déduire l'inégalité de Taylor-Lagrange de l'inégalité des accroissements finis pour les fonctions à valeurs vectorielles.
La formule de Taylor-Lagrange pour n = 0 est le théorème des accroissements finis.
La formule de Taylor avec reste de Laplace est une généralisation du second théorème fondamental de l'analyse.
Pour certaines fonctions $f$ , le reste $R n (x)$ tend vers zéro lorsque $n$ tend vers l'infini ; ces fonctions peuvent ainsi être développées en série de Taylor dans un voisinage du point $a$ . Si cette propriété se vérifie en tout point du domaine de définition, la fonction est dite analytique.

Formule de Taylor pour les fonctions de plusieurs variables

Formule de Taylor-Young dans les espaces vectoriels normés[11]^,[12] — Soient $E$ et $F$ deux espaces vectoriels normés.

Si une fonction $f:E\to F$ est $n$ fois différentiable en un point $a\in E$ , alors elle admet en ce point un développement limité à l'ordre $n$ , donné par

f\left(a+h\right)=f\left(a\right)+\mathrm {d} f_{a}\left(h\right)+{\frac {1}{2!}}\mathrm {d} ^{2}f_{a}\left(h^{2}\right)+\dots +{\frac {1}{n!}}\mathrm {d} ^{n}f_{a}\left(h^{n}\right)+o\left(\|h\|^{n}\right)

où $h^{k}$ désigne le $k$ -uplet $(h,\dots ,h)\in E^{k}$ .

Exemple :

Pour une fonction $f:\mathbb {R} ^{p}\to \mathbb {R}$ deux fois différentiable en $a \in$ ℝ^p, on a :

f(a+h)=f(a)+\nabla f(a)\cdot h+{\frac {1}{2}}h^{T}\mathbb {H} (a)h+o(\|h\|^{2})

où $\nabla f$ est le gradient de $f$ et $\mathbb {H} (a)$ est sa matrice hessienne évaluée en $a$ .

Ceci se réécrit « en coordonnées » : par exemple pour une fonction $f:\mathbb {R} ^{2}\to \mathbb {R}$ deux fois différentiable en $(a, b) \in$ ℝ², on a :

{\begin{aligned}f(a+h,b+k)=f(a,b)&+{\frac {\partial f}{\partial x}}(a,b)h+{\frac {\partial f}{\partial y}}(a,b)k+{\frac {1}{2}}{\frac {\partial ^{2}f}{\partial x^{2}}}(a,b)h^{2}\\&+{\frac {1}{2}}{\frac {\partial ^{2}f}{\partial y^{2}}}(a,b)k^{2}+{\frac {\partial ^{2}f}{\partial x\partial y}}(a,b)hk\\&+o(h^{2}+k^{2}).\end{aligned}}

On peut de même développer « en coordonnées » la formule de Taylor-Young globale ci-dessus, pour des fonctions n fois différentiables en un point $a$ de ℝ^p et à valeurs dans ℝ (ou dans n'importe quel espace vectoriel normé). On voit apparaître des coefficients multinomiaux.

On a également une inégalité de Taylor-Lagrange dans les espaces vectoriels normés[13] qui, développée « en coordonnées » dans le cas particulier $E=\mathbb {R} ^{p}$ et $F=\mathbb {R}$ , donne :

Soient O un ouvert de ℝ^p et $f$ une fonction n + 1 fois différentiable de O dans ℝ. Alors pour tout $\left[a,x\right]\subset O$ :

{\displaystyle f(x)=\sum _{|\alpha |=0}^{n}{\frac {1}{\alpha

où les sommes portent sur les multi-indices α, et où le reste vérifie l'inégalité

{\displaystyle |R_{\alpha }(x)|\leq \sup _{y\in \left[a,x\right]}\left|{\frac {1}{\alpha

pour tous les α tels que |α| = n + 1 (si $f$ est de classe Cⁿ⁺¹, le majorant ci-dessus est fini).

Notes et références

Taylor, Methodus incrementorum directa & inversa, Prop.VII, theo. III, p. 21.
L'article consacré à Taylor précise que : « En fait, la première mention par Taylor de ce qui est appelé aujourd'hui « théorème de Taylor » apparaît dans une lettre que ce dernier écrivit à Machin le 26 juillet 1712. Dans cette lettre, Taylor explique clairement d'où lui est venue cette idée, c'est-à-dire d'un commentaire que fit Machin au Child's Coffeehouse, utilisant les « séries de Sir Isaac Newton » pour résoudre un problème de Kepler, et utilisant également « les méthodes de Dr. Halley pour extraire les racines » d'équations polynomiales. Il y a en fait deux versions du théorème de Taylor données sur le papier de 1715. Dans la première version, le théorème apparaît dans la Proposition 11 qui est une généralisation des méthodes de Halley d'approximation de racines de l'équation de Kepler, ce qui allait bientôt devenir une conséquence des séries de Bernoulli. C'est cette version qui a été inspirée par les conversations du Coffeehouse décrites précédemment. Dans la seconde version se trouve le Corollaire 2 de la Proposition 7 et qui est une méthode pour trouver davantage de solutions des équations fluxionales dans les séries infinies. Taylor était le premier à découvrir ce résultat ! »
Dans son ouvrage Calcolo differenziale e principii di calcolo integrale (1884), p. XVII, Giuseppe Peano signale qu'en 1694, Jean Bernoulli donna une formule équivalente à la formule de Taylor. cf. Jean Bernoulli, Additamentum effectionis omnium quadraturarum & rectificationum curvarum per seriem quandam generalissimam, Opera Omnia, t. I, p. 126.
(en) Brook Taylor (trad. Ian Bruce), Methodus incrementorum directe et inversa, proposition VII, théorème III, Corollaire II, Londres, 1715, [lire en ligne].
Jean-Luc Chabert & al. Histoire d'algorithmes, du caillou à la puce, Belin, (1993), p.455
Joseph-Louis Lagrange, Leçons sur le calcul des fonctions, 1799, réédité en 1806, leçon neuvième, p. 88 : « Tant que ce développement ne sert qu'à la génération des fonctions dérivées, il est indifférent que la série aille à l'infini ou non ; il l'est aussi lorsqu'on ne considère le développement que comme une simple transformation analytique de la fonction ; mais, si on veut l'employer pour avoir la valeur de la fonction dans les cas particuliers, comme offrant une expression d'une forme plus simple [...], alors, ne pouvant tenir compte que d'un certain nombre plus ou moins grand de termes, il est important d'avoir un moyen d'évaluer le reste de la série qu'on néglige, ou du moins de trouver des limites de l'erreur qu'on commet en négligeant ce reste. »
Voir par exemple le § « Formules de Taylor » du chapitre « Développements limités » sur Wikiversité.
Voir par exemple cet exercice corrigé de la leçon « Fonctions d'une variable réelle » sur Wikiversité.
Formules de Taylor, cours de Jean-François Burnol.
(en) Eric W. Weisstein, « Cauchy Remainder », sur MathWorld.
(en) Rodney Coleman, Calculus on Normed Vector Spaces, Springer, 2012 (lire en ligne), p. 108.
Pour une démonstration, voir par exemple « Formule de Taylor-Young » dans la leçon « Calcul différentiel » sur Wikiversité.
Coleman 2012, p. 110.

Bibliographie

Jacqueline Lelong-Ferrand et Jean-Marie Arnaudiès, Cours de mathématiques, t. 2 : Analyse, Bordas, 1977
Claude Deschamps et André Warusfel, J'intègre : Mathématiques première année, Dunod, 1999
Joseph-Louis Lagrange, Théorie des fonctions analytiques contenant les principes du calcul différentiel, dégagés de toute considération d'infiniment petits ou d'évanouissants, de limites ou de fluxions et réduits à l'analyse algébrique des quantités finies (1797), Journal de l'École polytechnique, 9^e cahier, t. III, § 52, p. 49

Voir aussi

Portail de l'analyse

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Taylor, Methodus incrementorum directa & inversa, Prop.VII, theo. III, p. 21.

[2] L'article consacré à Taylor précise que : « En fait, la première mention par Taylor de ce qui est appelé aujourd'hui « théorème de Taylor » apparaît dans une lettre que ce dernier écrivit à Machin le 26 juillet 1712. Dans cette lettre, Taylor explique clairement d'où lui est venue cette idée, c'est-à-dire d'un commentaire que fit Machin au Child's Coffeehouse, utilisant les « séries de Sir Isaac Newton » pour résoudre un problème de Kepler, et utilisant également « les méthodes de Dr. Halley pour extraire les racines » d'équations polynomiales. Il y a en fait deux versions du théorème de Taylor données sur le papier de 1715. Dans la première version, le théorème apparaît dans la Proposition 11 qui est une généralisation des méthodes de Halley d'approximation de racines de l'équation de Kepler, ce qui allait bientôt devenir une conséquence des séries de Bernoulli. C'est cette version qui a été inspirée par les conversations du Coffeehouse décrites précédemment. Dans la seconde version se trouve le Corollaire 2 de la Proposition 7 et qui est une méthode pour trouver davantage de solutions des équations fluxionales dans les séries infinies. Taylor était le premier à découvrir ce résultat ! »

[3] Dans son ouvrage Calcolo differenziale e principii di calcolo integrale (1884), p. XVII, Giuseppe Peano signale qu'en 1694, Jean Bernoulli donna une formule équivalente à la formule de Taylor. cf. Jean Bernoulli, Additamentum effectionis omnium quadraturarum & rectificationum curvarum per seriem quandam generalissimam, Opera Omnia, t. I, p. 126.

[4] (en) Brook Taylor (trad. Ian Bruce), Methodus incrementorum directe et inversa, proposition VII, théorème III, Corollaire II, Londres, 1715, [lire en ligne].

[5] Jean-Luc Chabert & al. Histoire d'algorithmes, du caillou à la puce, Belin, (1993), p.455

[6] Joseph-Louis Lagrange, Leçons sur le calcul des fonctions, 1799, réédité en 1806, leçon neuvième, p. 88 : « Tant que ce développement ne sert qu'à la génération des fonctions dérivées, il est indifférent que la série aille à l'infini ou non ; il l'est aussi lorsqu'on ne considère le développement que comme une simple transformation analytique de la fonction ; mais, si on veut l'employer pour avoir la valeur de la fonction dans les cas particuliers, comme offrant une expression d'une forme plus simple [...], alors, ne pouvant tenir compte que d'un certain nombre plus ou moins grand de termes, il est important d'avoir un moyen d'évaluer le reste de la série qu'on néglige, ou du moins de trouver des limites de l'erreur qu'on commet en négligeant ce reste. »

[Wikiversité-7] Voir par exemple le § « Formules de Taylor » du chapitre « Développements limités » sur Wikiversité.

[8] Voir par exemple cet exercice corrigé de la leçon « Fonctions d'une variable réelle » sur Wikiversité.

[Burnol-9] Formules de Taylor, cours de Jean-François Burnol.

[10] (en) Eric W. Weisstein, « Cauchy Remainder », sur MathWorld.

[11] (en) Rodney Coleman, Calculus on Normed Vector Spaces, Springer, 2012 (lire en ligne), p. 108.

[12] Pour une démonstration, voir par exemple « Formule de Taylor-Young » dans la leçon « Calcul différentiel » sur Wikiversité.

[13] Coleman 2012, p. 110.