The algebraic independence of certain transcendental continued fractions (Q3979568)

Mit Hilfe seines in [Chin. Sci. Bull. 34, 540-542 (1989; Zbl 0689.10044)] angegebenen Kriteriums für algebraische Unabhängigkeit beweist Verf. folgenden Satz 1. Für \(k=1,\ldots,s\) sei \(A_ k\) eine Irrationalzahl mit \(n\)-tem Kettenbruchelement \(a_{kn}\) bzw. Näherungsbruch \(p_{kn}/q_{kn}\) und für jedes nicht leere \(T\subset\{1,\ldots,s\}\) gelte \(\max_{k\in T}1/(q_{kn}q_{k,n+1})\sim\sum_{k\in T}1/(q_{kn}q_{k,n+1})\) bei \(n\to\infty\); ferner gebe es eine (evtl. von \(T\) abhängige) Folge \(n_ 1<n_ 2<\dots\) in \(\mathbb{N}\) mit \(\sum_{k\in T}\log q_{k,n_ j}=o(\min_{k\in T}\log q_{k,n_ j+1})\) bei \(j\to\infty\). Dann sind \(A_ 1,\ldots,A_ s\) algebraisch unabhängig. Aus diesem Ergebnis wird abgeleitet Satz 2: Für \(\tau=1,\ldots,t\) sei \(\omega_ \tau>0\) irrational mit Kettenbruchelementen \(\omega_{\tau n}\) und es gelte \(\omega_{tn}\geq2\) für alle \(n\geq2\), \(\omega_{tn}\to \infty\) bei \(n\to \infty\); ferner gebe es \(\lambda_ 1,\ldots,\lambda_{t-1}>1\), so daß \(\omega_{\tau n}\geq\lambda_ \tau\omega_{\tau+1,n}\) für alle \(n\geq1\) und \(\tau=1,\ldots,t-1\) gilt. Sind dann \(g_ 1,\ldots,g_ s>1\) paarweise verschiedene natürliche Zahlen, so sind die \(st\) Zahlen \(S(g^{-1}_ \sigma,\omega_ \tau)\) mit \(1\leq\sigma\leq s\), \(1\leq\tau\leq t\) algebraisch unabhängig, wenn \(S(z,\omega)\) die Heckesche Reihe \(\sum_{k\geq 1}[\omega k]z^ k\) bezeichnet. Die beiden Sätze verallgemeinern Resultate von \textit{W. W. Adams} [Proc. Am. Math. Soc. 95, 512-516 (1985; Zbl 0596.10035){]} bzw. des Referenten [J. Number Theory 18, 91-98 (1984; Zbl 0531.10035); J. Reine Angew. Math. 318, 110-119 (1980; Zbl 0425.10038)].