Approfondissement sur les suites numériques/Exercices/Récurrence affine d'ordre 2

**Exercice de cours**
Leçon : Approfondissement sur les suites numériques

Page d'exercices n^o 2
Chapitre du cours :	Récurrence affine d'ordre 2
Exercices de niveau 14.
Exo préc. :	Suites arithmético-géométriques
Exo suiv. :	Récurrence linéaire d'ordre 2

En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Exercice de cours
Approfondissement sur les suites numériques/Exercices/Récurrence affine d'ordre 2 », n'a pu être restituée correctement ci-dessus.

Les deux premiers exercices visent à vérifier votre assimilation des résultats du cours : les équations y sont proposées sous une forme simple qui vous permet d’utiliser directement les théorèmes développés dans la leçon.

Les exercices suivants seront moins « automatiques » et nécessiteront la recherche et la mise en équation du problème, la résolution étant supposée acquise.

Exercice 1

Soit ${(a_{n})}_{n \in ℕ}$ une suite telle que :

\forall n \in ℕ^{*} \frac{1}{4} a_{n} + \frac{1}{2} a_{n - 1} + 1 = 0

.

Exprimer $a_{n}$ en fonction de n et $a_{0}$ .
La suite converge-t-elle ? Si oui, quelle est sa limite ?

Solution

1. La relation de récurrence peut également s'écrire

\forall n \in ℕ a_{n + 1} = - 2 a_{n} - 4

.

Il s'agit d'une suite récurrente affine d'ordre 1, de la forme

a_{n + 1} = α a_{n} + β

avec

α = - 2 \neq 1

et

β = - 4

L'expression explicite de $(a_{n})$ est alors :

\forall n \in ℕ a_{n} = α^{n} (a_{0} - r) + r

avec

r = \frac{β}{1 - α} = - \frac{4}{3}

,

c'est-à-dire :

a_{n} = (- 2)^{n} (a_{0} + \frac{4}{3}) - \frac{4}{3}

.

2. La convergence de $(a_{n})$ dépend alors de la valeur de $a_{0}$ :

Si $a_{0} = - \frac{4}{3}$ , la suite stationne à $- \frac{4}{3}$ , donc elle converge vers $- \frac{4}{3}$ .
Si $a_{0} \neq - \frac{4}{3}$ , la suite n'a pas de limite.

Exercice 2

Soit $(u_{n})$ la suite définie par : $u_{0} = u_{1} = 1, 5 u_{n + 2} - 4 u_{n + 1} - u_{n} = 3$ .
Exprimer $u_{n}$ en fonction de n. Quelle est la limite de cette suite ?
Soit $(v_{n})$ la suite définie par : $v_{0} = 1, v_{1} = - 1, \frac{1}{2} v_{n + 1} - v_{n} = \frac{2}{3} (v_{n + 2} - 5)$ . Exprimer $v_{n}$ en fonction de n.

Solution de la question 1

