On a problem of K. Mahler: Diophantine approximation and Cantor sets. (English) Zbl 1115.11040

Levesley, Jason; Salp, Cem; Velani, Sanju L.

Math. Ann. 338, No. 1, 97-118 (2007).

Consider the Cantor middle third set \(K\), i.e., the set of numbers in \([0,1]\) which can be expressed in base \(3\) without use of the digit \(1\). In the paper under review, the authors consider the approximation of numbers in \(K\) by rational numbers, whose denominator is a power of \(3\). For a real, positive function \(\psi\), the set \(W_{\mathcal A}(\psi)\) consists of the numbers \(x \in [0,1]\) for which \[ | x-p/q| < \psi(q), \] for infinitely many \(p,q \in \mathbb{Z}\) with \(q = 3^n\). A complete metrical theory is developed for the sets \(W_{\mathcal A}(\psi) \cap K\), in the sense that the Hausdorff \(f\)-measure is zero or infinity according to the convergence or divergence of a certain series. It is interesting to note that no monotonicity assumptions are needed on the error function \(\psi\). As a corollary to the metrical result, the authors answer a question attributed to Mahler, namely they prove the existence of very well approximable numbers other than Liouville numbers in the Cantor set. The metrical theory is easily extended to other ‘missing digit’ sets.
Recall that the irrationality exponent \(\mu(x)\) of a number \(x\) is defined to be the supremum of all \(\mu > 0\) for which the inequality \[ | x-p/q| <q^{-\mu}, \] has infinitely many solutions \(p/q \in \mathbb{Q}\). For any \(x\), \(\mu(x) \geq 2\). In addition to the metrical theory, the authors construct explicit examples of numbers in \(K\) with any prescribed irrationality exponent greater than \((3+\sqrt{5})/2\).
Finally, the authors discuss the case when the denominators of the approximating rationals are not required to be powers of \(3\). Some conjectures are given in this direction, and the question of the existence of algebraic irrationals inside \(K\) (also attributed to Mahler) is also discussed. Both of these latter problems remain open.

Reviewer: Simon Kristensen (Aarhus)

MSC:

11J83	Metric theory
11J82	Measures of irrationality and of transcendence
11K55	Metric theory of other algorithms and expansions; measure and Hausdorff dimension

Keywords:

Diophantine approximation; Hausdorff measure; Hausdorff dimension; Cantor middle third set

References:

[1]	Baker A. and Schmidt W.M. (1970). Diophantine approximation and Hausdorff dimension. Proc. Lond. Math. Soc. 21(3): 1–11 · Zbl 0206.05801
[2]	Beresnevich V., Dickinson H. and Velani S.L. (2001). Sets of exact ’logarithmic’ order in the theory of Diophantine approxiamtion. Math. Ann. 321: 253–273 · Zbl 1006.11039
[3]	Beresnevich V., Dickinson H., Velani, S.L.: Measure Theoretic Laws for limsup sets. Mem. AMS 179(840), 1–91 (2006). Pre-print: arkiv:math.NT/0401118 · Zbl 1129.11031
[4]	Beresnevich, V., Velani, S.L.: A mass transference principle and the Duffin–Schaeffer conjecture for Hausdorff measures. Ann. Math. 164, 971–992 (2006). Pre-print: arkiv:math.NT/ 0412141 · Zbl 1148.11033
[5]	Bugeaud, Y.: Approximation by algebraic numbers. Cambridge Tracts in Mathematics 160, C.U.P. (2004) · Zbl 1055.11002
[6]	Dodson M.M., Meli’n M.V., Pestana D. and Velani S.L. (1995). Patterson measure and ubiquity. Ann. Acad. Sci. Fenn. 20(1): 37–60 · Zbl 0816.11043
[7]	Falconer K. (1990). Fractal geometry: mathematical foundations and applications. Wiley, New York · Zbl 0689.28003
[8]	Güting R. (1963). On Mahler’s function {\(\theta\)}1. Michigan Math. J. 10: 161–179 · Zbl 0107.04204
[9]	Harman, G.: Metric number theory. LMS Monographs 18. Clarendon Press, Oxford (1998)
[10]	Kleinbock D. and Weiss B. (2005). Badly approximable vectors on fractals. Israel J. Math. 149: 137–170 · Zbl 1092.28004
[11]	Kristensen S., Thorn R., Velani S.L.: Diophantine approximation and badly approximable sets. Adv. Math. 203, 132–169 (2006). Pre-print: arXiv:math.NT/0405433 · Zbl 1098.11039
[12]	Mahler K. (1984). Some suggestions for further research. Bull. Austral. Math. Soc. 29: 101–108 · Zbl 0517.10001
[13]	Mattila, P.: Geometry of sets and measures in Euclidean space. CUP, Cambridge studies in advance mathematics, vol. 44 (1995)
[14]	Pollington, A.D., Velani, S.L.: Metric Diophantine approximation and ’absolutely friendly’ measures. Selecta Math. 11, 297–307 (2005). Pre-print:arXiv:math.NT/0401149 · Zbl 1084.11039
[15]	Ridout D. (1957). Rational approximations to algebriac numbers. Mathematika 4: 125–131 · Zbl 0079.27401
[16]	Sprindžuk V.G. (1979). Metric theory of Diophantine approximation (translated by R. A. Silverman). V. H. Winston & Sons, Washington DC