An arithmetic property of Mahler's series (Q4354969)

Für die Heckesche Reihe \(S(z,w) := \sum_{k\geq 1} [kw]z^k\) mit reellem \(w\) beweist Verf. folgenden Satz: Seien \(w_1, \ldots,w_t\) reelle Irrationalzahlen mit regulären Kettenbruchentwicklungen \(w_\tau= [w_{\tau 0};w_{\tau 1},\ldots]\) derart, daß es zu jedem \(\tau\in\{1,\ldots,t\}\) ein reelles \(\lambda_\tau > 1\) gibt mit \(\lambda_\tau w_{\tau n} \leq w_{\tau+1, n}\) für \(\tau= 1,\ldots,t-1\) (falls \(t>1\)) und mit \(\lambda_t w_{tn} \leq w_{1, n+1}\), jeweils für \(n= 1,2,\ldots\); sei weiter \(w_{1n}\geq 2\) für \(n\geq 2\) und \(w_{1n} \to\infty\) bei \(n\to \infty\). Schließlich seien \(s(1),\ldots,s(t)\) natürliche Zahlen und für jedes feste \(\tau\in\{1,\ldots,t\}\) seien \(\alpha_{\tau 1},\ldots,\alpha_{\tau s(\tau)}\) von Null verschiedene algebraische Zahlen mit paarweise verschiedenen Absolutbeträgen kleiner als 1. Dann sind die Zahlen \(S(\alpha_{\tau\sigma},w_t)\) mit \(1\leq\sigma \leq s(\tau); 1\leq \tau\leq t\) algebraisch unabhängig. Wesentliches Hilfsmittel beim Beweis ist ein hinreichendes Kriterium für algebraische Unabhängigkeit via Approximationsmethoden, wie es vom Verf. [\textit{Y. Zhu}, Chin. Ann. Math. 5, 109-117 (1984; Zbl 0536.10027)] bzw. vom Ref. [\textit{P. Bundschuh}, Osaka J. Math. 25, 849-858 (1988; Zbl 0712.11041)] angegeben wurde. Den Spezialfall \(\alpha_{\tau\sigma}= 1/g_\sigma \;(1\leq\sigma\leq s; 1\leq \tau\leq t)\) des obigen Satzes, mit paarweise verschiedenen natürlichen \(g_\sigma > 1\), hatte Verf. [Acta Math. Sin., New Ser. 7, 127-134 (1991; Zbl 0736.11035)] bereits früher behandelt.