# Équivalents et développements de suites/Équivalent d'une suite définie par une intégrale

Nous commencerons par un exemple simple à titre d’introduction.

## Exemple 1

Soit à trouver un équivalent de la suite (u$_n$)$_{n∈ℕ}$ définie par :
    $\forall n\qquad u_{n}=\int _{1}^{\mathrm {e} }\ln ^{n}x\,\mathrm {d} x$.
Recherchons une relation de récurrence entre u$_{n+1}$ et u$_n$ à l’aide d’une intégration par parties.
    ${\begin{aligned}u_{n+1}&=\int _{1}^{\mathrm {e} }\ln ^{n+1}x\,\mathrm {d} x\\&=\int _{1}^{\mathrm {e} }1\times \ln ^{n+1}x\,\mathrm {d} x\\&=\left[x\times \ln ^{n+1}x\right]_{1}^{\mathrm {e} }-\int _{1}^{\mathrm {e} }x\times {\frac {n+1}{x}}\ln ^{n}x\,\mathrm {d} x\\&=\mathrm {e} -(n+1)\int _{1}^{\mathrm {e} }\ln ^{n}x\,\mathrm {d} x\\&=\mathrm {e} -(n+1)u_{n}.\end{aligned}}$
Nous avons obtenu la relation de récurrence :
    $u_{n+1}=\mathrm {e} -(n+1)u_{n}$.
On en déduit que la suite $(u_{n})$ tend vers 0, car
    $0\leq u_{n}={\frac {\mathrm {e} -u_{n+1}}{n+1}}\leq {\frac {\mathrm {e} }{n+1}}$,
puis, qu'elle est équivalente à ${\frac {\mathrm {e} }{n}}$, car
    $u_{n}={\frac {\mathrm {e} -u_{n+1}}{n+1}}={\frac {\mathrm {e} +o(1)}{n+1}}\sim {\frac {\mathrm {e} }{n}}$.
On peut donc conclure :
Nous allons maintenant étudier une méthode permettant de trouver un équivalent de certaines suites définies par une intégrale. Cette méthode, qui n’est pas générale, se rencontre dans certains problèmes portant sur le calcul intégral comme les problèmes sur l’intégrale de Wallis.
Nous exposerons cette méthode dans l'exemple suivant en la décomposant par étape, chaque étape faisant généralement l’objet d’une question séparée dans les problèmes où cette méthode est utilisée.

## Exemple 2

Essayons de trouver un équivalent de la suite d’intégrales dont le terme général est donné par :
    $I_{n}=\int _{0}^{\frac {\pi }{2}}\cos ^{n}x\,\mathrm {d} x$
(égal, par changement de variable $y={\frac {\pi }{2}}-x$, à $\int _{0}^{\frac {\pi }{2}}\sin ^{n}y\,\mathrm {d} y$).

### Étape 1

Nous établirons une relation de récurrence entre $I_{n+2}$ et $I_{n}$. Ceci s’obtient grâce à une intégration par parties.
    ${\begin{aligned}\int _{0}^{\frac {\pi }{2}}\cos ^{n+2}x\,\mathrm {d} x&=\int _{0}^{\frac {\pi }{2}}\cos x\cos ^{n+1}x\,\mathrm {d} x\\&=\left[\sin x\cos ^{n+1}x\right]_{0}^{\frac {\pi }{2}}+(n+1)\int _{0}^{\frac {\pi }{2}}\sin ^{2}x\cos ^{n}x\,\mathrm {d} x.\end{aligned}}$
Compte tenu de l'égalité $\sin ^{2}x=1-\cos ^{2}x$ et après simplification, nous obtenons :
    $I_{n+2}=(n+1)(I_{n}-I_{n+2})$,
ce qui donne finalement :
    $\forall n\qquad I_{n+2}={\frac {n+1}{n+2}}I_{n}$.

### Étape 2

