3.

Compléments sur les séries numériques

Dans tout le chapitre, K = R ou C et “positif” est à prendre au sens large.

I - Séries alternées
1) Définition
On appelle série alternée toute série de la forme (−1)n an où les an sont des réels de même signe.

2) Condition suffisante de convergence (théorème spécial des séries alternées)

Soit un une série alternée dont la valeur absolue du terme général décroît et tend vers 0.
∞
Alors un converge. De plus, pour tout p dans N, le reste Rp = un est du signe du “premier
n=p+1
terme négligé” up+1 et majoré en valeur absolue par ce même terme :
|Rp | ≤ |up+1 |

Dém. (idée : les suites (S2q ) et (S2q+1 ) sont adjacentes).

Quitte à remplacer un par −un , je peux supposer que : ∀n ∈ N un = (−1)n an où an = |un | décroît
et tend vers 0. En notant (Sp ) la suite des sommes partielles, j’ai
∀p ∈ N Sp+2 = Sp + (−1)p+1 ap+1 + (−1)p+2 ap+2 = Sp + (−1)p+1 (ap+1 − ap+2 ) et ap+1 − ap+2 ≥ 0
donc la suite (S2q ) est décroissante tandis que (S2q+1 ) est croissante. De plus :
S2q+1 − S2q = −a2q+1 −→ 0
q→∞
par conséquent les suites (S2q ) et (S2q+1 ) sont adjacentes : elles convergent vers une même limite S et
donc (Sp ) converge également vers S, d’où la convergence de la série un , avec en outre :
∀q ∈ N S2q+1 ≤ S ≤ S2q d’où S2q+1 − S2q ≤ S − S2q ≤ 0
soit : −a2q+1 ≤ R2q ≤ 0 d’où |R2q | ≤ a2q+1 = |u2q+1 |.
De même : ∀q ∈ N S2q+1 ≤ S ≤ S2q+2 d’où 0 ≤ S − S2q+1 ≤ S2q+2 − S2q+1
soit : 0 ≤ R2q+1 ≤ a2q+2 d’où |R2q+1 | ≤ a2q+2 = |u2q+2 |
et finalement :
∀p ∈ N |Rp | ≤ |up+1 | .
NB : si un est une série alternée vérifiant les hypothèses du TSSA,
n≥n0
alors la somme S est du signe du premier terme un0 . En effet,
S = un0 + Rn0 avec |Rn0 | ≤ |un0 +1 | ≤ |un0 | .
Plus généralement, chaque somme partielle Sp est du même signe que la somme S de la série.
(−1)n−1
Exemple : pour tout α > 0, la série alternée converge, car elle vérifie les hypothèses du
nα
n≥1
TSSA. Noter que, pour α > 1, cette série est absolument convergente, tandis que, pour 0 < α ≤ 1, elle
est semi-convergente (cf. les séries de Riemann). Remarquer que, pour α > 1, la majoration du reste
fournie par le TSSA est meilleure que celle obtenue par comparaison à une intégrale de la série des
valeurs absolues.
Les quatre sommes : pour α > 1, compte tenu des résultats sur les séries de Riemann, nous disposons
des sommes suivantes (les quatre séries sont absolument convergentes).
∞ ∞ ∞ ∞ ∞
1 (−1)n−1 1 1 1
A= ; B= ; C= = ; D= .
n α nα (2k − 1)α (2k + 1)α (2k)α
n=1 n=1 k=1 k=0 k=1
Il faut savoir que, dès que l’on connaît une seule de ces quatre sommes, on en déduit les trois autres !
En effet nous avons immédiatement les relations :
1
D = α A (banal !)
2
A = C + D et B = C − D (séparer les termes de rangs pair et impair)
3. Compléments sur les séries numériques Page 2

Il en résulte
1 1
C = 1− α
A et B = A − 2D = 1 − α−1 A,
2 2
ce qui permet toutes les “transitions”.
Ces remarques sont utiles dès que l’on est en mesure de calculer l’une desdites sommes. On en déduit
alors les trois autres !
Enfin, il est bon de comprendre que l’expression de B permet de profiter de la majoration du reste
fournie par le TSSA : voir au chapitre 5 l’étude du comportement de la fonction ζ de Riemann au
voisinage de 1.

