WikiPrépaLivrets

Comportement asymptotique de puissances de cosinus

Soit α>0\alpha > 0. On considère la suite de terme général an=(cos⁡1nα)na_n = \left( \cos \frac{1}{n^\alpha} \right)^n.

  1. Déterminer la limite ll de la suite (an)(a_n) suivant les valeurs de α\alpha.
  2. Étudier la nature de la série ∑(an−l)\sum (a_n - l) selon les valeurs de α\alpha.

1.

Passer par la forme exponentielle : an=exp⁡(nln⁡(cos⁡(n−α)))a_n = \exp(n \ln(\cos(n^{-\alpha}))).

2.

Utiliser les développements limités usuels de cos⁡(x)\cos(x) et ln⁡(1+u)\ln(1+u) au voisinage de 0.

3.

Comparer le reste avec une série de Riemann.

Idées clés

•

Passage à l'exponentielle pour les puissances variables.

•

Développement limité des fonctions composées.

•

Critère de Riemann pour la convergence des séries.

Résolution.

  1. Écrivons ana_n sous forme exponentielle :
    ln⁡(an)=nln⁡(cos⁡1nα)\ln(a_n) = n \ln\left( \cos \frac{1}{n^\alpha} \right)
    Utilisons les développements limités en 1/n1/n :
    cos⁡1nα=1−12n2α+124n4α+o(1n4α)\cos \frac{1}{n^\alpha} = 1 - \frac{1}{2n^{2\alpha}} + \frac{1}{24n^{4\alpha}} + o\left(\frac{1}{n^{4\alpha}}\right)
    ln⁡(an)=n[−12n2α+O(1n4α)]=−12n2α−1+O(1n4α−1)\ln(a_n) = n \left[ -\frac{1}{2n^{2\alpha}} + O\left(\frac{1}{n^{4\alpha}}\right) \right] = -\frac{1}{2n^{2\alpha-1}} + O\left(\frac{1}{n^{4\alpha-1}}\right)
    Discussion sur la limite : - Si 2α−1>02\alpha - 1 > 0 (α>1/2\alpha > 1/2), alors ln⁡an→0\ln a_n \to 0, donc l=1\boxed{l = 1}. - Si 2α−1=02\alpha - 1 = 0 (α=1/2\alpha = 1/2), alors ln⁡an→−1/2\ln a_n \to -1/2, donc l=e−1/2=1e\boxed{l = e^{-1/2} = \frac{1}{\sqrt{e}}}. - Si 2α−1<02\alpha - 1 < 0 (α<1/2\alpha < 1/2), alors ln⁡an→−∞\ln a_n \to -\infty, donc l=0\boxed{l = 0}.

  2. Nature de la série selon les cas : Cas 1 : α>1/2\alpha > 1/2 (l=1l=1).
    an=exp⁡(−12n2α−1+o(1n2α−1))=1−12n2α−1+o(1n2α−1)a_n = \exp\left( -\frac{1}{2n^{2\alpha-1}} + o\left(\frac{1}{n^{2\alpha-1}}\right) \right) = 1 - \frac{1}{2n^{2\alpha-1}} + o\left(\frac{1}{n^{2\alpha-1}}\right)
    On a an−1∼−12n2α−1a_n - 1 \sim -\frac{1}{2n^{2\alpha-1}}. La série converge ssi 2α−1>12\alpha - 1 > 1, soit α>1\boxed{\alpha > 1}. Cas 2 : α=1/2\alpha = 1/2 (l=1/el=1/\sqrt{e).} En poussant le DL de ln⁡an\ln a_n :
    ln⁡an=−12+124n+o(1n)\ln a_n = -\frac{1}{2} + \frac{1}{24n} + o\left(\frac{1}{n}\right)
    an=e−1/2e124n+o(1/n)=1e(1+124n+o(1n))a_n = e^{-1/2} e^{\frac{1}{24n} + o(1/n)} = \frac{1}{\sqrt{e}} \left( 1 + \frac{1}{24n} + o\left(\frac{1}{n}\right) \right)
    On a an−l∼124ena_n - l \sim \frac{1}{24\sqrt{e}n}, donc la série \boxed{\text{diverge}}. Cas 3 : α<1/2\alpha < 1/2 (l=0l=0). Ici ln⁡an∼−12n2α−1\ln a_n \sim - \frac{1}{2n^{2\alpha-1}}. Comme 2α−1<02\alpha - 1 < 0, posons β=1−2α>0\beta = 1-2\alpha > 0. ln⁡an∼−nβ2\ln a_n \sim - \frac{n^\beta}{2}. Alors n2an=exp⁡(2ln⁡n−nβ2)→0n^2 a_n = \exp( 2 \ln n - \frac{n^\beta}{2} ) \to 0. Par comparaison avec une série de Riemann, la série \boxed{\text{converge}}.

L'équivalent e^u - 1 ~ u n'est valable que si u tend vers 0.

Toujours repasser par la forme exponentielle pour les suites de type u_n^{v_n}.