On commence par résoudre l'équation linéaire associée à cette récurrence affine : $5 t_{n + 2} - 4 t_{n + 1} - t_{n} = 0$ .
Le polynôme caractéristique associé est $P (X) = 5 X^{2} - 4 X - 1$ .
Le discriminant de P vaut $Δ = 16 - 4 (- 1) 5 = 36$ donc P admet deux racines réelles $r_{1} = 1$ et $r_{2} = - \frac{1}{5}$ .
L'ensemble des solutions de l'équation linéaire est alors constitué des suites $(t_{n})$ de la forme $t_{n} = α + β {(- \frac{1}{5})}^{n}$ , avec $(α, β) \in ℝ^{2}$ .
On cherche une solution particulière de l'équation de récurrence affine originale.
- On a P(1) = 0. On étudie donc $P^{'} (X) = 10 X - 4$
- $P^{'} (1) \neq 0$ donc la suite $(\frac{n}{2})$ est solution particulière de l'équation de récurrence affine.
L'ensemble des solutions de l'équation de récurrence affine est alors constitué des suites $(s_{n})$ de la forme $s_{n} = α + β {(- \frac{1}{5})}^{n} + \frac{n}{2}$ , avec $(α, β) \in ℝ^{2}$ .
On utilise alors les conditions initiales pour trouver l’expression de u_n en trouvant $α$ et $β$ :
${\begin{matrix} 1 = u_{0} = α + β \\ 1 = u_{1} = α - \frac{β}{5} + \frac{1}{2} \end{matrix} \Leftrightarrow {\begin{matrix} α + β = 1 \\ α - \frac{β}{5} = \frac{1}{2} \end{matrix} \Leftrightarrow (α, β) = (\frac{7}{12}, \frac{5}{12})$ .

Finalement : $\forall n \in ℕ u_{n} = \frac{7}{12} + \frac{5}{12} {(- \frac{1}{5})}^{n} + \frac{n}{2}$ .

$\forall n \in ℕ u_{n} \geq \frac{7}{12} - \frac{5}{12} \frac{1}{5} + \frac{n}{2}$ donc $u_{n} \to + \infty$ .

Solution de la question 2

On commence par résoudre l'équation linéaire associée à cette récurrence affine : $4 t_{n + 2} - 3 t_{n + 1} + 6 t_{n} = 0$ .
Le polynôme caractéristique associé est $P (X) = 4 X^{2} - 3 X + 6$ .
Le discriminant de P vaut $Δ = 9 - 4.4.6 = - 87$ donc P admet deux racines complexes conjuguées $r_{1} = \frac{3 + i \sqrt{87}}{8}$ et $r_{2} = \frac{3 - i \sqrt{87}}{8}$ , de même module $ρ = \frac{\sqrt{6}}{2}$ et d'arguments respectifs $θ = \arctan \frac{\sqrt{87}}{3}$ et $- θ$ .
L'ensemble des solutions de l'équation linéaire est alors constitué des suites $(t_{n})$ de la forme $t_{n} = ρ^{n} (A \cos (n θ) + B \sin (n θ))$ , avec $(A, B) \in ℝ^{2}$ .
On cherche une solution particulière de l'équation de récurrence affine originale.
- On a P(1) ≠ 0 donc la suite constante $(\frac{20}{7})$ est solution particulière de l'équation de récurrence affine.
L'ensemble des solutions de l'équation de récurrence affine est alors constitué des suites $(s_{n})$ de la forme $s_{n} = ρ^{n} (A \cos (n θ) + B \sin (n θ)) + \frac{20}{7}$ , avec $(A, B) \in ℝ^{2}$ .
On utilise alors les conditions initiales pour trouver l’expression de v_n en trouvant A et B :
${\begin{matrix} 1 = v_{0} = A + \frac{20}{7} \\ - 1 = v_{1} = ρ (A \cos θ + B \sin θ) + \frac{20}{7} \end{matrix} \Leftrightarrow {\begin{matrix} A = - \frac{13}{7} \\ - \frac{27}{7} = \frac{\sqrt{6}}{2} (- \frac{13}{7} \frac{\sqrt{6}}{8} + B \frac{\sqrt{58}}{8}) \end{matrix} \Leftrightarrow (A, B) = (- \frac{13}{7}, - \frac{59 \sqrt{87}}{203})$ .

Finalement : $\forall n \in ℕ v_{n} = {(\frac{\sqrt{6}}{2})}^{n} (- \frac{13}{7} \cos (n \arctan \frac{\sqrt{87}}{3}) - \frac{59 \sqrt{87}}{203} \sin (n \arctan \frac{\sqrt{87}}{3})) + \frac{20}{7}$ .

Exercice 3

Wikipedia-logo-v2.svg

Wikipédia possède un article à propos de « Automate cellulaire ».

Un automate cellulaire est un algorithme qui évolue pas à pas, observant les structures qu’il a déjà produites pour effectuer l'étape suivante. Cet exercice propose d’en étudier un très simple au moyen des suites récurrentes affines d'ordre 2.

Définition de l'automate

Cet automate prendra deux valeurs, d'indices n et n + 1, et retournera la valeur d'indice n + 2. On incrémente alors n et l'on recommence l'opération.

Les règles sont :

$(0, 0) \mapsto 1$ ;
$(1, 0) \mapsto 0$ ;
$(0, 1) \mapsto 0$ .

L'automate reçoit les deux premières valeurs et les complète avec ces règles. Par exemple, si l'on commence avec « 00 », alors il calculera le chiffre suivant (d'après les règles précédentes, c’est un 1). L'automate ne peut traiter que des 0 et des 1. On suppose que le cas « 11 » ne peut débuter la séquence.

Questions

Mettre en équation l'automate décrit, sous la forme d'une suite récurrente affine d'ordre 2. Cette mise en équation est-elle unique ?
Déterminer les solutions réelles de l'équation linéaire associée.
Montrer que, quels que soient les deux premiers termes de la suite, celle-ci est périodique et ne contient pas deux 1 consécutifs.

Solution

On cherche $a, b, c$ tels que $u_{n + 2} = a u_{n + 1} + b u_{n} + c$ , ce qui impose ${\begin{matrix} 1 = a 0 + b 0 + c \\ 0 = a 0 + b 1 + c \\ 0 = a 1 + b 0 + c . \end{matrix}$ L'unique solution est $(a, b, c) = (- 1, - 1, 1)$ .
Les solutions réelles de l'équation linéaire associée $v_{n + 2} = - v_{n + 1} - v_{n}$ sont $v_{n} = α \cos \frac{2 π n}{3} + β \sin \frac{2 π n}{3}$ avec $α, β \in ℝ$ .
$u_{n} = \frac{1}{3} + α \cos \frac{2 π n}{3} + β \sin \frac{2 π n}{3}$ , de période 3.
Par ailleurs, si deux termes consécutifs valent 1 alors le suivant vaut $a + b + c = - 1$ , ce qui est exclu par hypothèse.

Oublions les règles

Oublions maintenant les règles : il s'agit désormais de mathématiques pures.

Le cas « 11 » n'est plus exclu : montrer que la solution est toujours périodique ;
Existe-t-il une solution complexe à l'équation linéaire ? Est-elle bornée ?

Solution

La solution est toujours $u_{n} = \frac{1}{3} + α \cos \frac{2 π n}{3} + β \sin \frac{2 π n}{3}$ , de période 3.
Les solutions complexes de l'équation linéaire associée $v_{n + 2} = - v_{n + 1} - v_{n}$ sont $v_{n} = α \cos \frac{2 π n}{3} + β \sin \frac{2 π n}{3}$ avec $α, β \in ℂ$ . Elles sont donc bornées.

Approfondissement sur les suites numériques

Suites arithmético-géométriques

Récurrence linéaire d'ordre 2