Exercice 12-06
Trouver le développement limité d'ordre nn autour de x0=0x_0=0 des fonctions composées ci-dessous:
  1. f(x)=11+2x3f(x)=\frac{1}{1+2x^3}, n=6n=6
  2. f(x)=log(cos(x))f(x)=\log(\cos(x)), n=4n=4
  3. f(x)=exp(sin(x))f(x)=\exp(\sin(x)), n=4n=4
  4. f(x)=1+sin(x)f(x)=\sqrt{1+\sin(x)}, n=3n=3
On a vu ici comment obtenir le développement limité d'ordre nn autour de x0=0x_0=0 d'une fonction composée ghg\circ h, lorsqu'on possède des développements limités pour hh (autour de x0=0x_0=0) et de gg (autour de u0=h(0)u_0=h(0)): h(x)=b0+b1x+b2x2++bnxn+xnεh(x)g(u)=a0+a1(uu0)+a2(uu0)2++an(uu0)n+(uu0)nεg(u)\begin{aligned} h(x)&=b_0+b_1x+b_2x^2+\cdots+b_nx^n+x^n\varepsilon_h(x)\,\\ g(u)&=a_0+a_1(u-u_0)+a_2(u-u_0)^2+\cdots+a_n(u-u_0)^n+(u-u_0)^n\varepsilon_g(u) \end{aligned} On a expliqué comment obtenir la partie principale du développement de ghg\circ h.

L'avantage ici est que hh est une fonction qui est déjà sous forme polynomiale. On a vu un exemple très semblable au cours.

