ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Suites particulières

Exercice 34

DémonstrationCalcul

Suites homographiques. On étudie des suites définies par u0=0u_{0} = 0 et un+1=f(un)u_{n+1} = f(u_{n}).

1. On prend f(x)=1+x2+xf(x) = \dfrac{1 + x}{2 + x}.

(a) Montrer que [0 ,1][0\,,1] est stable par ff. Résoudre f(x)=xf(x) = x : on trouve deux solutions ℓ1>ℓ2\ell_{1} > \ell_{2}.

(b) Montrer que la suite vn=un−ℓ1un−ℓ2v_{n} = \dfrac{u_{n} - \ell_{1}}{u_{n} - \ell_{2}} est géométrique, et préciser sa raison.

(c) En déduire la limite de (un)(u_{n}), puis une majoration de ∣un−ℓ1∣|u_{n} - \ell_{1}| de la forme C qnC\,q^{n}.

2. On prend f(x)=x−1x+3f(x) = \dfrac{x - 1}{x + 3}.

(a) Résoudre f(x)=xf(x) = x : on trouve une unique solution ℓ\ell. Montrer que un≠ℓu_{n} \neq \ell pour tout nn.

(b) Montrer que la suite wn=1un−ℓw_{n} = \dfrac{1}{u_{n} - \ell} est arithmétique. En déduire unu_{n} en fonction de nn et sa limite.

3. Comparer les vitesses de convergence dans les deux cas.

Corrigé

1. (a) On a f(x)=1−12+xf(x) = 1 - \frac{1}{2 + x}, croissante sur [0 ,1][0\,,1], avec f(0)=12f(0) = \frac{1}{2} et f(1)=23f(1) = \frac{2}{3} : l'intervalle est stable. L'équation f(x)=xf(x) = x équivaut à x2+x−1=0x^{2} + x - 1 = 0. ℓ1=5−12≈0,618,ℓ2=−1−52≈−1,618\boxed{\ell_{1} = \frac{\sqrt{5} - 1}{2} \approx 0{,}618, \qquad \ell_{2} = \frac{-1 - \sqrt{5}}{2} \approx -1{,}618} (b) Pour un point fixe ℓ\ell, on calcule (1+x)(2+ℓ)−(1+ℓ)(2+x)=x−ℓ(1 + x)(2 + \ell) - (1 + \ell)(2 + x) = x - \ell, d'où f(x)−ℓ=x−ℓ(2+x)(2+ℓ)f(x) - \ell = \frac{x - \ell}{(2 + x)(2 + \ell)}. En faisant le quotient pour ℓ1\ell_{1} et ℓ2\ell_{2} : vn+1=2+ℓ22+ℓ1 vn,q=2+ℓ22+ℓ1=3−53+5=7−352≈0,146v_{n+1} = \frac{2 + \ell_{2}}{2 + \ell_{1}}\,v_{n}, \qquad \boxed{q = \frac{2 + \ell_{2}}{2 + \ell_{1}} = \frac{3 - \sqrt{5}}{3 + \sqrt{5}} = \frac{7 - 3\sqrt{5}}{2} \approx 0{,}146} (c) On a v0=ℓ1ℓ2=−3−52v_{0} = \frac{\ell_{1}}{\ell_{2}} = -\frac{3 - \sqrt{5}}{2} et vn=qnv0→n→+∞0v_{n} = q^{n}v_{0} \xrightarrow[n \to +\infty]{} 0. En résolvant, un=ℓ1−ℓ2vn1−vn→n→+∞ℓ1u_{n} = \frac{\ell_{1} - \ell_{2}v_{n}}{1 - v_{n}} \xrightarrow[n \to +\infty]{} \ell_{1}, et un−ℓ1=(ℓ1−ℓ2) vn1−vnu_{n} - \ell_{1} = \frac{(\ell_{1} - \ell_{2})\,v_{n}}{1 - v_{n}}. Comme ∣vn∣⩽∣v0∣<1|v_{n}| \leqslant |v_{0}| < 1 et ℓ1−ℓ2=5\ell_{1} - \ell_{2} = \sqrt{5} : un→n→+∞ℓ1,∣un−ℓ1∣⩽5 ∣v0∣1−∣v0∣ qn=5−52 qn\boxed{u_{n} \xrightarrow[n \to +\infty]{} \ell_{1}, \qquad |u_{n} - \ell_{1}| \leqslant \frac{\sqrt{5}\,|v_{0}|}{1 - |v_{0}|}\,q^{n} = \frac{5 - \sqrt{5}}{2}\,q^{n}} Pour n=6n = 6, la majoration donne 1,3×10−51{,}3 \times 10^{-5}, et l'écart réel est 8,2×10−68{,}2 \times 10^{-6}.

2. (a) L'équation f(x)=xf(x) = x équivaut à x2+2x+1=0x^{2} + 2x + 1 = 0 : ℓ=−1\boxed{\ell = -1}, point fixe double. On a f(x)=1−4x+3f(x) = 1 - \frac{4}{x + 3}, croissante sur ]−3 ,+∞[]-3\,,+\infty[, et f( ]−1 ,0])= ]−1 ,−13]f\big(\,]-1\,,0]\big) = \,]-1\,,-\frac{1}{3}] : par récurrence, un∈ ]−1 ,0]u_{n} \in \,]-1\,,0], donc un≠−1u_{n} \neq -1.

(b) On a f(x)+1=2(x+1)x+3f(x) + 1 = \frac{2(x + 1)}{x + 3}, d'où 1f(x)+1=(x+1)+22(x+1)=12+1x+1\frac{1}{f(x) + 1} = \frac{(x + 1) + 2}{2(x + 1)} = \frac{1}{2} + \frac{1}{x + 1}. Ainsi wn+1=wn+12w_{n+1} = w_{n} + \frac{1}{2}, avec w0=1w_{0} = 1. wn=n+22,un=−1+2n+2=−nn+2→n→+∞−1\boxed{w_{n} = \frac{n + 2}{2}, \qquad u_{n} = -1 + \frac{2}{n + 2} = -\frac{n}{n + 2} \xrightarrow[n \to +\infty]{} -1} 3. Dans le premier cas, l'écart décroît géométriquement, d'un facteur 0,1460{,}146 environ à chaque étape ; dans le second, il vaut 2n+2\frac{2}{n + 2} et ne décroît que comme 1n\frac{1}{n} : un point fixe double ralentit considérablement la convergence.

Dans l'édifice

Thèmes

suites particulières, limites de suites, suites arithmético-géométriques, suites récurrentes

Notions

suite, limite d'une suite

Ouvrir dans l'atlas interactif →