On linear independence of the values of entire hypergeometric functions with irrational parameters (Q1335935): Difference between revisions

Ordinarily, Siegel's method only allows us to study the arithmetical properties of hypergeometric functions with rational parameters. In this paper the author gives results of linear independence of values of certain entire hypergeometric functions with irrational parameters at certain points in the field of rationals or a real quadratic field, and also the quantitative results. Using an analogue of Siegel's method proposed by \textit{A. I. Galochkin} [Vestn. Mosk. Univ., Ser. I 1986, No. 2, 30-34 (1986; Zbl 0598.10040)] and certain ideas developed in papers of \textit{G. V.}, respectively \textit{G. V.} and \textit{D. V. Chudnovsky} [J. Math. Pures Appl., IX. Sér. 58, 445-476 (1979; Zbl 0434.10023) and Lect. Notes Math. 1135, 9-51 (1985; Zbl 0561.10016)]. One of them, Theorem 2, is as follows: Let \(\lambda \in \mathbb{Q}(\sqrt{d})\setminus \mathbb{Q}\) and \(\lambda_ 1\) be the conjugate number of \(\lambda\) in \(\mathbb{Q}(\sqrt{d})\), \(\lambda + \lambda_ 1 \neq - 1,-2,\dots,\) where \(d\) is a squarefree number in \(\mathbb{N}\). Define \((\lambda)_ \nu = \lambda(\lambda + 1) \dots (\lambda + \nu - 1)\), \(\nu \geq 1\) and \((\lambda)_ 0 = 1\). Let \[ f_ \lambda(z) = \sum^ \infty_{\nu = 0} z^ \nu/\nu! (\lambda + 1)_ \nu \] and \[ \varphi(\gamma,\delta \mid z) = \sum^ \infty_{\nu = 0} z^ \nu 4^ \nu \left( {\gamma + \delta - 1\over 2} + 1\right)_ \nu \left({\gamma + \delta\over 2} +1\right)_ \nu/\nu!(\gamma + 1)_ \nu (\delta + 1)_ \nu (\gamma + \delta + 2)_ \nu, \] where \(\gamma\), \(\delta\), \(\gamma + \delta\) are different from \(-1,-2,\dots\). Suppose that \(\xi \in \mathbb{Q}\), \(\xi \neq 0\) and the numbers \(\varphi(\lambda,\lambda_ 1 \mid \xi)\), \(\varphi'(\lambda,\lambda_ 1\mid \xi)\) and \(\varphi''(\lambda,\lambda_ 1\mid \xi)\) are linearly independent over \(\mathbb{Q}\). Then the numbers \(f_ \lambda(\xi)\) and \(f_ \lambda'(\xi)\) are linearly independent over \(\mathbb{Q}\).