Measures of linear independence for values of entire transcendental solutions of certain functional equations. II. (Maße für die lineare Unabhängigkeit von Werten ganz transzendenter Lösungen gewisser Funktionalgleichungen. II.) (German) Zbl 1041.11050

Consider the function \[ f(x)=\sum_{n=0}^\infty\left(\prod_{\nu=1}^nA(\nu)\right)^{-1}x^n \] where \(A(n)=R_1(n)q_1^n+\cdots+R_r(n)q_r^n\). Under certain assumptions, the authors obtain the linear independence measure \[ | h_0+h_1f(a_1)+\cdots+h_lf(a_l)| \geq C_1\exp(-C_2(\log H)^{2(r+1)/(r+2)}) \] for all integers \(h_0,\ldots,h_l\) with \(0<\max| h_i| \leq H\). As examples, the measure applies in the following situations: With \(r=1\), for \(f(x)=\sum_{n=0}^\infty x^n/R(1)\cdots R(n)q^{n(n+1)/2}\) where \(q\) is an integer not equal to \(0,\pm1\), \(R\) is in \({\mathbb Q}[x]\), \(R(n)\neq0\) for all integers \(n\geq0\), \(a_1,\ldots, a_l\) are non-zero rationals, and no \(a_i/a_j\) with \(i\neq j\) is a power of \(q\). With \(r=2\), for \[ f(x)=\sum_{n=0}^\infty x^n/ \prod_{\nu=1}^n R(\nu)U_\nu \] where \(U_n\) is defined by \(U_0=0, U_1=1, U_n=8U_{n-1}-6U_{n-2}\), \(R\) is in \({\mathbb Q}[x]\), \(R(n)\neq0\) for integers \(n\geq0\), \(a_1,\ldots, a_l\) are non-zero rationals, and no \(a_i/a_j\) with \(i\neq j\) lies in the subgroup of \({\mathbb Q}(\sqrt{10})^\times\) generated by \(4\pm\sqrt{10}\). The particular recurrence in this example is explained by noting that the assumptions required to prove the theorem include the assertions that \(q_1, \ldots, q_r\) comprise sets of conjugate algebraic numbers with just one of maximal absolute value and all divisible by a prime ideal in the ring of integers of \({\mathbb Q}(q_1,\ldots,q_r)\).
For Part I, see ibid. 69, 103–122 (1999; Zbl 0961.11022).


11J72 Irrationality; linear independence over a field
11J82 Measures of irrationality and of transcendence
11J91 Transcendence theory of other special functions


Zbl 0961.11022
Full Text: DOI


[1] Amou, M.; Katsurada, M., Irrationality results for values of generalized Tschakaloff series, J. Number Theory, 77, 155-169 (1999) · Zbl 0929.11020 · doi:10.1006/jnth.1999.2376
[2] Bézivin, J.-P., Indépendance linéaire des valeurs des solutions transcendantes de certaines équations fonctionnelles, Manuscripta Math., 61, 103-129 (1988) · Zbl 0644.10025 · doi:10.1007/BF01153585
[3] Bundschuh, P.; Wallisser, R., Maße für die lineare Unabhängigkeit von Werten ganz transzendenter Lösungen gewisser Funktionalgleichungen, Abh. Math. Sem. Univ. Hamburg, 69, 103-122 (1999) · Zbl 0961.11022 · doi:10.1007/BF02940866
[4] Feldman, N. I.; Nesterenko, Y. V., Number Theory IV: Transcendental Numbers. (1998), Berlin: Springer, Berlin · Zbl 0885.11004
[5] Haas, M., Über die lineare Unabhängigkeit von Werten einer speziellen Reihe, Arch. Math., 56, 148-162 (1991) · Zbl 0727.11026 · doi:10.1007/BF01200346
[6] Hecke, E., Vorlesungen über die Theorie der algebraischen Zahlen (1923), Leipzig: Akad. Verlagsgesellschaft, Leipzig
[7] Shorey, T. N.; Tijdeman, R., Exponential Diophantine Equations (1986), Cambridge: University Press, Cambridge · Zbl 0606.10011
[8] Waldschmidt, M., Diophantine Approximation on Linear Algebraic Groups (2000), Berlin: Springer, Berlin · Zbl 0944.11024
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.