ATLAS Ouvrir dans l'atlas →

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

Exercice 46

Démonstration

Soit u0=0u_{0} = 0 et un+1=un+n2u_{n+1} = \sqrt{u_{n} + n^{2}}.

1. Montrer par récurrence que n−1⩽un⩽nn - 1 \leqslant u_{n} \leqslant n pour n⩾1n \geqslant 1.

2. En déduire que un+1=n+12+o(1)u_{n+1} = n + \frac{1}{2} + o(1), puis que un=n−12+o(1)u_{n} = n - \frac{1}{2} + o(1).

3. Montrer que un=n−12−38n+o(1n)u_{n} = n - \dfrac{1}{2} - \dfrac{3}{8n} + o\Big(\dfrac{1}{n}\Big).

Corrigé

1. On a u1=0+0=0u_{1} = \sqrt{0 + 0} = 0, et 0⩽u1⩽10 \leqslant u_{1} \leqslant 1. Si n−1⩽un⩽nn - 1 \leqslant u_{n} \leqslant n, alors n2⩽n2+n−1⩽un+n2⩽n2+n⩽(n+1)2,n^{2} \leqslant n^{2} + n - 1 \leqslant u_{n} + n^{2} \leqslant n^{2} + n \leqslant (n + 1)^{2}, donc n⩽un+1⩽n+1n \leqslant u_{n+1} \leqslant n + 1. Par récurrence, n−1⩽un⩽n\boxed{n - 1 \leqslant u_{n} \leqslant n} pour tout n⩾1n \geqslant 1.

2. On écrit un+1=n1+vnu_{n+1} = n\sqrt{1 + v_{n}} avec vn=unn2=O(1n)v_{n} = \frac{u_{n}}{n^{2}} = O\Big(\frac{1}{n}\Big), et 1+v=1+v2+O(v2)\sqrt{1 + v} = 1 + \frac{v}{2} + O(v^{2}) : un+1=n+un2n+O(1n)=n+12+O(1n),u_{n+1} = n + \frac{u_{n}}{2n} + O\Big(\frac{1}{n}\Big) = n + \frac{1}{2} + O\Big(\frac{1}{n}\Big), puisque un2n=12+O(1n)\frac{u_{n}}{2n} = \frac{1}{2} + O\Big(\frac{1}{n}\Big) par la question 1. En remplaçant nn par n−1n - 1, un=n−12+O(1n)\boxed{u_{n} = n - \frac{1}{2} + O\Big(\frac{1}{n}\Big)}.

3. On pousse d'un ordre : vn=1n−12n2+O(1n3)v_{n} = \frac{1}{n} - \frac{1}{2n^{2}} + O\Big(\frac{1}{n^{3}}\Big) et 1+v=1+v2−v28+O(v3)\sqrt{1 + v} = 1 + \frac{v}{2} - \frac{v^{2}}{8} + O(v^{3}), d'où un+1=n+12−14n−18n+O(1n2)=n+12−38n+O(1n2).u_{n+1} = n + \frac{1}{2} - \frac{1}{4n} - \frac{1}{8n} + O\Big(\frac{1}{n^{2}}\Big) = n + \frac{1}{2} - \frac{3}{8n} + O\Big(\frac{1}{n^{2}}\Big). En remplaçant nn par n−1n - 1, et puisque 1n−1=1n+O(1n2)\frac{1}{n - 1} = \frac{1}{n} + O\Big(\frac{1}{n^{2}}\Big), un=n−12−38n+o(1n)\boxed{u_{n} = n - \frac{1}{2} - \frac{3}{8n} + o\Big(\frac{1}{n}\Big)} Pour n=200n = 200, la suite vaut 199,498 115 5199{,}498\,115\,5 et le développement 199,498 125199{,}498\,125 : l'écart est de l'ordre de 1n2\frac{1}{n^{2}}.

Dans l'édifice

Thèmes

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

Notions

suite, négligeable

Ouvrir dans l'atlas interactif →