On the expansion of some exponential periods in an integer base (Q2655152): Difference between revisions

The author derives a lower bound for the subword complexity of the base-\(b\) expansion (\(b\geq 2\)) of all real numbers whose irrationality exponent is equal to 2. This provides a generalization of a theorem due to \textit{S. Ferenczi} and \textit{C. Mauduit} [J. Number Theory 67, 146--161 (1997; Zbl 0895.11029)]. As a consequence, the author obtains the first lower bound for the subword complexity of the number \(e\) and of some other transcendental exponential periods, including \[ \begin{aligned} &e^a \quad (a\in\mathbb{Q}^\times),\\ &\tan(1/a), \;\sqrt{a}\tan(1/\sqrt{a}),\;(1/\sqrt{a})\tan(1/\sqrt{a})\quad (a\in\mathbb{N}^\times),\\ &\tanh (2/a)\quad (a\in\mathbb{N}^\times),\\ &\sqrt{v}/\sqrt{u})\tanh (1/\sqrt{uv})\quad (u,v\in\mathbb{N}, uv\neq 0),\\ &\frac{J_{(p/q)+1}(2/q)}{J_{p/q}(2/q)}\text{ and }\frac{I_{(p/q)+1}(2/q)}{I_{p/q}(2/q)}\quad (p/q\in\mathbb{Q}), \end{aligned} \] where \(J_\lambda(z)\) and \(I_\lambda(z)\) denote the Bessel function of the first kind and the modified Bessel function of the first kind, respectively (see for instance [\textit{T. Komatsu}, Czech. Math. J. 57, 919--932 (2007; Zbl 1163.11009)]).