Algebraic independence of values of certain Fourier series (Q1609679): Difference between revisions

Verf. betrachtet Fourierreihen \[ F(x) := \sum_{n\geq 0} (\alpha_n\cos nx+\beta_n \sin nx), \] wobei \((\alpha_n), (\beta_n)\in (\overline{\mathbb Q}\cap{\mathbb R})^{\mathbb{N}_0}\) beschränkt sind. Bezeichnen \(A_n, M_n, D_n\) nacheinander das Maximum von \(1, \house{\alpha_0}, \house{\beta_0},\ldots,\house{\alpha_n}, \house{\beta_n}\), den Hauptnenner von \(\alpha_0,\ldots,\beta_n\) und den Grad von \({\mathbb Q}(\alpha_0,\ldots,\beta_n)\) über \({\mathbb Q}\), so werden die folgenden Resultate bewiesen. Satz 1: Sind beide Mengen \(N_1 := \{n\mid \alpha_{n+1}\not= 0\}\) und \(N_2 := \{n|\beta_{n+1}\not= 0\}\) unendlich, ist \(\alpha_{n+1} = O(|\beta_{n+1}|)\) für \(n\in N_2, \beta_{n+1} = O(|\alpha_{n+1}|)\) für \(n\in N_1\) und gilt \(D_n\log(e^n A_n M_n) = o(\gamma_n), \gamma_n := \log\max(|\alpha_{n+1}|,|\beta_{n+1}|)\), bei \(n\to\infty, n\in N_0 := N_1 \cup N_2\), so sind die Zahlen \(F^{(\ell)}(0) \;(\ell\geq 0)\) algebraisch unabhängig (kurz: a.u.). Satz 2: Bei \(n\to\infty, n\in N_0\) mögen die Bedingungen (i) \((\alpha_{n+1}+i\beta_{n+1})/(\alpha_{n+1}-i\beta_{n+1}) \to \pm 1\) und (ii) \(n^2D^3_n\log(e^n A_n M_n) = o(\gamma_n)\) gelten. Dann sind die Zahlen \(F^{(\ell)}(\mu\alpha)\) \((\ell \geq 0, \mu\in{\mathbb N})\) für jedes \(\alpha\in({\overline{\mathbb Q}} \cap{\mathbb R})^\times\) a.u. Satz 3: Es sei die Bedingung (i) aus Satz 2 erfüllt und es gebe \(s\in{\mathbb N}\), \(\delta\in{\mathbb R_+}\) mit \[ n^s D_n^{s+1}\log(A_n M_n) + \exp(n D_n)^{s+\delta} = o(\gamma_n)\text{ bei }n \to\infty, n\in N_0. \] Dann sind die Zahlen \(F^{(\ell)}(\rho_\mu) \;(\ell\geq 0, \mu=1,\ldots,s)\) für \({\mathbb Q}\)-linear unabhängige \(\rho_1,\ldots,\rho_s\in {\overline{\mathbb Q}} \cap {\mathbb R}\) a.u. Alle Beweise benutzen ein Kriterium für algebraische Unabhängigkeit des Verf. [Acta Math. Sin., New Ser. 14, 295-302 (1998; Zbl 0920.11047)] und quantitative Versionen der Sätze von Hermite-Lindemann bzw. von Lindemann-Weierstraß.