WikiPrépaLivrets

Soit (un)n∈N∗(u_n)_{n \in \mathbb{N}^*} la suite réelle définie par la donnée de u1∈Ru_1 \in \mathbb{R} et par la relation de récurrence suivante :

∀n∈N∗,un+1=sin⁡(un)n\forall n \in \mathbb{N}^*,   u_{n+1} = \frac{\sin(u_n)}{n}

Déterminer la nature de la série ∑un\sum u_n.

1.

Utiliser l'inégalité classique ∣sin⁡(x)∣≤∣x∣|\sin(x)| \le |x| valable pour tout réel xx.

2.

Établir une majoration du terme général ∣un∣|u_n| par une suite dont la série converge, par exemple en utilisant des factorielles.

3.

Conclure sur la convergence absolue de la série.

Idées clés

•

Propriété de la fonction sinus : ∣sin⁡(x)∣≤∣x∣|\sin(x)| \le |x|.

•

Majoration par une suite de référence (série exponentielle).

•

Lien entre convergence absolue et convergence simple.

Résolution.

Considérons la suite des valeurs absolues (∣un∣)n∈N∗(|u_n|)_{n \in \mathbb{N}^*}. Pour tout n∈N∗n \in \mathbb{N}^*, nous utilisons la majoration classique de la fonction sinus sur R\mathbb{R}.

On a l'inégalité suivante :

∀n∈N∗,∣un+1∣=∣sin⁡(un)∣n≤∣un∣n\forall n \in \mathbb{N}^*,   |u_{n+1}| = \frac{|\sin(u_n)|}{n} \le \frac{|u_n|}{n}

Montrons par récurrence que pour tout n≥2n \ge 2, on a la majoration :

∣un∣≤∣u1∣(n−1)!|u_n| \le \frac{|u_1|}{(n-1)!}

Initialisation : Pour n=2n=2, la relation de récurrence donne ∣u2∣=∣sin⁡(u1)∣1≤∣u1∣|u_2| = \frac{|\sin(u_1)|}{1} \le |u_1|. Comme (2−1)!=1!=1(2-1)! = 1! = 1, on a bien ∣u2∣≤∣u1∣1!|u_2| \le \frac{|u_1|}{1!}, l'initialisation est vérifiée.

Hérédité : Supposons que la propriété est vraie pour un certain rang n≥2n \ge 2. Alors, au rang n+1n+1 :

∣un+1∣≤∣un∣n≤1n⋅∣u1∣(n−1)!=∣u1∣n!|u_{n+1}| \le \frac{|u_n|}{n} \le \frac{1}{n} \cdot \frac{|u_1|}{(n-1)!} = \frac{|u_1|}{n!}

La propriété est donc démontrée par récurrence pour tout n≥2n \ge 2.

Nous savons que la série ∑1(n−1)!\sum \frac{1}{(n-1)!} est une série convergente (elle converge vers ee). Par le théorème de comparaison des séries à termes positifs, la série ∑∣un∣\sum |u_n| converge.

La seˊrie ∑un est absolument convergente.\boxed{\text{La série } \sum u_n \text{ est absolument convergente.}}

Comme toute série absolument convergente dans R\mathbb{R} est convergente, nous en déduisons le résultat final :

La seˊrie ∑un converge.\boxed{\text{La série } \sum u_n \text{ converge.}}

Confondre convergence de la suite vers 0 et convergence de la série.

L'inégalité |sin(x)| <= |x| est fondamentale pour majorer des termes généraux de séries.