Inégalité de Hilbert

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

L'inégalité de Hilbert est une inégalité classique en analyse, Elle remonte à un article du mathématicien allemand David Hilbert de 1888 et donne une majoration de certaines sommes doubles de nombres réels positifs. L'inégalité de Hilbert a été raffinée, généralisée et modifiée par de nombreux auteurs. Enfin, Hermann Weyl — par exemple dans sa thèse de habilitation Singuläre Integralgleichungen mit besonderer Berücksichtigung des Fourierschen Integraltheorems de 1908 — et en particulier Godfrey Harold Hardy ont effectué des recherches approfondies.

Énoncés

Une suite de nombres réels

Un premier énoncé concerne des suites de nombres réels positifs. Il est le suivant^[1] :

Inégalité de Hilbert (1) — Soient $a_{0},\dots ,a_{n}$ des nombres réels positifs ; alors

\sum _{i=0}^{n}{\sum _{j=0}^{n}{\frac {a_{i}a_{j}}{i+j+1}}}\leq \pi \cdot \sum _{i=0}^{n}{{a_{i}}^{2}}.

De fait, Hilbert a prouvé cette formule avec un facteur $2\pi$ ; le facteur $\pi$ est dû à son élève Issai Schur. Le facteur $\pi$ a été lui-même remplacé par $(n+1)\sin(\pi /(n+1)$ dans un article de H. Frazer^[2] de 1946. D. V. Widder a donné la précision supplémentaire^[3] :

\sum _{i=0}^{n}{\sum _{j=0}^{n}{\frac {a_{i}a_{j}}{i+j+1}}}\leq \pi \cdot \sum _{i=0}^{n}{\sum _{j=0}^{n}{{\frac {(i+j)!}{i!j!}}{\frac {a_{i}a_{j}}{2^{i+j+1}}}}}

Suite double

Une deuxième série d'énoncés concerne des suites doubles ; voici la formulation donnée dans l'Encyclopædia of Mathematics^[4] :

Inégalité de Hilbert (2) — On a :

\sum _{m=1}^{\infty }\sum _{n=1}^{\infty }{\frac {a_{n}b_{m}}{n+m}}<\ {\frac {\pi }{\sin(\pi /p)}}\left(\sum _{n=1}^{\infty }a_{n}^{p}\right)^{1/p}\left(\sum _{m=1}^{\infty }b_{m}^{q}\right)^{1/q},

avec $p>1,\ \ q={\frac {p}{p-1}},\ \ {\frac {1}{p}}+{\frac {1}{q}}=1,\ \ a_{n},b_{m}\geq 0,$ .

Fu Cheng Hsiang^[5] a démontré l'inégalité suivante^[1] pour des suite de nombres réels positifs :

\sum _{i=0}^{n}{\sum _{j=0}^{n}{\frac {a_{i}b_{j}}{2i+2j+1}}}\leq (n+1)\cdot \sin {\frac {\pi }{2(n+1)}}\cdot \left(\sum _{i=0}^{n}{{a_{i}}^{2}}\right)^{\frac {1}{2}}\cdot \left(\sum _{j=0}^{n}{{b_{j}}^{2}}\right)^{\frac {1}{2}}

Suite de nombres complexes

Une deuxième série d'énoncés concerne des suites de nombres complexes. Soit $(u_{m})$ un suite de nombres complexes : si la suite est infinie, on la supose de carré sommable :

\sum _{m}|u_{m}|^{2}<\infty

L'inégalité de Hilbert affirme, d'après Steele^[6], que

\left|\sum _{r\neq s}{\dfrac {u_{r}{\overline {u_{s}}}}{r-s}}\right|\leq \pi \displaystyle \sum _{r}|u_{r}|^{2}.

Pour une suite double, on a :

Inégalité de Hilbert (3) — Soient $a_{0},\dots ,a_{n},b_{0},\dots b_{n}$ des nombres complexes. On a :

{\Bigg |}\sum _{k,j=0}^{n}{\frac {a_{k}{\overline {b_{j}}}}{1+j+k}}{\Bigg |}\leq \pi {\sqrt {\sum _{p=0}^{n}|a_{p}|^{2}}}{\sqrt {\sum _{p=0}^{n}|b_{p}|^{2}}}.

Bibliographie

Dragoslav S. Mitrinović, Analytic inequalities : In cooperation with Petar Vasić, Springer, coll. « Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete » (n^o 165), 1970, vi + 400 (ISBN 3-540-62903-3, MR 0018226, zbMATH 0199.38101, lire en ligne)

H. Frazer, « Note on Hilbert’s inequality », The Journal of the London Mathematical Society, vol. 21,‎ 1946, p. 7–9
Godfrey Harold Hardy, « Note on a theorem of Hilbert », Mathematische Zeitschrift, vol. 6,‎ 1920
G. H. Hardy, « Note on a theorem of Hilbert concerning series of positive terms », Proceedings of the London Mathematical Society (2), vol. 23,‎ 1925
G. H. Hardy, J. E. Littlewood et G. Pólya, Inequalities : Reprint (of the 2. edition 1952), Cambridge, Cambridge University Press, 1973
David Hilbert, « Ueber die Darstellung definiter Formen als Summe von Formenquadraten », Mathematische Annalen, vol. 32,‎ 1888, p. 342–350 (lire en ligne)
Fu Cheng Hsiang, « An inequality for finite sequences », Mathematica Scandinavica, vol. 5,‎ 1957, p. 12–14
Edmund Landau, « A note on a theorem concerning series of positive terms », Journal of the London Mathematical Society, vol. 1,‎ 1926, p. 38–39

J. Michael Steele, The Cauchy-Schwarz master class: an introduction to the art of mathematical inequalities, Cambridge University Press, coll. « MAA problem books », 2004 (ISBN 978-0-521-83775-0)

Waadallah Tawfeeq Sulaiman, « Hardy-Hilbert's integral inequalities via homogeneous functions and some other generalizations », Acta et Commentationes Universitatis Tartuensis de Mathematica, vol. 11,‎ 2007, p. 23–32 (MR 2391968)
David Vernon Widder, « An Inequality Related to One of Hilbert’s », Journal of the London Mathematical Society, vol. 4,‎ 1929, p. 194–198 (MR 1575045, lire en ligne)
Bicheng Yang et Qiang Chen, « A new extension of Hardy-Hilbert's inequality in the whole plane », Journal of Function Spaces,‎ 2016, article n^o 9197476 8 pages (MR 3548430)