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 this page instead for the normal view: On linear independence of the values of entire hypergeometric functions with irrational parameters |
scientific article; zbMATH DE number 652197
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
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
values of entire hypergeometric functions with irrational parameters
0 references
Siegel's method
0 references
linear independence
0 references
quantitative results
0 references
0.81208086
0 references
0.7580815
0 references