On linear independence of the values of entire hypergeometric functions with irrational parameters (Q1335935)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On linear independence of the values of entire hypergeometric functions with irrational parameters
scientific article

    Statements

    On linear independence of the values of entire hypergeometric functions with irrational parameters (English)
    0 references
    0 references
    0 references
    8 November 1994
    0 references
    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}\).
    0 references
    0 references
    0 references
    values of entire hypergeometric functions with irrational parameters
    0 references
    Siegel's method
    0 references
    linear independence
    0 references
    quantitative results
    0 references