
doi: 10.1007/bf02305011
Let \(f_1(z), \dots, f_m(z)\) be \(KE\)-functions satisfying a system of linear homogeneous differential equations and \(A\) denote the field of all algebraic numbers. Assume \(f_1(z), \dots, f_m(z)\) are linearly independent over \(\mathbb{C}(z)\) of homogeneous transcendence degree \(m-1\). Further let \[ P(z,x_1, \dots, x_m)\in K[z] [x_1, \dots, x_m] \] be a homogeneous irreducible primitive polynomial such that \(P(z,f_1(z), \dots, f_m(z))=0\). The author proves that under the above conditions the numbers \(f_1(\xi), \dots, f_m(\xi)\) \((\xi\neq 0\), \(\xi\in A)\) are linearly dependent over \(A\) if and only if the decomposition into irreducible factors over \(A\) of the polynomial \(P(\xi,x_1, \dots, x_m)\) contains a linear form \(L=L(x_1, \dots, x_m)\in A[x_1, \dots, x_m]\), \(L\not \equiv 0\), such that \(L(f_1(\xi), \dots, f_m(\xi))=0\). This implies that if \(P(\xi,x_1, \dots, x_m)\) is irreducible then \(f_1(\xi), \dots, f_m(\xi)\) are linearly independent over \(A\). The author also gives an analogue in the nonhomogeneous case and the measure of linear independence in the numbers \(f_1(\xi), \dots, f_m(\xi)\).
Irrationality; linear independence over a field, linear independence, algebraic equation over the field of rational functions, Transcendence theory of other special functions, \(KE\)-functions, system of linear homogeneous differential equations
Irrationality; linear independence over a field, linear independence, algebraic equation over the field of rational functions, Transcendence theory of other special functions, \(KE\)-functions, system of linear homogeneous differential equations
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
