WikiPrépaLivrets

Soit (an)n∈N(a_n)_{n \in \mathbb{N}} une suite de réels strictement positifs. On définit, pour tout entier naturel nn, les termes généraux suivants :

bn=an1+anetcn=an1+n2anb_n = \frac{a_n}{1+a_n}   \text{et}   c_n = \frac{a_n}{1+n^2 a_n}

  1. Montrer que les séries ∑an\sum a_n et ∑bn\sum b_n sont de même nature.
  2. Étudier la convergence de la série ∑cn\sum c_n sans hypothèse supplémentaire sur la suite (an)(a_n).

1.

Pour la question 1, on pourra utiliser une majoration simple pour un sens, et s'intéresser à la limite du terme général pour l'autre sens afin d'utiliser un équivalent.

2.

Pour la question 2, chercher une majoration de cnc_n par le terme général d'une série de Riemann convergente, en distinguant éventuellement les cas sur ana_n.

Idées clés

•

Théorèmes de comparaison des séries à termes positifs.

•

Utilisation des équivalents pour les séries à termes positifs lorsque le terme général tend vers 0.

Résolution.

  1. Étudions la nature de ∑bn\sum b_n par rapport à celle de ∑an\sum a_n. Sens direct : Supposons que ∑an\sum a_n converge. Pour tout n∈Nn \in \mathbb{N}, on a an>0a_n > 0, donc 1+an>11 + a_n > 1. On en déduit :
    0<bn=an1+an<an0 < b_n = \frac{a_n}{1+a_n} < a_n
    D'après le théorème de comparaison des séries à termes positifs, la convergence de ∑an\sum a_n implique celle de ∑bn\sum b_n. Sens réciproque : Supposons que ∑bn\sum b_n converge. Le terme général d'une série convergente tend vers 0, donc :
    lim⁡n→+∞bn=0\lim_{n \to +\infty} b_n = 0
    On peut exprimer ana_n en fonction de bnb_n. L'égalité bn=an1+anb_n = \frac{a_n}{1+a_n} équivaut à bn+anbn=anb_n + a_n b_n = a_n, soit :
    an=bn1−bna_n = \frac{b_n}{1-b_n}
    Puisque lim⁡n→+∞bn=0\lim_{n \to +\infty} b_n = 0, on a l'équivalent suivant :
    an∼bna_n \sim b_n
    Comme il s'agit de séries à termes positifs, par théorème de comparaison des équivalents, la convergence de ∑bn\sum b_n entraîne celle de ∑an\sum a_n. On conclut que :
    ∑an et ∑bn sont de meˆme nature.\boxed{\sum a_n \text{ et } \sum b_n \text{ sont de même nature.}}

  2. Étudions la nature de la série ∑cn\sum c_n. Soit n∈N∗n \in \mathbb{N}^*. On a an>0a_n > 0, donc le dénominateur 1+n2an1 + n^2 a_n est strictement supérieur à n2ann^2 a_n. On peut alors écrire la majoration suivante :
    cn=an1+n2an<ann2anc_n = \frac{a_n}{1 + n^2 a_n} < \frac{a_n}{n^2 a_n}
    En simplifiant par ana_n (qui est non nul), on obtient :
    ∀n∈N∗,0<cn<1n2\forall n \in \mathbb{N}^*,   0 < c_n < \frac{1}{n^2}
    On reconnaît le terme général d'une série de Riemann ∑1n2\sum \frac{1}{n^2} qui est convergente (car 2>12 > 1). Par théorème de comparaison des séries à termes positifs, la série ∑cn\sum c_n converge.
    La seˊrie ∑cn converge quelle que soit la suite (an)n∈N positive.\boxed{\text{La série } \sum c_n \text{ converge quelle que soit la suite } (a_n)_{n \in \mathbb{N}} \text{ positive.}}

Utiliser un équivalent sans vérifier que le terme général tend vers zéro.

La fonction homographique x/(1+x)x/(1+x) conserve la nature de la série au voisinage de 0.