ATLAS Ouvrir dans l'atlas →

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

Exercice 40

Démonstration

1. Montrer que, pour tout n∈ℕ∗n \in \mathbb{N}^{*}, l'équation x−ln⁡x=nx - \ln x = n admet une unique solution xnx_{n} dans ]0 ,1]]0\,,1].

2. Montrer que lim⁡n→+∞xn=0\lim\limits_{n \to +\infty} x_{n} = 0, puis que xn=e−nexnx_{n} = \mathrm{e}^{-n}\mathrm{e}^{x_{n}}, et en déduire que xn∼e−nx_{n} \sim \mathrm{e}^{-n}.

3. Montrer que xn=e−n+e−2n+32e−3n+o(e−3n)x_{n} = \mathrm{e}^{-n} + \mathrm{e}^{-2n} + \frac{3}{2}\mathrm{e}^{-3n} + o(\mathrm{e}^{-3n}).

Corrigé

1. La fonction ψ:x↦x−ln⁡x\psi : x \mapsto x - \ln x a pour dérivée 1−1x<01 - \frac{1}{x} < 0 sur ]0 ,1[]0\,,1[ : elle est continue, strictement décroissante sur ]0 ,1]]0\,,1], de +∞+\infty à ψ(1)=1\psi(1) = 1. Elle réalise une bijection de ]0 ,1]]0\,,1] sur [1 ,+∞[[1\,,+\infty[, qui contient nn. xn existe et est unique\boxed{x_{n} \text{ existe et est unique}}

2. L'équation s'écrit ln⁡xn=xn−n\ln x_{n} = x_{n} - n, soit xn=e−nexnx_{n} = \mathrm{e}^{-n}\mathrm{e}^{x_{n}}. Comme xn⩽1x_{n} \leqslant 1, on a 0<xn⩽e1−n0 < x_{n} \leqslant \mathrm{e}^{1-n}, donc xn→0x_{n} \to 0, puis exn→1\mathrm{e}^{x_{n}} \to 1 et xn∼e−n\boxed{x_{n} \sim \mathrm{e}^{-n}}.

3. On réinjecte dans xn=e−nexnx_{n} = \mathrm{e}^{-n}\mathrm{e}^{x_{n}}. D'abord exn=1+xn+o(xn)=1+e−n+o(e−n)\mathrm{e}^{x_{n}} = 1 + x_{n} + o(x_{n}) = 1 + \mathrm{e}^{-n} + o(\mathrm{e}^{-n}), d'où xn=e−n+e−2n+o(e−2n)x_{n} = \mathrm{e}^{-n} + \mathrm{e}^{-2n} + o(\mathrm{e}^{-2n}). Ensuite exn=1+xn+xn22+o(xn2)=1+e−n+32e−2n+o(e−2n)\mathrm{e}^{x_{n}} = 1 + x_{n} + \frac{x_{n}^{2}}{2} + o(x_{n}^{2}) = 1 + \mathrm{e}^{-n} + \frac{3}{2}\mathrm{e}^{-2n} + o(\mathrm{e}^{-2n}), et xn=e−n+e−2n+32e−3n+o(e−3n)\boxed{x_{n} = \mathrm{e}^{-n} + \mathrm{e}^{-2n} + \frac{3}{2}\mathrm{e}^{-3n} + o(\mathrm{e}^{-3n})} Chaque réinjection gagne un ordre : c'est la méthode du point fixe, appliquée aux développements.

Dans l'édifice

Thèmes

développements asymptotiques, équivalents, négligeabilité, calcul de limites, suites implicites

Notions

suite, négligeable, limite d'une fonction

Ouvrir dans l'atlas interactif →