Les-Mathematiques.net - Cours de mathématiques supérieures

A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

57 personne(s) sur le site en ce moment

E. Cartan

A lire

Articles

Math/Infos

Récréation
A télécharger

Télécharger

Théorème de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

Développements limités : définition et propriétés

suivant: Opérations sur les D.L. monter: Fonctions négligeables et équivalentes précédent: Fonctions équivalentes

Sous-sections

Développements limités : définition et propriétés

Les développements limités consistent grosso modo à trouver une approximation polynômiale à une fonction plus compliquée, au voisinage d'un point choisi. Ils ont de nombreuses applications dans d'autres sciences (physique,...), mais aussi dans les mathématiques elles-mêmes, en particulier en analyse numérique.

D.L. d'ordre en

Définition On dit que $f:I\to\R$ admet un ssi il existe un polynôme $P\in\R_n[X]$ et une fonction $\e:I\to\R$ t.q.

$\displaystyle \forall x\in I: f(x)=P(x-x_0) + (x-x_0)^n\e(x)$ et $\displaystyle \lim_{x_0}\e =0 ~.$

On appelle alors

la partie régulière du DL, et $(x-x_0)^n\e(x)$ le reste d'ordre

, que l'on note aussi

Exemple [fondamental] $f:\left]-1,1\right[\to\R ; f(x)=\frac1{1-x} = 1+x+x^2+x^3+x^3\frac x{1-x}$ , donc admet un de partie régulière et de reste $x^3\,\veps(x)=x^3\frac x{1-x}$ .

Remarque On permet le cas $x_0\not\in I$ , mais les seuls cas utiles sont ceux ou $x_0\in\overline I$ (adhérence de ), par exemple $I=[a,b]\setminus\set{x_0}$ ou $I=\lr][{x_0,b}$ .

Remarque Il faut insister sur le fait qu'un développement limité est une stricte égalité mathématique, il ne faut donc jamais «oublier» le reste en faveur de la partie régulière. D'ailleurs, dans certains cas le reste peut être plus intéressant que la partie régulière.

Remarque Comme la formule simplifie pour , on se ramène souvent à ce cas en considérant , en faisant un changement de variables , puis un , dans lequel on resubstitue finalement .

Corollaire (Conséquences de la définition.) -- On se limite ici aux cas ou est un intervalle, éventuellement privé du point .

Si admet un DL en $x_0\in\bar I$ , alors admet une limite en , égale à . Si $x_0\in I$ , cela implique que est continue en . Sinon, admet un prolongement par continuité en (en posant $\wt f(x_0)=a_0$ ), dont le DL coïncide avec celui de .
Si admet $DL_n(x_0),~ n\ge1$ et $x_0\in I$ , alors est dérivable en et .

Exemple Pour $n\in\N$ , $k\in\N^*$ , $f(x)=x^{n+1}\sin x^{-k}$ n'est pas définie en 0 mais admet un (de partie régulière nulle et avec $\veps=x\sin x^{-k}$ ) et donc une limite (nulle) et donc un prolongement par continuité en 0. Pour $n\ge1$ , ce prolongement $\wt f$ est dérivable en 0 ( partie du corrolaire) (avec $\wt f'(0)=0$ ), mais la dérivée n'est pas continue en 0 si $n\le k$ : en effet $f'(x)=(n+1)x^n\sin x^{-k}-k\,x^{n-k}\cos x^{-k} ~(x\ne0)$ n'admet pas de limite en 0 pour $n\le k$ .

Remarque L'exemple précédent montre que même si admet un DL à un ordre aussi élevé qu'on veut, cela n'implique jamais que la dérivée soit continue, et donc encore moins que la fonction soit deux fois dérivable! (Prendre arbitrairement grand dans l'exemple .)

Unicité du D.L.

Lemme [troncature] Si admet un de partie régulière , alors admet $DL_m(x_0) ~~\forall m\in\set{0,...,n}$ , dont la partie régulière sont les termes de degré $\le m$ de .

Démonstration Exercice facile: il suffit de montrer que les termes avec peuvent s'écrire comme reste d'ordre :

$\displaystyle \SUM k{m+1}n a_k(x-x_0)^k + (x-x_0)^n\e(x)=(x-x_0)^m\eta(x)$

avec

$\displaystyle \eta=\SUM k{m+1}n a_k(x-x_0)^{k-m}+(x-x_0)^{n-m}\e(x)\to0~~(x\to x_0) ~.$

Théorème [unicité] Si admet un DL, il est unique, et $\veps$ sont uniques.

