Inégalité 4/3 de Littlewood

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.

En analyse mathématique, l'inégalité 4/3 de Littlewood, portant le nom de John Edensor Littlewood^[1], est une inégalité valable pour toute forme bilinéaire à valeurs complexes définie sur ${\displaystyle c_{0}}$, l'espace de Banach des suites réelles ou complexes qui convergent vers zéro.

Plus précisément, soit ${\displaystyle B:c_{0}\times c_{0}\to \mathbb {C} }$ ou ${\displaystyle \mathbb {R} }$ une forme bilinéaire. On a alors :

${\displaystyle \left(\sum _{i,j=1}^{\infty }|B(e_{i},e_{j})|^{4/3}\right)^{3/4}\leqslant {\sqrt {2}}\|B\|,}$

où

${\displaystyle \|B\|=\sup\{|B(x_{1},x_{2})|:\|x_{i}\|_{\infty }\leqslant 1\}.}$

L'exposant 4/3 est optimal, c'est-à-dire qu'il ne peut pas être remplacé par un exposant plus petit^[1]. Il est également connu que pour des suites réelles, la constante ${\displaystyle {\sqrt {2}}}$ est optimale aussi^[2].