Séries

Méthode 1 : Montrer qu’un ensemble est dénombrable

• Utiliser la définition :

Un ensemble est dénombrable s’il est en bijection avec $\mathbb N$.

Théorème : Un ensemble est fini ou dénombrable si et seulement s’il est en bijection avec une partie de $\mathbb N$.

Un tel ensemble est dit au plus dénombrable.

• Utiliser des opérations
• Identifier des ensembles dénombrables connus

Théorème :

• Un produit cartésien fini d’ensembles dénombrables est dénombrable.
• Une réunion finie ou dénombrable d’ensembles finis ou dénombrables est finie ou dénombrable.

Les parties infinies de $\mathbb N$ sont dénombrables.

Les ensembles $\mathbb N^p$ ($p\in\mathbb N*$), $\mathbb Z$, $\mathbb Q$ sont dénombrables.

Attention, l’ensemble $\mathbb R$ n’est pas dénombrable.

Méthode 2 : Étudier la convergence d’une série numérique

• Utiliser la définition :

Définition :

Une série $\displaystyle\sum u_{\rm n}$ converge si la suite de ses sommes partielles $\displaystyle\mathrm{(S_n)_{n\in\mathbb N}}$ avec $\displaystyle \mathrm{S_n=\sum_{k=0}^n} u_{\rm k}$ converge. 

On note $\mathrm{\displaystyle \sum_{k=0}^{+\infty}}u_{\mathrm k}$ $\displaystyle =\lim_{\rm n\to +\infty}\displaystyle\sum_{\mathrm k=0}^{\mathrm n}u_{\rm k}$.

Théorème :

Si la série $\displaystyle\sum u_{\rm n}$ converge, alors la suite $\displaystyle(u_{\rm n})_{\rm n}$ tend vers $0$.

Remarque :

Si $(u_{\rm n})_{\rm n}$ ne tend pas vers $0$, on dit que la série $\displaystyle\sum u_{\rm n}$ diverge grossièrement.

• Utiliser des opérations :

Théorème :

Soient $\displaystyle\sum u_{\rm n}$ et $\displaystyle\sum v_{\rm n}$ deux séries convergentes et $\mathrm{\lambda \in \mathbb K}$.
Alors $\displaystyle\sum \lambda u_{\rm n}$ et $\displaystyle\sum u_{\mathrm n}+v_{\mathrm n}$ sont des séries convergentes.

Théorème :

Soit $\displaystyle\sum z_{\rm n}$ une série complexe.
Si $\displaystyle\sum z_{\rm n}$ converge, alors $\displaystyle\sum \overline{z_{\rm n}}$ converge.

• Cas des séries à termes positifs :

Théorème :

Soient $\displaystyle\sum u_{\rm n}$ et $\displaystyle\sum v_{\rm n}$ deux séries à termes positifs telles que pour tout $\displaystyle\mathrm n\in\mathbb N$, $u_{\mathrm n} \leq v_{\mathrm n}$.

1. Si $\displaystyle\sum v_{\rm n}$ converge, alors $\displaystyle\sum u_{\rm n}$ converge.
2. Si $\displaystyle\sum u_{\rm n}$ diverge, alors $\displaystyle\sum v_{\rm n}$ diverge.

Théorème :

Soient $\displaystyle\sum u_{\rm n}$ et $\displaystyle\sum v_{\rm n}$ deux séries à termes positifs.
Si $\displaystyle u_{\mathrm n} \sim v_{\mathrm n}$, alors les séries $\displaystyle\sum u_{\rm n}$ et $\displaystyle\sum v_{\rm n}$ ont même nature.

Définition :

Soit $(u_{\rm n})$ une suite réelle ou complexe.
$\displaystyle\sum u_{\rm n}$ converge absolument si $\displaystyle\sum |u_{\rm n}|$ converge.

Théorème :

Si $\displaystyle\sum u_{\rm n}$ converge absolument, alors la série converge.

• Utiliser des séries de références :

Théorème (séries de Riemann) :

$\mathrm{\displaystyle \sum_{n\geq 1}\frac{1}{n^{\alpha}}}$ converge si et seulement si $\alpha >1$.