Démonstration (par recurrence). Pour , $P=a_0=\lim_{x_0} f$ et $\e(x)=f(x)-a_0$ sont déterminés de façon unique. Supposons que le de est unique, et que admet un $DL_{n+1}(x_0)$ , $f=\sum_0^{n+1} a_i(x-x_0)^i+(x-x_0)^{n+1}\e(x)$ . D'après le Lemme qui précède, $% latex2html id marker 2768 $ a_0+{\text ...}+a_n(x-x_0)^n+(x-x_n)^n\eta(x)$$ avec $\eta(x)=a_{n+1}(x-x_0)+(x-x_0)\e(x)$ est un de . D'après l'hypothèse de récurrence, ainsi que le reste $\eta$ sont uniques. Or, $\lim_{x\to x_0}\frac1{x-x_0}\eta(x)=a_{n+1}$ . Ce coefficient, et $\e=\frac1{x-x_0}\eta(x)-a_{n+1}$ sont donc également uniques.

Remarque Autre démonstration: soit $f(x)=P(x-x_0)+(x-x_0)^n\e(x) =Q(x-x_0)+(x-x_0)^n\eta(x)$ , avec $% latex2html id marker 2786 $ P=a_0+{\text ...}+a_nX^n$$ et $% latex2html id marker 2788 $ Q=b_0+{\text ...}+b_nX^n$$ . En considérant $\lim(x\to x_0)$ de l'équation précédente, on a . Si , on peut alors soustraire de cette équation, la diviser par (pour $x\ne x_0$ ), et on repart du début avec une équation du même type mais avec diminué d'un rang, de laquelle on déduit , etc... Quand enfin on arrive à , ayant identifié le terme constant et soustrait des deux membres, l'équation devient $\e(x)=\eta(x)$ , d'où également l'unicité des restes.

Corollaire paire (par rapport au pt. ) pair, $% latex2html id marker 2816 $ P=P(-X)\iff P=\frac12(P+P(-X))\iff P=a_0+a_2X^2+{\text ...}+a_{2k}X^{2k}$$ .

Démonstration paire $\iff f(x_0+t)=f(x_0-t)$ , donc (en comparant partie régulière du de et de ).

Existence des D.L. -- Formules de Taylor

Dans ce paragraphe, on affirme l'existence du D.L. pour les fonctions suffisament dérivables, et on précise en même temps une expression explicite des coefficients de la partie régulière en terme des dérivées de la fonction au point du D.L.

Théorème [de Taylor-Lagrange] Si est fois continûment dérivable sur , alors admet un de partie régulière

$% latex2html id marker 2891 $\displaystyle P = f(x_0) + f'(x_0) \,X + {\text ...} + \frac{f^{(n)}(x_0)}{n!} \,X^n ~. $$

(de coefficient $a_k=\frac1{k!}f^{(k)}(x_0)$ ), avec le reste de Lagrange d'ordre

