ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 10 — Analyse asymptotique et développements limités · Suites et développements asymptotiques

Exercice 45

Démonstration

Soit u0∈]0 ,13[u_{0} \in \big]0\,,\frac{1}{3}\big[ et un+1=un−3un2u_{n+1} = u_{n} - 3u_{n}^{2}.

1. Montrer que (un)(u_{n}) est à valeurs strictement positives et converge vers 00.

2. On pose wn=1unw_{n} = \dfrac{1}{u_{n}}. Montrer que wn+1−wn=3+9un+O(un2)w_{n+1} - w_{n} = 3 + 9u_{n} + O(u_{n}^{2}), et en déduire que un∼13nu_{n} \sim \dfrac{1}{3n}.

3. Montrer que wn+1−wn−3∼3nw_{n+1} - w_{n} - 3 \sim \dfrac{3}{n}, puis, à l'aide de l'exercice 11, que wn−3n∼3ln⁡nw_{n} - 3n \sim 3\ln n.

4. En déduire un développement asymptotique de unu_{n} à deux termes.

Corrigé

1. La fonction φ:u↦u(1−3u)\varphi : u \mapsto u(1 - 3u) envoie ]0 ,13[]0\,,\frac{1}{3}[ dans ]0 ,112]]0\,,\frac{1}{12}], son maximum étant φ(16)=112\varphi(\frac{1}{6}) = \frac{1}{12}. Par récurrence, un∈ ]0 ,13[u_{n} \in \,]0\,,\frac{1}{3}[, et un+1−un=−3un2<0u_{n+1} - u_{n} = -3u_{n}^{2} < 0 : la suite décroît et converge vers ℓ\ell tel que ℓ=ℓ−3ℓ2\ell = \ell - 3\ell^{2}, d'où ℓ=0\boxed{\ell = 0}.

2. Avec 11−3u=1+3u+9u2+O(u3)\frac{1}{1 - 3u} = 1 + 3u + 9u^{2} + O(u^{3}), wn+1=1un(1−3un)=1un+3+9un+O(un2),soitwn+1−wn=3+9un+O(un2)w_{n+1} = \frac{1}{u_{n}(1 - 3u_{n})} = \frac{1}{u_{n}} + 3 + 9u_{n} + O(u_{n}^{2}), \qquad\text{soit}\qquad \boxed{w_{n+1} - w_{n} = 3 + 9u_{n} + O(u_{n}^{2})} Cette différence tend vers 33 ; par le lemme de Cesàro, wn∼3nw_{n} \sim 3n, soit un∼13n\boxed{u_{n} \sim \frac{1}{3n}}.

3. On a wn+1−wn−3=9un+O(un2)∼9un∼3nw_{n+1} - w_{n} - 3 = 9u_{n} + O(u_{n}^{2}) \sim 9u_{n} \sim \frac{3}{n}. Cette suite est donc strictement positive à partir d'un certain rang, et la somme des 3k\frac{3}{k} tend vers +∞+\infty : l'exercice 11, appliqué à partir de ce rang, donne wn−w0−3n=∑k=0n−1(wk+1−wk−3)∼3∑k=1n−11k∼3ln⁡n,doncwn−3n∼3ln⁡nw_{n} - w_{0} - 3n = \sum_{k=0}^{n-1} (w_{k+1} - w_{k} - 3) \sim 3\sum_{k=1}^{n-1} \frac{1}{k} \sim 3\ln n, \qquad\text{donc}\qquad \boxed{w_{n} - 3n \sim 3\ln n} la constante w0w_{0} étant négligeable devant ln⁡n\ln n.

4. On a wn=3n+3ln⁡n+o(ln⁡n)w_{n} = 3n + 3\ln n + o(\ln n), donc un=13n⋅11+ln⁡nn+o(ln⁡nn),un=13n−ln⁡n3n2+o(ln⁡nn2)u_{n} = \frac{1}{3n} \cdot \frac{1}{1 + \frac{\ln n}{n} + o\Big(\frac{\ln n}{n}\Big)}, \qquad \boxed{u_{n} = \frac{1}{3n} - \frac{\ln n}{3n^{2}} + o\Big(\frac{\ln n}{n^{2}}\Big)} Piège. Numériquement, la vérification est décevante : pour n=106n = 10^{6} et u0=0,1u_{0} = 0{,}1, on trouve wn−3n≈48w_{n} - 3n \approx 48, alors que 3ln⁡n≈413\ln n \approx 41. L'écart vient d'une constante, négligeable devant ln⁡n\ln n mais encore visible : un équivalent ne dit rien de la vitesse à laquelle le rapport tend vers 11.

Dans l'édifice

Thèmes

développements asymptotiques, équivalents, négligeabilité, suites récurrentes

Notions

suite, négligeable

Ouvrir dans l'atlas interactif →