Aller au contenu

« Inégalité de Hilbert » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Contenu supprimé Contenu ajouté
m v2.05b - Bot T3 PCS#524 - Correction syntaxique (Argument dupliqué dans un appel de modèle - Paramètre inconnu)
Vers75 (discuter | contributions)
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 [[Isaac Shur]]. 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>.
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> :
Un deuxième énoncé concerne des suites de nombres complexes. Il est le suivant :


{{Théorème|Inégalité de Hilbert (2)|Soient <math>a_0, \dots, a_n, b_0, \dots b_n</math> des nombres complexes ; alors :
{{Théorème|Inégalité de Hilbert (2)|On a :
<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>}}
:<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>.}}

Une deuxième série d'énoncés concerne des doubles suites de nombres complexes :

{{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)
  • 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)

Notes et références