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

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 652197
Language Label Description Also known as
default for all languages
No label defined
    English
    On linear independence of the values of entire hypergeometric functions with irrational parameters
    scientific article; zbMATH DE number 652197

      Statements

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

      Identifiers