Criterion for the algebraic independence of values of hypergeometric \(E\)-functions (even case) (Q1282537): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3256393 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Неприводимость гипергеометрических уравнений и алгебраическая независимость значений E-функций / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3835536 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5680222 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Siegel normality / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 19:24, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Criterion for the algebraic independence of values of hypergeometric \(E\)-functions (even case) |
scientific article |
Statements
Criterion for the algebraic independence of values of hypergeometric \(E\)-functions (even case) (English)
0 references
17 September 1999
0 references
Denote the hypergeometric \(E\)-function \[ \varphi(z)=\varphi_{\overline\lambda,\overline\nu}(z)=\sum^\infty_{n=0}{(\nu_ 1)_n\cdots(\nu_\ell)_n\over(\lambda_1+1)_n\cdots(\lambda_{t+\ell}+1)_n}\left({z \over t}\right)^{tn},\quad\ell\geq 0,\;t\geq 1, \] where \(\lambda_j,\nu_i\in\mathbb{Q}\), \(\lambda_j\neq-1,-2,\dots,j=1,\dots,t+\ell\), \(i=1,\dots,\ell\); \((\alpha)_n=\alpha(\alpha+1)\cdots(\alpha+n-1)\) \((n\in\mathbb{N})\), \((\alpha)_0=1\). For \((a_1,\dots,a_k)\) and \((b_1,\dots,b_k)\in\mathbb{C}^k\), \((a_1,\dots,a_k)\sim(b_1,\dots,b_k)\) means that there is a permutation \(\{i_1,\dots,i_k\}\) of \(\{1,\dots,k\}\) such that \(a_j-b_{i_j}\in\mathbb{Z}\), \(j=1,\dots,k\). The author proves the following theorem: If \(\ell=0\) and \(t=2r\), where \(r\in\mathbb{N}\) and gcd \((r,3)=1\), then the numbers \(\varphi(\alpha)\), \(\varphi'(\alpha),\dots,\varphi^{(t+\ell+1)}(\alpha)\), here \(\alpha\in\overline\mathbb{Q}\setminus\{0\}\), are algebraically independent over \(\mathbb{Q}\) if and only if the following two conditions hold: (i) there exist a divisor \(d\) of \(r\), \(1\leq d\leq r\), and numbers \(x_0,\dots,x_{r_1-1}\in\mathbb{Q}\), where \(r_1=r/d\), such that \((\lambda_1,\dots,\lambda_t)\sim((\gamma_j+k)/d\;(j=1,\dots,2r_1,\;k=0,1,\dots,d-1))\), where \[ (\gamma_1,\dots,\gamma_{2r_1})=(x_0,x_0+1/2,x_0+x_1,x_0-x_1,\dots,x_0+ x_{r_1-1},x_0-x_{r_1-1}); \] (ii) there is a \(j\in\{1,\dots,t\}\) such that \(\lambda_j\in\mathbb{N}\cup\{0\}\). The corresponding criterion for odd numbers was established by the author in his previous paper [Math. USSR, 56, 69, No. 1, 203-226 (1991); translation from Mat. Sb., 181, No. 2, 189-211 (1990; Zbl 0712.11044)]. For \(\ell>0\) a similar result is not yet obtained.
0 references
algebraic independence
0 references
hypergeometric \(E\)-function
0 references
differential extension
0 references
power series field
0 references
Picard-Vessiot extension
0 references
0 references