English

Approximation properties of the intermediate $\beta$-expansions

Dynamical Systems 2025-08-01 v2

Abstract

Given β>1\beta>1 and α[0,1)\alpha\in[0,1), let Tβ,α(x)=βx+α(mod1)T_{\beta, \alpha}(x)=\beta x+\alpha\pmod 1. Then under the map Tβ,αT_{\beta,\alpha} each x[0,1]x\in[0,1] has an \emph{intermediate β\beta-expansion} of the form x=i=1ciαβix=\sum_{i=1}^\infty\frac{c_i-\alpha}{\beta^i} {with each ci{0,1,,\lfβ+α\rf}c_i\in\{0,1,\ldots,\lf \beta+\alpha\rf\}}. In this paper we study the approximation properties of Tβ,αT_{\beta,\alpha} by considering the expected value Mβ(α)M_\beta(\alpha) of the \emph{normalized errors} (θβ,αn(x))n1(\theta_{\beta,\alpha}^n(x))_{n\geq 1}, where θβ,αn(x):=βn(xi=1nciαβi),nN.\theta_{\beta,\alpha}^n(x):=\beta^n\left(x-\sum_{i=1}^n\frac{c_i-\alpha}{\beta^i}\right),\quad n\in\mathbb{N}. We prove that Mβ()M_\beta(\cdot) is continuous on [0,1)[0,1). As a result, Mβ:={Mβ(α):α[0,1)}\mathcal{M_\beta}:=\{M_\beta(\alpha):\alpha\in[0,1)\} is a closed interval. In particular, if β\beta is a multinacci number, the map Tβ,αT_{\beta,\alpha} has matching for Lebesgue almost every α[0,1)\alpha\in[0,1), and then Mβ()M_\beta(\cdot) is locally linear almost everywhere on [0,1)[0,1).

Keywords

Cite

@article{arxiv.2409.14428,
  title  = {Approximation properties of the intermediate $\beta$-expansions},
  author = {Karma Dajani and Yan Huang},
  journal= {arXiv preprint arXiv:2409.14428},
  year   = {2025}
}

Comments

35 page,5 figures

R2 v1 2026-06-28T18:52:51.218Z