Über die lineare Unabhängigkeit der Werte gewisser E-Funktionen. (On the linear independence of the values of some E-functions) (Q1101502)

Let \(\lambda,a_ 1,...,a_ s\) (with \(s\geq 0)\) be rational numbers which are distinct from -1,-2,... Assume also \(a_ i\neq 0,a_ i-\lambda \not\in {\mathbb{N}}\), and \(a_ i-a_ j\not\in {\mathbb{Z}}-\{0\}\) for \(1\leq i,j\leq s\). For \(0\leq k\leq s\), consider the E-function \[ \phi_ k(z)=\sum_{\nu \geq 0}z^{\nu}[\nu]_{\lambda}^{-1}\cdot \prod^{k}_{i=1}(\nu +ki)^{-1}, \] where \([\nu]_{\lambda}=\prod^{\nu}_{j=1}(j+\lambda)\). If \(\beta_ 1,...,\beta_ r\) (with \(r\geq 1)\) are non-zero rational numbers, then the \((s+1)r+1\) numbers \(\phi_ k(\beta_ j)\), (0\(\leq k\leq s\), \(1\leq j\leq r)\) together with 1 are \({\mathbb{Q}}\)-linearly independent, and the following lower bound holds: \[ | x_{00}+\sum^{r}_{j=1}\sum^{s}_{k=0}x_{jk} \phi_ k(\beta_ j)| \geq X^{-(s+1)r-c(\log \log X)^{-1}}, \] for all non-zero \((x_{kj})\in {\mathbb{Z}}^{(s+1)r+1}\), with \(X=\max \{\max_{k,j}\{x_{kj}\},3\}\). In this inequality, c is an effectively computable positive constant which depends only on \(s,r,\lambda\), \(a_ 1,...,a_ s,\beta_1,...,\beta_ r.\)