On a vu que dans le cas de séries à termes positifs, on pouvait permuter
les termes autant qu'on le souhaitait sans changer la convergence de la
série; dans le cas général ce n'est pas vrai (considérer
par exemple, ou bien la série de terme général
, que l'on peut faire tendre vers n'importe quelle limite réelle en changeant l'ordre des termes).
On a toutefois des résultats partiels:
Théorème
On considère une suite à valeurs dans
ou
.
Soit une application strictement croissante de
dans
avec .
On définit
(ceux qui n'ont pas compris pourquoi on appelait cette série "Tranche" sont priés de relire soigneusement cette ligne).
On définit
.
On suppose que
tend vers 0.
Alors la série de terme général converge si et seulement si la série de terme général converge, et si elles convergent elles ont même somme.
Peu importe le caractère convergent de la série de terme général
!
Démonstration:
Pas dur... On associe à tout la somme partielle d'ordre , on montre que cette suite converge (c'est en fait l'hypothèse), et on montre en utilisant la seconde hypothèse que la différence entre (la somme partielle d'ordre ) et
, avec maximal tel que
, est petite pour grand... Dans le cas d'une série à termes positifs, on n'a pas besoin de l'hypothèse
"
tend vers 0".
Application possible : règle de la loupe.
Proposition [Règle de la loupe]
Soit une suite décroissante de réels ; alors les séries et
sont de même nature.
Démonstration:
Facile avec le groupement de termes;
D'où le résultat, en constatant qu'on peut grouper les termes par
, puisque l'on est dans le cas d'une série à termes positifs.
L'hypothèse de décroissance est nécéssaire, comme on peut s'en convaincre en considérant
et si
.
Application possible : série de Riemann, série de Bertrand.
Si ,
donc
converge si et seulement si
Si
, le résultat ci-dessus donne la convergence de la série si , et la divergence si ; il reste le cas limite
, dans ce cas
, dont la série converge si et seulement si .
suivant:Exponentielle d'un endomorphisme monter:Zoologie des séries précédent:Somme des inverses des
  Index
C_antonini,J-F_Quint,P_Borgnat,J_Bérard,E_Lebeau,E_Souche,A_Chateau,O_Teytaud