Algebraic independence by approximation method. II (Q1586081)

Gestützt auf sein Unabhängigkeitskriterium aus [Acta Math. Sin., New Ser. 14, 295-302 (1998; Zbl 0920.11047)] beweist Verf. folgende Sätze, wobei \(f(x)\) jeweils durch den Kettenbruch \([a_0x;a_1x,a_2x,\ldots]\) definiert ist, alle \(a_n\in{\mathbb R} \cap \overline{\mathbb Q}\) und \(a_n \geq c_0\) für ein festes \(c_0\in{\mathbb R}_+\). 1) Mit \(D_n:= [{\mathbb Q}(a_0,\ldots,a_n):{\mathbb Q}]\), \(A_n:= \house{a_0}\cdots\house{a_n}\) und \(M_n\) das Produkt der Nenner von \(a_0\) bzw. \(a_1\cdots a_n\) gelte \(D_n\log(e^nA_nM_n) =o(\log a_{n+1})\) bei \(n\to\infty\). Haben dann \(\alpha_1,\ldots,\alpha_s\in(\overline{\mathbb Q}\cap {\mathbb R})^\times\) paarweise verschiedene Absolutbeträge, so sind \(f(\alpha_1),\ldots,f(\alpha_s)\) algebraisch unabhängig. 2) Ist \(\xi\in{\mathbb R}\) transzendent mit einem Transzendenzmaß \(\psi(d,\log H)\) und gibt es eine gegen \(\infty\) konvergierende Folge \((u_n)\in{\mathbb N}^{\mathbb N}\) derart, daß \((\ast)\): \(\psi(nD_n(\log u_n)^2, D_n(\log u_n)^2\log(e^nA_nM_n))= o(\log a_{n+1})\) bei \(n\to\infty\) gilt, so sind die \(f(\xi^j), j\in{\mathbb Z}\), algebraisch unabhängig. 3) Ist \(\xi\) wie in 2), die von 1 verschiedenen \(\alpha_1,\ldots,\alpha_s\) wie in 1) und gilt \((\ast)\), so sind die \(f(\alpha_1),\ldots,f(\alpha_s)\), \(f(\xi^j)\), \(j\in{\mathbb Z}\), algebraisch unabhängig.