Mines-Ponts MP Mathématiques 2 2016

Théorème taubérien de Hardy-Littlewood-Karamata

Dans tout le problème, I désigne l'intervalle ]0, +∞[.

A Une intégrale à paramètre

Pour tout x ∈ R on pose, sous réserve d'existence,

+∞
e−u +∞
e−u
Z Z
F(x) = √ du et K = √ du
0 u(u + x) 0 u
e−u
1. Démontrer que ψ : u 7→ √ est intégrale sur I.
u
2. Déterminer les valeurs de x pour lesquelles F(x) est dénie.
3. Montrer que la fonction F est de classe C 1 sur I et exprimer F0 (x) sous forme intégrale.
4. En déduire que pour tout x ∈ I, xF0 (x) − (x − 12 )F(x) = −K.
√ −x
5. Pour tout x ∈ I, on pose
Z G(x) = xe F(x). Montrer qu'il existe une constante réelle C telle que pour tout
x
e−t
x ∈ I, G(x) = C − K · √ dt.
0 t
6. Déterminer les limites de G en 0 et +∞, et en déduire la valeur de K.

B Étude de deux séries de fonctions

+∞ −nx +∞
e √ −nx
Dans toute cette partie, on pose f (x) = et g(x) = .
X X
√ ne
n=1
n n=0
7. Montrer que f et g sont dénies et continues sur I.
e−ux
Z +∞ Z +∞ −ux
e
8. Montrer que pour tout x ∈ I, √ du 6 f (x) 6 √ du.
1 u 0 u
En déduire un équivalent de f (x) lorsque x → 0.
n
!
1 √
9. Montrer que la suite converge.
X
√ −2 n
k=1
k
n>1
n
!
1
10. Démontrer que pour tout x > 0, la série e−nx converge et exprimer sa somme h(x) en fonction
X X
√
n>1 k=1 k
de f (x) pour tout x ∈ I.
√
π
11. En déduire un équivalent de h(x) lorsque x → 0. Montrer alors que g(x) est équivalent à 3/2 lorsque x → 0.
2x

C Séries de fonctions associées à des ensembles d'entiers

À tout ensemble A ⊆ N on associe la suite (an ) dénie par

1 si n ∈ A,

an =
0 sinon.

1/3
Mines-Ponts MP Mathématiques 2 2016

+∞
Soit IA l'ensemble des réels x > 0 pour lesquels la série an e−nx converge. On pose fA (x) = an e−nx pour tout
X X

n>0 n=0
x ∈ IA . Enn, sous réserve d'existence, on pose Φ(A) = lim xfA (x) et on note S l'ensemble des parties A ⊆ N pour
x→0
lesquelles Φ(A) existe.
12. Quel est l'ensemble Ia si A est ni ? Si A est inni, montrer que l'on peut extraire une suite (bn ) de la suite
(an ) telle que pour tout n ∈ N, bn = 1. Déterminer IA dans ce cas.
13. Soit A ∈ S et (an ) la suite associée. Pour tout entier
X naturel n, on note A(n) l'ensemble des éléments de A
qui sont 6 n. Vérier que pour tout x > 0 la série Card(A(n))e−nx converge et que
n>0

+∞
X fA (x)
Card(A(n))e−nx =
1 − e−x
n=0

Dans la question suivante, A = A1 désigne l'ensemble des carrés d'entiers naturels non nuls.
+∞
fA1 (x) √
14. Montrer que si x > 0, b nce−nx où b·c désigne la partie entière.
X
−x
=
1−e
n=0
+∞
√ fA1 (x)
En déduire un encadrement de , puis un équivalent de fA1 en 0. Prouver alors que
X
ne−nx −
1 − e−x
n=0
A1 ∈ S et donner Φ(A1 ).
Dans la question suivante, A = A2 désigne l'ensemble constitués des entiers qui sont la sommes des carrés de deux
entiers naturels non nuls. On admet que A2 appartient à S, et on désire majorer Φ(A2 ).
Soit v(n) le nombre de couple d'entiers naturels non nuls (p, q) pour lesquels n = p2 + q 2 .
15. Montrer que pour tout réel x > 0, la série v(n)e−nx converge et établir que
X

