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 est une suite de nombres réels positifs ou nuls, alors pour tout nombre réel p > 1 on a [1]
Si le membre de droite est fini, l'égalité est vérifiée si et seulement si pour tout .
Une version intégrale de l'inégalité de Hardy énonce ce qui suit : si est une fonction mesurable à valeurs positives définie sur , alors
Si le membre de droite est fini, l'égalité est vraie si et seulement si 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[2]. 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
modifierOn a une version générale de l'inégalité de Hardy avec poids[3] : :§329
- Si , alors
- Si , alors
Version multidimensionnelle
modifierDans le cas multidimensionnel, l'inégalité de Hardy peut être étendue aux espaces , prenant la forme [4]
où , et où la constante est optimale.
Démonstration de l'inégalité
modifierVersion intégrale
modifierUn changement de variables donne qui est inférieur ou égal à par l'inégalité intégrale de Minkowski. Enfin, par un autre changement de variables, la dernière expression est égale à
Version discrète
modifierEn supposant que le côté droit soit fini, on doit avoir quand . Par conséquent, pour tout entier positif j, il n'y a qu'un nombre fini de termes supérieurs à . Cela permet de construire une suite décroissante contenant les mêmes termes positifs que la suite d'origine (mais éventuellement aucun termes nuls). Puisque 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 si et autrement. En effet, on a et pour , on a (la dernière inégalité équivaut à , ce qui est vrai car la nouvelle suite est décroissante) et donc
Voir également
modifierNotes
modifier- Mohammed Aassila, 100 chalenges mathématiques, Analyse, Ellipses, , p. 303-304
- (en) Hardy, « Note on a theorem of Hilbert », Mathematische Zeitschrift, vol. 6, nos 3–4, , p. 314–317 (DOI 10.1007/BF01199965, lire en ligne)
- (en) Hardy, Littlewood et Pólya, Inequalities, Cambridge, UK, , Second éd.
- (en) Michael Ruzhansky et Durvudkhan Suragan, Hardy Inequalities on Homogeneous Groups : 100 Years of Hardy Inequalities, Birkhäuser Basel, , 571 p. (ISBN 978-3-030-02894-7, lire en ligne)
Bibliographie
modifier- (en) G. H. Hardy, Littlewood J.E. et Pólya, G., Inequalities, 2nd ed, Cambridge etc., Cambridge University Press, , 324 p. (ISBN 0-521-35880-9)
- Michiel Hazewinkel, ed. Hardy inequality, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, 2001
- (en) Alois Kufner et Persson, Lars-Erik, Weighted inequalities of Hardy type, Singapore/River Edge (N.J.)/London etc., World Scientific Publishing, , 357 p. (ISBN 981-238-195-3)
- Nader Masmoudi, About the Hardy Inequality, in Dierk Schleicher, Malte Lackmann (eds.), An Invitation to Mathematics, Springer Berlin Heidelberg, 2011
- Michael Ruzhansky et Suragan, Durvudkhan, Hardy Inequalities on Homogeneous Groups : 100 Years of Hardy Inequalities, Birkhäuser Basel, , 571 p. (ISBN 978-3-030-02895-4, lire en ligne)