ATLAS Ouvrir dans l'atlas →

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

Exercice 2

Calcul

Soit (un)(u_{n}) et (vn)(v_{n}) deux suites réelles. Écrire les relations suivantes sous une forme plus simple, toutes étant prises quand nn tend vers +∞+\infty.

(a) un∼12n+112n2u_{n} \sim \dfrac{1}{2n} + \dfrac{1}{12n^{2}}

(b) un∼n2+2n+33n3−nu_{n} \sim \dfrac{n^{2} + 2n + 3}{3n^{3} - n}

(c) un∼n+n2ln⁡n−n3u_{n} \sim \dfrac{n + n^{2}}{\ln n - n^{3}}

(d) un=1+o(1n)+o(1n3)u_{n} = 1 + o\Big(\dfrac{1}{n}\Big) + o\Big(\dfrac{1}{n^{3}}\Big)

(e) un=o(1n2)+o(1n)−o(1ln⁡n)u_{n} = o\Big(\dfrac{1}{n^{2}}\Big) + o\Big(\dfrac{1}{n}\Big) - o\Big(\dfrac{1}{\ln n}\Big)

(f) un=o(n)−o(n)u_{n} = o(n) - o(n)

(g) un=o(n)−O(n)u_{n} = o(n) - O(n)

(h) un=(1+o(1))vnu_{n} = \big(1 + o(1)\big)v_{n}

Corrigé

On remplace chaque expression par son terme prépondérant, en utilisant les règles de calcul (proposition 3) et la transitivité de ∼\sim.

(a) Comme 112n2=o(12n)\frac{1}{12n^{2}} = o\Big(\frac{1}{2n}\Big), on a 12n+112n2∼12n\frac{1}{2n} + \frac{1}{12n^{2}} \sim \frac{1}{2n}, donc un∼12n\boxed{u_{n} \sim \frac{1}{2n}}.

(b) Le quotient est équivalent à n23n3=13n\frac{n^{2}}{3n^{3}} = \frac{1}{3n} : un∼13n\boxed{u_{n} \sim \frac{1}{3n}}.

(c) Le quotient est équivalent à n2−n3\frac{n^{2}}{-n^{3}} : un∼−1n\boxed{u_{n} \sim -\frac{1}{n}}.

(d) Un o(1n3)o\Big(\frac{1}{n^{3}}\Big) est un o(1n)o\Big(\frac{1}{n}\Big) : un=1+o(1n)\boxed{u_{n} = 1 + o\Big(\frac{1}{n}\Big)}. On ne gagne rien à conserver le second terme, qui est absorbé par le premier.

(e) Les trois termes sont des o(1ln⁡n)o\Big(\frac{1}{\ln n}\Big), puisque 1n2\frac{1}{n^{2}} et 1n\frac{1}{n} sont négligeables devant 1ln⁡n\frac{1}{\ln n}. On conclut que un=o(1ln⁡n)\boxed{u_{n} = o\Big(\frac{1}{\ln n}\Big)}. Le signe moins ne change rien, un oo n'ayant pas de signe.

(f) La différence de deux o(n)o(n) est un o(n)o(n), et non 00 : un=o(n)\boxed{u_{n} = o(n)}.

(g) Un o(n)o(n) est un O(n)O(n) : un=O(n)\boxed{u_{n} = O(n)}.

(h) C'est la définition de l'équivalence : un∼vn\boxed{u_{n} \sim v_{n}}.

Piège. L'erreur la plus répandue est d'écrire o(n)−o(n)=0o(n) - o(n) = 0 : chaque oo désigne une suite inconnue, et les deux suites n'ont aucune raison d'être égales.

Dans l'édifice

Thèmes

relations de comparaison, équivalents, négligeabilité

Notions

négligeable

Ouvrir dans l'atlas interactif →