ATLAS Ouvrir dans l'atlas →

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

Exercice 8

Démonstration

Équivalents, exponentielle et logarithme. Soit ff et gg deux fonctions réelles définies au voisinage de a∈ℝ‾a \in \overline{\mathbb{R}}.

1. Montrer que ef∼eg\mathrm{e}^{f} \sim \mathrm{e}^{g} au voisinage de aa si et seulement si lim⁡x→a(f(x)−g(x))=0\lim\limits_{x \to a} \big(f(x) - g(x)\big) = 0.

2. La relation f∼gf \sim g entraîne-t-elle ef∼eg\mathrm{e}^{f} \sim \mathrm{e}^{g} ?

3. On suppose ff et gg strictement positives, f∼gf \sim g, et lim⁡x→ag(x)=ℓ∈[0 ,+∞]\lim\limits_{x \to a} g(x) = \ell \in [0\,,+\infty]. Montrer que, si ℓ≠1\ell \neq 1, alors ln⁡f∼ln⁡g\ln f \sim \ln g. Que se passe-t-il si ℓ=1\ell = 1 ?

Corrigé

1. Les fonctions ef\mathrm{e}^{f} et eg\mathrm{e}^{g} ne s'annulent pas, donc ef∼eg\mathrm{e}^{f} \sim \mathrm{e}^{g} si et seulement si efeg=ef−g\frac{\mathrm{e}^{f}}{\mathrm{e}^{g}} = \mathrm{e}^{f - g} tend vers 11. Par continuité de exp⁡\exp et de ln⁡\ln en 00 et en 11, cela équivaut à f−g→0f - g \to 0. ef∼eg  ⟺  lim⁡x→a(f−g)=0\boxed{\mathrm{e}^{f} \sim \mathrm{e}^{g} \iff \lim\limits_{x \to a} (f - g) = 0}

2. Non : en +∞+\infty, x+1∼xx + 1 \sim x, mais la différence (x+1)−x=1(x + 1) - x = 1 ne tend pas vers 00, donc, par la question 1, ex+1\mathrm{e}^{x+1} n'est pas équivalent à ex\mathrm{e}^{x}. La reˊponse est non.\boxed{\text{La réponse est non.}}

3. On écrit f=(1+ε)gf = (1 + \varepsilon)g, d'où ln⁡f=ln⁡g+ln⁡(1+ε)\ln f = \ln g + \ln(1 + \varepsilon), avec ln⁡(1+ε)→0\ln(1 + \varepsilon) \to 0. Si ℓ∈[0 ,+∞]\ell \in [0\,,+\infty] et ℓ≠1\ell \neq 1, alors ln⁡g\ln g tend vers ln⁡ℓ≠0\ln\ell \neq 0 ou vers ±∞\pm\infty ; dans les deux cas, ln⁡(1+ε)ln⁡g\frac{\ln(1 + \varepsilon)}{\ln g} tend vers 00, et ln⁡fln⁡g=1+ln⁡(1+ε)ln⁡g⟶1,soitln⁡f∼ln⁡g si ℓ≠1\frac{\ln f}{\ln g} = 1 + \frac{\ln(1 + \varepsilon)}{\ln g} \longrightarrow 1, \qquad\text{soit}\qquad \boxed{\ln f \sim \ln g \text{ si } \ell \neq 1} Si ℓ=1\ell = 1, le résultat est faux : en 00, 1+x∼1+2x1 + x \sim 1 + 2x, mais ln⁡(1+x)∼x\ln(1 + x) \sim x et ln⁡(1+2x)∼2x\ln(1 + 2x) \sim 2x ne sont pas équivalents. Le logarithme transforme un écart relatif petit en un écart absolu petit, qui n'est négligeable que si le logarithme lui-même ne tend pas vers 00.

Dans l'édifice

Thèmes

relations de comparaison, équivalents, calcul de limites

Notions

négligeable, limite d'une fonction

Ouvrir dans l'atlas interactif →