Algebraic independence by approximation method

Verf. gibt in der vorliegenden Arbeit folgendes Kriterium für die algebraische Unabhängigkeit komplexer Zahlen \(\theta_\mu\) an, wo \(\mu\) eine Indexmenge \({\mathcal M} \not= \emptyset\) durchläuft: Zu jeder endlichen Teilmenge \({\mathcal J}\not= \emptyset\) von \({\mathcal M}\) gebe es eine Menge von Folgen \((\theta_{\tau,n})\in {\mathbb C}^{\mathcal N}\), \(\tau\in{\mathcal J}\), und eine Folge \((u_n)\in{\mathbb N}^{\mathcal N}\) (wobei hier \({\mathcal N}\) eine vorgegebene unendliche Teilmenge von \({\mathbb N}\) ist), so daß folgende drei Bedingungen erfüllt sind. (i): Mit \(\varphi_{\tau,n} := \theta_\tau-\theta_{\tau,n}\not= 0\) für \(\tau\in{\mathcal J}\), \(n\in{\mathcal N}\) gelte \(\varphi_{\tau,n} \to 0\) bei \(n \to \infty, n\in{\mathcal N}\); (ii): es gibt eine Teilmenge \({\mathcal W}\not=\emptyset\) von \({\mathcal J}\), so daß \(\sum_{\tau\in{\mathcal W}} c_\tau \varphi_{\tau,n}\not= 0\) für jedes nicht verschwindende \((c_\tau)\in{\mathbb C}^{\mathcal W}\) bei \(n\geq n_0, n\in{\mathcal N}\) gilt und weiter gelte im Falle \({\mathcal W}\not= {\mathcal J}: \varphi_{\ell,n} = o(| \sum_{\tau\in{\mathcal W}}c_\tau\varphi_{\tau,n}|)\), falls \(\ell\in{\mathcal J}\setminus {\mathcal W}\), bzw. \(\varphi^2_{\ell,n} = o(| \sum\ldots|)\), falls \(\ell\in{\mathcal W}\), jeweils für \(n \to \infty\), \(n\in{\mathcal N}\); (iii): \(\sum_{\tau\in{\mathcal W}} | \varphi_{\tau,n}| \leq \gamma\exp(-O(u_n| (\theta_{\tau,n})_{\tau\in{\mathcal J}}))\) für \(n\geq n_1\), \(n\in{\mathcal N}\). In den vorstehenden Voraussetzungen darf das \(n_0\) in (ii) von der Wahl von \((c_\tau)\) abhängen ebenso wie \({\mathcal W}\) in (ii) bzw. \(\gamma\) und \(n_1\) in (iii) von \({\mathcal J}\) abhängen können; \(O(u| \ldots)\) bezeichnet die Ordnungsfunktion von \textit{K. Mahler} [Acta Arith. 18, 63-76 (1971; Zbl 0217.03903)]. Das obige Kriterium umfaßt eine Reihe früherer des Verf., aber auch das des Ref. [\textit{P. Bundschuh}, Osaka J. Math. 25, 849-858 (1988; Zbl 0712.11041)]; in diesen älteren Kriterien sind die \(\theta_\tau\) approximierenden Zahlen \(\theta_{\tau,n}\) meist als algebraisch vorausgesetzt worden. Das neue Kriterium läßt Anwendungen auf Werte von Lückenpotenzreihen und ihren Ableitungen nicht nur an algebraischen, sondern nun auch an gewissen transzendenten Stellen des Konvergenzkreises zu.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Algebraic independence by approximation method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4209706)