Développements limités
Une méthode usuelle pour étudier des fonctions et de les approcher par des fonctions plus simples. Les fonctions polynômes forment une classe de fonctions élémentaires qui se manipulent facilement vis à vis des opérations usuelles (dérivation, somme, produit, intégration, dérivation,...). Ainsi, il est naturel d'essayer d'approcher les fonctions par des polynômes.
Les développements limités correspondent à une mise en oeuvre locale de ce programme. Chercher un développement limité d'une fonction $f$ au voisinage d'un point $a$, c'est chercher un polynôme qui, au voisinage de $a$, se comporte comme $f$ .
On prouve aisément qu'un développement limité, s'il existe, est unique, c'est-à-dire que si $f$ s'écrit à la fois $$f(x)=a_0+a_1(x-x_0)+\cdots+a_n(x-x_0)^n +(x-x_0)^n \varepsilon_1(x)$$ et $$f(x)=b_0+b_1(x-x_0)+\cdots+b_n(x-x_0)^n +(x-x_0)^n \varepsilon_2(x),$$ alors pour chaque $k=0,\dots,n$ on a $a_k=b_k$.
- Pour $n=0$ : Dire que $f$ admet un développement limité à l'ordre $0$ en $x_0$ signifie que $f$ s'écrit $$f(x)=a_0+\veps(x)$$ ce qui signifie que $f$ admet pour limite $a_0$ en $x_0$, ou encore que $f$ est continue en $x_0$. La réciproque est claire, et on a donc : $f$ admet un développement limité à l'ordre $0$ en $x_0$ si et seulement si $f$ est continue en $x_0$.
- Pour $n=1$ : Si $f$ admet un développement limité à l'ordre 1 en $x_0$, alors on a $$f(x)=a_0+a_1(x-x_0)+(x-x_0)\veps(x)$$ avec $a_0=f(x_0)$ d'après ci-dessus. On a donc $$\frac{f(x)-f(x_0)}{x-x_0}=a_1+\veps(x)$$ ce qui entraine que $f$ est dérivable en $x_0$ avec $f'(x_0)=a_1$. Réciproquement, si $f$ est dérivable en $x_0$, alors on a $$\frac{f(x)-f(x_0)}{x-x_0}=f'(x_0)+\veps(x)$$ ce qui entraine $$f(x)=f(x_0)+f'(x_0)(x-x_0)+(x-x_0)\veps(x)$$ c'est-à-dire $f$ admet un développement limité à l'ordre $1$ en $x_0$. On a donc prouvé : $f$ admet un développement limité à l'ordre $1$ en $x_0$ si et seulement $f$ est dérivable en $x_0$.
- Pour $n>1$ : La formule de Taylor-Young nous dit qu'une partie de l'argumentation précédente est préservée. Si $f$ est $n$-fois dérivable en $x_0$, alors $f$ admet un développement limité à l'ordre $n$ en $x_0$ qui s'écrit: $$f(x)=f(x_0)+f'(x_0)(x-x_0)+\cdots+\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n + (x-x_0)^n \veps(x).$$ En revanche la réciproque est fausse. Par exemple la fonction $f$ définie par $$f(x)=x^3\sin\left(\frac 1{x^2}\right)=x^2\left(x\sin\left(\frac 1{x^2}\right)\right)=x^2\veps(s)$$ admet un développement limité à l'ordre $2$ en $0$. En revanche, elle n'est pas deux fois dérivable en 0, sa dérivée $$f'(x)=3x^2\sin\left(\frac1{x^2}\right)-2\cos\left(\frac1{x^2}\right)$$ n'étant même pas continue en $0$.
Les développements limités se comportent particulièrement bien vis à vis des opérations algébriques.
- $f+g$ admet un développement limité à l'ordre $n$ en $x_0$ dont la partie principale est donnée par $P+Q$.
- $fg$ admet un développement limité à l'ordre $n$ en $x_0$ dont la partie principale est donnée par le produit $PQ$ tronqué aux puissances inférieures ou égales à $n$.
- si $g(x_0)$ n'est pas nul, $f/g$ admet un développement limité à l'ordre $n$ en $x_0$ dont la partie principale est le quotient dans la division suivant les puissances croissantes de $P$ par $Q$ à l'ordre $n$.
On pourra consulter le formulaire.
Les développements limités sont l'outil majeur, en mathématiques, pour l'étude locale : limite de fonctions, recherche d'asymptotes, étude de la convergence de séries. Par exemple, déterminons la limite en $0$ de $$\frac{\sin(x)-x}{\tan(x)-x}.$$ En utilisant les développements limités, on a : $$\frac{\sin(x)-x}{\tan(x)-x}=\frac{x-x^3/6+o(x^3)-x}{x+x^3/3+o(x^3)-x}=\frac{-1/6+o(1)}{1/3+o(1)}$$ ce qui entraîne que la limite est $-1/2$. Essayez de démontrer ceci sans utiliser un développement limité. C'est nettement plus difficile!