Concerning the series \(\sum_{n=1}^{+\infty} {x^ n\over q^ n-1}\) (Q1919158)

Sei \(K\) entweder \(\mathbb{Q}\) oder ein imaginär-quadratischer Zahlkörper und sei \(O_K\) der Ganzheitsring von \(K\). Ist \(q\in K\), \(q=r/s\) mit \(r,s\in O_K\), \(0<|s|<|r|\) und bezeichnet \(f(x)\) für \(x\in\mathbb{C}\), \(|x|<|q|\), die Reihe im Titel der Arbeit, so beweist Verf. folgende Resultate, wobei \(\delta:=(\log|s|)/(\log|r|)\) gesetzt ist. (a): Ist \(x\neq 0\) wie oben und \(4\delta<3-(5+ 24\pi^{-2})^{1/2}\), so liegen \(x\) und \(f(x)\) nicht beide in \(K\). Im Spezialfall \(x=1\) hat man das schärfere Ergebnis. (b): Bei \(3\delta<1-3\pi^{-2}\) gilt \(f(1)\not\in K\). In beiden Fällen werden auch quantitative Fassungen folgenden Typs bewiesen. Zu jedem \(\varepsilon\in\mathbb{R}_+\) gibt es ein \(n_0=n_0(\varepsilon)>0\), so daß für jedes \(n\in K\) mit \(|\text{den }\eta|\geq n_0\) die Ungleichung \[ |f(x)-\eta|\geq|\text{den } \eta|^{-\omega-\varepsilon} \] gilt, wobei \(\omega=\omega(\delta)\in\mathbb{R}_+\) explizit angegeben ist und \(\text{den }\eta\) den Nenner von \(\eta\) bezeichnet. Die Beweise nutzen wesentlich die Padé-Approximationen der Funktion \(f\) aus, die Verf. [Bull. Soc. Math. Fr. 122, 553-570 (1994; Zbl 0810.05009)] erhalten hat, ebenso wie Argumente von \textit{P. Borwein} [J. Number Theory 37, 253-259 (1991; Zbl 0718.11029)]. Obiges Result (b) wurde im Spezialfall \(q\in\mathbb{Z}\), \(q>1\) mittels einer anderen Methode zuerst von \textit{P. Erdös} [J. Indian Math. Soc., II. Ser. 12, 63-66 (1948; Zbl 0032.01701)] gezeigt. Außerdem sollte man beide Ergebnisse (a) und (b) mit denen von Borwein (a.a.O.) ebenso vergleichen wie mit denen von \textit{K. Väänänen} und \textit{P. Bundschuh} [Compos. Math. 91, 175-199 (1994; Zbl 0802.11027)].