[http://mp.cpgedupuydelome.

fr] édité le 9 mai 2017 Enoncés 1

Familles sommables (c) On peut alors construire une suite (xn )n∈N d'éléments de [0 ; 1] vériant
n

Ensemble dénombrable
[ 1 1
∀n ∈ N, xn ∈
/ [uk − ; uk + ]
2k+2 2k+2
k=0

Exercice 1 [ 00245 ] [Correction] Justier qu'on peut extraire la suite (xn )n∈N une suite convergeant vers un
Existe-t-il une fonction continue f de R dans R envoyant les rationnels dans les élément ` de [0 ; 1].
irrationnels et les irrationnels dans les rationnels ? (d) Exploiter les idées précédentes pour établir que [0 ; 1] n'est pas dénombrable.

Exercice 2 [ 04005 ] [Correction]

On souhaite établir que l'ensemble ℘(N) des parties de N n'est pas dénombrable. Exercice 5 [ 04140 ] [Correction]
Pour cela on raisonne par l'absurde et l'on suppose qu'il existe une bijection ϕ de Montrer que l'ensemble des parties nies de N est dénombrable.
N vers ℘(N).
Établir une absurdité en introduisant l'ensemble

Étude de sommabilité
A= n∈Nn∈
/ ϕ(n)
Exercice 6 [ 03896 ] [Correction]
Pour quels α > 0, la famille suivante est-elle sommable ?
Exercice 3 [ 04063 ] [Correction]
On appelle nombre algébrique, tout nombre complexe x solution d'une équation
 
1
de la forme (p + q 2 )α
2
(p,q)∈N∗2

an x + · · · + a1 x + a0 = 0 avec a0 , a1 , . . . , an ∈ Z et an 6= 0.
n

On appelle degré d'un nombre algébrique x, le plus petit n ∈ N tel que x soit
Sommation par paquets
solution d'une équation comme ci-dessus.
(a) Quels sont les nombres algébriques de degré 1 ? Exercice 7 [ 02424 ] [Correction]
Convergence et calcul, pour z complexe tel que |z| < 1, de
(b) Montrer que l'ensemble des nombres algébriques de degré au plus n est
dénombrable. +∞
X z2
n

(c) L'ensemble de tous les nombres algébriques est-il dénombrable ? 1 − z 2n+1

n=0

Exercice 4 [ 04064 ] [Correction]

(a) Calculer Exercice 8 [ 02636 ] [Correction]
+∞ On note `1 (Z) l'ensemble des suites complexes u = (un )n∈Z sommables.
X 1
n+1 (a) Soit u, v ∈ `1 (Z). Montrer que pour tout n ∈ Z, la famille (uk vn−k )k∈Z est
2
n=0 sommable.
(b) Soit (un )n∈N une suite d'éléments de [0 ; 1]. Montrer (b) Pour u, v ∈ `1 (Z), on pose (u ∗ v)n = k∈Z uk vn−k . Montrer que u ∗ v ∈ `1 (Z)
P

n et que
[ 1 1 X X X
∀n ∈ N, [0 ; 1] \ [uk − ; uk + ] 6= ∅ (u ∗ v)n = un vn
2k+2 2k+2 n∈Z n∈Z n∈Z
k=0

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Enoncés 2

(c) Montrer que la loi ∗ ainsi dénie est commutative, associative et possède un Exercice 14 [ 03678 ] [Correction]
neutre. Soit σ une permutation de N∗ .
(d) La structure (`1 (Z), ∗) est-elle un groupe ? Quelle est la nature de
X σ(n)
?
n2 ln n
Exercice 9 [ 04065 ] [Correction]
Soit q ∈ C avec |q| < 1.
Montrer que la famille q |n| n∈Z est sommable et calculer sa somme.

