Inégalité de Hardy

L'inégalité de Hardy est une inégalité en mathématiques, portant le nom de G. H. Hardy. Ce résultat énonce que si $a_1,a_2,a_3,\dots$ est une suite de nombres réels positifs ou nuls, alors pour tout nombre réel Modèle:Nobr on a

$$\sum _{n=1}^{\mathrm{\infty }}{\left(\frac{a_1+a_2+\cdots +a_n}{n}\right)}^p⩽{\left(\frac{p}{p-1}\right)}^p\sum _{n=1}^{\mathrm{\infty }}{a}_n^p.$$

Si le membre de droite est fini, l'égalité est vérifiée si et seulement si $a_n=0$ pour tout $n$.

Une version intégrale de l'inégalité de Hardy énonce ce qui suit : si $f$ est une fonction mesurable à valeurs positives définie sur $[0,+\mathrm{\infty }[$, alors

$$\underset{0}{\overset{\mathrm{\infty }}{\int }}{(\frac{1}{x}\underset{0}{\overset{x}{\int }}f(t)\mathrm{d}t)}^p\mathrm{d}x⩽{\left(\frac{p}{p-1}\right)}^p\underset{0}{\overset{\mathrm{\infty }}{\int }}f(x{)}^p\mathrm{d}x.$$

Si le membre de droite est fini, l'égalité est vraie si et seulement si $f(x)=0$ presque partout.

L'inégalité de Hardy a été publiée et prouvée pour la première fois (du moins la version discrète avec une constante moins précise) en 1920 dans une note de Hardy. La formulation originale était sous une forme intégrale légèrement différente de la précédente.

Version générale avec poids

On a une version générale de l'inégalité de Hardy avec poids : Modèle:Rp

• Si $\alpha +\frac{1}{p}<1$, alors

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{(y^{\alpha -1}\underset{0}{\overset{y}{\int }}{x}^{-\alpha }f(x)\mathrm{d}x)}^p\mathrm{d}y⩽\frac{1}{{(1-\alpha -\frac{1}{p})}^p}\underset{0}{\overset{\mathrm{\infty }}{\int }}f(x{)}^p\mathrm{d}x$

• Si $\alpha +\frac{1}{p}>1$, alors

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{(y^{\alpha -1}\underset{y}{\overset{\mathrm{\infty }}{\int }}{x}^{-\alpha }f(x)\mathrm{d}x)}^p\mathrm{d}y⩽\frac{1}{{(\alpha +\frac{1}{p}-1)}^p}\underset{0}{\overset{\mathrm{\infty }}{\int }}f(x{)}^p\mathrm{d}x.$

Version multidimensionnelle

Dans le cas multidimensionnel, l'inégalité de Hardy peut être étendue aux espaces $L^p$, prenant la forme

$${\Vert \frac{f}{|x|}\Vert }_{L^p(R^n)}\le \frac{p}{n-p}\Vert \mathrm{\nabla }f{\Vert }_{L^p(R^n)},2⩽n,1\le p<n,$$

où $f\in C_0^{\mathrm{\infty }}(R^n)$, et où la constante $\frac{p}{n-p}$ est optimale.

Démonstration de l'inégalité

Version intégrale

Un changement de variables donne $${\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{(\frac{1}{x}\underset{0}{\overset{x}{\int }}f(t)\mathrm{d}t)}^p\mathrm{d}x\right)}^{1/p}={\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{(\underset{0}{\overset{1}{\int }}f(sx)\mathrm{d}s)}^p\mathrm{d}x\right)}^{1/p},$$ qui est inférieur ou égal à $\underset{0}{\overset{1}{\int }}{(\underset{0}{\overset{\mathrm{\infty }}{\int }}f(sx{)}^p\mathrm{d}x)}^{1/p}\mathrm{d}s$ par l'inégalité intégrale de Minkowski. Enfin, par un autre changement de variables, la dernière expression est égale à $$\underset{0}{\overset{1}{\int }}{(\underset{0}{\overset{\mathrm{\infty }}{\int }}f(x{)}^p\mathrm{d}x)}^{1/p}{s}^{-1/p}\mathrm{d}s=\frac{p}{p-1}{(\underset{0}{\overset{\mathrm{\infty }}{\int }}f(x{)}^p\mathrm{d}x)}^{1/p}.$$

Version discrète

En supposant que le côté droit soit fini, on doit avoir $a_n\to 0$ quand $n\to \mathrm{\infty }$ . Par conséquent, pour tout entier positif j, il n'y a qu'un nombre fini de termes supérieurs à $2^{-j}$. Cela permet de construire une suite décroissante $b_1\ge b_2⩾\cdots$ contenant les mêmes termes positifs que la suite d'origine (mais éventuellement aucun termes nuls). Puisque $a_1+a_2+\cdots +a_n\le b_1+b_2+\cdots +b_n$ pour tout n, il suffit de montrer l'inégalité pour la nouvelle suite. Cela découle directement de la forme intégrale, en définissant $f(x)=b_n$ si $n-1<x<n$ et $f(x)=0$ autrement. En effet, on a $$\underset{0}{\overset{\mathrm{\infty }}{\int }}f(x{)}^p\mathrm{d}x=\sum _{n=1}^{\mathrm{\infty }}{b}_n^p$$ et pour $n-1<x<n$, on a $$\frac{1}{x}\underset{0}{\overset{x}{\int }}f(t)\mathrm{d}t=\frac{b_1+\dots +b_{n-1}+(x-n+1)b_n}{x}⩾\frac{b_1+\dots +b_n}{n}$$ (la dernière inégalité équivaut à $(n-x)(b_1+\dots +b_{n-1})\ge (n-1)(n-x)b_n$, ce qui est vrai car la nouvelle suite est décroissante) et donc $$\sum _{n=1}^{\mathrm{\infty }}{\left(\frac{b_1+\dots +b_n}{n}\right)}^p⩽\underset{0}{\overset{\mathrm{\infty }}{\int }}{(\frac{1}{x}\underset{0}{\overset{x}{\int }}f(t)\mathrm{d}t)}^p\mathrm{d}x.$$

Voir également

• Inégalité de Carleman

Bibliographie

• Modèle:Ouvrage
• Michiel Hazewinkel, ed. Hardy inequality, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, 2001
• Modèle:Ouvrage
• Nader Masmoudi, About the Hardy Inequality, in Dierk Schleicher, Malte Lackmann (eds.), An Invitation to Mathematics, Springer Berlin Heidelberg, 2011
• Modèle:Ouvrage