Théorème de réarrangement de Riemann

Modèle:Homon En mathématiques, le théorème de réarrangement de Riemann est un théorème, nommé en l'honneur du mathématicien Bernhard Riemann, d'après lequel si une série à termes réels est semi-convergente, alors on peut réarranger ses termes pour qu'elle converge vers n'importe quel réel, ou bien tende vers plus ou moins l'infini.

Il en résulte que dans ℝ, toute série inconditionnellement convergente est absolument convergente (autrement dit : toute famille sommable est absolument sommable).

Énoncé

Soit Modèle:Math une suite à termes réels dont la série associée est semi-convergente, c'est-à-dire que

$\sum _{k=0}^n{u}_k\underset{n\to \mathrm{\infty }}{⟶}\ell \in ℝ\text{mais}\sum _{k=0}^{+\mathrm{\infty }}|u_k|=+\mathrm{\infty }$.

Alors, pour tout couple $(\lambda ,\mu )$ tel que $-\mathrm{\infty }\le \lambda \le \mu \le +\mathrm{\infty }$, il existe une permutation Modèle:Math de ℕ telle que la suite $(S{\text{'}}_n)$ des sommes partielles de la série de terme général $u{\text{'}}_n=u_{\sigma (n)}$ vérifie :

$\mathrm{lim\; inf}S{\text{'}}_n=\lambda \text{et}\mathrm{lim\; sup}S{\text{'}}_n=\mu$.

En particulier, pour tout $\alpha \in ℝ\cup \{-\mathrm{\infty },+\mathrm{\infty }\}$, il existe une permutation Modèle:Math de ℕ telle que

$\sum _{k=0}^n{u}_{\sigma (k)}\underset{n\to \mathrm{\infty }}{⟶}\alpha$.

Exemple

Prenons l'exemple de la série harmonique alternée. On définit donc une suite Modèle:Math par

$\mathrm{\forall }n\in \mathbb{N},u_n=\frac{(-1{)}^n}{n+1},$

dont la série converge d'après le critère de convergence des séries alternées, mais ne converge pas absolument car la série harmonique diverge. Notons ℓ sa somme (qui vaut : ℓ = [[Logarithme naturel|Modèle:Math]]).

En réarrangeant les termes, la série devient :

$(1-\frac{1}{2}-\frac{1}{4})+(\frac{1}{3}-\frac{1}{6}-\frac{1}{8})+(\frac{1}{5}-\frac{1}{10}-\frac{1}{12})+\dots +(\frac{1}{2k-1}-\frac{1}{4k-2}-\frac{1}{4k})+\dots$

$=(\frac{1}{2}-\frac{1}{4})+(\frac{1}{6}-\frac{1}{8})+(\frac{1}{10}-\frac{1}{12})+\dots +(\frac{1}{4k-2}-\frac{1}{4k})+\dots$

$=\frac{1}{2}(1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\dots )=\frac{\ell }{2}.$

Conclusion : la permutation choisie est telle que la nouvelle série (qui n'est alors plus la série harmonique alternée) converge vers la moitié de la somme de la série de départ.

En généralisant le procédé, on peut faire converger un réarrangement de cette série vers n'importe quel nombre réel Modèle:Math :

Par exemple en sommant alternativement (dans l'ordre) a termes positifs et b termes négatifs (la série alternée elle-même correspond à a = b = 1, et le cas précédent correspond à a = 1 et b = 2), on obtient une série qui converge vers Modèle:Math(2Modèle:Sqrt), d'après le développement suivant, quand n tend vers l'infini, de la somme de p = an termes positifs et q = bn ou b(n – 1) termes négatifs, qui utilise un [[Série harmonique#Second terme du développement asymptotique|développement asymptotique de la suite HModèle:Ind]] des sommes partielles de la série harmonique :

$\begin{array}{cc}\sum _{k=1}^p\frac{1}{2k-1}-\sum _{k=1}^q\frac{1}{2k}& =(H_{2p}-\frac{H_p}{2})-\frac{H_q}{2}\\ & =\ln (2p)+\gamma -\frac{\ln (p)+\gamma }{2}-\frac{\ln (q)+\gamma }{2}+o(1)\\ & =\ln (2\sqrt{p/q})+o(1)\\ & \underset{n\to \mathrm{\infty }}{⟶}\ln (2\sqrt{a/b}).\end{array}$

Plus généralement, la somme du réarrangement aura pour valeur Modèle:Math = Modèle:Math(2Modèle:Sqrt) en choisissant alternativement pModèle:Ind termes positifs et qModèle:Ind termes négatifs tels que pModèle:Ind/qModèle:Ind → Modèle:Math/4.

Construction de la permutation

Pour faire tendre la série vers Modèle:Math on construit une permutation Modèle:Math de ℕ de la façon suivante : on commence par sommer les termes positifs ou nuls (sans en omettre) jusqu'à dépasser Modèle:Math, puis tous les termes strictement négatifs jusqu'à ce que la somme partielle soit strictement inférieure à Modèle:Math. Puis on itère le procédé, en sommant les termes positifs à partir de là où on s'était arrêté, puis les termes négatifs, etc.

Généralisation

Modèle:Voir Ernst Steinitz a démontré que pour toute série semi-convergente à termes dans un espace vectoriel réel de dimension finie, l'ensemble des sommes des « réarrangements » qui convergent forme un sous-espace affine de dimension non nulle.