WikiPrépaLivrets

Soit un\sum u_n une série à termes dans C\mathbb{C}. On suppose que la série un\sum u_n est convergente.

Montrer, à l'aide d'exemples judicieusement choisis, que la série un3\sum u_n^3 peut être :

  1. absolument convergente ;
  2. semi-convergente (c'est-à-dire convergente mais non absolument convergente) ;
  3. divergente.

1.

Pour la convergence absolue, on pourra s'intéresser au cas où la série initiale converge déjà absolument et utiliser un argument de comparaison.

2.

Pour la semi-convergence, tester une suite réelle alternée dont le terme général est en nαn^{-\alpha}.

3.

Pour la divergence, on pourra sortir du cadre des suites réelles et utiliser des racines de l'unité. Penser au critère d'Abel ou à la transformation d'Abel pour prouver la convergence de un\sum u_n.

Idées clés

Comparaison de termes généraux pour la convergence absolue.

Critère spécial des séries alternées (CSSA).

Critère de Dirichlet (ou règle d'Abel) pour les séries à termes complexes.

Résolution.

  1. Cas de la convergence absolue. Considérons la suite uu définie pour tout nNn \in \mathbb{N}^* par :
    un=1n2u_n = \frac{1}{n^2}
    La série un\sum u_n est une série de Riemann convergente car 2>12 > 1. Le terme général de la série des cubes est :
    un3=1n6u_n^3 = \frac{1}{n^6}
    La série un3\sum u_n^3 est également une série de Riemann convergente (6>16 > 1). Comme elle est à termes positifs, elle converge absolument.
    Si un=1n2, alors un et un3 convergent absolument.\boxed{\text{Si } u_n = \frac{1}{n^2}, \text{ alors } \sum u_n \text{ et } \sum u_n^3 \text{ convergent absolument.}}

  2. Cas de la semi-convergence. Considérons la suite uu définie pour tout nNn \in \mathbb{N}^* par :
    un=(1)nn1/3u_n = \frac{(-1)^n}{n^{1/3}}
    La série un\sum u_n est une série alternée. La suite (n1/3)n1(n^{-1/3})_{n \ge 1} est décroissante et tend vers 00. D'après le critère spécial des séries alternées, un\sum u_n converge. Calculons le terme général de la série des cubes :
    un3=((1)nn1/3)3=(1)3nn=(1)nnu_n^3 = \left( \frac{(-1)^n}{n^{1/3}} \right)^3 = \frac{(-1)^{3n}}{n} = \frac{(-1)^n}{n}
    La série (1)nn\sum \frac{(-1)^n}{n} est la série harmonique alternée, qui est classiquement convergente (par le CSSA). Cependant, la série un3=1n\sum |u_n^3| = \sum \frac{1}{n} est la série harmonique, qui diverge.
    Si un=(1)nn1/3, alors un3 est semi-convergente.\boxed{\text{Si } u_n = \frac{(-1)^n}{n^{1/3}}, \text{ alors } \sum u_n^3 \text{ est semi-convergente.}}

  3. Cas de la divergence. Soit j=e2iπ/3j = e^{2i\pi/3}. Considérons la suite uu définie pour tout nNn \in \mathbb{N}^* par :
    un=jnn1/3u_n = \frac{j^n}{n^{1/3}}
    Vérifions d'abord la convergence de un\sum u_n. La suite (1/n1/3)n1(1/n^{1/3})_{n \ge 1} est réelle, positive, décroissante et tend vers 00. Pour tout NNN \in \mathbb{N}^*, on a :
    n=1Njn=j1jN1j21j\left| \sum_{n=1}^N j^n \right| = \left| j \frac{1-j^N}{1-j} \right| \le \frac{2}{|1-j|}
    Les sommes partielles de jn\sum j^n sont donc bornées. D'après le critère de Dirichlet (ou règle d'Abel), la série un\sum u_n converge. Étudions maintenant la série des cubes :
    un3=(jnn1/3)3=j3nn=(j3)nnu_n^3 = \left( \frac{j^n}{n^{1/3}} \right)^3 = \frac{j^{3n}}{n} = \frac{(j^3)^n}{n}
    Comme j3=(e2iπ/3)3=e2iπ=1j^3 = (e^{2i\pi/3})^3 = e^{2i\pi} = 1, il vient :
    un3=1nu_n^3 = \frac{1}{n}
    On reconnaît le terme général de la série harmonique qui diverge.
    Si un=e2iπn/3n1/3, alors un converge mais un3 diverge.\boxed{\text{Si } u_n = \frac{e^{2i\pi n/3}}{n^{1/3}}, \text{ alors } \sum u_n \text{ converge mais } \sum u_n^3 \text{ diverge.}}

Croire que u_n^3 = o(u_n) implique la convergence sans hypothèse de positivité.

Le passage à une puissance supérieure ne préserve la convergence que pour les séries absolument convergentes.