Exercice 15 [ 03426 ] [Correction]
Soit (un ) une suite réelle telle qu'il y ait convergence de la série u2n
P
Soit σ une bijection de N et (vn ) la suite déterminée par
Exercice 10 [ 04066 ] [Correction] vn = uσ(n) pour tout n ∈ N
Soit r ∈ [0 ; 1[ et θ ∈ R.
Justier l'existence et calculer (a) Montrer la convergence et calculer la somme de la série vn2 .
P
X
|n| inθ
r e (b) Quelle est la nature de la série |un vn | ?
P
n∈Z
(c) Déterminer les bornes supérieure et inférieure de
Permutation des termes +∞
X
|un vn |
ExerciceP 11 [ 01030 ] [Correction]
n=0

Soient n≥0 un une P série absolument convergente et vn = uσ(n) avec σ ∈ SN . pour σ parcourant l'ensemble des bijections de N.
Montrer que la série n≥0 vn est absolument convergente de même somme de
un .
P

Exercice 16 [ 03412 ] [Correction]

Soit (zn ) une suite de complexes non nuls telles que
Exercice 12 [ 01031 ] [Correction]
Soit σ : N∗ → N∗ une application bijective. n 6= m =⇒ |zn − zm | ≥ 1
(a) Déterminer la nature de
X 1 Montrer la convergence de la série de terme général 1/zn3 .
σ(n)2

Sommes doubles
n≥1

(b) Même question pour

X 1
n≥1
σ(n) Exercice 17 [ 01093 ] [Correction]
(a) Soit α > 1. Déterminer un équivalent à
Exercice 13 [ 02963 ] [Correction] +∞
X 1
Si σ est une bijection de N∗ sur N∗ , montrer la divergence de la série Rn =
kα
k=n+1
X σ(n)
(b) Pour quels α ∈ R, la somme a-t-elle un sens ?
P+∞ P+∞ 1
n2 n=0 k=n+1 kα

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Enoncés 3

(c) Montrer qu'alors

+∞ X
+∞ +∞
Produit de Cauchy
X 1 X 1
=
n=0 k=n+1
kα p=1
p α−1 Exercice 22 [ 03445 ] [Correction]
Existence et calcul de
+∞
X
(n + 1)3−n
Exercice 18 [ 01095 ] [Correction] n=0
Soit a un complexe de module strictement inférieur à 1. En introduisant la famille
des nombres up,q = ap(2q−1) (pour p, q ≥ 1), établir l'identité
Exercice 23 [ 03446 ] [Correction]
+∞
X ap
+∞
X a2p−1 Soit (un ) une suite numérique. Pour tout n ∈ N, on pose
=
1 − a2p 1 − a2p−1 n
p=1 p=1 1 X k
vn = n 2 uk
2
k=0

Exercice 19 [ 01096 ] [Correction] (a) On suppose dans cette question la série un absolument P
P
convergente.
On pose En observant un produit de Cauchy, montrer que la série vn converge et
2p + 1 p p+1
exprimer sa somme en fonction de celle de un .
P
ap,q = − −
p+q+2 p+q+1 p+q+3
(b) On suppose dans cette question que la suite (un ) tend vers 0. Déterminer la
Calculer limite de (vn )
+∞ X
+∞ +∞ X
+∞
ap,q et (c) On suppose dans cette dernière
P question la série un convergente.
X X P
ap,q
q=0 p=0 p=0 q=0 Montrer la convergence de v n et déterminer sa somme en fonction de celle
de un .
P
Qu'en déduire ?

Exercice 24 [ 03637 ] [Correction]

Exercice 20 [ 03447 ] [Correction] Établir
Existence et valeur de +∞ +∞
X (−1)n−1 X Hn
1 e =
n.n! n!
X
n=1 n=1
(p + q 2 )(p + q 2 + 1)
(p,q)∈N×N∗ avec n
X 1
Hn =
k
Exercice 21
k=1
[ 01094 ] [Correction]
Justier
+∞
X 1 3
= 2
Exercice 25 [ 04135 ] [Correction]
n=1,n6=p
n2 − p2 4p Soit (un )n∈N une famille sommable. Pour tout n ∈ N, on pose
En déduire
n
1 X k
+∞ +∞ +∞ +∞ vn = 2 uk
X X 1 X X 1 2n
6= k=0
p=1 n=1,n6=p
n2 − p2 n=1
n2 − p2
Montrer que la famille (vn )n∈N est sommable et exprimer sa somme en fonction de
p=1,p6=n

Qu'en déduire ? celle de la famille (un )n∈N .

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Enoncés 4

Exercice 26 [ 04201 ] [Correction]

Pour α ∈ R et n ∈ N, on pose
n−1
X 1
un =
k α (n − k)α
k=1

Pour quels α la série de terme général un converge ?

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Corrections 5

Corrections
Exercice 1 : [énoncé]
Une telle fonction ne prendre qu'un nombre dénombrable de valeurs, or si celle-ci
n'est pas constante, elle prend toutes les valeurs d'un intervalle non singulier ce
qui constitue un nombre non dénombrable de valeurs. Une telle fonction ne peut
donc exister.
Exercice 2 : [énoncé]
L'ensemble A est par dénition une partie de N. Puisque l'application ϕ est
bijective, il existe n ∈ N tel que A = ϕ(n). Étudions alors l'appartenance de n à la
partie A.
Si n ∈ A alors n ∈ / ϕ(n) mais A = ϕ(n) : c'est absurde.
Si n ∈
/ A alors n ∈ / ϕ(n) et donc n ∈ A : c'est à nouveau absurde.
(c) (xn ) est une suite bornée. Par le théorème de Bolzano-Weierstrass, on peut
en extraire une suite convergente et cette dernière a sa limite dans [0 ; 1].
(d) Par l'absurde, supposons [0 ; 1] dénombrable et considérons (un )n∈N une
énumération de ses éléments.
On reprend la suite (xn )n∈N construite comme ci-dessus et la limite `
introduite.
Puisque celle-ci est élément de [0 ; 1], il existe N ∈ N tel que uN = `. Puisqu'il
existe une suite extraite de (xn )n∈N , convergeant vers `, il existe une innité
de termes de cette suite dans l'intervalle
[` − 1/2N +2 ; ` + 1/2N +2 ] = [uN − 1/2N +2 ; uN + 1/2N +2 ]
Or, par construction, pour tout n ≥ N , l'élément xn est extérieur à cet
intervalle. C'est absurde !

Exercice 3 : [énoncé] Exercice 5 : [énoncé]

(a) Ce sont les nombres rationnels.
(b) Les nombres algébriques de degré au plus n sont les solutions des équations
an xn + · · · + a1 x + a0 = 0 avec a0 , a1 , . . . , an ∈ Z et an 6= 0.
Puisque Z∗ × Zn est un ensemble dénombrable, ces équations sont en nombre
dénombrable. De plus, chacune possède au plus n solutions. On peut donc
percevoir l'ensemble des nombres algébriques comme une réunion
dénombrable d'ensembles tous nis, c'est donc un ensemble dénombrable.
(c) L'ensemble des nombres algébriques est la réunion dénombrable des
ensembles précédents, c'est donc un ensemble dénombrable.
Notons E l'ensemble des parties nies de N et En l'ensemble des parties nies de
J0 ; nK. Puisque toute partie nie de N est nécessairement majorée, on peut
armer l'égalité [
E= En
n∈N
Les ensembles En étant nis et la réunion dénombrable, on peut armer que E
est dénombrable en tant qu'ensemble inni réunion dénombrable de parties au
plus dénombrables. On peut aussi propose un dénombrement expliciter. Si l'on
note i1 , . . . , ik les éléments d'une partie A nie de N, on peut lui associer l'entier
n(A) = 2i1 + · · · + 2ik .

L'existence et l'unicité de la décomposition d'un entier en somme de puissances de

Exercice 4 : [énoncé] 2 assurant la bijectivité de cette association.
(a) Par sommation géométrique
+∞
1 1 1
Exercice 6 : [énoncé]
X
=
2n+1 2 1 − 1/2
n=0 On a l'encadrement
1 1 2
(b) La somme des longueurs des intervalles réunis vaut (p + q) 2
≤ 2
p +q 2
≤
(p + q)2
n +∞
X 1 X 1 La sommabilité de la famille étudiée équivaut à celle de
< =1
2k+1 2k+1
k=0 k=0
 
1
La réunion de ces intervalles ne peut donc recouvrir [0 ; 1]. (p + q)2α (p,q)∈N∗2

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Corrections 6

En regroupant par paquets selon (b) Pour chaque k ∈ Z, la famille (|uk vn−k |)n∈Z est sommable avec
In = (p, q) ∈ N∗2 | p + q = n
 X X X
|uk vn−k | = |uk | |vn−k | = |uk | |vn |
celle-ci équivaut à la sommabilité de n∈Z n∈Z n∈Z

et la famille |uk | n∈Z |vn | k∈Z est aussi sommable, donc, par sommation
  P

n−1
n2α par paquets, la famille (uk vn−k )(n,k)∈Z2 est sommable.
n≥2
Par sommation par paquets
qui est vraie si, et seulement si, α > 1. X XX
|uk vn−k | = |uk | |vn−k | < +∞
(n,k)∈Z2 n∈Z k∈Z
Exercice 7 : [énoncé]
Puisque |z| < 1, on peut écrire par sommation géométrique Puisque  
X  X
uk vn−k  ≤ |uk | |vn−k |
 
+∞
1 X n+1 
n+1 = z2 k
 
k∈Z k∈Z
1−z 2
k=0
on a obtient u ∗ v ∈ ` (Z).
1

et donc De plus, par sommation par paquets

+∞ n +∞ +∞ +∞ X+∞
X z2 X
2n
X
2n+1 k
X n
= z z = z 2 (2k+1)
X XX XX
1 − z 2n+1 uk vn−k = uk vn−k = uk vn−k
n=0 n=0 k=0 n=0 k=0
(n,k)∈Z2 n∈Z k∈Z k∈Z n∈Z
Tout entier naturel non nul p s'écrit de façon unique sous la forme
ce qui donne
p = 2n (2k + 1) avec n, k ∈ N X X X X X
(u ∗ v)n = uk vn−k = uk v`
On peut donc armer que N est la réunion des ensembles deux à deux disjoints
∗
n∈Z k∈Z n∈Z k∈Z `∈Z
suivants
An = {2n (2k + 1) | k ∈ N} (c) On a X
Puisque la famille (z )
p
p∈N∗ est sommable, on peut sommer par paquets et écrire (u ∗ v)n = uk v` = (v ∗ u)n
k+`=n
+∞ +∞ X +∞ X
+∞
X
zp =
X
zm =
X n
z2 (2k+1) et X
p=1 n=0 m∈An n=0 k=0
((u ∗ v) ∗ w)n = uk v` wm = (u ∗ (v ∗ w))n
k+`+m=n
Finalement Pour ε dénie par εn = δn,0 , u ∗ ε = u donc ε est élément neutre.
+∞ n +∞
X z2 X z
n+1 = zp = (d) Considérons u dénie par un = δ0,n − δ1,n .
1 − z 2 1 − z
n=0 p=1 Si u est inversible et v son inverse, la relation u ∗ v = ε donne
vn − vn−1 = εn = δ0,n .
Par suite pour tout n ∈ N, vn = v0 et puisque vn −−−−−→ 0, pour tout
Exercice 8 : [énoncé] n→+∞
n ∈ N, vn = 0. De même pour tout n < 0, vn = 0
(a) Puisque v ∈ `1 (Z), vn −−−−−−→ 0 et donc (vn ) est bornée par un certain M . Mais alors, pour n = 0, vn − vn−1 = δ0,n donne 0 = 1.
|n|→+∞
On a |uk vn−k | ≤ M |uk | donc la famille (uk vn−k )k∈Z est sommable. L'élément u n'est pas inversible et donc (`1 (Z), ∗) n'est pas un groupe.

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Corrections 7

Exercice 9 : [énoncé]   Pour tout M ≥ p(N ) :

Étudions la sommabilité de |q||n| . M N

n∈Z
On peut décomposer
X X  X
vn − un  ≤ |un | ≤ ε
 

Z = N∗ ∪ {0} ∪ Z∗− 
n=0 n=0

n≥N +1
 
La sous-famille |q||n| est sommable car la série géométrique n
donc
P
|q|
n∈N∗
M 
converge. X +∞
X 
vn − un  ≤ 2ε
   
De même, la sous-famille |q||n| est sommable.

 
∗ n∈Z− n=0 n=0

Par suite
 
Par sommation par paquets |q||n| est sommable. De plus +∞ +∞
n∈Z X X
vn = un
+∞
X X X X 1+q n=0 n=0
q |n| = qn + 1 + q −n =1+2 qn =
1−q
n∈Z n∈N∗ n∈Z∗
−
n=1

Exercice 12 : [énoncé]
(a) La série 1
converge absolument donc la famille 1
est sommable. Il
P

Exercice 10 : [énoncé] n2   n2 n≥1

en est de même de la famille permutée et donc la série

 
1
Étudions la sommabilité de r|n|e  = r|n| n∈Z .
inθ

σ(n)2
n∈Z n≥1
On peut décomposer 1
converge.
P
n≥1 σ(n)2
Z = N∗ ∪ {0} ∪ Z∗−
(b) C'est analogue, mais cette fois la famille 1
n'est pas sommable et la


n n≥1
La sous-famille r n∈N∗ est sommable car la série géométrique
|n|
rn converge. série à termes positifs n≥1 σ(n) diverge.

P 1
P

De même, la sous-famille r|n| n∈Z∗ est sommable.

−
Par sommation par paquets r|n| n∈Z est sommable.
La somme étudiée existe donc et en sommant par paquets Exercice 13 : [énoncé]
Posons
n
X X X reiθ re−iθ 1 − r2 σ(k)
r|n| einθ = r−n einθ = 1+
X
rn einθ +1+ iθ
+ −iθ
= Sn =
1 − re 1 − re 1 − 2r cos θ + r2 k2
n∈Z n∈N∗ n∈Z∗
− k=1

On a
2n 2n
X σ(k) 1 X
Exercice 11 : [énoncé] S2n − Sn = ≥ σ(k)
k2 4n2
On a k=n+1 k=n+1
n +∞
X X Or les entiers σ(n + 1), . . . , σ(2n) sont, à l'ordre près, au moins égaux à 1, . . . , n et
|vk | ≤ |un | < +∞
donc
k=0 n=0 n
1 X n+1 1
donc n≥0 vn est absolument convergente.
P S2n − Sn ≥ k= ≥
4n2 8n 8
Pour n ∈ N, posons k=1
−1
On en déduit que (Sn ) diverge.

(k) | 0 ≤ k ≤ n
p(n) = max σ
Pour tout ε > 0, il existe N ∈ N tel que n≥N +1 |un | ≤ ε.
P

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Corrections 8

Exercice 14 : [énoncé] De plus, cette inégalité est une égalité quand σ = IdN donc
Posons n ( +∞ ) +∞
X σ(k)
|un vn |/σ bijection de N
X X
Sn = sup = u2n
k 2 ln k
k=2 n=0 n=0
On a On a évidemment
n+1
+∞
2X 2n X
1 1 X |un vn | ≥ 0
S2n+1 − S2n ≥ 2(n+1) σ(k) ≥ 2(n+1) k
2 ln 2n+1 k=2n +1
2 ln 2n+1 k=1
n=0

Pour montrer que la borne inférieure cherchée est 0, montrons que l'on peut
car les entiers σ(k) de la première somme sont aux moins égaux aux entiers k de rendre la somme précédente
P aussi petite que l'on veut. Soit ε > 0. Par
la seconde. convergence de la série u2n , il existe N ∈ N tel que
On en déduit
et donc +∞
X
n n
2 (2 + 1) 1 1 u2n ≤ ε
S2n+1 − S2n ≥ 2n+3 ∼ n=N
2 (n + 1) ln 2 8 ln 2 n
Puisque la série 1/n diverge, il en de même de la série télescopique De plus la suite (un ) tend vers 0, elle est donc bornée par un certain M > 0
P
S2n+1 − S2n et donc la suite (S2n ) tend vers +∞. On en déduit la divergence et il existe un rang N 0 > N tel que
P
de la série étudiée.
ε
∀n ≥ N 0 , |un | ≤
M (N + 1)
Exercice 15 : [énoncé] Considérons alors la bijection σ de N déterminée par
(a) La permutation des termes d'une série à termes positifs ne change ni sa
si n ∈ {0 | . . . , N }

0
nature, ni sa somme. On peut donc armer N + n

σ(n) = n − N 0 si n ∈ {N 0 , . . . , N 0 + N }
+∞ +∞
sinon

n
X X 
vn2 = u2n
n=0 n=0
Pour cette permutation
(b) En vertu de la majoration +∞ N −1 N 0X
+N −1
X X ε ε
1 2 |un vn | ≤ |un | + |un−N 0 | + ε ≤ 3ε
ab ≤ a + b2

M (N + 1) M (N + 1)
n=0 n=0 n=N 0
2
on a On peut donc armer
1 2
un + vn2


|un vn | ≤ ( +∞ )
2
|un vn |/σ bijection de N
X
inf =0
Par comparaison de série à termes positifs, on peut armer la convergence de
la série |un vn | . . . n=0
P

(c) et
+∞ +∞ +∞ +∞
X
|un vn | ≤
1X 2 1X 2 X 2
un + vn = un Exercice 16 : [énoncé]
n=0
2 n=0 2 n=0 n=0
Pour N ∈ N posons AN = {n ∈ N, |zn | ≤ N }.

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Corrections 9

Pour n, m ∈ AN distincts, les disques ouverts de centres zn et zm et de rayon 1/2 avec convergence des séries sous-jacentes.
sont disjoints. La réunion de ces disques pour n parcourant AN , est incluse dans Or
le disque de centre 0 et de rayon N + 1/2. Par considération d'aire, on obtient +∞
X k−1
X 1 1
uk,n = α
= α−1
 2  2 n=0 n=0
k k
1 1
Card AN × π ×
2
≤π N+
2 donc
+∞
+∞ X +∞
X 1 X 1
=
et donc k α k α−1
n=0 k=n+1 k=1
Card AN ≤ (2N + 1)2
Quitte à permuter les termes de la suite, supposons la suite (|zn |) croissante (ceci
est possible, car il n'y a qu'un nombre ni de termes de la suite de module ExerciceP18 : [énoncé]
inférieur à une constante donnée). En vertu de l'étude qui précède La série p≥1 up,q est absolument convergente et
  +∞ 2q−1
z(2N +1)2 +1  > N X |a|
|up,q | = 2q−1
1 − |a|
et on en déduit  
p=1
1 1 2q−1
=O De plus la série de terme général 1−|a| 2q−1 est absolument convergente en vertu de
|a|
3
|zp | p3/2
la règle de d'Alembert.
La série permutée de terme général 1/zn3 est donc absolument convergente et la La famille (up,q )p,q≥1 est donc sommable et on a
série initiale l'est donc aussi.
X +∞
+∞ X +∞ X
X +∞
up,q = up,q
Exercice 17 : [énoncé] q=1 p=1 p=1 q=1

(a) Puisque x 7→ 1
est décroissante : ce qui fournit la relation
xα
+∞ +∞
Z +∞ +∞ Z +∞
X a2q−1 X ap
dx X 1 dx 2q−1
=
≤ ≤ 1−a 1 − a2p
n+1 xα kα n xα q=1 p=1
k=n+1

donc
+∞
1 1 1
Exercice 19P: [énoncé]
D'une part +∞p=0 ap,q = 0 donc p=0 ap,q = 0.
X P+∞ P+∞
α
∼ α−1 q=0
k α−1n
D'autre par q=0 ap,q = p+1 − p+2 donc +∞ q=0 ap,q = 1.
k=n+1
P+∞ 1 1
P P+∞
p=0

(b) Par suite

P+∞ P+∞ 1
a un sens si, et seulement si, α > 2. La formule de Fubini ne s'applique pas, la famille (ap,q )(p,q)∈N2 n'est donc pas
n=0 k=n+1 kα
sommable.
(c) Posons uk,n = 1
si
kα P k > n et uk,n = 0 sinon.
Pour tout n ≥ 1, k≥0 |uk,n | converge et n≥0 +∞k=0 |uk,n | converge donc on
P P
peut appliquer la formule de Fubini et armer Exercice 20 : [énoncé]
Notons que les termes sommés Psont positifs.
Pour chaque q ∈ N∗ , la série p≥0 (p+q2 )(p+q 2 +1) converge car
+∞ X
X +∞ +∞ X
X +∞ 1
uk,n = uk,n
n=0 k=0 k=0 n=0
1
(p+q 2 )(p+q 2 +1) ∼ 1
p2 .

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Corrections 10

Par télescopage Cependant

+∞ +∞ +∞ +∞
X X 1 X 3 X 3
+∞
1
+∞ 
1 1

1 =− =−
n2 − p 2 4n 2 4p 2
X X
= − = n=1 p=1,p6=n n=1 p=1
(p + q 2 )(p + q2 + 1) p+q 2 p + q2 + 1 q2
p=0 p=0
donc
+∞ +∞ +∞ +∞
1 1
La série q≥1 p=0 (p+q2 )(p+q converge aussi, on peut donc
P P+∞ 1
P 1
X X X X
2 +1) = q≥1 q 2 6
=
n2 − p2 n2 − p2
armer que la famille p=1 n=1,n6=p n=1 p=1,p6=n

1
 On en déduit que la familles des 1/(n − p ) avec (p, n) ∈ N∗2 , p 6= n n'est pas
2 2

sommable.
(p + q )(p + q 2 + 1)
2
(p,q)∈N×N∗

est sommable et sa somme vaut Exercice 22 : [énoncé]

X 1
+∞ X
X +∞
1
+∞
X 1 π2
Par produit de Cauchy de série convergeant absolument
= = =
(p + q 2 )(p + q 2 + 1) q=1 p=0 (p + q 2 )(p + q 2 + 1) q=1 q 2
! !
6 +∞ +∞ Xn
1 1
+∞
1
+∞
1 9
(p,q)∈N×N∗
X X X X
−n
(n + 1)3 = = =
n=0 n=0
3k 3n−k n=0
3n m=0
3m 4
k=0

Exercice 21 : [énoncé]
La série converge compte tenu des critères usuels. Exercice 23 : [énoncé]
  (a) On a
1 1 1 1 n
= − X 1
n2 − p 2 2p n−p n+p vn = uk ×
2n−k
k=0
Par télescopage :
La série vn est donc la série produit de Cauchy de un et P21n .
P P P
+∞
1 1

1 1
 Puisqu'elles sont toutes deux absolument convergentes, la série vn est
absolument convergente, donc convergente et
X
2 2
= 1 + + ··· +
n=p+1
n −p 2p 2 2p
+∞ +∞
! +∞
! +∞
X X X 1 X
De plus vn = un
2 n
=2 un
n=0 n=0 n=0 n=0
p−1
(b) Soit ε > 0. Il existe N ∈ N tel que
 
X 1 1 1 1 1
2 2
=− + ··· + 1 + + ··· +
n=1
n −p 2p p−1 p+1 2p − 1
∀n ≥ N, |un | ≤ ε
donc
+∞   On a alors
X 1 1 1 1 3 PN −1
2k |uk |
n
2k C te
= + = 2
X
k=0
n2 − p2 2p p 2p 4p |vn | ≤ +ε ≤ + 2ε
n=1,n6=p 2n 2n 2n
k=N
puis puis pour n assez grand
+∞ +∞ +∞
X X 1 X 3 |vn | ≤ 3ε
= >0
p=1 n=1,n6=p
2
n −p 2
p=1
4p2 On peut donc armer que la suite (vn ) converge vers 0.

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 9 mai 2017 Corrections 11

(c) En permutant les sommes Or

n+1  n+1
(−1)k−1 X (−1)k−1 n + 1 (1 − 1)n+1

N N Xn
uk
N N
1
X n 1 1
X
vn =
X
=
X
u
X = = − =
2 n−k k
2n−k k k−1 n+1 k n+1 n+1 n+1
k=1 k=1
n=0 n=0 k=0 k=0 n=k
donc
En évaluant la somme géométrique n+1
X (−1)k−1 n + 1
  n+1
X1
=
N N N N k k k
X X 1 X X uk k=1 k=1
vn = 2 uk (1 − N −k+1
)=2 uk −
n=0
2 2 −k
N
k=0 k=0 k=0
Exercice 25 : [énoncé]
et compte tenu du résultat de la question précédente On peut écrire
n  
N +∞
X 1
X X vn = uk ×
vn → 2 uk 2n−k
k=0
n=0 k=0
La série vn est donc la série produit de Cauchy deP un et 2n . Puisqu'elles
1
P P P
On en déduit à nouveau que la série vn converge et sont toutes deux absolument convergentes, la série vn est absolument
P
convergente et
+∞ +∞ +∞
! +∞
! +∞ +∞
X X X X X 1 X
vn = 2 un vn = un =2 un
2n
n=0 n=0 n=0 n=0 n=0 n=0

Exercice 24 : [énoncé] Exercice 26 : [énoncé]

Par produit de Cauchy de séries convergeant absolument Les termes de la somme dénissant un sont positifs et celui d'indice 1 vaut
1/(n − 1)α et donc
+∞ +∞ +∞ +∞ Xn 1 1
X (−1)n−1 X 1 X (−1)n−1 X 1 (−1)k−1 un ≥ ∼
e = = (n − 1)α n→+∞ nα
n.n! n! n=1 n.n! (n − k)! k.k!
n=1 n=0 n=1 k=1 Par comparaison de séries à termes positifs, on peut armer la divergence de la
Or série de terme général un pour tout α ≤ 1.
Pour α > 1, on sait la convergence absolue de la série de Riemann n≥1 n1α . On
P
n n  
X 1 (−1)k−1 1 X n (−1)k−1
(n − k)! k.k!
=
n! k k
réalise alors un produit de Cauchy de cette série par elle-même en considérant
k=1 k=1
1
Il reste à montrer par récurrence sur n ≥ 1 que an = pour n ≥ 1 et a0 = 0
nα
n  
X n (−1)k−1
n
X 1 La série produit de Cauchy a alors pour terme général
=
k k k n n−1
k=1 k=1 X X 1
ak an−k = = un
ce qui se fait par k α (n − k)α
k=0 k=1

n+1  n+1
X (−1)k−1 n n+1 On peut donc armer la convergence absolue de la série de terme général un pour
(−1)k−1 n + 1 X (−1)k−1  n 

α > 1.
X
= +
k k k k k k−1
k=1 k=1 k=1

Diusion autorisée à titre entièrement gratuit uniquement - dD