[http://mp.cpgedupuydelome.

fr] édité le 24 septembre 2016 Enoncés 1

Familles sommables (b) Soit (un )n∈N une suite d’éléments de [0 ; 1]. Montrer
n
[ 1 1
∀n ∈ N, [0 ; 1] \ [uk − ; uk + ],∅
Ensemble dénombrable k=0
2k+2 2k+2

(c) On peut alors construire une suite (xn )n∈N d’éléments de [0 ; 1] vérifiant
Exercice 1 [ 03897 ] [Correction]
n
Soit f : R → R croissante. Montrer que l’ensemble des points de discontinuité de f est au [ 1 1
plus dénombrable. ∀n ∈ N, xn < [uk − ; uk + ]
k=0
2k+2 2k+2

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

Exercice 6 [ 04140 ] [Correction]

Exercice 3 [ 04005 ] [Correction] Montrer que l’ensemble des parties finies de N est dénombrable.
On souhaite établir que l’ensemble ℘(N) des parties de N n’est pas dénombrable.
Pour cela on raisonne par l’absurde et l’on suppose qu’il existe une bijection ϕ de N vers
℘(N). Étude de sommabilité
Établir une absurdité en introduisant l’ensemble
Exercice 7 [ 02631 ] [Correction]
A = n ∈ N n < ϕ(n)

Déterminer selon α ∈ R la nature de la somme
X 1
Exercice 4 [ 04063 ] [Correction] m,n≥1
(m + n)α
On appelle nombre algébrique, tout nombre complexe x solution d’une équation de la
forme
an xn + · · · + a1 x + a0 = 0 avec a0 , a1 , . . . , an ∈ Z et an , 0 Exercice 8 [ 03896 ] [Correction]
Pour quels α > 0, la famille suivante est-elle sommable ?
On appelle degré d’un nombre algébrique x, le plus petit n ∈ N tel que x soit solution
!
d’une équation comme ci-dessus. 1
(a) Quels sont les nombres algébriques de degré 1 ? (p2 + q2 )α (p,q)∈N∗2
(b) Montrer que l’ensemble des nombres algébriques de degré au plus n est
dénombrable. Sommation par paquets
(c) L’ensemble de tous les nombres algébriques est-il dénombrable ?
Exercice 9 [ 02427 ] [Correction]
Établir que pour x ∈ ]−1 ; 1[,
Exercice 5 [ 04064 ] [Correction]
+∞ +∞
(a) Calculer
X xn X
+∞ n
= d(n)xn
X 1 n=1
1−x n=1
2 n+1
n=0 en notant d(n) le nombre de diviseurs positifs de n.

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Enoncés 2

Exercice 10 [ 02424 ] [Correction] (a) Déterminer la nature de

Convergence et calcul, pour z complexe tel que |z| < 1, de 1
X

n≥1
σ(n)2
+∞ n
X z2
(b) Même question pour
n=0
1 − z2n+1 X 1

n≥1
σ(n)

Exercice 11 [ 02636 ] [Correction]

On note `1 (Z) l’ensemble des suites complexes u = (un )n∈Z sommables. Exercice 16 [ 02963 ] [Correction]
(a) Soit u, v ∈ ` (Z). Montrer que pour tout n ∈ Z, la famille (uk vn−k )k∈Z est sommable.
1 Si σ est une bijection de N∗ sur N∗ , montrer la divergence de la série
(b) Pour u, v ∈ `1 (Z), on pose (u ∗ v)n = k∈Z uk vn−k . Montrer que u ∗ v ∈ `1 (Z) et que
P X σ(n)
X X X n2
(u ∗ v)n = un vn
n∈Z n∈Z n∈Z
Exercice 17 [ 02425 ] [Correction]
(c) Montrer que la loi ∗ ainsi définie est commutative, associative et possède un neutre. Soit σ une permutation de N∗ .
Étudier la nature des séries de termes généraux
(d) La structure (`1 (Z), ∗) est-elle un groupe ?
1 σ(n) σ(n) σ(n)
(a) nσ(n) (b) n2
(c) n ln n (d) n3

Exercice 12 [ 04065 ] [Correction]

Soit q ∈ C avec |q| < 1.  Exercice 18 [ 03678 ] [Correction]
Montrer que la famille q|n| est sommable et calculer sa somme. Soit σ une permutation de N∗ .
n∈Z
Quelle est la nature de
X σ(n)
?
Exercice 13 [ 04066 ] [Correction] n2 ln n
Soit r ∈ [0 ; 1[ et θ ∈ R.
Justifier l’existence et calculer X Exercice 19 [ 03426 ] [Correction]
r|n| einθ Soit (un ) une suite réelle telle qu’il y ait convergence de la série u2n
P
n∈Z
Soit σ une bijection de N et (vn ) la suite déterminée par

Permutation des termes ∀n ∈ N, vn = uσ(n)

v2n .
P
(a) Montrer la convergence et calculer la somme de la série
Exercice 14 [ 01030 ] [Correction] P
(b) Quelle est la nature de la série |un vn | ?
Soient n≥0 un une série absolument convergente et vn = uσ(n) avec σ ∈ S(N).
P
P P (c) Déterminer les bornes supérieure et inférieure de
Montrer que la série n≥0 vn est absolument convergente de même somme de un .
+∞
X
|un vn |
n=0
Exercice 15 [ 01031 ] [Correction]
Soit σ : N∗ → N∗ une application bijective. pour σ parcourant l’ensemble des bijections de N.

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Enoncés 3

Exercice 20 [ 03412 ] [Correction] Exercice 24 [ 03447 ] [Correction]

Soit (zn ) une suite de complexes non nuls telles que Existence et valeur de
X 1
n , m =⇒ |zn − zm | ≥ 1 (p + q2 )(p + q2 + 1)
(p,q)∈N×N∗

Montrer la convergence de la série de terme général 1/z3n .

Exercice 25 [ 01094 ] [Correction]

Sommes doubles Justifier
+∞
X 1 3
2 − p2
= 2
Exercice 21 [ 01093 ] [Correction] n=1,n,p
n 4p
(a) Soit α > 1. Déterminer un équivalent à En déduire
+∞ X
+∞ +∞ X +∞
+∞
X 1 X 1
X 1 ,
Rn = 2
n −p 2 n − p2
2

k=n+1
kα p=1 n=1,n,p n=1 p=1,p,n

Qu’en déduire ?
P+∞ P+∞
(b) Pour quels α ∈ R, la somme n=0
1
k=n+1 kα a-t-elle un sens ?
(c) Montrer qu’alors
+∞ X
X +∞
1
+∞
X 1
Produit de Cauchy
α
= α−1
n=0 k=n+1
k p=1
p
Exercice 26 [ 03445 ] [Correction]
Existence et calcul de
+∞
X
Exercice 22 [ 01095 ] [Correction] (n + 1)3−n
Soit a un complexe de module strictement inférieur à 1. En introduisant la famille des n=0
nombres u p,q = a p(2q−1) (pour p, q ≥ 1), établir l’identité
+∞ X a2p−1 +∞
X ap Exercice 27 [ 01044 ] [Correction]
=
p=1
1 − a2p p=1 1 − a2p−1 Pour n ≥ 1, on pose
(−1)n
un = vn = √
n
Exercice 23 [ 01096 ] [Correction] P P
(a) Montrer que les séries un et vn convergent.
On pose
2p + 1 p p+1 (b) Montrer la divergence de leur série produit de Cauchy.
a p,q = − −
p+q+2 p+q+1 p+q+3
Calculer
+∞ X
X +∞ +∞ X
X +∞ Exercice 28 [ 03446 ] [Correction]
a p,q et a p,q Soit (un ) une suite numérique. Pour tout n ∈ N, on pose
q=0 p=0 p=0 q=0
n
Qu’en déduire ? 1 X k
vn = 2 uk
2n k=0

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Enoncés 4

P
(a) On suppose dans cette question la série un absolument convergente.
P
En observant un produit de Cauchy, montrer que la série vn converge et exprimer
P
sa somme en fonction de celle de un .
(b) On suppose dans cette question que la suite (un ) tend vers 0. Déterminer la limite de
(vn )
P
(c) On suppose dans cette dernière question la série un convergente.
P P
Montrer la convergence de vn et déterminer sa somme en fonction de celle de un .

Exercice 29 [ 03637 ] [Correction]

Établir
+∞ +∞
X (−1)n−1 X Hn
e =
n=1
n.n! n=1
n!
avec
n
X 1
Hn =
k=1
k

Exercice 30 [ 04135 ] [Correction]

Soit (un )n∈N une famille sommable. Pour tout n ∈ N, on pose
n
1 X k
vn = 2 uk
2n k=0

Montrer que la famille (vn )n∈N est sommable et exprimer sa somme en fonction de celle de
la famille (un )n∈N .

Exercice 31 [ 04201 ] [Correction]

Pour α ∈ R et n ∈ N, on pose
n−1
X 1
un =
k=1
kα (n − k)α
Pour quels α la série de terme général un converge ?

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Corrections 5

Corrections (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.
Exercice 1 : [énoncé]
Notons
f (x+ ) = lim+ f (x + h) et f (x− ) = lim+ f (x − h) Exercice 5 : [énoncé]
h→0 h→0
Ces limites existent car la fonction f est monotone et l’on a évidemment (a) Par sommation géométrique

f (x− ) ≤ f (x) ≤ f (x+ ) +∞

X 1 1 1
n+1
=
L’ensemble des points de discontinuité de f se comprend alors comme l’ensemble suivant n=0
2 2 1 − 1/2

E = x ∈ R | f (x− ) < f (x+ )


(b) La somme des longueurs des intervalles réunis vaut
Pour chaque x appartenant à E, on peut déterminer un nombre rationnel r vérifiant n +∞
X 1 X 1
− +
r ∈ ] f (x ) ; f (x )[ k+1
< k+1
=1
k=0
2 k=0
2
L’application qui à x associe r définit une injection de E dans Q.
L’ensemble E est donc au plus dénombrable. La réunion de ces intervalles ne peut donc recouvrir [0 ; 1].
(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].
Exercice 2 : [énoncé]
(d) Par l’absurde, supposons [0 ; 1] dénombrable et considérons (un )n∈N une énumération
Une telle fonction ne prendre qu’un nombre dénombrable de valeurs, or si celle-ci n’est
de ses éléments.
pas constante, elle prend toutes les valeurs d’un intervalle non singulier ce qui constitue
On reprend la suite (xn )n∈N construite comme ci-dessus et la limite ` introduite.
un nombre non dénombrable de valeurs. Une telle fonction ne peut donc exister.
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 infinité de termes de
Exercice 3 : [énoncé] cette suite dans l’intervalle
L’ensemble A est par définition 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. [` − 1/2N+2 ; ` + 1/2N+2 ] = [uN − 1/2N+2 ; uN + 1/2N+2 ]
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. Or, par construction, pour tout n ≥ N, l’élément xn est extérieur à cet intervalle. C’est
absurde !

Exercice 4 : [énoncé]
(a) Ce sont les nombres rationnels. Exercice 6 : [énoncé]
(b) Les nombres algébriques de degré au plus n sont les solutions des équations Notons E l’ensemble des parties finies de N et En l’ensemble des parties finies de ~0 ; n.
Puisque toute partie finie de N est nécessairement majorée, on peut affirmer l’égalité
an xn + · · · + a1 x + a0 = 0 avec a0 , a1 , . . . , an ∈ Z et an , 0 [
E= En
Puisque Z∗ × Zn est un ensemble dénombrable, ces équations sont en nombre n∈N
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 Les ensembles En étant finis et la réunion dénombrable, on peut affirmer que E est
tous finis, c’est donc un ensemble dénombrable. dénombrable en tant qu’ensemble infini réunion dénombrable de parties au plus

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Corrections 6

dénombrables. On peut aussi propose un dénombrement expliciter. Si l’on note i1 , . . . , ik Exercice 9 : [énoncé]
les éléments d’une partie A finie de N, on peut lui associer l’entier Pour x ∈ ]−1 ; 1[, on peut écrire
+∞
xk X
n(A) = 2i1 + · · · + 2ik . k
= xk`
1−x `=1
L’existence et l’unicité de la décomposition d’un entier en somme de puissances de 2
Par suite
assurant la bijectivité de cette association. +∞ +∞ +∞
X xk XX
k
= xk`
k=1
1−x k=1 `=1
Exercice 7 : [énoncé] P+∞ |x|k
k`
xk` =
P P P
Il s’agit d’une somme de termes positifs. Regroupons les termes par paquets selon la Pour chaque k ≥ 1, la série `≥1 x converge et la série k≥1 `=1 k≥1 1−|x|k
valeur de m + n converge aussi. La famille k`
(x )k,`∈N∗
est donc sommable.
+∞ X
X 1 X 1 Réorganisons la somme selon les valeurs du produit k`
α
=
m,n≥1
(m + n) p=2 m+n=p
(m + n)α +∞ +∞ +∞
X xk XX X
et donc = x k`
= d(n)xn
X p−1 +∞ k=1
1 − xk n=1 k`=n n=1
X 1
=
m,n≥1
(m + n)α p=2 pα avec
dn = Card {(k, `) ∈ N∗ | k` = n}
Or
p−1 1 dn apparaît alors comme étant le nombre de diviseurs positifs de n, i.e. d(n).
∼
pα p→+∞ pα−1
donc X 1 Exercice 10 : [énoncé]
< +∞ ⇐⇒ α > 2
m,n≥1
(m + n)α Puisque |z| < 1, on peut écrire par sommation géométrique
+∞
1 X n+1
= z2 k
Exercice 8 : [énoncé] 1 − z2 n+1
k=0
On a l’encadrement
1 1 2 et donc
≤ 2 ≤ +∞ +∞ +∞ +∞ +∞
(p + q)2 p + q2 (p + q)2
n
X z2 X n X n+1 XX n
n+1
= z 2
z2 k
= z2 (2k+1)
La sommabilité de la famille étudiée équivaut à celle de 1 − z2
n=0 n=0 k=0 n=0 k=0
!
1 Tout entier naturel non nul p s’écrit de façon unique sous la forme
(p + q)2α (p,q)∈N∗2
p = 2n (2k + 1) avec n, k ∈ N
En regroupant par paquets selon
n o On peut donc affirmer que N∗ est la réunion des ensembles deux à deux disjoints suivants
In = (p, q) ∈ N∗2 | p + q = n
An = {2n (2k + 1) | k ∈ N}
celle-ci équivaut à la sommabilité de
! Puisque la famille (z p ) p∈N∗ est sommable, on peut sommer par paquets et écrire
n−1
n2α +∞ +∞ X +∞ X
+∞
n≥2 X X X n
zp = zm = z2 (2k+1)
qui est vraie si, et seulement si, α > 1. p=1 n=0 m∈An n=0 k=0

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Corrections 7

Finalement (d) Considérons u définie par un = δ0,n − δ1,n .

+∞ n +∞
X z2 X z Si u est inversible et v son inverse, la relation u ∗ v = ε donne vn − vn−1 = εn = δ0,n .
= zp =
1−z 2 n+1
1−z Par suite pour tout n ∈ N, vn = v0 et puisque vn −→ 0, pour tout n ∈ N, vn = 0. De
n=0 p=1 n→+∞
même pour tout n < 0, vn = 0
Mais alors, pour n = 0, vn − vn−1 = δ0,n donne 0 = 1.
Exercice 11 : [énoncé] L’élément u n’est pas inversible et donc (`1 (Z), ∗) n’est pas un groupe.

(a) Puisque v ∈ `1 (Z), vn −→ 0 et donc (vn ) est bornée par un certain M.

|n|→+∞
On a |uk vn−k | ≤ M |uk | donc la famille (uk vn−k )k∈Z est sommable. Exercice 12 : [énoncé]  
(b) Pour chaque k ∈ Z, la famille (|uk vn−k |)n∈Z est sommable avec Étudions la sommabilité de |q||n| .
n∈Z
On peut décomposer
Z = N∗ ∪ {0} ∪ Z∗−
X X X
|uk vn−k | = |uk | |vn−k | = |uk | |vn |
 
n∈Z n∈Z n∈Z
La sous-famille |q||n| est sommable car la série géométrique |q|n converge.
P
n∈N∗  
De même, la sous-famille |q||n|
P

et la famille |uk | n∈Z |vn | k∈Z est aussi sommable, donc, par sommation par paquets, ∗
est sommable.
la famille (uk vn−k )(n,k)∈Z2 est sommable.  n∈Z  −
|n|
Par sommation par paquets |q| est sommable. De plus
Par sommation par paquets n∈Z

+∞
1+q
X XX
|uk vn−k | = |uk | |vn−k | < +∞
X X X X
q|n| = qn + 1 + q−n = 1 + 2 qn =
(n,k)∈Z2 n∈Z k∈Z n∈Z n∈N∗ n∈Z∗− n=1
1−q

Puisque
X X
uk vn−k ≤ |uk | |vn−k | Exercice 13 : [énoncé]  
inθ
 
k∈Z k∈Z Étudions la sommabilité de r|n| e = r|n| .
n∈Z n∈Z
on a obtient u ∗ v ∈ ` (Z).
1 On peut décomposer
De plus, par sommation par paquets Z = N∗ ∪ {0} ∪ Z∗−
 
La sous-famille r|n| rn converge.
P
X XX XX est sommable car la série géométrique
uk vn−k = uk vn−k = uk vn−k   n∈N∗
(n,k)∈Z2 n∈Z k∈Z k∈Z n∈Z De même, la sous-famille r|n| ∗
est sommable.
 n∈Z  −
|n|
ce qui donne Par sommation par paquets r est sommable.
n∈Z
X X X X X La somme étudiée existe donc et en sommant par paquets
(u ∗ v)n = uk vn−k = uk v`
n∈Z n∈Z `∈Z
k∈Z k∈Z X X X r eiθ r e−iθ 1 − r2
r|n| einθ = rn einθ + 1 + r−n einθ = 1 + + =
(c) On a X n∈Z n∈N∗ n∈Z∗−
1−re iθ 1−re −iθ 1 − 2r cos θ + r2
(u ∗ v)n = uk v` = (v ∗ u)n
k+`=n

et X Exercice 14 : [énoncé]
((u ∗ v) ∗ w)n = uk v` wm = (u ∗ (v ∗ w))n On a
n +∞
k+`+m=n X X
|vn | ≤ |un | < +∞
Pour ε définie par εn = δn,0 , u ∗ ε = u donc ε est élément neutre. k=0 n=0

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Corrections 8

P
donc n≥0 vn est absolument convergente. Exercice 17 : [énoncé]
Pour n ∈ N, posons P 1
n o (a) Étude de nσ(n) .
p(n) = max σ−1 (k) | 0 ≤ k ≤ n
Notons que par permutation des termes d’une série absolument convergente, la série
Pour tout ε > 0, il existe N ∈ N tel que n≥N+1 |un | ≤ ε.
P P 1
σ(n)2
converge.
Pour tout M ≥ p(N) : Puisque !
M N 1 1 1 1
+
X X X
vn − un ≤ |un | ≤ ε 0≤ ≤
nσ(n) 2 n2 σ(n)2
n=0 n=0 n≥N+1
on peut affirmer, par comparaison de séries à termes positifs, que la série étudiée
donc
M
X +∞
X converge.
vn − un ≤ 2ε (b) Étude de σ(n)
P
n2
.
n=0 n=0
Posons un = nk=1 σ(k)
P
k2
. On observe
Par suite
+∞ +∞
2n 2n n
σ(k) n+1
X X
vn = un 1 X 1 X 1
X
u2n − un = 2
≥ 2
σ(k) ≥ 2
k= →
n=0 n=0
k=n+1
k 4n k=n+1 4n k=1 8n 8

d’où l’on conclut que la série diverge.

Exercice 15 : [énoncé] (c) Étude de nσ(n)
P
  ln n .
(a) La série n12 converge absolument donc la famille n12 Pour n assez grand, n2 ≥ n ln n donc
P
est sommable. Il en est de
  n≥1
1 P 1
même de la famille permutée σ(n)2
n≥1
et donc la série n≥1 σ(n) 2 converge. σ(n) σ(n)
2
≤
n n ln n
 
(b) C’est analogue, mais cette fois la famille n1 n’est pas sommable et la série à
n≥1
P 1 et donc la série étudiée diverge.
termes positifs n≥1 σ(n) diverge.
(d) Étude de n∈N∗ σ(n)
P
n3
.
Pour σ : n 7→ n, la série est convergente.
Exercice 16 : [énoncé] Pour σ : 2p 7→ p2 et 2p + 1 7→ le p + 1-ième entier qui n’est pas un carré, la série
Posons contient les termes 1/8p avec p ∈ N∗ et est donc divergente.
n
X σ(k)
Sn =
k=1
k2
On a Exercice 18 : [énoncé]
2n 2n Posons
X σ(k) 1 X n
S 2n − S n = ≥ σ(k) X σ(k)
k2 4n2 k=n+1 Sn = 2 ln k
k=n+1
k=2
k
Or les entiers σ(n + 1), . . . , σ(2n) sont, à l’ordre près, au moins égaux à 1, . . . , n et donc
On a
n 2n+1 2n
1 X n+1 1 1 X 1 X
S 2n − S n ≥ 2 k= ≥ S 2n+1 − S 2n ≥ 2(n+1) σ(k) ≥ 2(n+1) k
4n k=1 8n 8 2 ln 2n+1 k=2n +1 2 ln 2n+1 k=1
car les entiers σ(k) de la première somme sont aux moins égaux aux entiers k de la
On en déduit que (S n ) diverge.
seconde.
On en déduit

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Corrections 9

et donc De plus la suite (un ) tend vers 0, elle est donc bornée par un certain M > 0 et il existe
2n (2n + 1) 1 1 un rang N 0 > N tel que
S 2n+1 − S 2n ≥ 2n+3 ∼ ε
2 (n + 1) ln 2 8 ln 2 n ∀n ≥ N 0 , |un | ≤
P P M(N + 1)
Puisque la série 1/n diverge, il en de même de la série télescopique S 2n+1 − S 2n et
donc la suite (S 2n ) tend vers +∞. On en déduit la divergence de la série étudiée. Considérons alors la bijection σ de N déterminée par




 N 0 + n si n ∈ {0 | . . . , N}
σ(n) =  n − N 0 si n ∈ {N 0 , . . . , N 0 + N}


Exercice 19 : [énoncé] 


n
 sinon
(a) La permutation des termes d’une série à termes positifs ne change ni sa nature, ni sa
somme. On peut donc affirmer Pour cette permutation
+∞ N−1 +N−1
N 0X
+∞ +∞ X X ε ε
X X |un vn | ≤ |un | + |un−N 0 | + ε ≤ 3ε
v2n = u2n M(N + 1) M(N + 1)
n=0 n=0 n=N 0
n=0 n=0
On peut donc affirmer
(b) En vertu de la majoration  +∞ 
1 2  
X 
a + b2 =0
 
ab ≤ inf  |un vn |/σ bijection de N

2 

n=0


on a
1 
u2 + v2n
|un vn | ≤
2 n Exercice 20 : [énoncé]
Par comparaison de série à termes positifs, on peut affirmer la convergence de la Pour N ∈ N posons AN = {n ∈ N, |zn | ≤ N}.
P
série |un vn | . . . Pour n, m ∈ AN distincts, les disques ouverts de centres zn et zm et de rayon 1/2 sont
(c) et disjoints. La réunion de ces disques pour n parcourant AN , est incluse dans le disque de
+∞ +∞ +∞ +∞ centre 0 et de rayon N + 1/2. Par considération d’aire, on obtient
X 1X 2 1X 2 X 2
|un vn | ≤ u + v = u
2 n=0 n 2 n=0 n n=0 n
!2 !2
1 1
n=0 Card AN × π × ≤π N+
2 2
De plus, cette inégalité est une égalité quand σ = IdN donc
 +∞  +∞ et donc

X 
 X 2 Card AN ≤ (2N + 1)2
=
 
sup  |un vn |/σ bijection de N
 un

n=0

n=0 Quitte à permuter les termes de la suite, supposons la suite (|zn |) croissante (ceci est
possible, car il n’y a qu’un nombre fini de termes de la suite de module inférieur à une
On a évidemment constante donnée). En vertu de l’étude qui précède
+∞
X
|un vn | ≥ 0 z(2N+1)2 +1 > N
n=0

Pour montrer que la borne inférieure cherchée est 0, montrons que l’on peut rendre la et on en déduit !
1 1
somme précédente aussi petite que l’on veut. Soit ε > 0. Par convergence de la série 3
= O 3/2
P 2
un , il existe N ∈ N tel que zp p
+∞
La série permutée de terme général 1/z3n est donc absolument convergente et la série
X
u2n ≤ ε
n=N
initiale l’est donc aussi.

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Corrections 10

Exercice 21 : [énoncé] ce qui fournit la relation

+∞ +∞
(a) Puisque x 7→ 1
est décroissante :
X a2q−1 X ap
xα 2q−1
=
q=1
1−a p=1
1 − a2p
Z +∞ +∞ Z +∞
dx X 1 dx
≤ ≤
n+1 xα k=n+1 kα n xα
Exercice 23 : [énoncé]
D’une part +∞
P+∞ P+∞
p=0 a p,q = 0 donc p=0 a p,q = 0.
P
donc q=0
+∞
D’autre par q=0 a p,q = p+1 − p+2 donc +∞
P+∞ P P+∞
p=0 q=0 a p,q = 1.
1 1
X 1 1 1
α
∼
k=n+1
k α − 1 nα−1 La formule de Fubini ne s’applique pas, la famille (a p,q )(p,q)∈N2 n’est donc pas sommable.
P+∞ P+∞
(b) Par suite n=0
1
k=n+1 kα a un sens si, et seulement si, α > 2.
Exercice 24 : [énoncé]
(c) Posons uk,n = si k > n et uk,n = 0 sinon.
1
kα Notons que les termes sommés sont positifs.
Pour tout n ≥ 1, k≥0 uk,n converge et n≥0 +∞
P P P
k=0 uk,n converge donc on peut 1
Pour chaque q ∈ N∗ , la série p≥0 (p+q2 )(p+q 1 1
P
2 +1) converge car (p+q2 )(p+q2 +1)
∼ p2
.
appliquer la formule de Fubini et affirmer Par télescopage
+∞ X
+∞ +∞ X
+∞ +∞ +∞ !
1 1 1 1
X X
uk,n =
X X
uk,n = − = 2
n=0 k=0 k=0 n=0 p=0
(p + q )(p + q + 1) p=0 p + q
2 2 2 p+q +1
2 q

avec convergence des séries sous-jacentes. P+∞ 1

= 1
P P
La série q≥1 p=0 (p+q2 )(p+q2 +1) q≥1 q2 converge aussi, on peut donc affirmer que la
Or famille
+∞ k−1 !
X X 1 1 1
uk,n = α
= α−1
n=0 n=0
k k (p + q2 )(p + q2 + 1) (p,q)∈N×N∗

donc est sommable et sa somme vaut

+∞ X +∞ +∞
X 1 X 1 +∞ +∞ +∞
= X 1 XX 1 X 1 π2
k α k α−1 = = =
n=0 k=n+1 k=1
(p,q)∈N×N∗
(p + q2 )(p + q2 + 1) q=1 p=0 (p + q2 )(p + q2 + 1) q=1 q2 6

Exercice 22 : [énoncé] Exercice 25 : [énoncé]

P
La série p≥1 u p,q est absolument convergente et La série converge compte tenu des critères usuels.
+∞
|a|2q−1
!
X 1 1 1 1
u p,q = = −
1 − |a|2q−1 n2 − p2 2p n − p n + p
p=1

2q−1
Par télescopage :
|a|
De plus la série de terme général 1−|a| +∞
2q−1 est absolument convergente en vertu de la règle
!
X 1 1 1 1
de d’Alembert. 2 − p2
= 1 + + ··· +
n=p+1
n 2p 2 2p
La famille (u p,q ) p,q≥1 est donc sommable et on a
De plus
+∞ X
+∞ +∞ X
+∞ p−1 !
X X 1 1 1 1 1
u p,q =
X
u p,q =− + ··· + 1 + + ··· +
q=1 p=1 p=1 q=1 n=1
n2 − p2 2p p − 1 p+1 2p − 1

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Corrections 11

donc Exercice 28 : [énoncé]

+∞ !
X 1 1 1 1 3
2 2
= + = 2 (a) On a
n=1,n,p
n −p 2p p 2p 4p n
X 1
vn = uk ×
puis k=0
2n−k
+∞ X
+∞ +∞
X 1 X 3
= >0 La série vn est donc la série produit de Cauchy de un et 21n . Puisqu’elles sont
P P P
p=1 n=1,n,p
n2 − p2 p=1 4p2 P
toutes deux absolument convergentes, la série vn est absolument convergente, donc
Cependant convergente et
+∞
 +∞   +∞  +∞
+∞ X
+∞ +∞ +∞ X X  X 1  X
1 3 3 vn =  un    = 2 un
X X X
2 − p2
= − 2
= − 2 2n

n=1 p=1,p,n
n n=1
4n p=1
4p n=0 n=0 n=0 n=0

donc (b) Soit ε > 0. Il existe N ∈ N tel que

+∞ X
+∞ +∞ X
+∞
X 1 X 1
, ∀n ≥ N, |un | ≤ ε
n2 − p2 n 2 − p2
p=1 n=1,n,p n=1 p=1,p,n
On a alors
On en déduit que la familles des 1/(n2 − p2 ) avec (p, n) ∈ N∗2 , p , n n’est pas sommable. n
PN−1
2k |uk | X 2k C te
|vn | ≤ k=0
n
+ ε ≤ n + 2ε
2 k=N
2n 2

Exercice 26 : [énoncé] puis pour n assez grand

Par produit de Cauchy de série convergeant absolument |vn | ≤ 3ε
+∞ +∞ X n
 +∞   +∞  On peut donc affirmer que la suite (vn ) converge vers 0.
X X 1 1 X 1  X 1  9
(n + 1)3 =
−n
=     = (c) En permutant les sommes
3k 3n−k  n=0 3n  m=0 3m  4

n=0 n=0 k=0
N N X n N N
X X uk X X 1
vn = n−k
= uk n−k
n=0 n=0 k=0
2 k=0 n=k
2
Exercice 27 : [énoncé]
(a) par application du critère de Leibniz. . . En évaluant la somme géométrique
(b) On a N N N N
n−1 n−1
X X 1 X uk
X
X X 1 vn = 2 uk (1 − N−k+1 ) = 2 uk −
wn = uk vn−k = (−1)n √ √ n=0 k=0
2 k=0 k=0
2 N−k

k=1 k=1 k n−k

or et compte tenu du résultat de la question précédente
1 1
√ √ ≥ N +∞
k n−k n X X
vn → 2 uk
donc n=0 k=0
n−1
X 1 n−1
√ √ ≥
P
On en déduit à nouveau que la série vn converge et
k=1 k n−k n
P +∞ +∞
et par suite wn 6→ 0 et wn diverge grossièrement.
X X
vn = 2 un
n=0 n=0

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

[http://mp.cpgedupuydelome.fr] édité le 24 septembre 2016 Corrections 12

Exercice 29 : [énoncé] Exercice 31 : [énoncé]

Par produit de Cauchy de séries convergeant absolument Les termes de la somme définissant un sont positifs et celui d’indice 1 vaut 1/(n − 1)α et
donc
+∞ +∞ +∞ +∞ n 1 1
X (−1)n−1 X 1 X (−1)n−1 X X 1 (−1)k−1 un ≥ ∼
e = = (n − 1) α n→+∞ nα
n=1
n.n! n=0
n! n=1 n.n! n=1 k=1
(n − k)! k.k!
Par comparaison de séries à termes positifs, on peut affirmer la divergence de la série de
Or terme général un pour tout α ≤ 1.
n n
(−1)k−1 1 X n (−1)k−1 Pour α > 1, on sait la convergence absolue de la série de Riemann n≥1 n1α . On réalise
! P
X 1
=
(n − k)! k.k! n! k=1 k k alors un produit de Cauchy de cette série par elle-même en considérant
k=1

Il reste à montrer par récurrence sur n ≥ 1 que 1

an = pour n ≥ 1 et a0 = 0
nα
n n
n (−1)k−1 X 1
X !
= La série produit de Cauchy a alors pour terme général
k=1
k k k=1
k
n n−1
X X 1
ce qui se fait par ak an−k = = un
k=0 k=1
kα (n − k)α
n+1 n+1 ! n+1
(−1)k−1 n + 1 (−1)k−1 n X (−1)k−1 n
! X !
On peut donc affirmer la convergence absolue de la série de terme général un pour α > 1.
X
= +
k=1
k k k=1
k k k=1
k k−1

Or
n+1 n+1
(−1)k−1 (−1)k−1 n + 1 (1 − 1)n+1
! X !
X n 1 1
= = − =
k=1
k k−1 k=1
n + 1 k n + 1 n + 1 n + 1

donc
n+1 n+1
(−1)k−1 n + 1
! X
X 1
=
k=1
k k k=1
k

Exercice 30 : [énoncé]
On peut écrire
n !
X 1
vn = uk ×
k=0
2n−k

La série vn est donc la série produit de Cauchy de un et 21n . Puisqu’elles sont toutes
P P P
P
deux absolument convergentes, la série vn est absolument convergente et
+∞
 +∞   +∞  +∞
X X  X 1  X
vn =  un    = 2 un
2n

n=0 n=0 n=0 n=0

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