Une page de Wikiversité, la communauté pédagogique libre.
En raison de limitations techniques, la typographie souhaitable du titre, «
Exercice : Équivalent d'une suite définie par récurrenceÉquivalents et développements de suites/Exercices/Équivalent d'une suite définie par récurrence », n'a pu être restituée correctement ci-dessus.
Trouver un équivalent de la suite (un )n ∈ℕ définie par :
{
u
0
∈
]
0
,
1
[
u
n
+
1
=
u
n
−
u
n
2
.
{\displaystyle {\begin{cases}u_{0}\in \left]0,1\right[\\u_{n+1}=u_{n}-u_{n}^{2}.\end{cases}}}
Solution
La suite est décroissante (donc < 1). On montre aisément (par récurrence) qu'elle est de plus strictement positive.
On peut donc appliquer le théorème 2 du cours avec
p
=
a
=
1
{\displaystyle p=a=1}
, ce qui donne :
u
n
∼
1
n
{\displaystyle u_{n}\sim {\frac {1}{n}}}
.
Trouver un équivalent de la suite (un )n ∈ℕ définie par :
{
u
0
∈
]
2
/
π
,
+
∞
[
u
n
+
1
=
u
n
cos
1
u
n
.
{\displaystyle {\begin{cases}u_{0}\in \left]2/\pi ,+\infty \right[\\u_{n+1}={\frac {u_{n}}{\cos {\frac {1}{u_{n}}}}}.\end{cases}}}
Soit
a
∈
]
0
,
π
[
{\displaystyle a\in \left]0,\pi \right[}
. Trouver un équivalent de la suite (un )n ∈ℕ des sinus itérés de
a
{\displaystyle a}
, définie par :
{
u
0
=
a
u
n
+
1
=
sin
u
n
.
{\displaystyle {\begin{cases}u_{0}=a\\u_{n+1}=\sin u_{n}.\end{cases}}}
Solution
On montre de façon élémentaire que (un ) est strictement positive et de limite nulle (cf. Approfondissement sur les suites numériques/Exercices/Étude d'une suite récurrente#Exercice 7 ).
Par conséquent,
u
n
+
1
−
u
n
=
sin
u
n
−
u
n
∼
−
u
n
3
6
{\displaystyle u_{n+1}-u_{n}=\sin u_{n}-u_{n}\sim -{\frac {u_{n}^{3}}{6}}}
.
On est dans les conditions d’application du théorème 2 avec p = 2 et a = 1/6 . On a donc :
u
n
∼
(
1
p
a
n
)
1
p
=
(
1
2
×
1
6
×
n
)
1
2
=
3
n
{\displaystyle u_{n}\sim \left({\frac {1}{pan}}\right)^{\frac {1}{p}}=\left({\frac {1}{2\times {\frac {1}{6}}\times n}}\right)^{\frac {1}{2}}={\sqrt {\frac {3}{n}}}}
.
Pour aller plus loin, voir ce lien .
Soit
a
∈
R
{\displaystyle a\in \mathbb {R} }
. Trouver un équivalent de la suite
(
u
n
)
n
≥
1
{\displaystyle (u_{n})_{n\geq 1}}
définie par
u
1
=
a
{\displaystyle u_{1}=a}
et
∀
n
≥
1
u
n
+
1
=
exp
(
−
u
n
)
n
{\displaystyle \forall n\geq 1\quad u_{n+1}={\frac {\exp(-u_{n})}{n}}}
.
Soit
a
∈
R
{\displaystyle a\in \mathbb {R} }
. Trouver un équivalent de la suite
(
u
n
)
n
≥
0
{\displaystyle (u_{n})_{n\geq 0}}
définie par
u
0
=
a
{\displaystyle u_{0}=a}
et
∀
n
≥
1
(
n
+
1
)
2
u
n
=
(
n
−
1
)
u
n
−
1
+
n
{\displaystyle \forall n\geq 1\quad (n+1)^{2}u_{n}=(n-1)u_{n-1}+n}
.
Solution
Remarquons d'abord que
u
1
=
1
/
4
{\displaystyle u_{1}=1/4}
(donc en fait, à partir du rang 1, la suite ne dépend pas de
a
{\displaystyle a}
).
Ensuite, la suite est bornée et même :
∀
n
≥
1
0
<
n
u
n
<
1
{\displaystyle \forall n\geq 1\quad 0<nu_{n}<1}
(par une récurrence facile).
On en déduit que
∀
n
≥
1
n
u
n
=
n
(
n
−
1
)
u
n
−
1
+
n
2
(
n
+
1
)
2
∈
]
n
2
(
n
+
1
)
2
,
n
n
+
1
[
{\displaystyle \forall n\geq 1\quad nu_{n}={\frac {n(n-1)u_{n-1}+n^{2}}{(n+1)^{2}}}\in \left]{\frac {n^{2}}{(n+1)^{2}}},{\frac {n}{n+1}}\right[}
donc
n
u
n
→
1
{\displaystyle nu_{n}\to 1}
, c'est-à-dire
u
n
∼
1
n
{\displaystyle u_{n}\sim {\frac {1}{n}}}
.
Calculer
lim
n
→
∞
∑
k
=
1
n
k
+
1
2
n
k
+
k
{\displaystyle \lim _{n\to \infty }\sum _{k=1}^{n}{\frac {k+1}{2nk+k}}}
.
Solution
D'après le lemme de Cesàro,
∑
k
=
1
n
k
+
1
2
n
k
+
k
=
n
2
n
+
1
×
1
n
∑
k
=
1
n
k
+
1
k
→
lim
n
→
∞
n
2
n
+
1
=
1
2
{\displaystyle \sum _{k=1}^{n}{\frac {k+1}{2nk+k}}={\frac {n}{2n+1}}\times {\frac {1}{n}}\sum _{k=1}^{n}{\frac {k+1}{k}}\to \lim _{n\to \infty }{\frac {n}{2n+1}}={\frac {1}{2}}}
.
Mais on peut aussi calculer explicitement :
∑
k
=
1
n
k
+
1
2
n
k
+
k
=
1
2
n
+
1
∑
k
=
1
n
k
+
1
k
=
n
+
H
n
2
n
+
1
{\displaystyle \sum _{k=1}^{n}{\frac {k+1}{2nk+k}}={\frac {1}{2n+1}}\sum _{k=1}^{n}{\frac {k+1}{k}}={\frac {n+H_{n}}{2n+1}}}
, où
H
n
=
∑
k
=
1
n
1
k
∼
ln
n
{\displaystyle H_{n}=\sum _{k=1}^{n}{\frac {1}{k}}\sim \ln n}
(cf. Série harmonique ) donc
∑
k
=
1
n
k
+
1
2
n
k
+
k
∼
n
2
n
=
1
2
{\displaystyle \sum _{k=1}^{n}{\frac {k+1}{2nk+k}}\sim {\frac {n}{2n}}={\frac {1}{2}}}
.