$% latex2html id marker 2897 $\displaystyle \exists c\in\left]x_0,x\right[:~ f(x) - P(x-x_0) = \frac{f^{(n+1)}(c)}{(n+1)!}\, (x-x_0)^{n+1} ~. $$

Remarque A titre mnemotechnique, le reste d'ordre a donc la même expression qu'un terme d'ordre de la partie régulière, sauf que le «coefficient» n'est pas une constante dans la mesure ou le point ci-dessus dépend de .

Démonstration Avec l'hypothèse de ce théorème, nous avons déjà démontré la formule de Taylor

$% latex2html id marker 2907 $\displaystyle %%\begin{equation}\label{taylor-int-2... ... = f(a)+ f'(a)\,(x-a)+{\text ...}+\frac1{n!}\,f^{(n)}(a)\,(x-a)^n + R_n(f,a,x) $$

avec le reste intégral d'ordre

$\displaystyle R_n(f,a,x)= \frac1{n!} \int_a^x f^{(n+1)}(t)\,(x-t)^n dt ~,$

dans le chapitre

(page

), comme application de l'intégration par parties

. Pour que cette formule corresponde effectivement à un D.L., il faut montrer que

est négligeable devant

, lorsque $x\to a$ . Pour cela, utilisons le théorème

de la moyenne généralisée, avec

pour $t\in\lr][{a,x}$ . Il existe donc $c\in\lr][{a,x}$ tel que

$\displaystyle R_n(f,a,x)= \frac1{n!} f^{(n+1)}(c)\int_a^x (x-t)^n dt ~.$

Cette dernière intégrale vaut

$\displaystyle \lr[]{\frac{-1}{n+1}(x-t)^{n+1}}_a^x = \frac1{n+1}(x-a)^{n+1} ~,$

d'où la formule du reste de Lagrange (avec

).
$f^{n+1}$ étant continue donc bornée sur $\lr][{a,b}$ , on a que

tend vers zéro, c'est à dire

Remarque On peut montrer que le théorème reste vrai sous la condition moins forte que $f^{(n)}(x_0)$ existe et soit fois dérivable sur $\left]x_0,x\right[$ .
Par exemple, $f(x)=\sqrt x$ , admet un de partie régulière nulle et de reste $R_0(f,0,x)=\sqrt x=o(x^0)$ . La dérivée $f'(x)=\frac12\,x^{-1/2}$ n'est pas définie en 0, mais le reste peut néanmoins s'exprimer comme $% latex2html id marker 2955 $ f'(\xi){\text .}x$$ avec $\xi=\frac14x$ .
La formule avec reste intégral reste en effet vraie dans ces conditions, mais le est en général une intégrale impropre, définie comme $% latex2html id marker 2961 $ \int_a^x{\text ...}dt=\lim_{w\to a}\int_w^x{\text ...}dt$$ , qui converge (C'est à dire cette limite existe et elle est finie), car la primitive s'exprime en termes de $f^{(n)}$ qui est continue par hypothèse.
(Dans l'exemple précédent, on a l'intégrale impropre $\int_0^xt^{-1/2}dt$ qui converge car la primitive $2\sqrt x$ admet une limite en 0.)

Remarque Dans le cas particulier (mais fréquent) où , et en posant $c=\theta\,x$ avec $\theta\in[0,1]$ , la formule de Taylor-Lagrange s'appelle formule de MacLaurin:

$% latex2html id marker 2975 $\displaystyle \exists \theta\in\lr][{0,1}: f(x) = f... ...}+\frac{f^{(n)}(0)}{n!}\,x^n + \frac{f^{(n+1)}(\theta\,x)}{(n+1)!}\,x^{n+1} ~. $$

Une autre version de la formule de Taylor, nécessitant une hypothèse moins forte, mais donnant un résultat plus faible, est le
Théorème [Taylor-Young] Si $f^{(n)}(x_0)$ existe, alors admet de partie régulière

$% latex2html id marker 2983 $\displaystyle P=f(x_0) + f'(x_0) \,X + {\text ...} + \frac{f^{(n)}(x_0)}{n!} \,X^n ~. $$

Nous en admettons ici la démonstration, on peut p.ex. consulter [Ramis & al, Cours de Math Spé, III]

Application : D.L. de quelques fct élémentaires

En utilisant la formule de Taylor, on obtient les DL(0) des fonctions élémentaires $% latex2html id marker 3068 $ \exp,\cos,\sin,(1+x)^\a$$ donnés ci-dessous, où représente une fonction inconnue de la forme $x^n\veps(x)$ , avec $\displaystyle\lim_{x\to0}\veps(x)=0$ .

$% latex2html id marker 3075 $\displaystyle e^x = \exp x$$	$% latex2html id marker 3076 $\displaystyle = 1+x+\frac12\,x^2 + {\text ...} +\frac1{n!}\,x^n + o(x^n)$$
$\displaystyle \sin x$	$% latex2html id marker 3078 $\displaystyle = x - \frac16\,x^3 +- {\text ...} +\frac{(-1)^n}{(2\,n+1)!}\,x^{2\,n+1} + o(x^{2\,n+1})$$
$\displaystyle \cos x$	$% latex2html id marker 3080 $\displaystyle = 1 - \frac12\,x^2 +-{\text ...} +\frac{(-1)^n}{(2\,n)!}\,x^{2\,n} + o(x^{2\,n})$$
$\displaystyle \ln(1+x)$	$% latex2html id marker 3082 $\displaystyle = x-\frac12\,x^2 +- {\text ...} +\frac{(-1)^{n+1}}n\,x^n + o(x^n)$$
$\displaystyle \frac1{1-x}$	$% latex2html id marker 3084 $\displaystyle = 1 + x + x^2 + {\text ...} + x^n + o(x^n)$$
$\displaystyle (1+x)^\a$	$% latex2html id marker 3086 $\displaystyle = 1 + \a x + {\text ...} + \frac\a1{\text .}\frac{\a-1}2{\text .}\frac{\a-2}3\cdots\frac{\a-n+1}n\,x^n + o(x^n)$$

Les fonctions $ch\, x=\frac{e^x+e^{-x}}2$ et $sh\, x=\frac{e^x-e^{-x}}2$ ont comme DL les termes en puissances paires resp. impaires de

, ce sont donc ceux de $\cos x,\sin x$ , mais avec des signes + partout. (En effet, $% latex2html id marker 3096 $ \cos x=\real e^{i{\text .}x}=ch(i{\text .}x)$$ et $% latex2html id marker 3098 $ \sin x=\imag e^{i{\text .}x}=\frac1ish(i{\text .}x)$$ .)