II - Séries à termes réels positifs

1) Condition nécessaire et suffisante de convergence
Soit (un ) ∈ RN , telle que un ≥ 0 à partir d’un certain rang n0 .
un converge si et seulement si la suite (Sp ) des sommes partielles est majorée. Sinon Sp −→ +∞.
p→∞

(En effet, (Sp )p≥n0 est croissante.)

2) Utilisation des relations de comparaison

Propriété 1 : soient (un ) et (vn ) à termes réels positifs à partir d’un certain rang, telles que
un = O (vn ) (c’est le cas en particulier lorsque un ≤ vn à partir d’un certain rang)
∗ si vn converge, alors un converge ;
∗ si un diverge, alors vn diverge.
Propriété 2 : soient (un ) et (vn ) telles que un ∼ vn et de signe constant à partir d’un certain rang.
un et vn sont de même nature.

NB : deux suites équivalentes sont de même signe à partir d’un certain rang ; il suffit de connaître le
signe de l’une des deux suites équivalentes.

Attention ! Ces propriétés peuvent être en défaut lorsque un et vn ne sont pas de signe constant.

(−1)n (−1)n
Exemple : soit un = √ ; un est une série alternée, un ∼ vn où vn = √ ;
n − (−1)n n
n≥1
vn vérifie les hypothèses du TSSA et donc converge et pourtant. . . un diverge ! En effet :
1 1
un = vn + wn où wn = un − vn = √ √ n ∼
n ( n − (−1) ) n
1
donc wn diverge (appliquer la propriété 2 à wn ∼ , de signe constant) ; ainsi un diverge.
n
Comparaison à une série de Riemann
Lorsqu’un équivalent “simple” de un n’apparaît pas, mais que un tend “suffisamment vite” vers 0,
penser à étudier nα un avec α convenablement choisi. . .
En effet, s’il existe α > 1 tel que la suite (nα un ) soit bornée (en particulier si elle converge vers 0), alors
1
un est absolument convergente (en effet |un | = O ).
nα
Par exemple, pour tout s > 0, e−n converge.
s
3. Compléments sur les séries numériques Page 3
√ n n
Formule de Stirling : n! ∼ 2πn .
e
1√ n n
Dém. (non exigible) Soit un = n ; pour montrer que la suite (un ) converge, je montre que la
n! e
suite (ln un ) converge, en montrant que la série vn converge, où :
(n + 1)n+1/2 1 1 1 1
vn = ln un+1 − ln un = ln · = n+ ln 1 + −1 = O ;
nn+1/2 e 2 n n2
ainsi la suite (ln un ) converge vers un réel ℓ ; donc, par continuité de la fonction exponentielle, (un )
converge vers L = eℓ > 0 ; par conséquent :
1√ n n
n! ∼ n .
L e
√
On peut montrer que L = 1/ 2π, par exemple à l’aide des intégrales de Wallis. Posons pour n ∈ N
π/2
Wn = cosn tdt.
0
Une intégration par parties suivie d’une récurrence donne :
n−1 (2n)! π
∀n ≥ 2 Wn = Wn−2 d’où ∀n ∈ N W2n = .
n (2n n!)2 2
Par ailleurs, la suite (Wn ) est décroissante ; comme Wn ∼ Wn−2 , il en résulte que Wn ∼ Wn−1 .
Enfin, la suite (nWn Wn−1 ) est constante, d’où
π
Wn ∼ .
2n
On en déduit la valeur de L.

3) Règle de d’Alembert
un+1
Propriété : soit (un ) à termes > 0 à partir d’un certain rang, telle que lim = ℓ ∈ R+ ∪ {+∞}
n→∞ un

• si ℓ < 1, alors un converge ;

• si ℓ > 1, alors un diverge ;
• si ℓ = 1 : cas douteux de la règle de d’Alembert (cf. les séries de Riemann).
un+1
Dém. Si ℓ < 1, je fixe r tel que ℓ < r < 1 ; alors, à partir d’un certain rang, ≤ r d’où n0 tel que
un
un u
la suite soit décroissante et donc (récurrence immédiate) : ∀n ≥ n0 0 < un ≤ rnn00 · rn .
rn n≥n0
Ainsi un = O (rn ).
J’en déduis la convergence de un par comparaison à la série géométrique convergente rn .
Même méthode pour ℓ > 1.
NB : cette méthode est un cas particulier de comparaison logarithmique ; la version générale (hors
programme, mais classique !) est la suivante :
un+1 vn+1
si (un ) et (vn ) sont deux suites à termes > 0 à partir d’un certain rang, telles que ≤ ,
un vn
toujours à partir d’un certain rang, alors un = O (vn ).

Série exponentielle :
∞
zn zn
Pour tout complexe z, la série est absolument convergente, sa somme est : ez = .
n! n!
n=0
zn
Dém. Pour z = 0, en posant un = , j’ai
n!
|un+1 | |z|
= −→ 0 < 1.
|un | n + 1 n→∞
La règle de d’Alembert s’applique à |un | et prouve la convergence absolue.
3. Compléments sur les séries numériques Page 4

4) Comparaison à une intégrale

Théorème : soient n0 ∈ N∗ et f une application continue par morceaux sur [n0 , +∞[, à valeurs réelles,
positive et décroissante.
n
La série de terme général wn = f (t) dt − f (n) est convergente, à termes positifs.
n−1
La série f (n) converge si et seulement si f est intégrable sur [n0 , +∞[ (i.e. si et
n≥n0
X
seulement si f (t) dt admet une limite réelle lorsque X tend vers +∞, cf. chapitre 7).
n0

Application (hors programme mais classique !)

Avec les mêmes hypothèses, en cas de divergence, on a deux infiniments grands équivalents
p p
f (n) ∼ f (t) dt.
p→∞ n0
n=n0
n
NB : 1) La relation wn = [f (t) − f (n)] dt permet d’encadrer wn (un encadrement analogue peut
n−1
être obtenu lorsque f est croissante).
2) Avec les notations précédentes, si en outre f est de classe C 1 , j’obtiens en intégrant par parties
n n
t=n
wn = [f (t) − f (n)] dt = (t − n + 1) f (t) − f (n) t=n−1
− (t − n + 1) f ′ (t) dt,
n−1 n−1
soit n
wn = − (t − n + 1) f ′ (t) dt.
n−1
Dém. (du théorème) Soit n > n0 ; comme f est décroissante, j’ai
∀t ∈ [n − 1, n] f (n) ≤ f (t) ≤ f (n − 1)
d’où, en intégrant sur [n − 1, n] :
n
f (n) ≤ f (t) dt ≤ f (n − 1)
n−1
et en retranchant f (n), j’obtiens :
0 ≤ wn ≤ f (n − 1) − f (n)
puis, pour p > n0 , en sommant,
p
0≤ wn ≤ f (n0 ) − f (p) ≤ f (n0 ) .
n=n0 +1
Ainsi, la série wn est bien à termes dans R+ et ses sommes partielles sont majorées, donc elle
n>n0
converge. Or, grâce à la relation de Chasles,
p p p
wn = f (t) dt − f (n)
n=n0 +1 n0 n=n0 +1
d’où, en reprenant l’encadrement précédent :
p p p
f (n) ≤ f (t) dt ≤ f (n) .
n=n0 +1 n0 n=n0
p X
Comme la suite p → f (n) et la fonction X → f (t) dt sont croissantes, le résultat annoncé
n=n0 +1 n0
en découle. p
p
Enfin, dans le cas où f (n) et f (t) dt ont pour limite +∞, ce sont deux infiniment grands
n=n0 +1 n0
équivalents, puisque leur différence est bornée.
3. Compléments sur les séries numériques Page 5

Exemples :
1
1) Séries de Riemann (rappel) : pour α > 0, le théorème précédent s’applique à f : t → sur [1, +∞[
tα
1
2) Séries de Bertrand (classique mais hors programme !) : nature de un où un = ?
nα (ln n)β

1
3) Constante d’Euler : avec f : t → , je retrouve
t
n n
1 1
− ln n −→ γ ; en particulier ∼ ln n
k n→∞ k
k=1 k=1
et ici, pour n ≥ 2,
n n ∞
t−n+1 dt 1
wn = dt ≤ d’où wn ≤ .
n−1 t2 n−1 t2 n=p+1
p
(on a γ ≈ 0, 577 ; on ne sait toujours pas si γ est un nombre rationnel ou pas. . . )

4) Formule de Stirling (deuxième version) : avec f : t → − ln t, j’obtiens avec une deuxième intégration
par parties
n n n n
t−n+1 1 t − n + 1/2
wn = (− ln t) dt + ln n = dt = dt + dt
n−1 n−1 t n−1 2t n−1 t
n t=n
1 t2 − (2n − 1) t + n (n − 1) (t − n + 1) (t − n)
= ln n − ln (n − 1) + + dt
2 2t t=n−1 n−1 2t2
1
= ln n − ln (n − 1) − δ n
2
n
(n − t) (1 − (n − t))
où δ n = dt vérifie
n−1 2t2
1 n dt 1
0 ≤ δn ≤ 2
(cf. ∀x ∈ [0, 1] x (1 − x) ≤ ) ;
8 n−1 t 4
il en résulte que la série δ n converge, or pour p ≥ 2
p p p
1
wn = ln p! − ln tdt = ln p − δn
n=2 1 2 n=2
donc la suite de terme général
p
1 1
ln p! − ln tdt − ln p = ln p! − p + ln p + p − 1
1 2 2
converge. Je retrouve ainsi l’existence de ℓ dans R+∗ tel que
p! ∼ ℓ · pp+1/2 e−p .

