ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 10 — Analyse asymptotique et développements limités · Relations de comparaison

Exercice 11

Démonstration

Sommes de suites équivalentes. Soit (un)n⩾1(u_{n})_{n \geqslant 1} et (vn)n⩾1(v_{n})_{n \geqslant 1} deux suites strictement positives telles que un∼vnu_{n} \sim v_{n}. On pose Un=∑k=1nukU_{n} = \displaystyle\sum_{k=1}^{n} u_{k} et Vn=∑k=1nvkV_{n} = \displaystyle\sum_{k=1}^{n} v_{k}, et l'on suppose que lim⁡n→+∞Vn=+∞\lim\limits_{n \to +\infty} V_{n} = +\infty.

1. Soit ε>0\varepsilon > 0, et NN tel que ∣uk−vk∣⩽εvk|u_{k} - v_{k}| \leqslant \varepsilon v_{k} pour k>Nk > N. Montrer que ∣Un−Vn∣⩽∣UN−VN∣+εVn|U_{n} - V_{n}| \leqslant |U_{N} - V_{N}| + \varepsilon V_{n} pour n>Nn > N.

2. En déduire que Un∼VnU_{n} \sim V_{n}.

3. Application : en admettant que ∑k=1n1k∼ln⁡n\displaystyle\sum_{k=1}^{n} \frac{1}{k} \sim \ln n (exercice 18 du chapitre 9), donner un équivalent de ∑k=1nsin⁡1k\displaystyle\sum_{k=1}^{n} \sin\frac{1}{k} et de ∑k=1nln⁡(1+1k)\displaystyle\sum_{k=1}^{n} \ln\Big(1 + \frac{1}{k}\Big). Vérifier le second résultat par un calcul direct.

4. Le résultat subsiste-t-il si (Vn)(V_{n}) converge ?

Corrigé

1. Pour n>Nn > N, on sépare les indices k⩽Nk \leqslant N et k>Nk > N : ∣Un−Vn∣⩽∣UN−VN∣+∑k=N+1n∣uk−vk∣⩽∣UN−VN∣+ε∑k=N+1nvk⩽∣UN−VN∣+εVn,|U_{n} - V_{n}| \leqslant |U_{N} - V_{N}| + \sum_{k=N+1}^{n} |u_{k} - v_{k}| \leqslant |U_{N} - V_{N}| + \varepsilon\sum_{k=N+1}^{n} v_{k} \leqslant |U_{N} - V_{N}| + \varepsilon V_{n}, puisque les vkv_{k} sont positifs. ∣Un−Vn∣⩽∣UN−VN∣+εVn\boxed{|U_{n} - V_{n}| \leqslant |U_{N} - V_{N}| + \varepsilon V_{n}}

2. On divise par Vn>0V_{n} > 0 : ∣UnVn−1∣⩽∣UN−VN∣Vn+ε\big|\frac{U_{n}}{V_{n}} - 1\big| \leqslant \frac{|U_{N} - V_{N}|}{V_{n}} + \varepsilon. Comme VnV_{n} tend vers +∞+\infty, le premier terme est inférieur à ε\varepsilon pour nn assez grand, et ∣UnVn−1∣⩽2ε\big|\frac{U_{n}}{V_{n}} - 1\big| \leqslant 2\varepsilon. Un∼Vn\boxed{U_{n} \sim V_{n}}

3. Comme sin⁡1k∼1k\sin\frac{1}{k} \sim \frac{1}{k} et ln⁡(1+1k)∼1k\ln\Big(1 + \frac{1}{k}\Big) \sim \frac{1}{k}, avec des termes positifs, et que la somme harmonique tend vers +∞+\infty, ∑k=1nsin⁡1k∼ln⁡n,∑k=1nln⁡(1+1k)∼ln⁡n\boxed{\sum_{k=1}^{n} \sin\frac{1}{k} \sim \ln n, \qquad \sum_{k=1}^{n} \ln\Big(1 + \frac{1}{k}\Big) \sim \ln n} Pour la seconde, la somme est télescopique : ∑k=1n(ln⁡(k+1)−ln⁡k)=ln⁡(n+1)∼ln⁡n\sum_{k=1}^{n} \big(\ln(k + 1) - \ln k\big) = \ln(n + 1) \sim \ln n.

4. Non. Si u1=1u_{1} = 1, v1=2v_{1} = 2 et uk=vk=12ku_{k} = v_{k} = \frac{1}{2^{k}} pour k⩾2k \geqslant 2, alors un∼vnu_{n} \sim v_{n}, mais UnU_{n} et VnV_{n} tendent vers 32\frac{3}{2} et 52\frac{5}{2}, et ne sont pas équivalentes. Le reˊsultat tombe en deˊfaut.\boxed{\text{Le résultat tombe en défaut.}} Lorsque la somme converge, les premiers termes comptent autant que les derniers, et l'équivalence, qui ne contrôle que les derniers, ne suffit plus.

Dans l'édifice

Thèmes

relations de comparaison, équivalents, calcul de limites, sommes

Notions

négligeable, limite d'une fonction

Ouvrir dans l'atlas interactif →