Lorsque xx est petit, cos(x)\cos(x) est proche de 11. Donc on aura avantage à voir la fonction comme suit: log(cos(x))=log(1+(cos(x)1)=:u) \log(\cos(x))=\log\big(1+\underbrace{(\cos(x)-1)}_{=:u}\bigr)

  1. Comme 11+2x3\frac{1}{1+2x^3} est la composée de g(u)=11ug(u)=\frac{1}{1-u} (dont on connaît le développement limité) avec h(x)=2x3h(x)=-2x^3. Lorsque xx est au voisinage de x0=0x_0=0, les valeurs de h(x)h(x) sont petites et donc on peut directement injecter h(x)h(x) dans le développement limité de gg. Puisqu'on veut un DL(6)DL(6), et que hh est de degré 33, il suffit de garder pour gg un DL(2)DL(2): 11+2x3=11uu=2x3=1+u+u2+u2ε(u)u=2x3=12x3+4x6+(2x3)2ε(2x3)=12x3+4x6+x64ε(2x3)ε~(x)\begin{aligned} \frac{1}{1+2x^3} &=\frac{1}{1-u}\Big|_{u=-2x^3}\\ &=1+u+u^2+u^2\varepsilon(u)\Big|_{u=-2x^3}\\ &=1-2x^3+4x^6+(-2x^3)^2\varepsilon(-2x^3)\\ &=1-2x^3+4x^6+x^6\underbrace{4\varepsilon(-2x^3)}_{\tilde\varepsilon(x)}\\ \end{aligned}ε~(x)0\tilde\varepsilon(x)\to 0 lorsque x0x\to 0.

    En bleu, la partie principale:
  2. Lorsque xx est proche de 00, cos(x)\cos(x) est proche de 11, donc cos(x)1\cos(x)-1 est proche de 00. Il est donc plus judicieux d'écrire f(x)=log(cos(x))=log(1+(cos(x)1)=:u), f(x)= \log(\cos(x)) =\log\big(1+\underbrace{(\cos(x)-1)}_{=:u}\bigr)\,, et penser à uu comme étant une quantité petite. En fait, la petitesse de uu est en x2x^2, puisque le DL(4)DL(4) autour de 00 est donné par u=h(x)=cos(x)1=x22!+x44!+x4εc(x).u=h(x)=\cos(x)-1 =-\frac{x^2}{2!}+\frac{x^4}{4!} + x^4\varepsilon_c(x)\,. On sait que f(u)=log(1+u)f(u)=\log(1+u) a son DL(4)DL(4) autour de u=0u=0 donné par log(1+u)=uu22+u33u44+u4εl(u). \log(1+u) = u-\frac{u^2}{2}+\frac{u^3}{3}-\frac{u^4}{4}+ u^4\varepsilon_l(u)\,. On pourrait injecter la partie principale du développement limité de cos(x)1\cos(x)-1 (dont le terme de plus petit degré est x2x^2) dans celle de log(1+u)\log(1+u), mais remarquons d'abord que
    • le terme u33\frac{u^3}{3} va donner des termes en x6x^6, et
    • le terme u44\frac{u^4}{4} va donner des termes en x8x^8.
    Donc les termes +u33u44+\frac{u^3}{3}-\frac{u^4}{4} ne vont donner aucune contribution à la partie principale du développement que nous voulons pour f(x)f(x).

    Il suffit donc d'utiliser simplement un DL(2)DL(2): log(1+u)=uu22+u2εl(u). \log(1+u) = u-\frac{u^2}{2}+ u^2\varepsilon_l(u)\,. Maintenant, en injectant une partie principale dans l'autre, uu22u=x22!+x44!=(x22!+x44!)12(x22!+x44!)2=12x2112x4+x624!x824!degreˊ>4\begin{aligned} \left.u-\frac{u^2}{2}\right|_{u=-\frac{x^2}{2!}+\frac{x^4}{4!}} &=\left(-\frac{x^2}{2!}+\frac{x^4}{4!}\right)- \frac{1}{2}\left( -\frac{x^2}{2!}+\frac{x^4}{4!}\right)^2\\ &=-\frac{1}{2}x^2-\frac{1}{12}x^4+\underbrace{\frac{x^6}{2\cdot 4!}-\frac{x^8}{2\cdot 4!}}_{\text{degré}\gt 4} \end{aligned} On obtient donc f(x)=log(cos(x))=12x2112x4+x4ε(x)\begin{aligned} f(x)=\log(\cos(x)) =-\frac{1}{2}x^2-\frac{1}{12}x^4+x^4\varepsilon(x) \end{aligned} En bleu, la partie principale:
  3. Le DL(4)DL(4) autour de x0=0x_0=0: h(x)=sin(x)=xx33!+x4εs(x). h(x)=\sin(x) ={\color{green}x-\frac{x^3}{3!}+x^4\varepsilon_s(x)}\,. Puis, le DL(4)DL(4) autour de u0=h(0)=0u_0=h(0)=0: eu=1+u+u22!+u33!+u44!+u4εe(u)\begin{aligned} e^u &=1+u+\dfrac{u^2}{2!}+\dfrac{u^3}{3!}+\dfrac{u^4}{4!}+u^4\varepsilon_e(u) \\ \end{aligned} Ainsi, en insérant la partie principale du sinus dans celle de l'exponentielle, 1+u+u22!+u33!+u44!u=xx33!=1+(xx36)+12(xx33!)2xxxxx+16(xx33!)3+124(xx33!)4=1+(xx36)+12(x2x43)+16x3+124x4+()degreˊ>4\begin{aligned} 1+u+\dfrac{u^2}{2!}+&\dfrac{u^3}{3!}+\dfrac{u^4}{4!}\Big|_{u={\color{green}x-\frac{x^3}{3!}}}\\ =&1 +\left({\color{green}x-\frac{x^3}{6}}\right) +\frac{1}{2}\left({\color{green}x-\frac{x^3}{3!}}\right)^2\\ &\phantom{xxxxx}+\frac{1}{6}\left({\color{green}x-\frac{x^3}{3!}}\right)^3 +\frac{1}{24}\left({\color{green}x-\frac{x^3}{3!}}\right)^4\\ =& 1+\left(x-\frac{x^3}{6}\right) + \frac{1}{2}\left(x^2-\frac{x^4}{3}\right) + \frac{1}{6}x^3+ \frac{1}{24}x^4 + \underbrace{\left(\dots\right)}_{\text{degré}>4} \end{aligned} On conclut donc que exp(sin(x))=1+x+x22x48+x4ε(x).\exp(\sin(x)) = 1+x+\frac{x^2}{2}-\frac{x^4}{8}+ x^4\varepsilon(x)\,. En bleu, la partie principale:
  4. On a 1+sin(x)=g(h(x))\sqrt{1+\sin(x)}=g(h(x)), où h(x)=sin(x)h(x)=\sin(x), g(u)=1+ug(u)=\sqrt{1+u}. Lorsque xx est proche de zéro, u=h(x)=sin(x)u=h(x)=\sin(x) est proche de zéro aussi.

    Les développements limités d'ordre 33 sont, autour de x0=0x_0=0: sin(x)=xx36+x3εs(x), \sin(x)=x-\frac{x^3}{6}+ x^3\varepsilon_s(x)\,, autour de u=0u=0, 1+u=1+u2u28+u316+u3εr(u). \sqrt{1+u}=1+\frac{u}{2} -\frac{u^2}{8} + \frac{u^3}{16} + u^3\varepsilon_r(u)\,. En injectant une partie principale dans l'autre, 1+u2u28+u316u=xx36=1+12(xx36)18(xx36)2  +116(xx36)3=1+x2x28x348+()degreˊ>4.\begin{aligned} 1+\frac{u}{2} &-\frac{u^2}{8} + \frac{u^3}{16}\Big|_{u=x-\frac{x^3}{6}}\\ &= 1+\frac{1}{2}\left(x-\frac{x^3}{6}\right) -\frac{1}{8}\left(x-\frac{x^3}{6}\right)^2 \\ &\quad\; + \frac{1}{16}\left(x-\frac{x^3}{6}\right)^3\\ &= 1 + \frac{x}{2} - \frac{x^2}{8} -\frac{x^3}{48}+ \underbrace{\left(\dots\right)}_{\text{degré}>4} \,. \end{aligned} En bleu, la partie principale: