English

Uniform Diophantine approximation with restricted denominators

Number Theory 2024-03-13 v2 Dynamical Systems

Abstract

Let b2b\geq2 be an integer and A=(an)n=1A=(a_{n})_{n=1}^{\infty} be a strictly increasing subsequence of positive integers with η:=lim supnan+1an<+\eta:=\limsup\limits_{n\to\infty}\frac{a_{n+1}}{a_{n}}<+\infty. For each irrational real number ξ\xi, we denote by v^b,A(ξ)\hat{v}_{b,A}(\xi) the supremum of the real numbers v^\hat{v} for which, for every sufficiently large integer NN, the equation banξ<(baN)v^\|b^{a_n}\xi\|<(b^{a_N})^{-\hat{v}} has a solution nn with 1nN1\leq n\leq N. For every v^[0,η]\hat{v}\in[0,\eta], let V^b,A(v^)\hat{\mathcal{V}}_{b,A}(\hat{v}) (V^b,A(v^)\hat{\mathcal{V}}_{b,A}^{\ast}(\hat{v})) be the set of all real numbers ξ\xi such that v^b,A(ξ)v^\hat{v}_{b,A}(\xi)\geq\hat{v} (v^b,A(ξ)=v^\hat{v}_{b,A}(\xi)=\hat{v}) respectively. In this paper, we give some results of the Hausdorfff dimensions of V^b,A(v^)\hat{\mathcal{V}}_{b,A}(\hat{v}) and V^b,A(v^)\hat{\mathcal{V}}_{b,A}^{\ast}(\hat{v}). When η=1\eta=1, we prove that the Hausdorfff dimensions of V^b,A(v^)\hat{\mathcal{V}}_{b,A}(\hat{v}) and V^b,A(v^)\hat{\mathcal{V}}_{b,A}^{\ast}(\hat{v}) are equal to (1v^1+v^)2\left(\frac{1-\hat{v}}{1+\hat{v}}\right)^{2} for any v^[0,1]\hat{v}\in[0,1]. When η>1\eta>1 and limnan+1an\lim_{n\to\infty}\frac{a_{n+1}}{a_{n}} exists, we show that the Hausdorfff dimension of V^b,A(v^)\hat{\mathcal{V}}_{b,A}(\hat{v}) is strictly less than (ηv^η+v^)2\left(\frac{\eta-\hat{v}}{\eta+\hat{v}}\right)^{2} for some v^\hat{v}, which is different with the case η=1\eta=1, and we give a lower bound of the Hausdorfff dimensions of V^b,A(v^)\hat{\mathcal{V}}_{b,A}(\hat{v}) and V^b,A(v^)\hat{\mathcal{V}}_{b,A}^{\ast}(\hat{v}) for any v^[0,η]\hat{v}\in[0,\eta]. Furthermore, we show that this lower bound can be reached for some v^\hat{v}.

Keywords

Cite

@article{arxiv.2302.03923,
  title  = {Uniform Diophantine approximation with restricted denominators},
  author = {Bo Wang and Bing Li and Ruofan Li},
  journal= {arXiv preprint arXiv:2302.03923},
  year   = {2024}
}
R2 v1 2026-06-28T08:34:50.434Z