Transcendental infinite sums (Q5947102)
From MaRDI portal
scientific article; zbMATH DE number 1663804
Language | Label | Description | Also known as |
---|---|---|---|
English | Transcendental infinite sums |
scientific article; zbMATH DE number 1663804 |
Statements
Transcendental infinite sums (English)
0 references
26 August 2002
0 references
Aus den Hauptergebnisse seien die folgenden ausgewählt, um einen Eindruck von der vorliegenden Arbeit zu vermitteln. Sei zunächst \(f: {\mathbb Z} \to\overline{\mathbb Q}\) periodisch mod \(q\). Konvergiert \(S := \sum_{n\geq 1} f(n)/n\), so ist \(S\not\in \overline{\mathbb Q} \setminus\{0\} =: \overline{\mathbb Q}^\times\) (und hier kann \(S = 0\) durchaus eintreten). Insbesondere ist \(L(1,\chi)\) für jeden Dirichlet-Charakter \(\chi(\not=\chi_0)\bmod q\geq 3\) transzendent. Allgemeiner gilt, wenn \(Q\in{\mathbb Q}[X]\) nur einfache Nullstellen hat und diese in \({\mathbb Q}\setminus{\mathbb N}_0\) liegen: Konvergiert \(S :=\sum_{n\geq 0} f(n)/Q(n)\), so ist \(S\) entweder eine effektiv angebbare algebraische Zahl oder transzendent. In allem Weiteren habe \(Q\in{\mathbb Q}[X]\) höchstens einfache Nullstellen und diese seien in \({\mathbb Q} \cap [-1,0[\) gelegen. Dann gilt: Ist \(f\) wie oben und konvergiert \(S := \sum_{n\geq 0} f(n)/Q(n)\), so hat man \(S\not\in\overline{\mathbb Q}^\times\). Ein anderes Resultat lautet so: Ist \(P\in\overline{\mathbb Q}[X]\) und konvergiert \(S := \sum_{n\geq 0} P(n)/Q(n)\), so gilt \(S\not\in\overline{\mathbb Q}^\times\). Beispielsweise ist die Reihe \(\sum_{n\geq 0} 1/((3n+1)(3n+2)(3n+3))\) transzendent. Schließlich noch ein analoges Resultat, in dem \(P\) durch ein``Exponentialpolynom'' ersetzt wird: Ist \(g(X) := \sum_{\lambda=1}^\ell P_\lambda(X)\alpha_\lambda^X\) mit \(\alpha_\lambda\in\overline{\mathbb Q}\), \(P_\lambda\in\overline{\mathbb Q}[X]\) für alle \(\lambda = 1,\ldots,\ell\) und konvergiert \(S := \sum_{n\geq 0} g(n)/Q(n)\), so gilt wieder \(S\not\in\overline{\mathbb Q}^\times\). Insbesondere ist \(\sum_{n\geq 1} F_n/(2^n n)\) transzendent, wobei \(F_n\) die \(n\)-te Fibonacci-Zahl bedeutet. Ist eine Zahl \(S\) aufgrund der vorstehenden Sätze transzendent, so läßt sich für \(S\) auch ein Approximationsmaß angeben. Dies liegt daran, daß für die zitierten qualitativen Aussagen einer der frühesten Baker-Sätze über inhomogene Linearformen in Logarithmen algebraischer Zahlen mit algebraischen Koeffizienten verwendet wird, und dessen quantitative Fassung von \textit{M. Waldschmidt} [Acta Arith. 37, 257-283 (1980; Zbl 0439.10020)] für die quantitativen Aussagen.
0 references
approximation measure
0 references
exponential polynomial
0 references
Dirichlet \(L\)-function
0 references
Fibonacci numbers
0 references
Baker's method
0 references
inhomogeneous linear forms in logarithms of algebraic numbers with algebraic coefficients
0 references