Transcendental infinite sums. (English) Zbl 0991.11043

Adhikari, Sukumar Das; Saradha, N.; Shorey, T. N.; Tijdeman, R.

Indag. Math., New Ser. 12, No. 1, 1-14 (2001).

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 M. Waldschmidt [Acta Arith. 37, 257-283 (1980; Zbl 0439.10020)] für die quantitativen Aussagen.

Reviewer: Peter Bundschuh (Köln)

MSC:

11J81	Transcendence (general theory)
11J86	Linear forms in logarithms; Baker’s method
11J82	Measures of irrationality and of transcendence

Keywords:

approximation measure; exponential polynomial; Dirichlet \(L\)-function; Fibonacci numbers; Baker’s method; inhomogeneous linear forms in logarithms of algebraic numbers with algebraic coefficients

Citations:

Zbl 0439.10020

References:

[1]	Backstrom, R.P., On reciprocal series related to Fibonacci numbers with subscripts in arithmetic progression, Fibonacci quart., 29, 200-204, (1991)
[2]	Baker, A., Transcendental number theory, (1975), Cambridge University Press · Zbl 0297.10013
[3]	Baker, A.; Birch, B.J.; Wirsing, E.A., On a problem of chowla, J. number th., 5, 224-236, (1973) · Zbl 0267.10065
[4]	Becker, P.G.; Töpfer, T., Transcendency results for sums of reciprocals of linear sequences, Math. nachr., 168, 5-17, (1994) · Zbl 0835.11026
[5]	Brousseau, B.A., Summation of infinite Fibonacci series, Fibonacci quart., 7, 143-168, (1969) · Zbl 0176.32203
[6]	Chowla, S., The Riemann zeta and allied functions, Bull. amer. math. soc., 58, 287-305, (1952) · Zbl 0046.27201
[7]	Duverney, D.; Nishioka, K.; Nishioka, K.; Shiokawa, I., Transcendence of Jacobi’s theta series snd related results, Number theory (eger, 1996), 157-168, (1998), De Gruyter · Zbl 0938.11039
[8]	Good, I.J., A reciprocal series of Fibonacci numbers, Fibonacci quart., 12, 346, (1974) · Zbl 0292.10009
[9]	Lehmer, D.H., Euler constants for arithmetical progressions, Acta arith., 27, 125-142, (1975) · Zbl 0302.12003
[10]	Livingston, A.E., The series ⩞^{∞}1f(n)/n for periodic f, Canad. math. bull., 8, 413-432, (1965) · Zbl 0129.02801
[11]	Okada, T., On a certain infinite series for a periodic arithmetical function, Acta arith., 40, 143-153, (1982) · Zbl 0402.10035
[12]	Tijdeman, R., Some applications of Diophantine approximation, Proc. millenium conf. on number theory, urbana, (2000), To appear · Zbl 1045.11022
[13]	Waldschmidt, M., A lower bound for linear forms in logarithms, Acta arith., 37, 257-283, (1980) · Zbl 0357.10017