Uniform Diophantine approximation with restricted denominators

IF 0.6 3区 数学 Q3 MATHEMATICS Journal of Number Theory Pub Date : 2024-03-20 DOI:10.1016/j.jnt.2024.02.017
Bo Wang , Bing Li , Ruofan Li
{"title":"Uniform Diophantine approximation with restricted denominators","authors":"Bo Wang ,&nbsp;Bing Li ,&nbsp;Ruofan Li","doi":"10.1016/j.jnt.2024.02.017","DOIUrl":null,"url":null,"abstract":"<div><p>Let <span><math><mi>b</mi><mo>≥</mo><mn>2</mn></math></span> be an integer and <span><math><mi>A</mi><mo>=</mo><msubsup><mrow><mo>(</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></mrow><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow><mrow><mo>∞</mo></mrow></msubsup></math></span> be a strictly increasing subsequence of positive integers with <span><math><mi>η</mi><mo>:</mo><mo>=</mo><munder><mrow><mi>lim sup</mi></mrow><mrow><mi>n</mi><mo>→</mo><mo>∞</mo></mrow></munder><mspace></mspace><mfrac><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msub></mrow><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></mfrac><mo>&lt;</mo><mo>+</mo><mo>∞</mo></math></span>. For each irrational real number <em>ξ</em>, we denote by <span><math><msub><mrow><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow></msub><mo>(</mo><mi>ξ</mi><mo>)</mo></math></span> the supremum of the real numbers <span><math><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span> for which, for every sufficiently large integer <em>N</em>, the equation <span><math><mo>‖</mo><msup><mrow><mi>b</mi></mrow><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></msup><mi>ξ</mi><mo>‖</mo><mo>&lt;</mo><msup><mrow><mo>(</mo><msup><mrow><mi>b</mi></mrow><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>N</mi></mrow></msub></mrow></msup><mo>)</mo></mrow><mrow><mo>−</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow></msup></math></span> has a solution <em>n</em> with <span><math><mn>1</mn><mo>≤</mo><mi>n</mi><mo>≤</mo><mi>N</mi></math></span>. For every <span><math><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mi>η</mi><mo>]</mo></math></span>, let <span><math><msub><mrow><mover><mrow><mi>V</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow></msub><mo>(</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>)</mo></math></span> (<span><math><msubsup><mrow><mover><mrow><mi>V</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup><mo>(</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>)</mo></math></span>) be the set of all real numbers <em>ξ</em> such that <span><math><msub><mrow><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow></msub><mo>(</mo><mi>ξ</mi><mo>)</mo><mo>≥</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span> (<span><math><msub><mrow><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow></msub><mo>(</mo><mi>ξ</mi><mo>)</mo><mo>=</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span>) respectively. In this paper, we give some results of the Hausdorfff dimensions of <span><math><msub><mrow><mover><mrow><mi>V</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow></msub><mo>(</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>)</mo></math></span> and <span><math><msubsup><mrow><mover><mrow><mi>V</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup><mo>(</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>)</mo></math></span>. When <span><math><mi>η</mi><mo>=</mo><mn>1</mn></math></span>, we prove that the Hausdorfff dimensions of <span><math><msub><mrow><mover><mrow><mi>V</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow></msub><mo>(</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>)</mo></math></span> and <span><math><msubsup><mrow><mover><mrow><mi>V</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup><mo>(</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>)</mo></math></span> are equal to <span><math><msup><mrow><mo>(</mo><mfrac><mrow><mn>1</mn><mo>−</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mn>1</mn><mo>+</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow></mfrac><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></math></span> for any <span><math><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></math></span>. When <span><math><mi>η</mi><mo>&gt;</mo><mn>1</mn></math></span> and <span><math><msub><mrow><mi>lim</mi></mrow><mrow><mi>n</mi><mo>→</mo><mo>∞</mo></mrow></msub><mo>⁡</mo><mfrac><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msub></mrow><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></mfrac></math></span> exists, we show that the Hausdorfff dimension of <span><math><msub><mrow><mover><mrow><mi>V</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow></msub><mo>(</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>)</mo></math></span> is strictly less than <span><math><msup><mrow><mo>(</mo><mfrac><mrow><mi>η</mi><mo>−</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>η</mi><mo>+</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow></mfrac><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></math></span> for some <span><math><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span>, which is different with the case <span><math><mi>η</mi><mo>=</mo><mn>1</mn></math></span>, and we give a lower bound of the Hausdorfff dimensions of <span><math><msub><mrow><mover><mrow><mi>V</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow></msub><mo>(</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>)</mo></math></span> and <span><math><msubsup><mrow><mover><mrow><mi>V</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>b</mi><mo>,</mo><mi>A</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup><mo>(</mo><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>)</mo></math></span> for any <span><math><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mi>η</mi><mo>]</mo></math></span>. Furthermore, we show that this lower bound can be reached for some <span><math><mover><mrow><mi>v</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span>.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2024-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Number Theory","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022314X24000581","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

Abstract

Let b2 be an integer and A=(an)n=1 be a strictly increasing subsequence of positive integers with η:=lim supnan+1an<+. For each irrational real number ξ, we denote by vˆb,A(ξ) the supremum of the real numbers vˆ for which, for every sufficiently large integer N, the equation banξ<(baN)vˆ has a solution n with 1nN. For every vˆ[0,η], let Vˆb,A(vˆ) (Vˆb,A(vˆ)) be the set of all real numbers ξ such that vˆb,A(ξ)vˆ (vˆb,A(ξ)=vˆ) respectively. In this paper, we give some results of the Hausdorfff dimensions of Vˆb,A(vˆ) and Vˆb,A(vˆ). When η=1, we prove that the Hausdorfff dimensions of Vˆb,A(vˆ) and Vˆb,A(vˆ) are equal to (1vˆ1+vˆ)2 for any vˆ[0,1]. When η>1 and limnan+1an exists, we show that the Hausdorfff dimension of Vˆb,A(vˆ) is strictly less than (ηvˆη+vˆ)2 for some vˆ, which is different with the case η=1, and we give a lower bound of the Hausdorfff dimensions of Vˆb,A(vˆ) and Vˆb,A(vˆ) for any vˆ[0,η]. Furthermore, we show that this lower bound can be reached for some vˆ.

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
有限制分母的均匀二叉近似
设 b≥2 为整数,A=(an)n=1∞ 为严格递增的正整数子序列,η:=lim supn→∞an+1an<+∞。对于每个无理实数ξ,我们用 vˆb,A(ξ)表示实数 vˆ的上确数,对于每一个足够大的整数 N,方程‖banξ‖<(baN)-vˆ有一个解 n,且 1≤n≤N。对于每一个 vˆ∈[0,η],设 Vˆb,A(vˆ)(Vˆb,A⁎(vˆ))是所有实数ξ的集合,使得 vˆb,A(ξ)≥vˆ(vˆb,A(ξ)=vˆ)。本文给出了 Vˆb,A(vˆ)和 Vˆb,A⁎(vˆ)的 Hausdorfff 维数的一些结果。当 η=1 时,我们证明对于任意 vˆ∈[0,1],Vˆb,A(vˆ) 和 Vˆb,A⁎(vˆ) 的 Hausdorfff 维数等于 (1-vˆ1+vˆ)2。当η>1且limn→∞an+1an存在时,我们证明了对于某个vˆ,Vˆb,A(vˆ)的Hausdorfff维度严格小于(η-vˆη+vˆ)2,这与η=1的情况不同,并且我们给出了对于任意vˆ∈[0,η],Vˆb,A(vˆ)和Vˆb,A⁎(vˆ)的Hausdorfff维度的下界。此外,我们还证明了对于某些 vˆ 可以达到这个下界。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
Journal of Number Theory
Journal of Number Theory 数学-数学
CiteScore
1.30
自引率
14.30%
发文量
122
审稿时长
16 weeks
期刊介绍: The Journal of Number Theory (JNT) features selected research articles that represent the broad spectrum of interest in contemporary number theory and allied areas. A valuable resource for mathematicians, the journal provides an international forum for the publication of original research in this field. The Journal of Number Theory is encouraging submissions of quality, long articles where most or all of the technical details are included. The journal now considers and welcomes also papers in Computational Number Theory. Starting in May 2019, JNT will have a new format with 3 sections: JNT Prime targets (possibly very long with complete proofs) high impact papers. Articles published in this section will be granted 1 year promotional open access. JNT General Section is for shorter papers. We particularly encourage submission from junior researchers. Every attempt will be made to expedite the review process for such submissions. Computational JNT . This section aims to provide a forum to disseminate contributions which make significant use of computer calculations to derive novel number theoretic results. There will be an online repository where supplementary codes and data can be stored.
期刊最新文献
On the Selmer group and rank of a family of elliptic curves and curves of genus one violating the Hasse principle The characteristic cycle of a non-confluent ℓ-adic GKZ hypergeometric sheaf Maximally elastic quadratic fields Common values of linear recurrences related to Shank's simplest cubics On the number of prime factors with a given multiplicity over h-free and h-full numbers
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1