Séries doubles réelles ou complexes

I Définition : suite double et série double

On appelle suite double, une suite indexée par deux indices 𝑛 et 𝑚 de terme général réel ou complexe
𝑈𝑛,𝑚 c’est-à-dire une fonction de ℕ2 dans ℝ ou ℂ. On définit la série double de terme général 𝑈𝑛,𝑚
comme étant la suite double de terme général 𝑆𝑁,𝑀 défini par :

𝑆𝑁,𝑀 = ∑ 𝑈𝑛,𝑚
0≤𝑛≤𝑁
0≤𝑚≤𝑀

II Convergence d’une suite double

On dit d’une suite double de terme général 𝑈𝑛,𝑚 qu’elle converge vers un réel (ou un complexe) 𝐿 si :
𝑛>𝑛
∀ 𝜀 > 0 ∶ ∃ (𝑛0 , 𝑚0 ) ∈ ℕ2 : ∀ (𝑛, 𝑚) ∈ ℕ2 ∶ {𝑚 > 𝑚0 ⇒ |𝑈𝑛,𝑚 − 𝐿| < 𝜀
0

Le réel est alors appelé somme de la série et noté

∑ 𝑈𝑛,𝑚
(𝑛,𝑚)∈ℕ2

Propriété :

Une suite double converge si et seulement si elle vérifie un critère analogue à celui de Cauchy qui est :
𝑛>𝑛
∀ 𝜀 > 0 ∶ ∃ (𝑛0 , 𝑚0 ) ∈ ℕ2 : ∀ (𝑛, 𝑚, 𝑝, 𝑞) ∈ ℕ4 ∶ {𝑚 > 𝑚0 ⇒ |𝑈𝑛+𝑝,𝑚+𝑞 − 𝑈𝑛,𝑚 | < 𝜀
0

III Convergence d’une série double

Une série double de terme général 𝑈𝑛,𝑚 est convergente si la suite double 𝑆𝑁,𝑀 associée est
convergente.

Propriété 1 :

une condition suffisante de convergente pour la série double de terme général 𝑈𝑛,𝑚 est que la série
double de terme général |𝑈𝑛,𝑚 | soit convergente. On dit alors que la série est absolument
convergente.

Propriété 2 :

Si une série double de terme général 𝑈𝑛,𝑚 est convergente, alors :

𝑀
∀ 𝑛 ∈ ℕ ∶ (∑ 𝑈𝑛,𝑚 ) 𝑐𝑜𝑛𝑣𝑒𝑟𝑔𝑒
𝑚=0 𝑀∈ℕ
𝑁
∀ 𝑚 ∈ ℕ ∶ (∑ 𝑈𝑛,𝑚 ) 𝑐𝑜𝑛𝑣𝑒𝑟𝑔𝑒
𝑛=0 𝑁∈ℕ
 𝑁 +∞
(∑ ∑ 𝑈𝑛,𝑚 ) 𝑐𝑜𝑛𝑣𝑒𝑟𝑔𝑒
𝑛=0 𝑚=0 𝑁∈ℕ
𝑀 +∞
(∑ ∑ 𝑈𝑛,𝑚 ) 𝑐𝑜𝑛𝑣𝑒𝑟𝑔𝑒
𝑚=0 𝑛=0 𝑀∈ℕ

𝑁 𝑛
(∑ ∑ 𝑈𝑝,𝑛−𝑝 ) 𝑐𝑜𝑛𝑣𝑒𝑟𝑔𝑒
𝑛=0 𝑝=0 𝑁∈ℕ

Et :
+∞ +∞ +∞ +∞ +∞ 𝑛
∑ 𝑈𝑛,𝑚 = ∑ ∑ 𝑈𝑛,𝑚 = ∑ ∑ 𝑈𝑛,𝑚 = ∑ ∑ 𝑈𝑝,𝑛−𝑝
𝑛=0 𝑚=0 𝑚=0 𝑛=0 𝑛=0 𝑝=0
(𝑛,𝑚)∈ℕ2

Mais ce n’est pas parce que l’une des trois suites précédentes converge que la série double converge
comme le montre un exemple simple :

𝑈𝑛,𝑚 = 0 𝑠𝑖 𝑛 𝑚 ≠ 0 𝑜𝑢 𝑛 = 𝑚 = 0, 𝑈0,𝑚 = 1 𝑠𝑖 𝑚 > 0, 𝑈𝑛,0 = −1 𝑠𝑖 𝑛 > 0

𝑁 𝑛
∑ ∑ 𝑈𝑝,𝑛−𝑝 = 0
𝑛=0 𝑝=0

Donc la sommation en diagonales est convergente et :

+∞ 𝑛
∑ ∑ 𝑈𝑝,𝑛−𝑝 = 0
𝑛=0 𝑝=0

En revanche la série double ne converge pas car pour tout 𝑁 ∈ ℕ :

𝑁 𝑁+1
∑ ∑ 𝑈𝑛,𝑚 = 1
𝑛=0 𝑚=0

IV Cas particulier des séries doubles à termes positifs ou nuls

Soit une série double de terme général 𝑼𝒏,𝒎 . Alors cette série double converge si et seulement elle
vérifie :

∃ 𝒃 ∈ ]𝟎, +∞[ ∶ ∀ (𝑵, 𝑴) ∈ ℕ𝟐 : ∑ 𝑼𝒏,𝒎 ≤ 𝒃

𝟎≤𝒏≤𝑵
𝟎≤𝒎≤𝑴

Preuve :

(⇒) On suppose que la série double converge vers 𝐿. Supposons alors par l’absurde :

∃ (𝑁0 , 𝑀0 ) ∈ ℕ2 : ∑ 𝑈𝑛,𝑚 > 𝐿

0≤𝑛≤𝑁0
0≤𝑚≤𝑀0

Alors on aurait :
𝑁 > 𝑁0
∀ (𝑁, 𝑀) ∈ ℕ2 ∶ { ⇒ ∑ 𝑈𝑛,𝑚 ≥ ∑ 𝑈𝑛,𝑚 > 𝐿
𝑀 > 𝑀0
0≤𝑛≤𝑁 0≤𝑛≤𝑁0
0≤𝑚≤𝑀 0≤𝑚≤𝑀0
Et par passage à la limite :

𝐿≥ ∑ 𝑈𝑛,𝑚 > 𝐿
0≤𝑛≤𝑁0
0≤𝑚≤𝑀0

Ce qui est absurde. Donc :

∀ (𝑁, 𝑀) ∈ ℕ2 : ∑ 𝑈𝑛,𝑚 ≤ 𝐿
0≤𝑛≤𝑁
0≤𝑚≤𝑀

(⇐) Considérons :

𝑏 = 𝑠𝑢𝑝(𝑁,𝑀)∈ℕ2 { ∑ 𝑈𝑛,𝑚 }
0≤𝑛≤𝑁
0≤𝑚≤𝑀

Montrons que la série double converge vers 𝑏. Soit 𝜀 > 0, alors :

∃ (𝑁0 , 𝑀0 ) ∈ ℕ2 : 𝑏 − 𝜀 < ∑ 𝑈𝑛,𝑚 ≤ 𝑏

0≤𝑛≤𝑁0
0≤𝑚≤𝑀0

Et :
𝑁 > 𝑁0
∀ (𝑁, 𝑀) ∈ ℕ2 ∶ { ⇒ 𝑏−𝜀 < ∑ 𝑈𝑛,𝑚 ≤ ∑ 𝑈𝑛,𝑚 ≤ 𝑏
𝑀 > 𝑀0
0≤𝑛≤𝑁0 0≤𝑛≤𝑁
0≤𝑚≤𝑀0 0≤𝑚≤𝑀

Donc la série converge vers 𝑏.

Conséquence :

Une série double à terme positifs ou nuls converge si et seulement si une des trois suites suivantes
converge :
𝑵 +∞
(∑ ∑ 𝑼𝒏,𝒎 )
𝒏=𝟎 𝒎=𝟎 𝑵∈ℕ

𝑴 +∞
(∑ ∑ 𝑼𝒏,𝒎 )
𝒎=𝟎 𝒏=𝟎 𝑴∈ℕ

𝑵 𝒏
(∑ ∑ 𝑼𝒑,𝒏−𝒑 )
𝒏=𝟎 𝒑=𝟎 𝑵∈ℕ

Preuve :

Seule la réciproque est à démontrer :

Supposons par exemple que la première des trois suites précédentes converge. Alors on a :
 𝑁 +∞ +∞ +∞
∑ 𝑈𝑛,𝑚 ≤ ∑ ∑ 𝑈𝑛,𝑚 ≤ ∑ ∑ 𝑈𝑛,𝑚 = 𝑏
0≤𝑛≤𝑁 𝑛=0 𝑚=0 𝑛=0 𝑚=0
0≤𝑚≤𝑀

Le critère démontré précédemment s’applique.

V Quelques exemples

Exemple 1 :

On considère la fonction :
1
𝜁(𝑥) = ∑
𝑛𝑥
𝑛≥1

On rappelle que cette fonction, associée aux séries de Riemann est définie sur ]1, +∞[

On considère la fonction :
1
𝑓(𝑥) = ∑
2
(𝑛 + 𝑚 + 1)𝑥
(𝑛,𝑚)∈ℕ

Déterminer le domaine de définition de 𝑓 et exprimer 𝑓(𝑥) à partir de 𝜁(𝑥).

Réponse :

La série double est à terme positifs. Considérons donc la somme en diagonales :

𝑁 𝑛 𝑁 𝑛 1
∑ ∑ 𝑈𝑝,𝑛−𝑝 = ∑ ∑ 𝑥
𝑛=0 𝑝=0 𝑛=0 𝑝=0 (𝑝 + 𝑛 − 𝑝 + 1)

𝑁 𝑛 1 𝑁 1
=∑ ∑ 𝑥
= ∑ (𝑛 + 1)
𝑛=0 𝑝=0 (𝑛 + 1) 𝑛=0 (𝑛 + 1)𝑥
𝑁 1 𝑁+1 1
=∑ 𝑥−1
= ∑ 𝑥−1
𝑛=0 (𝑛 + 1) 𝑛=1 𝑛

Cette série converge si et seulement si 𝑥 − 1 > 1 soit 𝑥 > 2

𝑓 est donc définie sur ]2, +∞[ et :

+∞ 1
𝑓(𝑥) = ∑ 𝑥−1
= 𝜁(𝑥 − 1)
𝑛=1 𝑛

Exemple 2 :

Soit la série double, pour 𝑧 ∈ ℂ tel que |𝑧| < 2 :

𝑧𝑛
∑
𝑚𝑛
𝑛≥2
𝑚≥2

Montrer qu’elle est convergente

Réponse :

On va montrer qu’elle est absolument convergente en partant de :

𝑛
|𝑧|𝑛 𝑁 𝑀 |𝑧|
∑ = ∑ ∑ ( )
𝑚𝑛 𝑛=2 𝑚=2 𝑚
2≤𝑛≤𝑁
2≤𝑚≤𝑀

Cette série double est à termes positifs et est majorée par :

𝑛 2 2
𝑀 |𝑧|
+∞ 𝑀 |𝑧| 1 𝑀 |𝑧| 1
∑ ∑ ( ) =∑ ( ) =∑ ( )
𝑚=2 𝑛=2 𝑚 𝑚=2 𝑚 |𝑧| 𝑚=2 𝑚 |𝑧|
1− 𝑚 1− 𝑚

𝑀 |𝑧|2
=∑
𝑚=2 𝑚 (𝑚 − |𝑧|)

Or, le terme général de cette série est :

|𝑧|2 |𝑧|2
~ 2
𝑚 (𝑚 − |𝑧|) 𝑚
Donc la série converge et est donc majorée. On en déduit que la série double initiale converge et :
𝑛
𝑧𝑛 +∞ +∞ |𝑧| +∞ 𝑧2
∑ = ∑ ∑ ( ) = ∑
𝑚𝑛 𝑚=2 𝑛=2 𝑚 𝑚=2 𝑚 (𝑚 − 𝑧)
2≤𝑛≤𝑁
2≤𝑚≤𝑀

Exemple 3 :

Soit la série double à termes postifs :

1 1 1 1 1
∑ (∑ − 1) = ∑ ∑ 𝑛 = ∑ ∑ 𝑛 = ∑ 2
𝑚 𝑛 𝑚 𝑚 𝑚 1− 1
𝑛≥2 𝑚≥1 𝑛≥2 𝑚≥2 𝑚≥2 𝑛≥2 𝑚≥2 𝑚
1 1 1
=∑ =∑ ( − )=1
𝑚 (𝑚 − 1) 𝑚−1 𝑚
𝑚≥2 𝑚≥2

Exemple 4 :

Soit la série double de terme général :

𝑝𝑞 (𝑝 + 1)𝑞
𝑈𝑝,𝑞 = − 𝑠𝑖 𝑝 𝑞 ≠ 0, 0 𝑠𝑖𝑛𝑜𝑛
(𝑝 + 1)𝑞+1 (𝑝 + 2)𝑞+1
Cette série converge-t-elle ?

Calculons :
+∞ +∞ 𝑝𝑞 (𝑝 + 1)𝑞
∑ ∑ ( − )
𝑝=1 𝑞=1 (𝑝 + 1)𝑞+1 (𝑝 + 2)𝑞+1
+∞ +∞ 1 𝑝 𝑞 +∞ 1 𝑝+1 𝑞
=∑ (∑ ( ) −∑ ( ) )
𝑝=1 𝑞=1 𝑝 + 1 𝑝 + 1 𝑞=1 𝑝 + 2 𝑝 + 2
 +∞ 1 𝑝 1 1 𝑝+1 1
=∑ ( 𝑝 − )
𝑝=1 𝑝 + 1𝑝 +11 − 𝑝 +2𝑝 + 21 − 𝑝 + 1
𝑝+1 𝑝+2
+∞ 𝑝 𝑝+1
=∑ ( − )
𝑝=1 𝑝+1 𝑝+2
+∞ 𝑝 (𝑝 + 2) − (𝑝 + 1)2
=∑ ( )
𝑝=1 (𝑝 + 1) (𝑝 + 2)
+∞ 1 1 1
=∑ ( − )=−
𝑝=1 𝑝+2 𝑝+1 2

Puis :
+∞ +∞ 𝑝𝑞 (𝑝 + 1)𝑞
∑ ∑ ( − )
𝑞=1 𝑝=1 (𝑝 + 1)𝑞+1 (𝑝 + 2)𝑞+1
+∞ 1 1 1 1
=∑ = =
𝑞=1 2𝑞+1 2
2 1− 1 2
2
Les deux sommes ayant des valeurs différentes, la série double n’est pas convergente.