III - Produit de Cauchy de deux séries de nombres complexes

1) Définition
Étant données deux séries un et vn à termes complexes, on appelle produit de Cauchy de ces
n≥0 n≥0
deux séries, la série wn où
n≥0
n n
∀n ∈ N wn = up vq = un−q vq = up vn−p .
p+q=n q=0 p=0
3. Compléments sur les séries numériques Page 6

2) Produit de Cauchy de deux séries absolument convergentes

Théorème : si un et vn sont absolument convergentes,
alors wn est absolument convergente et
∞ ∞ ∞
wn = un · vn
n=0 n=0 n=0
Attention ! Tout doit être indexé à partir de 0.
∞ ∞ 1
Exemple : si |z| < 1, nz n−1 = (n + 1) z n = (avec un = vn = z n . . . ).
n=1 n=0 (1 − z)2
Attention ! Ce résultat peut être en défaut en cas de semi-convergence :
n
(−1)n 1
avec un = vn = √ , j’ai wn = (−1)n √ √
n+1 p=0
p+1 n−p+1
or
(n + 2)2
∀p ∈ {0, . . . , n} (p + 1) n + 2 − (p + 1) ≤
4
d’où
n
1 2
√ √ ≥ (n + 1)
p=0
p+1 n−p+1 n+2
et donc wn diverge grossièrement.
Dém. du théorème Je pose
n n n
Un = uk , Vn = vk , Wn = wk , Cn = [[0, n]]2 , Tn = (p, q) ∈ N2 / p + q ≤ n
k=0 k=0 k=0
et j’ai  
n
Wn =  up vq  = up vq ; Un Vn = up vq .
k=0 p+q=k (p,q)∈Tn (p,q)∈Cn

Premier cas : un et vn sont à termes dans R+ .

Alors, en posant m = E (n/2), j’ai Cm ⊂ Tn ⊂ Cn , d’où Um Vm ≤ Wn ≤ Un Vn et le théorème
d’encadrement permet de conclure.
Cas général : je pose de même
n n n
u′n = |un | , vn′ = |vn | , wn′ = u′p vq′ , Un′ = u′k , Vn′ = vk′ , Wn′ = wk′ ;
p+q=n k=0 k=0 k=0
le premier cas montre que wn′ converge et a pour somme lim (Un Vn′ ),
′ ce qui me donne dans un
n→∞
premier temps la convergence absolue de wn , puisque
|wn | ≤ u′p vq′ = wn′ ;
p+q=n
de plus,

|Un Vn − Wn | = up vq ≤ u′p vq′ = Un′ Vn′ − Wn′ −→ 0

n→∞
(p,q)∈Cn \Tn (p,q)∈Cn \Tn
d’où le résultat.

3) Applications à la série exponentielle

