On the transcendental values of Cantor-like power series (Q2078415): Difference between revisions

In this paper, the author considers Cantor-like power series \[f(z)=\sum_{h=0}^\infty \frac{a_h}{b_0b_1\dots b_h} z^h\] Using LeVeque's theorem [\textit{W. J. LeVeque}, Topics in number theory. II. (Addison-Wesley Mathematics Series.) Cambridge, Mass.: Addison-Wesley Publishing Comp., Inc. (1956; Zbl 0070.03804)], İçen's lemma and \textit{V. Laohakosol} and \textit{A. Sripayap}'s technique [East-West J. Math. 19, No. 1, 65--79 (2017; Zbl 1415.30003)] it is proved that \(f(z)\) takes transcendental values at some algebraic points. Assume that \(a_h,b_h\in\mathbb Z\) with \(a_h\ne 0\) and \(b_h>0\) such that \(|a_h|\le B^h\) for some \(B\ge1\) and every sufficiently large~\(h\). Let \(\alpha\) be an algebraic number of degree~\(m\) with \(0<|\alpha|<R_f\) where \(R_f\) is the radius of convergence of~\(f\). Suppose that \[b_{n+1}>C^n (b_0b_1\dots b_n)^{m(2+\varepsilon)-1}\] for some \(\varepsilon>0\), for some explicitly defined constant depending on~\(\alpha\) and~\(B\), and for every sufficiently large~\(n\). Then the number \(f(\alpha)\) is transcendental. The author also proves similar theorem giving the same result under different assumptions, and two more theorems stating that for Liouville number~\(\xi\) under some restrictions the value \(f(\xi)\) is rational or transcendental.