Accueil🇫🇷Chercher

Conjecture de Littlewood

En mathématiques, la conjecture de Littlewood est un problème ouvert (en octobre 2022) en approximation diophantienne, proposé par John Edensor Littlewood vers 1930. Il affirme que pour deux nombres réels quelconques α et β,

où est la distance à l'entier le plus proche.

Formulation et explication

On peut le comprendre ainsi : prendre un point ( α, β ) dans le plan, puis considérer la séquence de points

(2 α, 2 β ), (3 α, 3 β ), . . . .

Pour chacun d'entre eux, on multiplie la distance à la droite la plus proche avec la coordonnée entière x par la distance à la droite la plus proche avec la coordonnée entière y . Ce produit sera certainement au plus 1/4. La conjecture ne dit pas si cette suite de valeurs convergera ; ce n'est généralement pas le cas, en fait. La conjecture énonce quelque chose à propos de la limite inférieure, et dit qu'il existe une sous-séquence pour laquelle les distances décroissent plus vite que l'inverse, c'est-à-dire en o(1/n)


dans la notation petit-o .

En d'autres termes, la conjecture dit que pour tout α et β il y a une infinité de tels , tel que l'égalité soit vraie.

Connexion à d'autres conjectures

On sait que cela découlerait d'un résultat en géométrie des nombres, autour du minimum sur un point de réseau non nul d'un produit de trois formes linéaires en trois variables réelles : l'implication a été montrée en 1955 par JWS Cassels et Swinnerton-Dyer[1]. Cela peut être formulé d'une autre manière, en termes de théorie des groupes. Il existe maintenant une autre conjecture, supposée valable pour n ≥ 3 : elle est exprimée en termes de G = SLn(R), Γ = SLn(Z) et le sous-groupe D des matrices diagonales dans G .

Théorème — pour tout g dans G/Γ tel que Dg soit relativement compact (dans G/Γ), alors Dg est fermé.

Ceci à son tour est un cas particulier d'une conjecture générale de Margulis sur les groupes de Lie.

Résultats partiels

Borel a montré en 1909 que l'ensemble exceptionnel des couples réels (α,β) ne respectant l'énoncé de la conjecture est de mesure de Lebesgue nulle[2]. Manfred Einsiedler, Anatole Katok et Elon Lindenstrauss ont montré [3] qu'elle doit avoir la dimension de Hausdorff nulle [4]; et est en fait une union dénombrable d'ensembles compacts de dimension de Minkowski-Bouligand nulle. Le résultat a été prouvé en utilisant un théorème de classification des mesures pour les actions diagonalisables des groupes de rang supérieur, et un théorème d'isolement prouvé par Lindenstrauss et Barak Weiss.

Ces résultats impliquent que des paires non triviales vérifiant la conjecture existent : en effet, étant donné un nombre réel α tel que , il est possible de construire un β explicite tel que (α,β) vérifie la conjecture[5].

Voir également

Références

  1. J.W.S. Cassels et H.P.F. Swinnerton-Dyer, « On the product of three homogeneous linear forms and the indefinite ternary quadratic forms », Philosophical Transactions of the Royal Society A, vol. 248, no 940,‎ , p. 73–96 (DOI 10.1098/rsta.1955.0010, JSTOR 91633, Bibcode 1955RSPTA.248...73C, MR 70653, zbMATH 0065.27905, S2CID 122708867)
  2. Adamczewski & Bugeaud (2010) p.444
  3. M. Einsiedler, A. Katok et E. Lindenstrauss, « Invariant measures and the set of exceptions to Littlewood's conjecture », Annals of Mathematics, vol. 164, no 2,‎ , p. 513–560 (DOI 10.4007/annals.2006.164.513, Bibcode 2006math.....12721E, MR 2247967, zbMATH 1109.22004, arXiv math.DS/0612721, S2CID 613883)
  4. Adamczewski & Bugeaud (2010) p.445
  5. Adamczewski & Bugeaud (2010) p.446
  • Boris Adamczewski et Yann Bugeaud, Combinatorics, automata, and number theory, vol. 135, Cambridge, Cambridge University Press, coll. « Encyclopedia of Mathematics and its Applications », , 410–451 p. (ISBN 978-0-521-51597-9, zbMATH 1271.11073), « 8. Transcendence and diophantine approximation »

Lectures complémentaires

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.