1. Introduction and Main Result
Let be a non-increasing function. The set of -well-approximable numbers on the interval is defined as
|
|
|
This set is central to the theory of Diophantine approximation and, throughout the last century, multiple authors have contributed to the endeavour of establishing its metrical properties. In 1924, Khintchine [Khi24] proved that its Lebesgue measure can only attain the values or , depending on the convergence of the series . A few years later, Jarník [Jar29] and, independently, Besicovitch [Bes34] showed that the Hausdorff dimension of the set , in the special case , with , is equal to . Finally, in 1931, Jarník [Jar31] computed the -Hausdorff measure of , under mild assumptions on the functions and , thus producing a complete measure-theoretic description of this set. We refer the reader to [BDV06] for a more precise formulation of these statements and additional references.
In [Jar31], Jarník introduced the following subset of :
|
|
|
The numbers belonging to are known as -exactly-approximable, as the upper bound on their rational approximations cannot be improved. Relying on the theory of continued fractions, Jarník could show that the set is uncountable. However, the true size of this set was determined only quite recently by Yann Bugeaud [Bug03, Theorem 1], and, in greater generality, by Yann Bugeaud and Carlos Moreira [BM11, Theorem 4]. Both works also rely on the theory of continued fractions. Their results can be summarised as follows.
Theorem 1.1 (Bugeaud-Moreira).
Assume that the product tends to as approaches infinity. Then, one has that
|
|
|
where is the lower order at infinity of the function and denotes the Hausdorff dimension.
The reader may also refer to [FW22] for recent results on the Fourier dimension of the set .
The problem of studying -approximable numbers may naturally be generalised to vectors with . In this setting, two types of approximation have been widely studied: namely, the simultaneous and the dual type. The set of -simultaneously-well-approximable vectors is defined as
|
|
|
while its dual counterpart, where the vector is interpreted as a linear form, is defined as
(1) |
|
|
|
A generalisation of Khintchine’s measure-theoretic result, known as the Khintchine-Groshev Theorem, is well-known to hold in both settings [BV10]. Jarník’s dimensional result for the set has also been generalised to both the simultaneous and the dual cases (see [BD86] and references therein). Conversely, the set of -exactly approximable numbers has so far eluded any such generalisation. A first contribution towards this was made in [BDV01], where Beresnevich, Dickinson, and Velani study metric properties of the set (and its dual) for two given approximating functions and . Their techniques, however, rest on the assumption that the ratio tends to infinity [BDV01, Section 2.5] and hence, do not apply to the setting of exact approximation in the sense of Jarník. In a more general context, the same problem was studied by Bandi, Ghosh, and Nandi. In [BGN23], these authors consider the set of -exactly approximable points in a general metric space, with respect to a discrete "well-distributed" subset, and prove related dimensional estimates. Nonetheless, the set of rational points in is not well-distributed in the sense of [BGN23], leaving the problem of generalising Bugeaud’s and Moreira’s result to dimension wide open.
Let
|
|
|
The purpose of this short note is to establish the Hausdorff dimension of the set for and under some assumptions on the decay of the function . Our main result reads as follows.
Theorem 1.2.
Let be as in Theorem 1.1, and assume that upper and lower order at infinity of the function coincide and are equal to . Then, for one has that
|
|
|
where denotes the Hausdorff dimension.
Our proof relies on the simple observation that, in the simultaneous case, a vector with first component not belonging to cannot lie in the set . In view of this, Theorem 1.1, in combination with a "fibred" version of Jarník’s theorem, is enough to yield the desired dimensional estimate. This approach heavily depends on the hypothesis that the order at infinity of the function is larger than or equal to , as this is required to apply Theorem 1.1. For technical reasons, we are also unable to deal with the case , as our version of Jarník’s Theorem rests on Gallagher’s extension of Khintchine’s Theorem [Gal65, Theorem 1], which is only valid in dimension greater or equal to . The analogue of our result in the dual case (for ) also appears in no way attainable through the methods that we develop here.
Remark 1.3.
As a consequence of our approach, we are also able to show that, when with , the following implication holds:
|
|
|
However, the -Hausdorff measure of the set is at present unknown (see comments following Theorem 2 in [Bug03]). This implication will be proved at the end of Section 4.
While working on the present note, the author became aware of the work in preparation of H. Koivusalo, J. Levesley, B. Ward, and X. Zhang on a similar problem, which, to the best of his knowledge, explores entirely different techniques and does not supersede the result presented here.
Acknowledgements
The author is indebted to Victor Beresnevich and Alexander Gorodnik for many fruitful discussions, and to Ben Ward for comments on an early version of the manuscript.
2. Reduction to Fibres
For , , and we define
|
|
|
Then, the following lemma holds.
Lemma 2.1.
For any and it holds .
Proof.
Since the number cannot be approximated by the function for any , the vector cannot be simultaneously approximated by any such function. It follows that for all . On the other hand, by definition of , one has that .
∎
In view of Lemma 2.1, the following holds
(2) |
|
|
|
By (2) and Marstrand’s Slicing Lemma [Fal14, Corollary 7.12], we deduce that
|
|
|
Moreover, by Theorem 1.1, the equality holds. Hence, it follows from (2) that
(3) |
|
|
|
We will show in Section 4 that the left-hand side and the right-hand side of the above chain of inequalities coincide.
3. Jarník on Fibres
Let and let with . For , we define the set
|
|
|
The goal of this section is to prove the following result, which in some sense may be regarded as a version of Jarník’s Theorem on coordinate subspaces (compare with [BRV16, Theorem 3.4]).
Proposition 3.1.
Let and let , with . If
|
|
|
then, one has that
|
|
|
where denotes the -Hausdorff measure.
To prove Proposition 3.1 we follow [RSS17]. Before proceeding to the proof, we need a slight change of language. For we introduce the sets
|
|
|
and
|
|
|
Henceforth, we will assume that . With this notation, we have that
|
|
|
Moreover, the assumption of Proposition 3.1 now reads as .
Lemma 3.2.
Under the hypotheses of Proposition 3.1 it holds that
|
|
|
Proof.
Since , the condition must be satisfied for infinitely many values of . Then, the fact that implies the divergence of the series.
∎
For let
|
|
|
By Gallagher’s extension of Khintchine’s Theorem [Gal65, Theorem 1] and Lemma 3.2, we have that, under the hypotheses of Proposition 3.1, the following equality holds:
|
|
|
Moreover, setting
|
|
|
we have that
|
|
|
Then, by the Mass Transference Principle [BRV16, Theorem 3.5], we deduce that whenever
|
|
|
the following must hold:
|
|
|
Hence, the proof is concluded on noting that .
4. Proof of Theorem 1.2
Assume that and . By definition of order at infinity, we have that for any
|
|
|
for all sufficiently large values of .
Then, for and so small that , we find
(4) |
|
|
|
It follows from Proposition 3.1 that for all and all . This shows that for all . Thus, by (3), we deduce that
(5) |
|
|
|
For a proof of the last equality, the reader may refer to [Jar31] or [BV06, Corollary 1] (case ). This shows that .
As for Remark 1.3, we observe that when , Equation (4) holds also for . Hence, we have . The claim follows from [BV06, Lemma 4].