No label defined (Q4354396)

Let \(A(R)\) denote a class of all functions \(f(z)= \sum_{k=0}^\infty f_kz^k\) analytic in the disk \(|z|<R\), and \(A(0)\) be the class of all formal power series; we write \(f\in A^+(R)\) if \(f\in A(R)\) and all its coefficients \(f_k>0\). For \(f\in A(0)\) and \(l(z)= \sum_{k=0}^\infty l_k z^k\in A^+(0)\) a formal power series \(D_l^n f(z)= \sum_{k=0}^\infty \frac{l_k}{l_{k+n}} f_{k+n}z^k\) is said to be the \(n\)th Gel'fond-Leont'ev derivative of \(f\). \textit{S. M. Shah} and \textit{S. Y. Trimble} [J. Math. Mech. 19, 451-460 (1969; Zbl 0186.13202)] proved that if \(f\) and its derivatives \(f^{(n_p)}\) are univalent in the unit disk \(U=|z|<1\), where \(n_p\) are positive integer numbers, such that \(n_{p+1}-p_n= o(\ln n_p)\), \(p\to\infty\), then \(f\in A(\infty)\), that is, \(f\) can be analytically continued to an entire function. These investigations were prolonged by \textit{A. A. Gol'dberg} and \textit{M. N. Sheremeta} [Teor. Funkts. Funkts. Anal. Prilozh. 58, 21-30 (1992; Zbl 0804.30007)]. In the present article the latter author extends this study and obtains various necessary and sufficient conditions for such analytic continuation to be the case. We state only a typical result. Let \(\Lambda\) denote a class of all sequences \(\lambda= \{\lambda_k\}\) with \(\lambda_k>0\) and \(A_\lambda(0)\) be a class of the series (functions) \(f\in A(0)\) such that \(|f_k|\leq \lambda_k|f_1|\). Theorem 2. The statement \[ (\forall\lambda\in \Lambda) (\forall f\in A(0)) (\forall l\in A^+(\infty)) [(\forall p\in\mathbb{Z}_+) (D_l^{n_p}f\in A_\lambda(0)) \Rightarrow f\in A(\infty)] \] is equivalent to the condition \(\varlimsup_{p\to\infty} (n_{p+1}- n_p)<\infty\).