Agrégation - Leçons

Inégalité de Hardy — Cas où f est positive : Tf est positif.

En vertu du théorème fondamental de l’analyse, Tf ∈ C 1 (R∗+ )
ÉNONCÉ : et on a, pour tout x ∈ R∗+ :
1
Tf0 (x) = (f (x) − Tf (x))
Inégalité de Hardy : x
Soit p ∈]1, +∞[ un réel. Pour tout f ∈ Lp (R+ , R), on pose : d’où :
Tf : R∗+ −→ R Tf (x) = f (x) − xTf0 (x)
x 7−→ x1 0x f (t)dt
R
Soit (, R) ∈ (R∗+ )2 tel que  < R, alors on a :
Z R Z R Z R
Alors Tf ∈ Lp (R+ ) et on a la majoration suivante : Tfp (x)dx = p−1
Tf (x)f (x)dx − Tfp−1 (x)xTf0 (x)dx
 | {z } | {z }
p
!
=I1 =I2
||Tf ||Lp ≤ ||f ||Lp
p−1 Or, p1 Tfp et idR∗+ étant des éléments de C 1 (R∗+ ), on a, en intégrant
De plus, l’inégalité est optimale. I2 par parties :
1ZR p
#R
x
Z R "

DÉVELOPPEMENT : Tfp (x)dx = I1 − Tfp (x) + T (x)dx

 p  p  f
Remarquons d’abord que, pour p ∈]1, +∞[ et f ∈ Lp (R+ ), Tf (x)
d’où :
est bien définie sur R∗+ . En effet, par l’inégalité de hölder, il vient :
p−1 Tfp () RTfp (R)
!Z
R
1Zx 1
Tfp (x)dx = I1 + −
|Tf (x)| ≤ |f (t)|dt ≤ x− p ||f ||Lp < +∞ p  p p
x 0
| {z }
−→0
→0

p−1
!Z
R
LEMME : =⇒ Tfp (x)dx ≤ I1 (par positivité de Tf )
Pour f ∈ Cc (R∗+ ), on a l’inégalité : p 0
Z R ! p−1 Z R !
p
p
p ≤ Tf (x)dx f (x)dx
p
!
||Tf ||Lp ≤ ||f ||Lp (hölder) 0 0
p−1
D’où, pour R ∈ R∗+ , on a :
Démonstration. Soit f ∈ Cc (R∗+ ). On peut prolonger par continuité
!p Z
Z R p +∞
Tfp (x)dx ≤ f p (x)dx < +∞
de façon naturelle f en posant f (0) = 0. 0 p−1 0

Demesmay Yoann 1 Université de Bourgogne Franche-Comté - 2022/2023

Agrégation - Leçons

Tfp étant positif, l’inégalité qui précède nous indique que Tf ∈ de Cc (R∗+ ) telle que :
Lp (R+ ). Par passage à la limite R −→ +∞, on a l’inégalité
fn −→ f dans Lp (R+ )
souhaitée. n→+∞

— Cas où f est quelconque : Pour x ∈ R∗+ , on a |Tf (x)| ≤ T|f | (x). Alors :
On peut ainsi applique l’inégalité dans le cas positif à la fonc- • D’une part, par hölder, la suite (Tfn )n∈N converge simple-
tion |f | ∈ Cc (R∗+ ). Par croissance de la fonction x 7→ xp et de ment sur R∗+ vers Tf .
l’intégrale, TF ∈ Lp et on a l’inégalité souhaitée. • D’autre part, par continuité de T̃ , on a , pour n ∈ N :
Tfn = T̃fn −→ T̃f dans Lp (R+ )
n→+∞
• Prolongement de l’opérateur T : Par le lemme, l’opérateur
défini par : Donc par le théorème de riesz-fischer, on peut suppo-
ser que (Tfn )n∈N converge presque partout vers T̃f (quitte à
T : (Cc (R∗+ ), ||.||Lp ) −→ (Lp , ||.||Lp ) extraire une sous-suite).
f 7−→ Tf Conclusion : Pour presque tout x ∈ R+ , Tf (x) = T̃f (x) et
est une application linéaire continue (donc uniformément conti- donc Tf ∈ Lp (R+ ). De plus,
nue) vérifiant l’inégalité : p
!p
||Tf ||pLp = ||T̃f ||pLp ≤ ||f ||pLp
p p−1
||T ||Lc (Cc (R∗+ ),Lp ) ≤
p−1 ce qui prouve l’inégalité.
De plus, (Lp (R+ ), ||.||Lp )) est un espace de banach dans lequel • Optimalité de l’inégalité : Considérons, pour (, R) ∈
Cc (R∗+ ) est dense. (R∗+ )2 la fonction positive
Par le théorème de prolongement des applications 1

uniformément continues sur un espace complet, il f : t 7−→ 1]0,R[ t− p

existe une unique application linéaire T̃ ∈ Lc (Lp (R+ )) qui pro- Par positivité de Tf , il vient :
longe T et vérifie : !p
p
p ||Tf ||pLp ≥ ||f ||pLp
||T̃ ||Lc (Lp ) = ||T ||Lc (Cc (R∗+ ),Lp ) ≤ p − 1 + p
p−1
 ∈ R∗+ étant arbitraire on a finalement :
• Prolongement de l’inégalité de Hardy : Considérons dé-
p
sormais f ∈ Lp (R+ ). On dispose d’une suite (fn )n∈N d’éléments ||T ||Lc (Lp ) =
p−1
Demesmay Yoann 2 Université de Bourgogne Franche-Comté - 2022/2023