Théorème (séries géométriques) :

Soit $\mathrm{q\in\mathbb C}$.

1. Si $\rm |q|\geq 1$, alors $\displaystyle\rm \sum q^n$ diverge grossièrement.
2. Si $\rm |q|\ < 1$, alors $\displaystyle\rm \sum q^n$ converge absolument et $\displaystyle\rm \sum_{n=0}^{+\infty}q^n=\frac{1}{1-q}$

• Règle de d’Alembert :

Soit $\displaystyle \sum u_{\rm n}$ une série de termes non nuls.
On suppose que $\displaystyle \left|\frac{u_{\mathrm n+1}}{u_\rm n}\right|\to \rm I$ avec $\rm I\in\mathbb R^+ \cup \{+\infty\}$.
Si $\mathrm{I>1}$, $\displaystyle\sum u_{\rm n}$ diverge grossièrement.
Si $\mathrm{I=1}$, on ne peut rien conclure.
Si $\mathrm{I<1}$, $\displaystyle\sum u_{\rm n}$ converge absolument.

• Identifier une série alternée :

Définition :

Une série $\displaystyle\sum u_{\rm n}$ est alternée si pour tout $\mathrm{n\in\mathbb N}$, $u_{\rm n}=(-1)^n$ $|u_{\rm n}|$ ou $u_{\rm n}=(-1)^{\rm n+1}$ $|u_{\rm n}|$.

Théorème (critère spécial des séries alternées) :

Soit $\displaystyle\sum u_{\rm n}$ une série alternée.
Si $\left(|u_{\rm n}|\right)_{n\geq 0}$ est une série décroissante tendant vers $0$, alors $\displaystyle\sum u_{\rm n}$ converge.
De plus, le reste $\mathrm{R_n} =\displaystyle \sum_{\mathrm{k=n+1}}^{+\infty} u_{\rm k}$ est du signe de $u_{\rm n+1}$ et $\mathrm{|R_n|}\leq |u_{\rm n+1}|$.

• Utiliser le lien suite et série :

Théorème :

La suite $(u_{\rm n})$ et la série $\displaystyle\sum (u_{\mathrm n+1}-u_{\mathrm n})$ sont de même nature.

Méthode 3 : Comparer série et intégrale

Théorème :

Soit $f :[0~;+\infty[ \to \mathbb R$ continue par morceaux, décroissante et positive.
La série de terme général $\displaystyle w_{\rm n}=\int_{n-1}^{\rm n}$ $f(\mathrm{t)dt}-f(\rm n)$ est convergente.

Corollaire :

Sous les mêmes hypothèses, $\displaystyle\sum f_{\rm n}$ et $\displaystyle\int_0^{+\infty}f(\rm t)dt$ sont de même nature.

Méthode 4 : Étudier la convergence d’une série d’éléments d’un espace normé

Remarque :

Les séries numériques sont un cas particulier des séries d’éléments d’un espace normé.
Soit $\mathrm{(u_n)}$ suite d’éléments de l’espace normé $\mathrm{\left(E,\|\cdot\|\right)}$.

Définition :

La série $\displaystyle\sum u_{\rm n}$ converge si la suite de ses sommes partielles $\mathrm{(S_n)_{n\in\mathbb N}}$ avec $\displaystyle\mathrm{S_n}=\sum_{\mathrm k=0}^\mathrm n u_{\rm k}$ converge.
On note $\displaystyle \sum_{\mathrm k=0}^{+\infty}u_{\rm k}$ $\displaystyle=\lim_{\mathrm n\to +\infty}\sum_{\mathrm k=0}^{\mathrm n}u_{\rm k}$.

Définition :

La série $\displaystyle\sum u_{\rm n}$ d’éléments de $\mathrm{E}$ converge absolument si $\displaystyle\sum \left\|u_\rm n\right\|$ converge.

Théorème :

Si $\mathrm{E}$ est de dimension finie, si $\displaystyle\sum u_{\rm n}$ converge absolument alors $\displaystyle\sum u_{\rm n}$ converge.