zbMATH — the first resource for mathematics

Global and unglobal relations among values of \(E\)-functions. (English. Russian original) Zbl 0986.11048
Mosc. Univ. Math. Bull. 55, No. 3, 29-31 (2000); translation from Vestn. Mosk. Univ., Ser. I 2000, No. 3, 46-47 (2000).
Let \(f_1(z),\dots,f_s(z)\) be a family of KE-functions that is a solution to the system of linear differential equations \(\bar y' = A(z)\bar y+\overline B(z)\), where \(A(z)\) is an \((s\times s)\)-matrix and \(\overline B(z)\) is a vector-column consisting of rational functions. The author establishes an equivalence relation between the Shidlovskij hypothesis [see A. B. Shidlovskij, Transcendental numbers, Nauka, Moscow (1987; Zbl 0629.10026)] and the relation \[ P(f_1(\alpha) ,\dots,f_s(\alpha)) = 0,\quad P(x_1,\dots,x_s) \in \mathbb{K}[x_1,\dots, x_s]. \tag{1} \] Besides, it is proved that the relation (1) remains valid for all conjugate fields iff \[ P(f_1(z),\dots,f_s(z)) = (z-\alpha) R(z,f_1(z),\dots,f_s(z)), \] where \(R\) is a polynomial with coefficients from the field \(\mathbb{K}\).
11J91 Transcendence theory of other special functions