On distribution of radial singularities of power series (Q1278917): Difference between revisions

Investigation of singularities of the power series on the circumference of convergence was originated by E. Fabry in 1898 [see \textit{L. Bieberbach}'s well-known survey ``Analytische Fortsetzung'' (1955; Zbl 0064.06902)]. More recently, the essential results were obtained by \textit{N. Arakelyan} [Mat. Sb., Nov. Ser. 124(166), No. 1(5), 24-44 (1984; Zbl 0557.30004)] and by \textit{N. Arakelyan} and \textit{V. Martirosyan} [see their monograph ``Power series: Analytic continuation and localization of singularities'' (Yerevan 1991)]. The present author continues that line of research and studies radial singular points of power series in the angular domains. To state a typical result, we need a few definitions and notations. For an analytic element \(f=\sum^{+\infty}_{n=0} f_nz^n\) with radius of convergence \(R\in(0,\infty)\) a point \(z=re^{i\theta}\), \(R\leq r<\infty\) is called radially singular in the direction \(\theta\), if the series \(f\) admits analytic continuation along the radius \([0,z]\) and does not admit analytic continuation on its closure \([0,z]\). Let \(N\) be the set of natural numbers. For \(n\in\mathbb{N}\), \(P\subset\mathbb{N}\) and \(P_{n,\mu}=P\cap[n,\mu n]\), \(\mu>1\) let \(S_P(n,\mu):=\sum_{m\in P_{n,\mu}}\frac 1m\) if \(P_{n,\mu}\neq\emptyset\), and \(S_P(n,\mu):=0\) if \(P_{n,\mu}=\emptyset\). Given an element \(f\) with \(R=1\) and \(\beta\in R\), let \(Z_\beta\) be the set of sign changes of the sequence \(\Re(f_ne^{i\beta})\). For \(\alpha\in(0,\pi]\) let be \(\Delta_\alpha=\{\zeta:|\arg\zeta|<\alpha\}\) and for \(\mu>1\) \[ W(\mu):+\lim\inf_{k\rightarrow\infty} S_{Z_{\beta_k}}(n_k,\mu). \] Theorem 1. Let for the element \(F\) with \(R=1\) the sequences \(n_k\in N,\;n_k\uparrow\infty\) and \(\beta_k\in R\) satisfy the condition \(\lim\inf_{k\rightarrow\infty}\mid\Re(f_{n_k} e^{i\beta_k})\mid^{1/n_k}=\rho>0\). If there exists \(\lambda\in (0,1]\) such that \(\lim\sup_{\mu\rightarrow\infty}[\lambda\log\mu-W(mu)]>1+\frac{1}{2}\log\frac{1}{\rho}\), then the series \(f\) has a finite radial singular point in \(\Delta_{\pi\lambda}\).