On the structure of the set of \(E\)-functions satisfying linear differential equations of second order (Q2508692)

The author studies a class of entire functions , the so-called \(E\)-functions, satsfying linear differential equations. More precisely , he considers a special case of a conjecture made by Siegel on the representability of \(E\)-functions in the form of polynomial in hypergeometric functions. The main result is the following: Let \(\varphi_0(z)= e^z\) and \[ \varphi_\lambda(z)= 1+ \sum^\infty_{n=1} {z^n\over (\lambda+ 1)\cdots(\lambda+ n},\quad\lambda\in \mathbb{Q},\quad \lambda\neq -1,-2,\dots. \] A function \(f(z)\) is an \(E\)-function satisfying the equation \[ Q_2 y''+ Q_1 y'+ Q_0 y= Q,\qquad Q_2,Q_1,Q_0,Q\in \mathbb{C}[z], \] if and only if either \(f(z)= P_0\varphi_\lambda(\alpha z)+ P_1\varphi_\lambda(\alpha_1 z)+ P\) or \(f(z)= P_0 f_1(z)+ P_1 f_1'(z)+ P\) where \(P_0,P_1,P\in\mathbb{A}[z]\), \(\lambda,\lambda_1\in\mathbb{Q}\), \(\alpha,\alpha_1\in\mathbb{A}\), and \(f_1(z)\) is an \(E\)-function satisfying the equation \(y''+ (a + a_1/z)y'+ (b+ b_1/z+ b_2/z^2)y =c+ c_1/z\) with \(a\), \(a_1\), \(b\), \(b_1\), \(b_2\), \(c\), \(c_1\in\mathbb{A}\).