Hausdorff dimension of univoque sets and Devil's staircase

详细信息    查看全文

• 作者：Vilmos Komornik^a ; ^{komornik@math.unistra.fr" class="auth_mail" title="E-mail the corresponding author} ; Derong Kong^b ; ^{derongkong@126.com" class="auth_mail" title="E-mail the corresponding author} ; Wenxia Li^c ; ^{wxli@math.ecnu.edu.cn" class="auth_mail" title="E-mail the corresponding author}
• 关键词：primary ; 11A63 ; secondary ; 10K50 ; 11K55 ; 37B10 ; 28A80
• 刊名：Advances in Mathematics
• 出版年：2017
• 出版时间：10 January 2017
• 年：2017
• 卷：305
• 期：Complete
• 页码：165-196
• 全文大小：500 K

文摘

We fix a positive integer M  , and we consider expansions in arbitrary real bases ad5d3181696fd55d23" title="Click to view the MathML source">q>1$q>1$ over the alphabet adf0ebc97b1668e7ed06dd978d" title="Click to view the MathML source">{0,1,…,M}$\{0,1,\dots ,M\}$. We denote by 9459ba20dee874ea4da3d9" title="Click to view the MathML source">U_q${\mathcal{U}}_q$ the set of real numbers having a unique expansion. Completing many former investigations, we give a formula for the Hausdorff dimension e947feaaa5083a6d1" title="Click to view the MathML source">D(q)$D(q)$ of 9459ba20dee874ea4da3d9" title="Click to view the MathML source">U_q${\mathcal{U}}_q$ for each e516c827a07fce8d9bf05dfe8" title="Click to view the MathML source">q∈(1,∞)$q\in (1,\infty )$. Furthermore, we prove that the dimension function ad496" title="Click to view the MathML source">D:(1,∞)→[0,1]$D:(1,\infty )\to [0,1]$ is continuous, and has bounded variation. Moreover, it has a Devil's staircase behavior in 99a94c7df455bdf20797" title="Click to view the MathML source">(q^′,∞)$(q^{\prime },\infty )$, where e5b0ffadd083c7" title="Click to view the MathML source">q^′$q^{\prime }$ denotes the Komornik–Loreti constant: although D(q)>D(q^′)$D(q)>D(q^{\prime })$ for all q>q^′$q>q^{\prime }$, we have 99bac62c111cd20d" title="Click to view the MathML source">D^′<0$D^{\prime }<0$ a.e. in 99a94c7df455bdf20797" title="Click to view the MathML source">(q^′,∞)$(q^{\prime },\infty )$. During the proofs we improve and generalize a theorem of Erdős et al. on the existence of large blocks of zeros in β-expansions, and we determine for all M   the Lebesgue measure and the Hausdorff dimension of the set U$\mathcal{U}$ of bases in which e7c003167b7a6" title="Click to view the MathML source">x=1$x=1$ has a unique expansion.