Arithmetical results on some infinite products (Q2238271): Difference between revisions

Let \(d\geq 2\) be an integer. Let \(\{\delta_j\}_{j=0}^\infty\) be a bounded sequence of integers such that \(\delta_j\not= 0\) for infinitely many \(j\). Set \(\mathcal S=\{ j\geq 0; d^j=\delta_j\}\), \(f_d(z)=\prod_{j=0}^\infty (1+z^{d^j-\delta_j})\) and \(g_d(z)=\prod_{j=0, j\notin\mathcal S}^\infty (1-z^{d^j-\delta_j})\). Let \(\mu(x)\) be the irrationality measure exponent. Then the authors prove: 1. The functions \(f_d(z)\) and \(g_d(z)\) are transcendental and cannot be analytically continued beyond the unit circle. 2. If \(\alpha\) is an algebraic number with \(0<\mid \alpha\mid <1\) then \(f_d(\alpha)\) and \(g_d(\alpha)\) are transcendental. If \(\delta\) is a constant sequence then these transcendental numbers are \(\mathcal S\)-numbers in Mahler's classification. For general sequence \(\delta\), the numbers \(f_d(\alpha)\) and \(g_d(\alpha)\) are \(\mathcal S\)-numbers or \(\mathcal T\)-numbers. 3. Let \(\omega =f_d(\frac ab)\) or \(\omega =g_d(\frac ab)\) where \(d\geq 3\), \(a,b\in\mathbb Z\), \(b\geq 2\), \(0<\mid a\mid<\frac b2\) and \(\lambda =\frac{\log \mid a\mid}{\log b}<\frac{d-2}{d-1}\). If \(d=3\) then \(\mu(\omega)\leq \frac{4-2\lambda}{1-2\lambda}\). If \(d\geq 4\) then \(\mu(\omega)\leq (1-\lambda)(d-1)\) for \(0\leq\lambda\leq \frac{d-2-\sqrt d}{d-1}\) and \(\mu(\omega)\leq 1+\frac d{d-2-\lambda(d-1)}\) for \(\frac{d-2-\sqrt d}{d-1}<\lambda <\frac{d-2}{d-1}\). The proofs make use the theory of Mahler.