Attainable numbers and the Lagrange spectrum

Dmitry Gayfulin¹

¹ Steklov Mathematical Institute of Russian Academy of Sciences Gubkina, 8 Moscow, Russia, 119991

Acta Arithmetica, Tome 179 (2017) no. 2, pp. 185-199

Résumé

For any real number $\alpha$ define the Lagrange constant $\mu(\alpha)$ by $$ \mu^{-1}(\alpha)=\liminf_{p\in\mathbb{Z},\, q\in\mathbb{N}} |q(q\alpha-p)|. $$ The set $\mathbb{L}$ of all values taken by $\mu(\alpha)$ as $\alpha$ varies is called the Lagrange spectrum. An irrational $\alpha$ is called attainable if the inequality $$ \biggl|\alpha -\frac{p}{q}\biggr|\le\frac{1}{\mu(\alpha)q^2} $$ holds for infinitely many integers $p$ and $q$. In a 1977 survey paper Malyshev claimed that for any $\lambda\in\mathbb{L}$ there existed an irrational $\alpha$ such that $\mu(\alpha)=\lambda$ and $\alpha$ was attainable. We show that this statement is incorrect and construct a counterexample. The counterexample is the left endpoint of a certain gap in the Lagrange spectrum. On the other hand, we prove that if $\lambda$ is not the left endpoint of any gap in the Lagrange spectrum then there exists an attainable $\alpha$ with $\mu(\alpha)=\lambda$. In addition, we give a correct proof of a theorem announced by Dietz (1985) which describes the structure of left endpoints of gaps in the Lagrange spectrum.

Détail

DOI : 10.4064/aa8588-12-2016

Keywords: real number alpha define lagrange constant alpha alpha liminf mathbb mathbb alpha p set mathbb values taken alpha alpha varies called lagrange spectrum irrational alpha called attainable inequality biggl alpha frac biggr frac alpha holds infinitely many integers survey paper malyshev claimed lambda mathbb there existed irrational alpha alpha lambda alpha attainable statement incorrect construct counterexample counterexample endpoint certain gap lagrange spectrum other prove lambda endpoint gap lagrange spectrum there exists attainable alpha alpha lambda addition correct proof theorem announced dietz which describes structure endpoints gaps lagrange spectrum