On linear independence of the values of generalized Heine series (Q1865697)

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.