scientific article; zbMATH DE number 1061214

Publication date 19 March 1998

analytic continuation formal power series Gel'fond-Leont'ev derivative

Power series (including lacunary series) in one complex variable (30B10) Analytic continuation of functions of one complex variable (30B40) Representations of entire functions of one complex variable by series and integrals (30D10)

Review text

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\).

Recommendations

Cited in

(7)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4354396)