$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Développements limités

Définition

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$ .

Définition : Soit $f$ une fonction définie sur un intervalle I de $\mathbb R$, à valeurs dans $\mathbb R$, et soit $x_0$ un point de $I$. On dit que $f$ admet un développement limité à l'ordre $n$ en $x_0$ s'il existe des réels $a_0,\dots,a_n$ et une fonction $\varepsilon$ définie sur $I$ et qui tend vers $0$ quand $x$ tend vers $x_0$ tels que $$f(x)=a_0+a_1(x-x_0)+\cdots+a_n(x-x_0)^n +(x-x_0)^n \varepsilon(x).$$ Le polynôme $a_0+a_1(x-x_0)+\cdots+a_n(x-x_0)^n +(x-x_0)^n$ s'appelle la partie régulière (on dit parfois partie principale) du développement limité.

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$.

Développement limité et régularité de la fonction
  • 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$.

Opérations algébriques

Les développements limités se comportent particulièrement bien vis à vis des opérations algébriques.

Théorème : Soient $f$ et $g$ deux fonctions définies sur un intervalle $I$ de $\mathbb R$ contenant le point $x_0$, admettant chacune un développement limité à l'ordre $n$ dont la partie principale est $P$ (respectivement $Q$). Alors :
  • $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$.
Théorème : Soient $f$ et $g$ deux fonctions définies respectivement sur des intervalles $I$ et $J$ de $\mathbb R$, avec $x_1$ élement de $J$ et $x_0$ élement de $I$. On suppose que $g(x_0)=x_1$, et que $f$ (respectivement $g$) admet un développement limité à l'ordre $n$ en $x_1$ (resp. $x_0$) dont la partie principale est $P$ (respectivement $Q$). Alors, la fonction composée $f\circ g$ admet un développement limité à l'ordre $n$ en $x_0$, donné par le polynôme $P\circ Q$ tronqué aux puissances inférieures ou égales à $n$.

Développements limités usuels

On pourra consulter le formulaire.

Applications des développements limités

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!

Consulter aussi
Recherche alphabétique
Recherche thématique