ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Suites récurrentes et suites implicites

Exercice 38

DémonstrationCalcul

On étudie la suite définie par u0∈ℝu_{0} \in \mathbb{R} et un+1=un2+316u_{n+1} = u_{n}^{2} + \frac{3}{16}.

1. Déterminer les points fixes de f:x↦x2+316f : x \mapsto x^{2} + \frac{3}{16}, et le signe de f(x)−xf(x) - x.

2. Montrer que la suite est croissante à partir du rang 11 ou décroissante à partir du rang 11, selon la position de u1u_{1}.

3. Déterminer, selon la valeur de u0u_{0}, le comportement de (un)(u_{n}) : on trouvera trois cas, suivant que ∣u0∣|u_{0}| est inférieur, égal ou supérieur à 34\frac{3}{4}.

Corrigé

1. On a f(x)−x=x2−x+316=(x−14)(x−34)f(x) - x = x^{2} - x + \frac{3}{16} = \big(x - \frac{1}{4}\big)\big(x - \frac{3}{4}\big). points fixes 14 et 34 ; f(x)>x hors de [14 ,34], f(x)<x aˋ l’inteˊrieur\boxed{\text{points fixes } \frac{1}{4} \text{ et } \frac{3}{4} \ ; \ f(x) > x \text{ hors de } \Big[\frac{1}{4}\,,\frac{3}{4}\Big], \ f(x) < x \text{ à l'intérieur}} 2. On a u1=u02+316>0u_{1} = u_{0}^{2} + \frac{3}{16} > 0, et [0 ,+∞[[0\,,+\infty[ est stable par ff, qui y est croissante. D'après la proposition 16 (ii), (un)n⩾1(u_{n})_{n \geqslant 1} est monotone, croissante si u2⩾u1u_{2} \geqslant u_{1}, décroissante sinon.

3. Comme u1=f(∣u0∣)u_{1} = f(|u_{0}|), tout dépend de ∣u0∣|u_{0}|, et les intervalles [0 ,14]\big[0\,,\frac{1}{4}\big], [14 ,34[\big[\frac{1}{4}\,,\frac{3}{4}\big[ et ]34 ,+∞[\big]\frac{3}{4}\,,+\infty\big[ sont stables par ff, croissante, qui fixe 14\frac{1}{4} et 34\frac{3}{4}.

• Si ∣u0∣<34|u_{0}| < \frac{3}{4}, alors u1∈[316 ,34[u_{1} \in \big[\frac{3}{16}\,,\frac{3}{4}\big[. Sur [0 ,14]\big[0\,,\frac{1}{4}\big], f(x)⩾xf(x) \geqslant x : la suite croît et reste majorée par 14\frac{1}{4}. Sur [14 ,34[\big[\frac{1}{4}\,,\frac{3}{4}\big[, elle décroît et reste minorée par 14\frac{1}{4}. Dans les deux cas elle converge, vers un point fixe (proposition 17) compris entre 316\frac{3}{16} et u1<34u_{1} < \frac{3}{4}. ∣u0∣<34  ⟹  un→n→+∞14\boxed{|u_{0}| < \frac{3}{4} \implies u_{n} \xrightarrow[n \to +\infty]{} \frac{1}{4}}

• Si ∣u0∣=34|u_{0}| = \frac{3}{4}, alors un=34 pour n⩾1\boxed{u_{n} = \frac{3}{4} \text{ pour } n \geqslant 1}.

• Si ∣u0∣>34|u_{0}| > \frac{3}{4}, alors u1>34u_{1} > \frac{3}{4}, la suite croît, et une limite finie serait un point fixe supérieur à u1>34u_{1} > \frac{3}{4}, ce qui n'existe pas. ∣u0∣>34  ⟹  un→n→+∞+∞\boxed{|u_{0}| > \frac{3}{4} \implies u_{n} \xrightarrow[n \to +\infty]{} +\infty}

Le point fixe 14\frac{1}{4} « attire » les suites qui démarrent près de lui ; le point fixe 34\frac{3}{4} les « repousse ». Le chapitre 9 reliera ce comportement à la valeur de ∣f′∣|f'| au point fixe, ici 12\frac{1}{2} et 32\frac{3}{2}.

Dans l'édifice

Thèmes

suites récurrentes, suites monotones

Notions

suite

Ouvrir dans l'atlas interactif →