A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

180 personne(s) sur le site en ce moment

E. Cartan

Les maths pour l'agreg

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

Opérations sur les équivalents et les développements limités

suivant: Développements asymptotiques monter: Développements limités - comparaison précédent: Définitions de base Index

Opérations sur les équivalents et les développements limités

Proposition On suppose , , et au voisinage de ; est un réel.

$\bullet\$ $f \simeq g$ et $h\simeq k$ $\Rightarrow$ $fh\simeq gk$

$\bullet\$ $f \simeq g$ $\Rightarrow$ $f^x \simeq g^x$

Par contre on n'a PAS la possibilité d'additionner des équivalents, même positifs.

Exemples: (fonction admettant un développement limité à l'ordre sans être fois dérivable:

Considérons la fonction :

$\displaystyle t \mapsto t^3.sin(1/t)$

prolongée par continuité en 0 (

On considère son développement limité en 0.

Il est clair que car est bornée.

Pourtant, en faisant le calcul, on constatera que n'est pas deux fois dérivable en 0.

Proposition [Unicité du développement limité ] Si admet un développement limité en à l'ordre , ce développement limité est unique.

Démonstration: Ecrire la différence entre deux polynômes de degré comme un ; puis considérer le premier coefficient sur lequel ils diffèrent. $\sqcap$ $\sqcup$

NB: On peut définir les développements limités sur des intervalles de $\mathbb{R}$ ; dans ce cas on note que le développement limité en ou en pour un développement limité sur est unique.

Proposition [Troncature des développements limités ] Si alors a fortiori pour .

Proposition Si avec alors définie par est prolongeable par continuité en et $g(t)=P(t)+o((t-a)^{n-k})$ .

Proposition [Intégration d'un développement limité] Supposons dérivable au voisinage de , et

$\displaystyle f'(t)=a_0+a_1(t-a)+a_2(t-a)^2+...+a_n(t-a)^n+o((t-a)^n)$

Alors

$\displaystyle f(t)=$

$\displaystyle f(a)+a_0(t-a)+\frac{a_1}{2}(t-a)^2+\frac{a_2}{3}(t-a)^3+...+\frac{a_n}{n+1}(t-a)^{n+1}+o((t-a)^{n+1})$

Démonstration: On suppose donc

$\displaystyle f(t)=P(t)+\epsilon (t)(t-a)^n$

On se ramène par translation à

et on écrit

$\displaystyle f(t)=f(0)+\int_0^t P(u)du + \int_0^t \epsilon (u)du$

$\displaystyle \left\vert f(t)-f(0)-\int_0^t P(u)du\right\vert=\left\vert\int_0^t \epsilon (u)du\right\vert$

$\displaystyle \leq sup_{u\in[0,t]} \vert\epsilon (u)\vert\int_0^t \vert u^n\vert.du$

D'où le résultat. $\sqcap$ $\sqcup$

On a un résultat similaire avec des développements limités au sens fort.

Proposition [Intégration d'un développement limité au sens fort] Supposons dérivable au voisinage de , et

$\displaystyle f'(t)=a_0+a_1(t-a)+a_2(t-a)^2+...+a_n(t-a)^n+O((t-a)^{n+1})$

Alors

$\displaystyle f(t)=$

$\displaystyle f(t_0)+a_0(t-a)+\frac{a_1}{2}(t-a)^2+\frac{a_2}{3}(t-a)^3+...+\frac{a_n}{n+1}(t-a)^{n+1}+O((t-a)^{n+2})$

Démonstration: Tout à fait similaire à la preuve précédente. $\sqcap$ $\sqcup$

On NE PEUT PAS, dans le cas général, dériver terme à terme un développement limité ! Toutefois, c'est possible pour une fonction de classe $C^\infty$ par exemple.

Par simplicité, on va maintenant supposer que . On en déduit bien évidemment le cas général.

Définition On définit la relation suivante sur l'ensemble des fonctions continues en 0:

$\displaystyle f\equiv^n g$ si $\displaystyle f-g=o(x^n)$

On dit que

est tangente à

à l'ordre

Proposition $\bullet\$ Tout d'abord une évidence:

$\displaystyle f\equiv^n g$

si et seulement si

$\displaystyle \lim_{t\to 0} t^{-n}(f(t)-g(t))=0$

$\bullet\$ $f \equiv^n g$ et $h \equiv^n k$ impliquent $f+h \equiv^n g+k$

$\bullet\$ $f \equiv^n g$ et $h \equiv^n k$ impliquent $f.h \equiv^n g.k$

$\bullet\$ $f \equiv^n g$ et $f(0)\neq 0$ implique $1/f \equiv^n 1/g$

$\bullet\$ $f \equiv^n g$ et polynôme implique $P\circ f \equiv^n P\circ g$

$\bullet\$ $f \equiv^n g$ et impliquent $f\circ h \equiv^{np} g\circ h$

Démonstration: Seuls les trois derniers points méritent notre attention, les autres étant clairs.

$\bullet\$ Supposons donc $f \equiv^n g$ et $f(0)\neq 0$ .

$\displaystyle x^{-n}(1/f(x)-1/g(x))=\frac{g(x)-f(x)}{x^nf(x)g(x)}$

Or et ont une limite non nulle en 0. Donc $\frac{g(x)-f(x)}{x^nf(x)g(x)}$ tend vers 0 en 0; d'où le résultat.

$\bullet\$ Il est suffisant de le montrer avec un monôme; et ce résultat découle de

$\displaystyle f^p(x)-g^p(x) = (f(x)-g(x))\sum_{k=0}^{p-1} f(x)^kg(x)^{p-1-k}$

(le terme en $\sum$ étant borné)

$\bullet\$ On procède comme suit:

- Ecrivons $f(x)-g(x)=\epsilon (x)x^n$ , avec $\epsilon (x)\to 0$ quand $x\to 0$

- Ecrivons , avec bornée au voisinage de 0

- Alors $f\circ h(x) - g\circ h(x)=\epsilon (M(x)x^p)M(x)^nx^{np}$

Le résultat est alors acquis; on note l'efficacité de la méthode consistant à écrire explicitement les avec des $\epsilon (.)$ et des . $\sqcap$ $\sqcup$

Ces résultats vont permettre de combiner des développements limités de la manière expliquée ci-dessous.

Proposition [Somme, produit, quotient, composé] Soient et admettant des développements limités en 0 à l'ordre .

Alors et admettent des développements limités en 0 à l'ordre , et aussi si $g(0)\neq 0$ .

$\bullet\$ Le développement limité de est la somme des développements limités de et .

$\bullet\$ Le développement limité de est le produit des développements limités de et (on peut tronquer les termes d'ordre ).

$\bullet\$ Le développement limité du composé $g\circ f$ , si , si $f \equiv^n P$ et si $g \equiv^n Q$ , est $Q\circ P$ , valable à l'ordre (on peut tronquer les termes d'ordre supérieur à ).

$\bullet\$ Le développement limité de est égal au développement limité du quotient des développements limités de et .

Démonstration: $\bullet\$ Le cas de l'addition, du produit découlent immédiatement des résultats précédents.

$\bullet\$ En reprenant les notations de l'énoncé, on écrit

$\displaystyle g\circ f(x)=Q(f(x)) + \epsilon (f(x))f(x)^n$

On sait ensuite que

est équivalent à

à l'ordre

(résultat de la proposition précédente). Et on sait que

est équivalent à

à l'ordre

, toujours par la proposition précédente. D'où le résultat.

$\bullet\$ Pour le quotient, il suffit, en vertu du résultat sur le produit, d'étudier le développement limité de l'inverse d'une fonction donnée.

Or si est le développement limité de à l'ordre , alors $1/g \equiv^n 1/P$ (résultat prouvé un peu plus haut).

Il suffit donc de calculer le développement limité de l'inverse. D'où le résultat (on verra un peu plus loin comment déterminer le développement limité en question). $\sqcap$ $\sqcup$

Proposition Les résultats précédents restent vrais si l'on travaille avec des développements limités au sens fort.

Démonstration: Les preuves sont les mêmes à peu de choses près. $\sqcap$ $\sqcup$

Dans la pratique du calcul des développements limités , bien penser à ne PAS calculer les termes de degré trop élevés, qui devront de toute façon être oubliés.

Proposition Le développement limité du quotient de par est donné par la division suivant les puissances croissantes (voir théorème ).