n>0

+∞
X
v(n)e−nx = (fA1 (x))2 .
n=0

Montrer alors que pour tout x > 0, fA2 (x) 6 (fA1 (x))2 . En déduire un majorant de Φ(A2 ).

D Étude de deux séries de fonctions

Soit (αn )n>0 une suite de nombres réels positifs tels que pour tout réel x > 0, la série αn e−nx converge. On
X

n>0
suppose que
+∞
!
X
lim x αn e−nx = ` ∈ [0, +∞[.
x→0
n=0

On note F l'espace vectoriel des fonctions de [0, 1] dans R, E le sous-espace de F des fonctions continues par morceaux
et E0 le sous-espace de E des fonctions continues sur [0, 1]. On munit E de la norme k k∞ dénie par la formule
kψk∞ = sup |ψ(t)|.
t∈[0,1]
Si ψ ∈ E, on note L(ψ) l'application qui à x > 0 associe
+∞
X
(L(ψ))(x) = αn e−nx ψ(e−nx ).
n=0

2/3
Mines-Ponts MP Mathématiques 2 2016

16. Montrer que L(ψ) est bien dénie pour tout ψ ∈ E et que l'application L est une application linéaire de E
dans F. Vérier que pour tous ψ1 , ψ2 dans E1 , ψ1 6 ψ2 entraîne L(ψ1 ) 6 L(ψ2 ).
On note E1 l'ensemble des ψ ∈ E pour lesquels lim x(L(ψ))(x) existe et si ψ ∈ E1 , on pose
x→0

∆(ψ) = lim x(L(ψ))(x)

x→0

17. Vérier que E1 est un sous espace vectoriel de E et que l'application ∆ est une forme linéaire continue de
(E1 , k k∞ ).
18. Montrer que pour tout p ∈ N, ep : t ∈ [0, 1] 7→ tp appartient à E1 et calculer ∆(ep ). En déduire que E0 ⊆ E1
et calculer ∆(ψ) pour tout ψ ∈ E0 .
Pour tous a, b ∈ [0, 1] tel que a < b, on note 1[a,b] : [0, 1] → {0, 1} la fonction dénie par

1 si x ∈ [a, b]

1[a,b] (x) =
0 sinon.

Soit a ∈]0, 1[ et ε ∈]0, min(a, 1 − a)[. On note

si x ∈ [0, a − ε]

 1

a−x
g− (x) = si x ∈]a − ε, a[
 ε
si x ∈ [a, 1]

0

et
si x ∈ [0, a]

 1

a+ε−x
g+ (x) = si x ∈]a, a + ε[
ε
si x ∈ [a + ε, 1].

0


19. Vérier que g− et g+ appartiennent à E0 et calculer ∆(g− ) et ∆(g+ ). Montrer alors que 1[0,a] ∈ E1 et calculer
∆(1[0,a] ). En déduire que E1 = E et donner ∆(ψ) pour tout ψ ∈ E.
On considère maintenant la fonction ψ dénie sur [0, 1] par la formule :

si x ∈ [0, 1e [
(
0
ψ(x) = 1
si x ∈ [ 1e , 1].
x
20. Calculer (L(ψ))( N1 ) pour tout entier N > 0 et en déduire la limite
N
1 X
lim αk
N→+∞ N
k=0

(théorème taubérien).
On rappelle que v(n) est le nombre de couples d'entiers naturels non nuls (p, q) tels que n = p2 + q 2 .
n
1 1X
21. Si A ∈ S, que vaut lim Card (A(n)) ? Déterminer alors lim v(k).
n→+∞ n n→+∞ n
k=1
Fin du problème

3/3