On the measure of linear and algebraic independence for values of entire hypergeometric functions
The author computes explicit measures of transcendence for values of some generalized hypergeometric functions \(f\) and their derivatives by applying a general theorem from one of his previous papers [\textit{V. V. Zudilin}, Sb. Math. 187, No. 12, 1791--18181 (1996); translation from Mat. Sb. 187, No. 12, 57--86 (1996; Zbl 0878.11030)]. Let \((E)\) be the linear differential equation of order \(m\) satisfied by \(f\), and denote by \(\Psi_1,\dots, \Psi_m\) a fundamental system of solutions of \((E)\). The problem in applying the above general theorem consists in proving that the functions \(\Psi_j^{(n-1)}\), with \(j\), \(n=1, \dots,m\), are homogeneously algebraically independent over \(\mathbb C(z)\). In the present paper, the author solves it by using results on Galois groups of linear differential equations [\textit{N. M. Katz}, Differential Galois groups, Princeton (1990)].
Galois groups of linear differential equations
scientific article; zbMATH DE number 1238018