Il nous faut trouver une suite constante (C$_n$)$_{n∈ℕ}$ dont le terme C$_n$ s’exprime en fonction de I$_n$, de I$_{n+1}$ et de n.
Cette suite est :
    $C_{n}=(n+1)I_{n}I_{n+1}$.
En effet :
    $C_{n+1}=(n+2)I_{n+1}I_{n+2}=(n+2)I_{n+1}{\frac {n+1}{n+2}}I_{n}=C_{n}$.
La valeur de la constante est :
    $C_{0}=(0+1)I_{0}I_{0+1}=I_{0}I_{1}$.
Or :
    $I_{0}=\int _{0}^{\frac {\pi }{2}}1\,\mathrm {d} x={\frac {\pi }{2}}$
    $I_{1}=\int _{0}^{\frac {\pi }{2}}\cos x\,\mathrm {d} x=1$.
On obtient donc :
    $C_{0}=I_{0}I_{1}={\frac {\pi }{2}}$.
On en déduit alors la relation :
    $\forall n\qquad (n+1)I_{n}I_{n+1}={\frac {\pi }{2}}$.

### Étape 3

Cherchons à encadrer le rapport :
    ${\frac {I_{n+1}}{I_{n}}}$
par deux suites convergeant vers 1.
On peut déjà remarquer que la suite $(I_{n})$ est strictement positive et décroissante. En effet, pour tout $n\in \mathbb {N}$ :
    $0<x<{\frac {\pi }{2}}\Rightarrow 0<\cos x<1\Rightarrow 0<\cos ^{n+1}x<\cos ^{n}x$ donc (d'après les propriétés de l'intégrale d'une fonction continue) :
    $0<\int _{0}^{\frac {\pi }{2}}\cos ^{n+1}x\,\mathrm {d} x<\int _{0}^{\frac {\pi }{2}}\cos ^{n}x\,\mathrm {d} x$.
On a donc :
    $0<I_{n+2}<I_{n+1}<I_{n}$,
d'où
    ${\frac {n+1}{n+2}}={\frac {I_{n+2}}{I_{n}}}<{\frac {I_{n+1}}{I_{n}}}<1$.
Nous pouvons donc conclure :
    $I_{n+1}\sim I_{n}$.

### Étape 4

Compte tenu de l’étape 2, on en déduit :
    $I_{n}^{2}\sim {\frac {\pi }{2n}}$.
On peut extraire la racine des deux membres. On peut donc conclure :
* Remarque 1
* Le lecteur pourrait poser la question suivante :
* À l’étape 2, comment trouve-t-on la suite (C$_n$)$_{n∈ℕ}$ ?
* Remarquons d’abord que la méthode n’est applicable que si la suite (u$_n$)$_{n∈ℕ}$ est décroissante à termes positifs. Donc d’une façon générale, si l'on obtient une relation de récurrence du type
* $\forall n\qquad u_{n+2}={\frac {n+p}{n+q}}u_{n}~$
* avec p < q. On choisira donc pour C$_n$ la relation :
* $C_{n}=(n+p)(n+p+1)(n+p+2)\cdots (n+q-1)u_{n}u_{n+1}$.
* Le lecteur vérifiera que cette suite est bien constante.
* Remarque 2
* Bien qu'intitulé « Équivalent d'une suite définie par une intégrale », ce chapitre expose, comme le suivant, des techniques s'appliquant aux suites définies par récurrence. Elles permettent par exemple de traiter des exercices du style :
* Étudier la convergence de la série de terme général u$_n$ vérifiant :
* ${\begin{cases}u_{0}=4\\u_{n+1}={\frac {n+3}{n+4}}u_{n}.\end{cases}}$
* On a alors :
* $(n+3)u_{n}=(0+3)u_{0}=12$
* donc :
* $u_{n}\sim {\frac {12}{n}}$
* et la série de terme général u$_n$ est divergente, comme la série harmonique.
| Équivalent d'une suite définie par une somme | Équivalent d'une suite définie par récurrence |