Spectre de Lagrange

En mathématiques, et plus précisément en théorie des nombres, le spectre de Lagrange est un ensemble de nombres réels apparaissant dans la théorie de l'approximation diophantienne. Le spectre de Markov, défini par Andreï Markov, est une variante de cet ensemble jouant un rôle dans l'étude de l'équation diophantienne de Markov.

Définitions

Spectre de Lagrange

Le théorème de Hurwitz affirme que tout réel ξ peut être approché par une suite de rationnels m/n telle que

Plus précisément, on définit L(ξ) comme la borne supérieure des c ayant la même propriété que 5 dans cette formule (si elle existe, c'est-à-dire si ξ est irrationnel et de mesure d'irrationalité égale à 2), autrement dit L(ξ) est la borne supérieure des c tels qu'il existe une suite de rationnels m/n ayant pour limite ξ et telle que

 ;

l'ensemble des L(ξ) (pour ξ irrationnel) forme le spectre de Lagrange L[1]. Le théorème de Hurwitz montre que est le plus petit élément de L, et plus précisément encore que les seuls nombres ξ pour lesquels L(ξ)=5 sont les nombres équivalents au nombre d'or  ; Hurwitz a également démontré que l'élément suivant de L, obtenu en excluant les nombres précédents, est 22=L(2). Plus généralement, ce procédé définit une suite de nombres Ln appelés nombres de Lagrange ; il s'agit de la suite , de limite 3 et formant la partie du spectre de Lagrange inférieure à 3.

Une formulation équivalente, mais plus pratique, en termes de limites inférieures, revient à dire que :

m est l'entier (dépendant de n) rendant la différence minimale.

Développement en fraction continue et spectre de Markov

Partant du développement en fraction continue de ξ,

on introduit la suite de nombres , où s'obtient en retirant les n premiers termes du développement de ξ et est le rationnel obtenu en prenant les termes retirés, dans l'ordre inverse. On a alors .

Si l'on remplace dans cette définition la limite supérieure par la borne supérieure, on obtient un nouvel ensemble de nombres M(ξ), le spectre de Markov M, défini par Andreï Markov en 1879 dans le cadre de son étude des formes quadratiques[2] :

Caractérisations du spectre de Markov

La définition précédente peut s'interpréter géométriquement à l'aide de l'étude de la position de droites de pente ξ par rapport au réseau des points de coordonnées entières[3]. Markov en a déduit les deux caractérisations suivantes :

Par les formes quadratiques

On considère l'ensemble des formes quadratiques   à coefficients réels, de discriminant fixé [4]. Pour chacune de ces formes, la borne supérieure des valeurs absolues des inverses des valeurs non nulles prises en un point du réseau appartient au spectre de Markov ; plus précisément

[5].

En relation avec l'équation diophantienne de Markov

Les nombres de Markov sont les entiers naturels x, y ou z faisant partie d'une solution de l'équation diophantienne de Markov : , formant la suite (1,2,5,13,34,89,...) (suite A002559 de l'OEIS). Markov a démontré que le n-ème nombre de Lagrange, Ln, est donné par la formule , où mn est le n-ème nombre de Markov.

Géométrie des spectres

Le spectre de Lagrange est inclus dans celui de Markov, et ils sont identiques dans leur partie initiale comprise entre 5 et 3 (commençant par 5, 8, 221/5, 1517/13,[6]...). Le spectre de Lagrange est continu à partir de sa dernière discontinuité, la constante de Freiman, un nombre dont la valeur exacte est

(suite A118472 de l'OEIS),

c'est-à-dire que et que pour tout x<F, il existe y non dans L tel que x<y<F[7],[8]. L est en fait strictement inclus dans M, mais on ignore, par exemple, la valeur du plus petit élément de M qui n'est pas dans L[9].

La transition entre la partie discrète de L (entre 5 et 3) et la partie continue (après F) a une structure fractale, décrite plus précisément par le théorème suivant[10] :

Pour tout , la dimension de Hausdorff de est égale à celle de . Si d est la fonction associant à t cette dimension, alors d est continue, croissante, et envoie R sur [0,1].

Ce théorème se généralise d'ailleurs à d'autres spectres analogues[11].

Systèmes dynamiques associés aux spectres

Les définitions de L et de M à l'aide de développements en fractions continues amènent naturellement à les faire correspondre à un système dynamique : l'ensemble des suites (infinies dans les deux directions) d'entiers non nuls, muni de l'opérateur de décalage défini par . Associant alors à chaque suite de S le réel défini par la somme des développements en fractions continues , les résultats donnés plus haut montrent[12] que

et
.

La géométrie des spectres (c'est-à-dire, par exemple, la dimension de Hausdorff de la restriction du spectre à un intervalle donné) peut alors être étudiée à l'aide d'outils venant de cette théorie, comme les partitions de Markov (en)[13].

Voir aussi

Notes et références

  1. Ainsi nommé en hommage aux travaux de Lagrange sur les fractions continues[réf. souhaitée].
  2. Andreï Markov, Sur les formes quadratiques binaires indéfinies, Math. Ann. , 15 (1879) pp. 381–406.
  3. Series 1985
  4. Une autre valeur de Δ (positive) demanderait simplement à diviser par Δ les nombres obtenus dans la définition de M ci-dessous
  5. Perrine 1988, p.44 et suivantes
  6. Cassels 1957 p.18
  7. Gregory Freiman (en), Diophantine approximation and geometry of numbers (the Markoff spectrum). Kalininskii Gosudarstvennyi Universitet, Moscou, 1975.
  8. (en) Eric W. Weisstein, « Freiman's Constant », sur MathWorld
  9. Cusick et Flahive 1989, pp.35–45.
  10. Moreira 2017 ; cet article donne un peu plus d'informations sur d, mentionnant par exemple que et que dès que t est supérieur à .
  11. (en) Aline Cerqueira, Carlos Matheus et Carlos Moreira, « Continuity of Hausdorff dimension across generic dynamical Lagrange and Markov spectra », arXiv, (lire en ligne).
  12. Ibarra et Moreira 2017, p.2.
  13. Ibarra et Moreira 2017.

Bibliographie

Liens externes

  • Arithmétique et théorie des nombres
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.