∀ z, z ′ ∈ C2 ez+z = ez × ez , ∀z ∈ C ez = ez eiθ = 1.
′ ′
et ∀θ ∈ R

NB : la “vraie” définition des fonctions cos et sin utilise ce qui précède ;

∀θ ∈ R cos θ = Re eiθ et sin θ = Im eiθ .
3. Compléments sur les séries numériques Page 7

IV - Compléments hors programme

1) Sommation des relations de comparaison

a) Comparaison des sommes partielles en cas de divergence
Ici an est une série à termes réels positifs divergente.
p p
• si un est une série à termes complexes telle que un = O (an ), alors un = O an
n=0 n=0
p p
• si un est une série à termes complexes telle que un = o (an ), alors un = o an
n=0 n=0

• si bn est une série à termes réels positifs telle que an ∼ bn , alors bn diverge également et
p p
an ∼ bn .
n=0 n=0

b) Comparaison des restes en cas de convergence

Ici an est une série à termes réels positifs convergente.
 
∞ ∞
• si un est une série à termes complexes telle que un = O (an ), alors un = O  an 
n=p+1 n=p+1
 
∞ ∞
• si un est une série à termes complexes telle que un = o (an ), alors un = o  an 
n=p+1 n=p+1

• si bn est une série à termes réels positifs telle que an ∼ bn , alors bn converge également et
∞ ∞
an ∼ bn .
n=p+1 n=p+1

c) Exemples d’utilisation (très classiques !)

Théorème de Cesàro (convergence en moyenne)
Soit (un ) une suite complexe convergeant vers ℓ et (αn ) une suite de réels positifs tels que αn diverge.
 p 
α u
 n=0 n n 
Alors la suite des moyennes pondérées  p
 converge également vers ℓ.

αn
n=0

1 p
En particulier (avec αn = 1 pour tout n), un converge vers ℓ.
p n=1
Constante d’Euler
1
On s’intéresse à la série harmonique (divergente !) et l’on écrit (habilement)
n
1 1
∼ − ln 1 − = ln n − ln (n − 1) (pour n ≥ 2).
n n
Les sommes partielles sont donc des infiniment grand équivalents :
p p
1 1
∼ ln p d’où ∼ ln p.
n n
n=2 n=1
On peut préciser la différence :
p p
1 1 1 1
− ln p = 1 + an où an = + ln 1 − ∼− .
n n n 2n2
n=1 n=2
Par comparaison à une série de Riemann, an converge. . .
3. Compléments sur les séries numériques Page 8

2) Suites de Cauchy — Transformation d’Abel

a) Suites de Cauchy

Définition : une suite complexe (un )n∈N est dite de Cauchy si et seulement si
∀ε > 0 ∃N ∈ N ∀n ≥ N |un − uN | ≤ ε.
Il est clair que toute suite convergente est de Cauchy, mais la réciproque est fausse dans certains espaces
métriques (par exemple dans Q). Cependant elle est vraie dans R, dans C et plus généralement dans
tout espace vectoriel normé de dimension finie.
Pour le prouver, on peut établir successivement les résultats suivants :
• de toute suite réelle on peut extraire une suite monotone
• de toute suite réelle bornée on peut extraire une suite convergente (théorème de Bolzano-Weierstrass)
• de toute suite complexe bornée on peut extraire une suite convergente
• toute suite de Cauchy est bornée
• toute suite de Cauchy admettant une sous-suite convergente converge.

b) Transformation d’Abel
Soient (λn ), (bn ) deux suites de complexes. On pose :
n
∀n ∈ N an = λn bn et Bn = bk .
k=0
Établir, pour n ∈ N et p ∈ N∗ ,
p p
an+k = (λn+k − λn+k+1 ) Bn+k − λn+1 Bn + λn+p+1 Bn+p .
k=1 k=1

NB : le lecteur notera l’analogie avec une intégration par parties. . .

En déduire que, si la suite (Bn ) est bornée et si (λn ) est une suite réelle décroissante de limite nulle,
alors la série an est convergente (montrer que la suite des sommes partielles est de Cauchy !).
Exemples
1) Retrouver ainsi le théorème spécial des séries alternées.
eint
2) Montrer la convergence de la série , où α ∈ R+∗ et t ∈ R\2πZ.
nα