« Inégalité de Hilbert » : différence entre les versions
m v2.05b - Bot T3 PCS#524 - Correction syntaxique (Argument dupliqué dans un appel de modèle - Paramètre inconnu) |
m →Énoncés : Un énoncé de plus... |
||
Ligne 8 : | Ligne 8 : | ||
{{Théorème|Inégalité de Hilbert (1)|Soient <math>a_0, \dots, a_n</math> des nombres réels positifs ; alors |
{{Théorème|Inégalité de Hilbert (1)|Soient <math>a_0, \dots, a_n</math> des nombres réels positifs ; alors |
||
:: <math>\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}. </math> }} |
:: <math>\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}. </math> }} |
||
De fait, Hilbert a prouvé cette formule avec un facteur <math>2\pi</math> ; le facteur <math>\pi</math> est dû à son élève [[ |
De fait, Hilbert a prouvé cette formule avec un facteur <math>2\pi</math> ; le facteur <math>\pi</math> est dû à son élève [[Issai Schur]]. Le facteur <math>\pi</math> a été lui-même remplacé par <math>(n+1)\sin(\pi/(n+1)</math> d'après l'article de H. Frazer<ref>{{harvsp|Frazer|1946|p=}}.</ref>. |
||
Une deuxième série d'énoncés concerne des suites doubles ; voici la formulation donnée dans l'[[Encyclopædia of Mathematics]]<ref>[http://encyclopediaofmath.org/index.php?title=Hilbert_inequality&oldid=47229 Hilbert inequality. ''Encyclopedia of Mathematics''.] </ref> : |
|||
⚫ | |||
{{Théorème|Inégalité de Hilbert (2)| |
{{Théorème|Inégalité de Hilbert (2)|On a : |
||
<math>\ |
:<math>\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 } ,</math> |
|||
avec <math> |
|||
p > 1,\ \ |
|||
q = |
|||
\frac{p}{p - 1 } |
|||
,\ \ |
|||
{ |
|||
\frac{1}{p} |
|||
} + { |
|||
\frac{1}{q } |
|||
} = 1,\ \ |
|||
a _ {n} , b _ {m} \geq 0,</math>.}} |
|||
⚫ | |||
{{Théorème|Inégalité de Hilbert (3)|Soient <math>a_0, \dots, a_n, b_0, \dots b_n</math> des nombres complexes ; alors : |
|||
:<math>\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}.</math>}} |
|||
== Bibliographie == |
== Bibliographie == |
Version du 16 mai 2024 à 07:28
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 Equations intégrales singulières avec une attention particulière au théorème intégral de Fourier de 1908 - et en particulier Godfrey Harold Hardy ont effectué des recherches approfondies.
Énoncés
Un premier énoncé concerne des suites de nombres réels positifs. Il est le suivant[1] :
Inégalité de Hilbert (1) — Soient des nombres réels positifs ; alors
De fait, Hilbert a prouvé cette formule avec un facteur ; le facteur est dû à son élève Issai Schur. Le facteur a été lui-même remplacé par d'après l'article de H. Frazer[2].
Une deuxième série d'énoncés concerne des suites doubles ; voici la formulation donnée dans l'Encyclopædia of Mathematics[3] :
Inégalité de Hilbert (2) — On a :
avec .
Une deuxième série d'énoncés concerne des doubles suites de nombres complexes :
Inégalité de Hilbert (3) — Soient des nombres complexes ; alors :
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 » (no 165), , 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, , p. 7–9
- Godfrey Harold Hardy, « Note on a theorem of Hilbert », Mathematische Zeitschrift, vol. 6,
- G. H. Hardy, « Note on a theorem of Hilbert concerning series of positive terms », Proceedings of the London Mathematical Society (2), vol. 23,
- G. H. Hardy, J. E. Littlewood et G. Pólya, Inequalities : Reprint (of the 2. edition 1952), Cambridge, Cambridge University Press,
- David Hilbert, « Ueber die Darstellung definiter Formen als Summe von Formenquadraten », Mathematische Annalen, vol. 32, , p. 342–350 (MR 1510517, lire en ligne)
- Fu Cheng Hsiang, « An inequality for finite sequences », Mathematica Scandinavica, vol. 5, , p. 12–14
- Edmund Landau, « A note on a theorem concerning series of positive terms », Journal of the London Mathematical Society, vol. 1, , p. 38–39
- Waadallah Tawfeeq Sulaiman, « Hardy-Hilbert's integral inequalities via homogeneous functions and some other generalizations », Acta et Commentationes Universitatis Tartuensis de Mathematica, vol. 11, , p. 23–32 (MR 2391968)
- David Vernon Widder, « An Inequality Related to One of Hilbert’s », Journal of the London Mathematical Society, vol. 4, , 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, , article no 9197476 8 pages (MR 3548430)