Certaines séries très particulières ont un terme général tel que le signe d’un terme est opposé au signe du terme suivant; on appelle ces séries alternées. Sous certaines conditions additionnelles, on peut garantir que ces séries convergent:
Animation explicative
Théorème 5.3.
(Critère de Leibniz pour les séries alternées) Soit an=(−1)nxn, où
xn⩾0,
xn est décroissante, et
xn→0.
Alors ∑n⩾0an=x0−x1+x2−x3+x4−⋯ converge.
Proof
Soit (xn)n⩾0 une suite positive décroissante et soit sn la suite des sommes partielles associée à la série ∑n⩾0(−1)nxn: s0s1s2s3=x0=x0−x1=x0−x1+x2=x0−x1+x2−x3… Remarquons (voir l’image ci-dessus) que s1⩽s3⩽s5⩽⋯s6⩽s4⩽s2⩽s0 Considérons donc les sous-suites s2k et s2k+1. Puisque (s2k) est décroissante et minorée par s1, la limite spairs=k→∞lims2kexiste. Puisque (s2k+1) est croissante et majorée par s2, la limite simpairs=k→∞lims2k+1existe. Mais comme ∣s2k+1−s2k∣=∣x2k+1∣→0, on a spairs=simpairs.
□
Exemple 5.11.
La série harmonique alternée est définie par n⩾1∑n(−1)n+1=1−21+31−41+51−⋯ Elle s’obtient simplement en changeant le signe de tous les indices pairs de la série harmonique. Comme on peut écrire cette série sous la forme n⩾1∑n(−1)n+1=−n⩾1∑(−1)nxn, où xn=n1 est positif, décroissant, et tend vers zéro, on conclut par le théorème du dessus qu’elle converge. (On verra plus tard que sa somme vaut log(2)).
Exemple 5.12.
Considérons la série n⩾0∑n+1sin(n2π) Puisque sin(n2π)=0 dès que n est pair, cette série est en fait n⩾0∑n+1sin(n2π)=k⩾0∑2k+2sin((2k+1)2π) Mais maintenant, sin((2k+1)2π)=(−1)k, et donc n⩾0∑n+1sin(n2π)=k⩾0∑2k+2(−1)k Puisque xk:=2k+21 est positif, décroissant, et tend vers zéro, cette série converge.
Quiz 5.4.1.Parmi les séries ci-dessous, lesquelles ont une structure de série alternée? (Plus précisément: quelles sont celles qui peuvent être exprimées comme une série qui satisfait aux hypothèses du critère de Leibniz, et donc qui convergent?)