A class of transcendental functions containing elementary and elliptic ones (Q1065078)

Let K be an ordinary differential field of characteristic 0 with a differentiation D, U be a universal differential field extension of K. A differential subfield F of U is called an H-extension of K if there exists a finite chain of differential subfields of \(U: K=F_ 0\subseteq F_ 1\subseteq...\subseteq F_ m=F\) such that for each j (1\(\leq j\leq m)\) \(F_ j\) is finitely algebraic over \(F_{j-1}<t_ j>\), where \(t_ j\) is primitive, exponential or Weierstrassian over \(F_{j-1}\). The author introduces for a linear differential operator \(L\in K[D]\) the minimal admissible order \(\mu_ K(L)=\min trans \deg K<x>/K\), where \(x\in U\), \(Lx=0\) and \(x\neq 0\). He proves the two following theorems. Theorem 1. Suppose that an element L of K[D] satisfies Ly\(\neq 0\) for any non-zero y in \(\bar K.\) Then we have \(\mu_ K(L)=\mu_ W(L)\) for any H- extension W of K. Corollary. If L in K[D] is differentially irreducible over K then it is so over any H-extension of K. Theorem 2. Suppose that an element L of K[D] is irreducible in \(\bar K[\)D]. Then it is irreducible over any H-extension of K. Theorem 1 is wrong as shows the following example. Let \[ K={\mathbb{C}}(x),\quad D=\frac{d}{dx},\quad W={\mathbb{C}}(x,\quad e^ x),\quad L=D^ 3+\frac{x}{1-x}D^ 2-xD-\frac{1-x+x^ 2}{1-x} \] and \(u_ 1,u_ 2\) be a fundamental system of solutions of \(D^ 2-x=0\). It is easy to see, that \(e^ x,u_ 1,u_ 2\) is a fundamental system of solutions of \(Ly=0\). So all conditions of Theorem 1 are satisfied, but \(\mu_ K(L)=1\) and \(\mu_ W(L)\neq 1.\) The author, probably, don't be acquainted with the reviewer's paper on this subject [see Mat. Sb., Nov. Ser. 106 (148), 147-153 (1978; Zbl 0387.12010)]. It shows that the above theorem 2 remains fair if in the chain of the H-extension one substitutes a Weierstrassian extension by any strongly normal extension whose Galois group is Abelian. We also note that results of the paper can easily be obtained from Clifford's theorems about irreducible linear groups and the fact that the Galois group of a linear differential equation over a strongly normal extension is a normal subgroup of its Galois group over the ground field. One may find some interesting results on the subject of the paper in the following articles: \textit{V. Kh. Salikhov}, Izv. Akad. Nauk SSSR, Ser. Mat. 44, 176-202 (1980; Zbl 0452.12010); the reviewer, Mat. Zametki 34, No.4, 481-484 (1983; Zbl 0548.12014).