The values of certain hypergeometric functions with irrational parameters (Q941260): Difference between revisions

A problem of arithmetic nature of values of hypergeometric functions with irrational parameters is investigated. Consider the function \[ f(z)=\sum_{\nu=0}^\infty z^\nu\prod_{n=1}^\nu\frac{n^2}{(n^2+1) (n^2-2)(n^2-3)(n^2-6)}. \] In Theorem 1 it is proved that for any \(\varepsilon>0\), for any nontrivial set of integer numbers \(h_0,h_1,\dots,h_8\) from a certain imaginary quadratic field and for all sufficiently great values of \(H=\max\{| h_1| ,\dots,| h_8| \}\) the inequality \(| h_0+ \sum_{j=1}^8h_jf^{(j-1)}(1)| >H^{-26-\varepsilon}\) holds. The proof of Theorem 1 is similar to proof of Theorem 1 from the author's previous work [\textit{P. L. Ivankov}, Sib. Math. J. 34, No. 5, 839--847 (1993); translation from Sib. Mat. Zh. 34, No. 5, 53--62 (1993; Zbl 0814.11039)]. This proof is based on Lemma 4 (in the cited work a similar Lemma 5 was used). A more general result as in Theorem 1 is obtained in Theorem 2.