PROFILPELAJAR.COM

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.

Consultez la liste des tâches à accomplir en page de discussion.

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

Suite de nombres réels

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

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] :

Hilbert (1') —

\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] :

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 :

Hilbert (2') —

\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. L'inégalité de Hilbert est la suivante, d'après Steele^[6] :

Hilbert (3) — 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$ ). Alors

\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 :

Hilbert (3') — Soient $a_{0},\dots ,a_{n},b_{0},\dots b_{n}$ des nombres complexes. Alors

{\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}}}.

Variante

Une variante avec les sommes remplacées par des intégrales :

Hilbert (4) — Soient $f,g\colon [0,\infty )\to [0,\infty )$ deux fonctions non identiquement nulles, et soient $p,q$ des nombres réels avec ${\tfrac {1}{p}}+{\tfrac {1}{q}}=1$ . Alors

\int _{0}^{\infty }\int _{0}^{\infty }{\frac {f(x)g(y)}{x+y}}\,\mathrm {d} x\,\mathrm {d} y<{\frac {\pi }{\sin \left({\frac {\pi }{p}}\right)}}\cdot \left(\int _{0}^{\infty }{f^{p}(x)}\,\mathrm {d} x\right)^{\frac {1}{p}}\cdot \left(\int _{0}^{\infty }{g^{q}(x)}\,\mathrm {d} x\right)^{\frac {1}{q}}

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)