Le théorème de Hardy – Littlewood

n
X
Pour toute série S = {an }n∈N à termes complexes, on désigne par sn = ak la somme partielle de
k=0
n
1 X
rang n et σn = sk la moyenne arithmétique des n + 1 premières sommes partielles.
n+1
k=0

Dans l’ensemble des séries S, on envisage les sous-ensembles :

S1 constitué des séries S convergentes ;
S2 constitué des séries S telles que la suite (σn ) converge ;
S3 constitué des séries S telles que la série entière {an xn }n∈N ait un rayon de convergence > 1 et
+∞
X
que f : x ∈ ] −1 ; 1 [ 7−→ ak xk ait une limite ` lorsque x → 1 par valeurs inférieures.
k=0

Partie I

I.A. Soit la série S1 de terme général (−1)n . Appartient-elle à S1 , à S2 , à S3 ?

I.B. Soit la série S2 de terme général (−1)n+1 n. Appartient-elle à S1 , à S2 , à S3 ?

I.C. Montrer que S1 ⊂ S2 .

I.D. Soit S ∈ S2 .
I.D1. Établir la convergence, pour tout x ∈ ] −1 ; 1 [ , de la série {(n + 1)σn xn }n∈N puis de la série
+∞
X X+∞
{sn xn }n∈N . En déduire une expression de ak xk à l’aide de g(x) = (k + 1)σk xk .
k=0 k=0
I.D2. Montrer que S ∈ S3 et que f (x) → lim σn lorsque x → 1.
n→+∞

I.E. Résumer les résultats obtenus en termes d’inclusions entre S1 , S2 et S3 . Comment ces résultats
se précisent-ils si l’on se restreint à des séries à termes réels positifs ou nuls ?

1
 Partie II

Dans cette partie, on choisit S ∈ S3 , de terme général réel {an }n∈N , telle qu’il existe A ∈ R majorant
la suite (nan )n∈N . Dans cette partie, on ne considérera enfin que des polynômes à coefficients réels.

II.A.
d
X
II.A1. Soit p(X) = αk xk un polynôme de valuation non nulle. Montrer que la série {an p(xn )}n∈N
k=1
+∞
X
converge pour tout x ∈ ] −1 ; 1 [ puis calculer lim ak p(xk ) à l’aide notamment de ` (défini au
x→1
k=0
préambule).
II.A2. Soit p comme précédemment. Montrer que la série {xn p(xn )}n∈N converge pour tout x dans
à +∞
!
X
k k
] −1 ; 1 [ et exprimer lim (1 − x) x p(x ) à l’aide d’un symbole d’intégration.
x→1
k=0

II.B. Soit ψ une fonction réelle continue sur [ 0 ; 1/2 [ et sur [ 1/2 ; 1 ], admettant une limite à gauche
en 1/2. Montrer que, pour tout ε > 0, il existe des fonctions polynomiales q1 et q2 telles que

 ∀ x ∈ [ 0 ; 1 ] , q1 (x) 6 ψ(x) 6 q2 (x)
Z 1
 (q2 (x) − q1 (x)) dx 6 ε
0

[ On pourra utiliser le théorème d’approximation polynomiale de Weierstrass. ]

II.C. Soit χ la fonction égale à 0 sur [ 0 ; 1/2 [ et à 1 sur [ 1/2 ; 1 ].

II.C1. Montrer que la série {an χ(xn )}n∈N converge uniformément sur tout segment inclus dans [ 0 ; 1 [.
II.C2. Montrer que, pour tout ε > 0, il existe deux fonctions polynomiales p1 et p2 valant toutes deux 0
en x = 0 et 1 en x = 1 et telles que

 ∀ x ∈ [ 0 ; 1 ] , p1 (x) 6 χ(x) 6 p2 (x)
Z 1
p2 (x) − p1 (x)
 dx 6 ε
0 x(1 − x)

II.C3. Établir que, pour tout ε > 0, il existe α ∈ ] 0 ; 1 [ tel que 1 − α 6 x < 1 implique
 +∞ +∞

 X X

 a χ(xk
) − ak p1 (xk ) 6 (A + 1)ε
 k
k=0 k=0
+∞
X +∞
X



 a p (x k
) − ak χ(xk ) 6 (A + 1)ε
 k 2
k=0 k=0

II.C4. Conclure quant à la nature de la série S.

II.C5. Y a-t-il convergence uniforme de {an χ(xn )}n∈N sur [ 0 ; 1 ] ?

II.D. Soit S3 ∈ S3 , de terme général bn et telle que la suite (nbn ) soit minorée. La série S3 converge-
t-elle ? Existe-t-il une telle série vérifiant en outre sup nbn = +∞ ?
n∈N

II.E.
II.E1. Existe-t-il S4 ∈ S3 de terme général réel cn tel que sup ncn = − inf ncn = +∞ ?
n∈N n∈N
II.E2. Soit S5 ∈ S3 , de terme général complexe de la forme O(1/n) ; S5 converge-t-elle ?