Algebraic independence of certain values of exponential function (Q2508572): Difference between revisions

In der vorliegenden Note wird die algebraische Unabhängigkeit von \(e^{\theta_1},\dots,e^{\theta_s}\) an speziellen transzendenten Argumentstellen \(\theta_1,\dots,\theta_s\) bewiesen, die Werte gewisser Lückenreihen an algebraischen Punkten oder Werte gewisser transzendenter Kettenbrüche mit algebraischen Elementen sind. All dies wird aus einem Hauptsatz abgeleitet, dessen Reproduktion sich hier aus Platzgründen verbietet. Er beruht auf einem hinreichenden Kriterium des Verf. [Acta Math. Sin., New Ser. 14, 295--302 (1998; Zbl 0920.11047)] für die algebraische Unabhängigkeit von Zahlen, deren Approximierbarkeit durch algebraische Zahlen genügend ``voneinander separiert'' ist. Eine spezielle Anwendung des Hauptsatzes lautet wie folgt: Es sei \(K\) ein algebraischer Zahl\-körper; \(f(z)=\sum_{k=1}^\infty a_kz^{\lambda_k}\) mit allen \(a_k\in K^\times\) und ganzrationalen positiven \(\lambda_1< \lambda_2<\dots\) habe Konvergenzradius \(R>0\). Weiter gelte die Lückenbedingung \(\lambda_k +\log(A_kM_k)=\text{o}(\log \lambda_{k+1})\) bei \(k\rightarrow \infty\), wobei \(A_k\) das Maximum der Häuser \(\house{a_j}, j=1,\dots,k,\) bezeichnet und \(M_k\) den Hauptnenner der \(a_1,\dots,a_k\). Haben \(\alpha_1,\dots,\alpha_s \in \overline{\mathbb{Q}}^\times\) paarweise verschiedene Absolutbeträge \(<R\), so sind die Zahlen \(\exp(f(\alpha_i)), i=1,\dots,s,\) algebraisch unabhängig.