On linear independence of the values of generalized Heine series. (English) Zbl 1025.11023

Väänänen, Keijo

Math. Ann. 325, No. 1, 123-136 (2003).

Lower bounds in both the Archimedean and the \(p\)-adic case are given for linear forms in the values 1, \(f_1(\alpha),\dots,f_m(\alpha)\) of functions satisfying functional equations of the form \[ \alpha_i z^sf_i(z)= p(z) f_i(qz)+q_i(z), \quad i=1,\dots,m. \] Here, \(s\) is a positive integer, \(K\) an algebraic number field, \(q,\alpha,\alpha_i\in K^*\) and \(p(z)\), \(q_i(z)\in K[z]\). Interesting applications concern \(q\)-analogues of the Lindemann-Weierstraß theorem and Bessel functions. The proof follows the lines of the method of Siegel-Shidlovskii, which has to be adapted to this kind of functional equations.

Reviewer: R.Wallisser (Freiburg i.Br.)

MSC:

11J82	Measures of irrationality and of transcendence
11J91	Transcendence theory of other special functions
11J72	Irrationality; linear independence over a field
33D15	Basic hypergeometric functions in one variable, \({}_r\phi_s\)

Keywords:

linear independence; irrationality measure; \(q\)-analogues of Lindemann-Weierstraß theorem; linear forms; Bessel functions