Simultaneous approximation to a real number and its square
type: Item
instance of: scholarly article
title: Simultaneous approximation to a real number and its square
zbMATH Open document ID: 1038.11042
DOI: 10.1016/S1631-073X(02)00005-5
author: Damien Roy
published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris
publication date: 2004-02-19T00:00:00Z
review text: Let \(\xi\) be an irrational real number. From Dirichlet's box principle it follows that for any real number \(X\geq 1\), there exists \((x_{0},x_{1}, x_{2})\in\mathbb Z^{3}\) satisfying \[ 0<x_{0}\leq X,\quad | x_{0}\xi-x_{1}| \leq \varphi(X) \;\hbox{ and } \;| x_{0}\xi^{2}-x_{2}| \leq \varphi(X), \tag{1} \] where \(\varphi(X)=1/[\sqrt{X}]\). If \(\xi\) is algebraic of degree \(2\), the same is true with \(\varphi(X)=c/X\) where \(c>0\) depends only on \(\xi\). For \(\lambda>1/2\), it is known that the set \(E_{\lambda}\) of \(\xi\) which are not quadratic over \(\mathbb Q\) and for which these inequalities (1) have a solution for arbitrarily large values of \(X\) with \(\varphi(X)=X^{-\lambda}\) has Lebesgue measure zero (by a metrical result of V. G. Sprindzhuk) and contains no algebraic number (by the subspace theorem of W. M. Schmidt). No element in this set was known, and the general expectation was that this set should be empty. It was proved by \textit{H. Davenport} and \textit{W. M. Schmidt} [Acta Arith. 15, 393--416 (1969; Zbl 0186.08603)] that the set \(E_{\lambda}\) is empty for \(\lambda>\lambda_0=(-1+\sqrt{5})/2=0.618\dots\); more precisely for any irrational \(\xi\) which is not quadratic over \(\mathbb Q\) there is a constant \(c(\xi)\) such that the above inequalities (1) have no solution when \(X\) is sufficiently large and \(\varphi(X)=c(\xi)X^{-\lambda_{0}}\). In this note, the author shows that, surprisingly, this result of Davenport and Schmidt is optimal: he produces explicit examples of transcendental numbers \(\xi\) for which the inequalities (1) have a solution for arbitrarily large values of \(X\) with \(\varphi(X)=cX^{-\lambda_{0}}\) with a suitable constant \(c\). There is a close connection with the approximation of a real number by algebraic integers of degree \(\geq 3\), a problem which is also considered by the author in this paper. A detailed version of this work has been published by the author in [\textit{D. Roy}, Approximation to…
reviewed by: Michel Waldschmidt
Mathematics Subject Classification ID: 11J13
zbMATH DE Number: 1907813
MaRDI profile type: Publication
cites work: Transcendence of Sturmian or morphic continued fractions
cites work: Approximation d'un nombre réel par des nombres algébriques de degré donné
cites work: Q3241280
cites work: Approximation to real numbers by algebraic integers
cites work: A combinatorial property of the Fibonacci words
cites work: Q3659988
cites work: Approximation to real numbers by cubic algebraic integers I
cites work: Diophantine approximation
Recommended article: On Two Exponents of Approximation Related to a Real Number and Its Square
Recommended article: Rational approximation to real points on conics
Recommended article: Some further theorems concerning the formation of chains.
Recommended article: Letter to the editor: ''Diophantine equation \(x^ 3-y^ 2=k\) and Hall's conjecture''
Recommended article: On the measure of ``major arcs'' in the Farey partition
Recommended article: Approximation to real numbers by quadratic irrationals
Recommended article: Diophantische Approximationen in imaginären quadratischen Zahlkörpern, insbesondere im Körper \(\mathfrak K(i\sqrt 2)\).
Recommended article: Q4812128
Recommended article: A nonlinear version of Roth's theorem for sets of positive density in the real line
Recommended article: Q3127545
description: scientific article; zbMATH DE number 1907813